Merge pull request #2714 from imp/2709_simplify_some_internal_code

Simplify some internal code
This commit is contained in:
Oliver Schneider 2018-05-01 22:14:42 +02:00 committed by GitHub
commit 77de1000d7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -301,9 +301,7 @@ pub fn implements_trait<'a, 'tcx>(
let obligation =
cx.tcx
.predicate_for_trait_def(cx.param_env, traits::ObligationCause::dummy(), trait_id, 0, ty, ty_params);
cx.tcx.infer_ctxt().enter(|infcx| {
traits::SelectionContext::new(&infcx).infcx().predicate_must_hold(&obligation)
})
cx.tcx.infer_ctxt().enter(|infcx| infcx.predicate_must_hold(&obligation))
}
/// Check whether this type implements Drop.