Improve type impls trait check

Author: ivarflakstad

compiler/rustc_const_eval/src/interpret/intrinsics.rs

@@ -237,18 +237,13 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
                 let (infcx, param_env) =
                     self.tcx.infer_ctxt().build_with_typing_env(self.typing_env);
 
-                let type_impls_trait = preds.iter().all(|pred| {
-                    let trait_ref = ty::TraitRef::new(tcx, pred.def_id(), [tp_ty]);
-
-                    let ocx = ObligationCtxt::new(&infcx);
-                    ocx.register_obligation(Obligation::new(
-                        tcx,
-                        ObligationCause::dummy(),
-                        param_env,
-                        pred,
-                    ));
-                    ocx.select_all_or_error().is_empty()
-                });
+                let ocx = ObligationCtxt::new(&infcx);
+                ocx.register_obligations(preds.iter().map(|pred| {
+                    let pred = pred.with_self_ty(tcx, tp_ty);
+                    let pred = tcx.erase_regions(pred);
+                    Obligation::new(tcx, ObligationCause::dummy(), param_env, pred)
+                }));
+                let type_impls_trait = ocx.select_all_or_error().is_empty();
 
                 if type_impls_trait {
                     let vtable_ptr = self.get_vtable_ptr(tp_ty, preds)?;