w

Author: lcnr

compiler/rustc_middle/src/ty/adt.rs

@@ -502,10 +502,7 @@ impl<'tcx> AdtDef<'tcx> {
         let repr_type = self.repr().discr_type();
         match tcx.const_eval_poly(expr_did) {
             Ok(val) => {
-                let typing_env = ty::TypingEnv {
-                    typing_mode: ty::TypingMode::PostAnalysis,
-                    param_env: tcx.param_env_reveal_all_normalized(expr_did),
-                };
+                let typing_env = ty::TypingEnv::post_analysis(tcx, expr_did);
                 let ty = repr_type.to_ty(tcx);
                 if let Some(b) = val.try_to_bits_for_ty(tcx, typing_env, ty) {
                     trace!("discriminants: {} ({:?})", b, repr_type);