Skip to content

Commit 3bcdf30

Browse files
committedMay 13, 2024
split out AliasTy -> AliasTerm
1 parent ecbe3fd commit 3bcdf30

File tree

70 files changed

+688
-387
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

70 files changed

+688
-387
lines changed
 

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

+2-1
Original file line numberDiff line numberDiff line change
@@ -1010,7 +1010,8 @@ impl<'tcx> MirBorrowckCtxt<'_, 'tcx> {
10101010
clauses.iter().any(|pred| {
10111011
match pred.kind().skip_binder() {
10121012
ty::ClauseKind::Trait(data) if data.self_ty() == ty => {}
1013-
ty::ClauseKind::Projection(data) if data.projection_ty.self_ty() == ty => {}
1013+
ty::ClauseKind::Projection(data)
1014+
if data.projection_term.self_ty() == ty => {}
10141015
_ => return false,
10151016
}
10161017
tcx.any_free_region_meets(pred, |r| *r == ty::ReEarlyParam(region))

‎compiler/rustc_hir_analysis/src/check/compare_impl_item.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -2205,7 +2205,7 @@ fn param_env_with_gat_bounds<'tcx>(
22052205
_ => predicates.push(
22062206
ty::Binder::bind_with_vars(
22072207
ty::ProjectionPredicate {
2208-
projection_ty: ty::AliasTy::new(tcx, trait_ty.def_id, rebased_args),
2208+
projection_term: ty::AliasTerm::new(tcx, trait_ty.def_id, rebased_args),
22092209
term: normalize_impl_ty.into(),
22102210
},
22112211
bound_vars,

0 commit comments

Comments
 (0)