Rollup merge of #142306 - compiler-errors:nit-reveal-param-env-query, r=lcnr

Dont unwrap and re-wrap typing envs Just a tiny tweak to make the query less awkward. r? lcnr

Author: matthiaskrgr

compiler/rustc_middle/src/query/erase.rs

@@ -389,6 +389,7 @@ tcx_lifetime! {
  rustc_middle::ty::layout::FnAbiError,
  rustc_middle::ty::layout::LayoutError,
  rustc_middle::ty::ParamEnv,
+ rustc_middle::ty::TypingEnv,
  rustc_middle::ty::Predicate,
  rustc_middle::ty::SymbolName,
  rustc_middle::ty::TraitRef,

compiler/rustc_middle/src/query/mod.rs

@@ -1566,7 +1566,7 @@ rustc_queries! {
  /// Like `param_env`, but returns the `ParamEnv` after all opaque types have been
  /// replaced with their hidden type. This is used in the old trait solver
  /// when in `PostAnalysis` mode and should not be called directly.
- query param_env_normalized_for_post_analysis(def_id: DefId) -> ty::ParamEnv<'tcx> {
+ query typing_env_normalized_for_post_analysis(def_id: DefId) -> ty::TypingEnv<'tcx> {
  desc { |tcx| "computing revealed normalized predicates of `{}`", tcx.def_path_str(def_id) }
  }
 

compiler/rustc_middle/src/ty/mod.rs

@@ -1116,10 +1116,7 @@ impl<'tcx> TypingEnv<'tcx> {
  }
 
  pub fn post_analysis(tcx: TyCtxt<'tcx>, def_id: impl IntoQueryParam<DefId>) -> TypingEnv<'tcx> {
- TypingEnv {
- typing_mode: TypingMode::PostAnalysis,
- param_env: tcx.param_env_normalized_for_post_analysis(def_id),
- }
+ tcx.typing_env_normalized_for_post_analysis(def_id)
  }
 
  /// Modify the `typing_mode` to `PostAnalysis` and eagerly reveal all
@@ -1133,7 +1130,7 @@ impl<'tcx> TypingEnv<'tcx> {
  // No need to reveal opaques with the new solver enabled,
  // since we have lazy norm.
  let param_env = if tcx.next_trait_solver_globally() {
- ParamEnv::new(param_env.caller_bounds())
+ param_env
  } else {
  ParamEnv::new(tcx.reveal_opaque_types_in_bounds(param_env.caller_bounds()))
  };

compiler/rustc_ty_utils/src/ty.rs

@@ -255,10 +255,8 @@ impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ImplTraitInTraitFinder<'_, 'tcx> {
  }
 }
 
-fn param_env_normalized_for_post_analysis(tcx: TyCtxt<'_>, def_id: DefId) -> ty::ParamEnv<'_> {
- // This is a bit ugly but the easiest way to avoid code duplication.
- let typing_env = ty::TypingEnv::non_body_analysis(tcx, def_id);
- typing_env.with_post_analysis_normalized(tcx).param_env
+fn typing_env_normalized_for_post_analysis(tcx: TyCtxt<'_>, def_id: DefId) -> ty::TypingEnv<'_> {
+ ty::TypingEnv::non_body_analysis(tcx, def_id).with_post_analysis_normalized(tcx)
 }
 
 /// Check if a function is async.
@@ -374,7 +372,7 @@ pub(crate) fn provide(providers: &mut Providers) {
  asyncness,
  adt_sized_constraint,
  param_env,
- param_env_normalized_for_post_analysis,
+ typing_env_normalized_for_post_analysis,
  defaultness,
  unsizing_params_for_adt,
  impl_self_is_guaranteed_unsized,