Skip to content

Commit 56c47c5

Browse files
nnethercotennethercote
committed
Put param_env into infcx.
Because they get passed around together a lot.
1 parent a65c1f8 commit 56c47c5

File tree

14 files changed

+63
-72
lines changed

14 files changed

+63
-72
lines changed

‎compiler/rustc_borrowck/src/diagnostics/bound_region_errors.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -60,7 +60,7 @@ impl<'tcx> UniverseInfo<'tcx> {
6060
UniverseInfo::RelateTys { expected, found } => {
6161
let err = mbcx.infcx.err_ctxt().report_mismatched_types(
6262
&cause,
63-
mbcx.param_env,
63+
mbcx.infcx.param_env,
6464
expected,
6565
found,
6666
TypeError::RegionsPlaceholderMismatch,

‎compiler/rustc_borrowck/src/diagnostics/conflict_errors.rs

Lines changed: 17 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -266,7 +266,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
266266
}
267267
}
268268

269-
if self.param_env.caller_bounds().iter().any(|c| {
269+
if self.infcx.param_env.caller_bounds().iter().any(|c| {
270270
c.as_trait_clause().is_some_and(|pred| {
271271
pred.skip_binder().self_ty() == ty && self.infcx.tcx.is_fn_trait(pred.def_id())
272272
})
@@ -682,8 +682,9 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
682682
// Normalize before comparing to see through type aliases and projections.
683683
let old_ty = ty::EarlyBinder::bind(ty).instantiate(tcx, generic_args);
684684
let new_ty = ty::EarlyBinder::bind(ty).instantiate(tcx, new_args);
685-
if let Ok(old_ty) = tcx.try_normalize_erasing_regions(self.param_env, old_ty)
686-
&& let Ok(new_ty) = tcx.try_normalize_erasing_regions(self.param_env, new_ty)
685+
if let Ok(old_ty) = tcx.try_normalize_erasing_regions(self.infcx.param_env, old_ty)
686+
&& let Ok(new_ty) =
687+
tcx.try_normalize_erasing_regions(self.infcx.param_env, new_ty)
687688
{
688689
old_ty == new_ty
689690
} else {
@@ -703,13 +704,15 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
703704
// Test the callee's predicates, substituting in `ref_ty` for the moved argument type.
704705
clauses.instantiate(tcx, new_args).predicates.iter().all(|&(mut clause)| {
705706
// Normalize before testing to see through type aliases and projections.
706-
if let Ok(normalized) = tcx.try_normalize_erasing_regions(self.param_env, clause) {
707+
if let Ok(normalized) =
708+
tcx.try_normalize_erasing_regions(self.infcx.param_env, clause)
709+
{
707710
clause = normalized;
708711
}
709712
self.infcx.predicate_must_hold_modulo_regions(&Obligation::new(
710713
tcx,
711714
ObligationCause::dummy(),
712-
self.param_env,
715+
self.infcx.param_env,
713716
clause,
714717
))
715718
})
@@ -898,7 +901,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
898901
let ty = moved_place.ty(self.body, self.infcx.tcx).ty;
899902
debug!("ty: {:?}, kind: {:?}", ty, ty.kind());
900903

901-
let Some(assign_value) = self.infcx.err_ctxt().ty_kind_suggestion(self.param_env, ty)
904+
let Some(assign_value) = self.infcx.err_ctxt().ty_kind_suggestion(self.infcx.param_env, ty)
902905
else {
903906
return;
904907
};
@@ -1298,7 +1301,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
12981301
pub(crate) fn implements_clone(&self, ty: Ty<'tcx>) -> bool {
12991302
let Some(clone_trait_def) = self.infcx.tcx.lang_items().clone_trait() else { return false };
13001303
self.infcx
1301-
.type_implements_trait(clone_trait_def, [ty], self.param_env)
1304+
.type_implements_trait(clone_trait_def, [ty], self.infcx.param_env)
13021305
.must_apply_modulo_regions()
13031306
}
13041307

@@ -1431,7 +1434,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
14311434
let ocx = ObligationCtxt::new_with_diagnostics(self.infcx);
14321435
let cause = ObligationCause::misc(span, self.mir_def_id());
14331436

1434-
ocx.register_bound(cause, self.param_env, ty, def_id);
1437+
ocx.register_bound(cause, self.infcx.param_env, ty, def_id);
14351438
let errors = ocx.select_all_or_error();
14361439

14371440
// Only emit suggestion if all required predicates are on generic
@@ -1951,7 +1954,8 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
19511954
&& let ty::Ref(_, inner, _) = rcvr_ty.kind()
19521955
&& let inner = inner.peel_refs()
19531956
&& (Holds { ty: inner }).visit_ty(local_ty).is_break()
1954-
&& let None = self.infcx.type_implements_trait_shallow(clone, inner, self.param_env)
1957+
&& let None =
1958+
self.infcx.type_implements_trait_shallow(clone, inner, self.infcx.param_env)
19551959
{
19561960
err.span_label(
19571961
span,
@@ -1983,7 +1987,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
19831987
let obligation = Obligation::new(
19841988
self.infcx.tcx,
19851989
ObligationCause::dummy(),
1986-
self.param_env,
1990+
self.infcx.param_env,
19871991
trait_ref,
19881992
);
19891993
self.infcx.err_ctxt().suggest_derive(
@@ -3392,7 +3396,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
33923396
if let Some(iter_trait) = tcx.get_diagnostic_item(sym::Iterator)
33933397
&& self
33943398
.infcx
3395-
.type_implements_trait(iter_trait, [return_ty], self.param_env)
3399+
.type_implements_trait(iter_trait, [return_ty], self.infcx.param_env)
33963400
.must_apply_modulo_regions()
33973401
{
33983402
err.span_suggestion_hidden(
@@ -3831,11 +3835,11 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
38313835
if tcx.is_diagnostic_item(sym::deref_method, method_did) {
38323836
let deref_target =
38333837
tcx.get_diagnostic_item(sym::deref_target).and_then(|deref_target| {
3834-
Instance::try_resolve(tcx, self.param_env, deref_target, method_args)
3838+
Instance::try_resolve(tcx, self.infcx.param_env, deref_target, method_args)
38353839
.transpose()
38363840
});
38373841
if let Some(Ok(instance)) = deref_target {
3838-
let deref_target_ty = instance.ty(tcx, self.param_env);
3842+
let deref_target_ty = instance.ty(tcx, self.infcx.param_env);
38393843
err.note(format!("borrow occurs due to deref coercion to `{deref_target_ty}`"));
38403844
err.span_note(tcx.def_span(instance.def_id()), "deref defined here");
38413845
}

‎compiler/rustc_borrowck/src/diagnostics/mod.rs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -864,7 +864,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
864864

865865
let kind = call_kind(
866866
self.infcx.tcx,
867-
self.param_env,
867+
self.infcx.param_env,
868868
method_did,
869869
method_args,
870870
*fn_span,
@@ -1160,7 +1160,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
11601160
let suggest = match tcx.get_diagnostic_item(sym::IntoIterator) {
11611161
Some(def_id) => type_known_to_meet_bound_modulo_regions(
11621162
self.infcx,
1163-
self.param_env,
1163+
self.infcx.param_env,
11641164
Ty::new_imm_ref(tcx, tcx.lifetimes.re_erased, ty),
11651165
def_id,
11661166
),
@@ -1224,7 +1224,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
12241224
BoundRegionConversionTime::FnCall,
12251225
tcx.fn_sig(method_did).instantiate(tcx, method_args).input(0),
12261226
)
1227-
&& self.infcx.can_eq(self.param_env, ty, self_ty)
1227+
&& self.infcx.can_eq(self.infcx.param_env, ty, self_ty)
12281228
{
12291229
err.subdiagnostic(CaptureReasonSuggest::FreshReborrow {
12301230
span: move_span.shrink_to_hi(),
@@ -1258,7 +1258,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
12581258
if let Some(errors) = self.infcx.type_implements_trait_shallow(
12591259
clone_trait,
12601260
ty,
1261-
self.param_env,
1261+
self.infcx.param_env,
12621262
) && !has_sugg
12631263
{
12641264
let msg = match &errors[..] {

‎compiler/rustc_borrowck/src/diagnostics/move_errors.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -305,7 +305,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
305305
let Some(copy_trait_def) = self.infcx.tcx.lang_items().copy_trait() else { return false };
306306
// This is only going to be ambiguous if there are incoherent impls, because otherwise
307307
// ambiguity should never happen in MIR.
308-
self.infcx.type_implements_trait(copy_trait_def, [ty], self.param_env).may_apply()
308+
self.infcx.type_implements_trait(copy_trait_def, [ty], self.infcx.param_env).may_apply()
309309
}
310310

311311
fn report_cannot_move_from_static(&mut self, place: Place<'tcx>, span: Span) -> Diag<'infcx> {

‎compiler/rustc_borrowck/src/diagnostics/mutability_errors.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1242,7 +1242,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
12421242
.type_implements_trait_shallow(
12431243
clone_trait,
12441244
ty.peel_refs(),
1245-
self.param_env,
1245+
self.infcx.param_env,
12461246
)
12471247
.as_deref()
12481248
{
@@ -1279,7 +1279,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
12791279
let obligation = traits::Obligation::new(
12801280
self.infcx.tcx,
12811281
traits::ObligationCause::dummy(),
1282-
self.param_env,
1282+
self.infcx.param_env,
12831283
trait_ref,
12841284
);
12851285
self.infcx.err_ctxt().suggest_derive(

‎compiler/rustc_borrowck/src/diagnostics/region_errors.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -952,7 +952,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
952952

953953
if let Ok(Some(instance)) = ty::Instance::try_resolve(
954954
tcx,
955-
self.param_env,
955+
self.infcx.param_env,
956956
*fn_did,
957957
self.infcx.resolve_vars_if_possible(args),
958958
) {
@@ -1091,7 +1091,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
10911091
peeled_ty = ref_ty;
10921092
count += 1;
10931093
}
1094-
if !self.infcx.type_is_copy_modulo_regions(self.param_env, peeled_ty) {
1094+
if !self.infcx.type_is_copy_modulo_regions(self.infcx.param_env, peeled_ty) {
10951095
return;
10961096
}
10971097

@@ -1160,7 +1160,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
11601160
let ocx = ObligationCtxt::new(&self.infcx);
11611161
ocx.register_obligations(preds.iter().map(|(pred, span)| {
11621162
trace!(?pred);
1163-
Obligation::misc(tcx, span, self.mir_def_id(), self.param_env, pred)
1163+
Obligation::misc(tcx, span, self.mir_def_id(), self.infcx.param_env, pred)
11641164
}));
11651165

11661166
if ocx.select_all_or_error().is_empty() && count > 0 {

‎compiler/rustc_borrowck/src/lib.rs

Lines changed: 4 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -140,7 +140,6 @@ fn do_mir_borrowck<'tcx>(
140140
) -> (BorrowCheckResult<'tcx>, Option<Box<BodyWithBorrowckFacts<'tcx>>>) {
141141
let def = input_body.source.def_id().expect_local();
142142
let infcx = BorrowckInferCtxt::new(tcx, def);
143-
let param_env = tcx.param_env(def);
144143

145144
let mut local_names = IndexVec::from_elem(None, &input_body.local_decls);
146145
for var_debug_info in &input_body.var_debug_info {
@@ -175,8 +174,7 @@ fn do_mir_borrowck<'tcx>(
175174
// will have a lifetime tied to the inference context.
176175
let mut body_owned = input_body.clone();
177176
let mut promoted = input_promoted.to_owned();
178-
let free_regions =
179-
nll::replace_regions_in_mir(&infcx, param_env, &mut body_owned, &mut promoted);
177+
let free_regions = nll::replace_regions_in_mir(&infcx, &mut body_owned, &mut promoted);
180178
let body = &body_owned; // no further changes
181179

182180
// FIXME(-Znext-solver): A bit dubious that we're only registering
@@ -213,7 +211,6 @@ fn do_mir_borrowck<'tcx>(
213211
body,
214212
&promoted,
215213
&location_table,
216-
param_env,
217214
&mut flow_inits,
218215
&move_data,
219216
&borrow_set,
@@ -250,7 +247,6 @@ fn do_mir_borrowck<'tcx>(
250247
let promoted_body = &promoted[idx];
251248
let mut promoted_mbcx = MirBorrowckCtxt {
252249
infcx: &infcx,
253-
param_env,
254250
body: promoted_body,
255251
move_data: &move_data,
256252
location_table: &location_table, // no need to create a real one for the promoted, it is not used
@@ -290,7 +286,6 @@ fn do_mir_borrowck<'tcx>(
290286

291287
let mut mbcx = MirBorrowckCtxt {
292288
infcx: &infcx,
293-
param_env,
294289
body,
295290
move_data: &move_data,
296291
location_table: &location_table,
@@ -447,12 +442,14 @@ fn get_flow_results<'a, 'tcx>(
447442
pub(crate) struct BorrowckInferCtxt<'tcx> {
448443
pub(crate) infcx: InferCtxt<'tcx>,
449444
pub(crate) reg_var_to_origin: RefCell<FxIndexMap<ty::RegionVid, RegionCtxt>>,
445+
pub(crate) param_env: ParamEnv<'tcx>,
450446
}
451447

452448
impl<'tcx> BorrowckInferCtxt<'tcx> {
453449
pub(crate) fn new(tcx: TyCtxt<'tcx>, def_id: LocalDefId) -> Self {
454450
let infcx = tcx.infer_ctxt().build(TypingMode::analysis_in_body(tcx, def_id));
455-
BorrowckInferCtxt { infcx, reg_var_to_origin: RefCell::new(Default::default()) }
451+
let param_env = tcx.param_env(def_id);
452+
BorrowckInferCtxt { infcx, reg_var_to_origin: RefCell::new(Default::default()), param_env }
456453
}
457454

458455
pub(crate) fn next_region_var<F>(
@@ -531,7 +528,6 @@ impl<'tcx> Deref for BorrowckInferCtxt<'tcx> {
531528

532529
struct MirBorrowckCtxt<'a, 'infcx, 'tcx> {
533530
infcx: &'infcx BorrowckInferCtxt<'tcx>,
534-
param_env: ParamEnv<'tcx>,
535531
body: &'a Body<'tcx>,
536532
move_data: &'a MoveData<'tcx>,
537533

‎compiler/rustc_borrowck/src/nll.rs

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -50,10 +50,9 @@ pub(crate) struct NllOutput<'tcx> {
5050
/// Rewrites the regions in the MIR to use NLL variables, also scraping out the set of universal
5151
/// regions (e.g., region parameters) declared on the function. That set will need to be given to
5252
/// `compute_regions`.
53-
#[instrument(skip(infcx, param_env, body, promoted), level = "debug")]
53+
#[instrument(skip(infcx, body, promoted), level = "debug")]
5454
pub(crate) fn replace_regions_in_mir<'tcx>(
5555
infcx: &BorrowckInferCtxt<'tcx>,
56-
param_env: ty::ParamEnv<'tcx>,
5756
body: &mut Body<'tcx>,
5857
promoted: &mut IndexSlice<Promoted, Body<'tcx>>,
5958
) -> UniversalRegions<'tcx> {
@@ -62,7 +61,7 @@ pub(crate) fn replace_regions_in_mir<'tcx>(
6261
debug!(?def);
6362

6463
// Compute named region information. This also renumbers the inputs/outputs.
65-
let universal_regions = UniversalRegions::new(infcx, def, param_env);
64+
let universal_regions = UniversalRegions::new(infcx, def);
6665

6766
// Replace all remaining regions with fresh inference variables.
6867
renumber::renumber_mir(infcx, body, promoted);
@@ -81,7 +80,6 @@ pub(crate) fn compute_regions<'a, 'tcx>(
8180
body: &Body<'tcx>,
8281
promoted: &IndexSlice<Promoted, Body<'tcx>>,
8382
location_table: &LocationTable,
84-
param_env: ty::ParamEnv<'tcx>,
8583
flow_inits: &mut ResultsCursor<'a, 'tcx, MaybeInitializedPlaces<'a, 'tcx>>,
8684
move_data: &MoveData<'tcx>,
8785
borrow_set: &BorrowSet<'tcx>,
@@ -101,7 +99,6 @@ pub(crate) fn compute_regions<'a, 'tcx>(
10199
let MirTypeckResults { constraints, universal_region_relations, opaque_type_values } =
102100
type_check::type_check(
103101
infcx,
104-
param_env,
105102
body,
106103
promoted,
107104
universal_regions,

‎compiler/rustc_borrowck/src/type_check/canonical.rs

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -132,7 +132,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
132132
locations: Locations,
133133
category: ConstraintCategory<'tcx>,
134134
) {
135-
let param_env = self.param_env;
135+
let param_env = self.infcx.param_env;
136136
let predicate = predicate.upcast(self.tcx());
137137
let _: Result<_, ErrorGuaranteed> = self.fully_perform_op(
138138
locations,
@@ -158,7 +158,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
158158
where
159159
T: type_op::normalize::Normalizable<'tcx> + fmt::Display + Copy + 'tcx,
160160
{
161-
let param_env = self.param_env;
161+
let param_env = self.infcx.param_env;
162162
let result: Result<_, ErrorGuaranteed> = self.fully_perform_op(
163163
location.to_locations(),
164164
category,
@@ -176,7 +176,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
176176
let tcx = self.tcx();
177177
if self.infcx.next_trait_solver() {
178178
let body = self.body;
179-
let param_env = self.param_env;
179+
let param_env = self.infcx.param_env;
180180
self.fully_perform_op(
181181
location.to_locations(),
182182
ConstraintCategory::Boring,
@@ -223,7 +223,9 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
223223
let _: Result<_, ErrorGuaranteed> = self.fully_perform_op(
224224
Locations::All(span),
225225
ConstraintCategory::Boring,
226-
self.param_env.and(type_op::ascribe_user_type::AscribeUserType { mir_ty, user_ty }),
226+
self.infcx
227+
.param_env
228+
.and(type_op::ascribe_user_type::AscribeUserType { mir_ty, user_ty }),
227229
);
228230
}
229231

@@ -250,7 +252,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
250252
let mir_ty = self.normalize(mir_ty, Locations::All(span));
251253

252254
let cause = ObligationCause::dummy_with_span(span);
253-
let param_env = self.param_env;
255+
let param_env = self.infcx.param_env;
254256
let _: Result<_, ErrorGuaranteed> = self.fully_perform_op(
255257
Locations::All(span),
256258
ConstraintCategory::Boring,

0 commit comments

Comments
 (0)