Rollup merge of #132403 - lcnr:typing-mode, r=compiler-errors

continue `TypingMode` refactor
There are still quite a few places which (indirectly) rely on the `Reveal` of a `ParamEnv`, but we're slowly getting there
r? `@compiler-errors`

Author: workingjubilee

clippy_utils/src/qualify_min_const_fn.rs

@@ -17,7 +17,7 @@ use rustc_middle::mir::{
 };
 use rustc_middle::traits::{BuiltinImplSource,ImplSource,ObligationCause};
 use rustc_middle::ty::adjustment::PointerCoercion;
-use rustc_middle::ty::{self,GenericArgKind,TraitRef,Ty,TyCtxt,TypingMode};
+use rustc_middle::ty::{self,GenericArgKind,TraitRef,Ty,TyCtxt};
 use rustc_span::Span;
 use rustc_span::symbol::sym;
 use rustc_trait_selection::traits::{ObligationCtxt,SelectionContext};
@@ -420,7 +420,7 @@ fn is_ty_const_destruct<'tcx>(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>, body: &Body<'tcx>
 TraitRef::new(tcx, tcx.require_lang_item(LangItem::Destruct,Some(body.span)),[ty]),
 );
 
-let infcx = tcx.infer_ctxt().build(TypingMode::from_param_env(obligation.param_env));
+let infcx = tcx.infer_ctxt().build(body.typing_mode(tcx));
 letmut selcx = SelectionContext::new(&infcx);
 letSome(impl_src) = selcx.select(&obligation).ok().flatten()else{
 returnfalse;

clippy_utils/src/ty.rs

@@ -362,7 +362,7 @@ fn is_normalizable_helper<'tcx>(
 }
 // prevent recursive loops, false-negative is better than endless loop leading to stack overflow
  cache.insert(ty,false);
-let infcx = cx.tcx.infer_ctxt().build(TypingMode::from_param_env(param_env));
+let infcx = cx.tcx.infer_ctxt().build(cx.typing_mode());
 let cause = ObligationCause::dummy();
 let result = if infcx.at(&cause, param_env).query_normalize(ty).is_ok(){
 match ty.kind(){