2

Author: lcnr

compiler/rustc_middle/src/ty/consts/kind.rs

@@ -32,11 +32,7 @@ impl<'tcx> ty::UnevaluatedConst<'tcx> {
         // FIXME(eddyb, skinny121) pass `InferCtxt` into here when it's available, so that
         // we can call `infcx.const_eval_resolve` which handles inference variables.
         if (param_env, self).has_non_region_infer() {
-            let typing_env = TypingEnv {
-                typing_mode: ty::TypingMode::PostAnalysis,
-                param_env: tcx.param_env_reveal_all_normalized(self.def),
-            };
-            (typing_env, ty::UnevaluatedConst {
+            (ty::TypingEnv::post_analysis(tcx, self.def), ty::UnevaluatedConst {
                 def: self.def,
                 args: ty::GenericArgs::identity_for_item(tcx, self.def),
             })