Use existing typing env when building infer context

Co-authored-by: Oli Scherer <github35764891676564198441@oli-obk.de>

Author: 2 people

compiler/rustc_const_eval/src/interpret/intrinsics.rs

@@ -237,7 +237,7 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
                 let (infcx, param_env) = self
                     .tcx
                     .infer_ctxt()
-                    .build_with_typing_env(ty::TypingEnv::fully_monomorphized());
+                    .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]);