Skip to content

Commit 176b865

Browse files
compiler-errorscompiler-errors
committed
Make item self/non-self bound naming less whack
1 parent f60b749 commit 176b865

File tree

19 files changed

+92
-101
lines changed

19 files changed

+92
-101
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -457,7 +457,7 @@ fn fn_sig_suggestion<'tcx>(
457457

458458
let asyncness = if tcx.asyncness(assoc.def_id).is_async() {
459459
output = if let ty::Alias(_, alias_ty) = *output.kind() {
460-
tcx.explicit_item_super_predicates(alias_ty.def_id)
460+
tcx.explicit_item_self_bounds(alias_ty.def_id)
461461
.iter_instantiated_copied(tcx, alias_ty.args)
462462
.find_map(|(bound, _)| {
463463
bound.as_projection_clause()?.no_bound_vars()?.term.as_type()

‎compiler/rustc_hir_analysis/src/collect.rs

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -65,9 +65,9 @@ pub fn provide(providers: &mut Providers) {
6565
type_alias_is_lazy: type_of::type_alias_is_lazy,
6666
item_bounds: item_bounds::item_bounds,
6767
explicit_item_bounds: item_bounds::explicit_item_bounds,
68-
item_super_predicates: item_bounds::item_super_predicates,
69-
explicit_item_super_predicates: item_bounds::explicit_item_super_predicates,
70-
item_non_self_assumptions: item_bounds::item_non_self_assumptions,
68+
item_self_bounds: item_bounds::item_self_bounds,
69+
explicit_item_self_bounds: item_bounds::explicit_item_self_bounds,
70+
item_non_self_bounds: item_bounds::item_non_self_bounds,
7171
impl_super_outlives: item_bounds::impl_super_outlives,
7272
generics_of: generics_of::generics_of,
7373
predicates_of: predicates_of::predicates_of,
@@ -345,9 +345,9 @@ impl<'tcx> Visitor<'tcx> for CollectItemTypesVisitor<'tcx> {
345345
self.tcx.ensure().generics_of(def_id);
346346
self.tcx.ensure().predicates_of(def_id);
347347
self.tcx.ensure().explicit_item_bounds(def_id);
348-
self.tcx.ensure().explicit_item_super_predicates(def_id);
348+
self.tcx.ensure().explicit_item_self_bounds(def_id);
349349
self.tcx.ensure().item_bounds(def_id);
350-
self.tcx.ensure().item_super_predicates(def_id);
350+
self.tcx.ensure().item_self_bounds(def_id);
351351
if self.tcx.is_conditionally_const(def_id) {
352352
self.tcx.ensure().explicit_implied_const_bounds(def_id);
353353
self.tcx.ensure().const_conditions(def_id);
@@ -839,7 +839,7 @@ fn lower_trait_item(tcx: TyCtxt<'_>, trait_item_id: hir::TraitItemId) {
839839

840840
hir::TraitItemKind::Type(_, Some(_)) => {
841841
tcx.ensure().item_bounds(def_id);
842-
tcx.ensure().item_super_predicates(def_id);
842+
tcx.ensure().item_self_bounds(def_id);
843843
tcx.ensure().type_of(def_id);
844844
// Account for `type T = _;`.
845845
let mut visitor = HirPlaceholderCollector::default();
@@ -856,7 +856,7 @@ fn lower_trait_item(tcx: TyCtxt<'_>, trait_item_id: hir::TraitItemId) {
856856

857857
hir::TraitItemKind::Type(_, None) => {
858858
tcx.ensure().item_bounds(def_id);
859-
tcx.ensure().item_super_predicates(def_id);
859+
tcx.ensure().item_self_bounds(def_id);
860860
// #74612: Visit and try to find bad placeholders
861861
// even if there is no concrete type.
862862
let mut visitor = HirPlaceholderCollector::default();

‎compiler/rustc_hir_analysis/src/collect/item_bounds.rs

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -350,7 +350,7 @@ pub(super) fn explicit_item_bounds(
350350
explicit_item_bounds_with_filter(tcx, def_id, PredicateFilter::All)
351351
}
352352

353-
pub(super) fn explicit_item_super_predicates(
353+
pub(super) fn explicit_item_self_bounds(
354354
tcx: TyCtxt<'_>,
355355
def_id: LocalDefId,
356356
) -> ty::EarlyBinder<'_, &'_ [(ty::Clause<'_>, Span)]> {
@@ -434,11 +434,11 @@ pub(super) fn item_bounds(tcx: TyCtxt<'_>, def_id: DefId) -> ty::EarlyBinder<'_,
434434
})
435435
}
436436

437-
pub(super) fn item_super_predicates(
437+
pub(super) fn item_self_bounds(
438438
tcx: TyCtxt<'_>,
439439
def_id: DefId,
440440
) -> ty::EarlyBinder<'_, ty::Clauses<'_>> {
441-
tcx.explicit_item_super_predicates(def_id).map_bound(|bounds| {
441+
tcx.explicit_item_self_bounds(def_id).map_bound(|bounds| {
442442
tcx.mk_clauses_from_iter(
443443
util::elaborate(tcx, bounds.iter().map(|&(bound, _span)| bound)).filter_only_self(),
444444
)
@@ -447,13 +447,12 @@ pub(super) fn item_super_predicates(
447447

448448
/// This exists as an optimization to compute only the item bounds of the item
449449
/// that are not `Self` bounds.
450-
pub(super) fn item_non_self_assumptions(
450+
pub(super) fn item_non_self_bounds(
451451
tcx: TyCtxt<'_>,
452452
def_id: DefId,
453453
) -> ty::EarlyBinder<'_, ty::Clauses<'_>> {
454454
let all_bounds: FxIndexSet<_> = tcx.item_bounds(def_id).skip_binder().iter().collect();
455-
let own_bounds: FxIndexSet<_> =
456-
tcx.item_super_predicates(def_id).skip_binder().iter().collect();
455+
let own_bounds: FxIndexSet<_> = tcx.item_self_bounds(def_id).skip_binder().iter().collect();
457456
if all_bounds.len() == own_bounds.len() {
458457
ty::EarlyBinder::bind(ty::ListWithCachedTypeInfo::empty())
459458
} else {

‎compiler/rustc_hir_typeck/src/closure.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -308,7 +308,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
308308
expected_ty,
309309
closure_kind,
310310
self.tcx
311-
.explicit_item_super_predicates(def_id)
311+
.explicit_item_self_bounds(def_id)
312312
.iter_instantiated_copied(self.tcx, args)
313313
.map(|(c, s)| (c.as_predicate(), s)),
314314
),
@@ -981,7 +981,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
981981
}
982982
ty::Alias(ty::Opaque, ty::AliasTy { def_id, args, .. }) => self
983983
.tcx
984-
.explicit_item_super_predicates(def_id)
984+
.explicit_item_self_bounds(def_id)
985985
.iter_instantiated_copied(self.tcx, args)
986986
.find_map(|(p, s)| get_future_output(p.as_predicate(), s))?,
987987
ty::Error(_) => return Some(ret_ty),

‎compiler/rustc_hir_typeck/src/coercion.rs

Lines changed: 20 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -1839,30 +1839,26 @@ impl<'tcx, 'exprs, E: AsCoercionSite> CoerceMany<'tcx, 'exprs, E> {
18391839
fcx.probe(|_| {
18401840
let ocx = ObligationCtxt::new(fcx);
18411841
ocx.register_obligations(
1842-
fcx.tcx.item_super_predicates(rpit_def_id).iter_identity().filter_map(
1843-
|clause| {
1844-
let predicate = clause
1845-
.kind()
1846-
.map_bound(|clause| match clause {
1847-
ty::ClauseKind::Trait(trait_pred) => Some(
1848-
ty::ClauseKind::Trait(trait_pred.with_self_ty(fcx.tcx, ty)),
1849-
),
1850-
ty::ClauseKind::Projection(proj_pred) => {
1851-
Some(ty::ClauseKind::Projection(
1852-
proj_pred.with_self_ty(fcx.tcx, ty),
1853-
))
1854-
}
1855-
_ => None,
1856-
})
1857-
.transpose()?;
1858-
Some(Obligation::new(
1859-
fcx.tcx,
1860-
ObligationCause::dummy(),
1861-
fcx.param_env,
1862-
predicate,
1863-
))
1864-
},
1865-
),
1842+
fcx.tcx.item_self_bounds(rpit_def_id).iter_identity().filter_map(|clause| {
1843+
let predicate = clause
1844+
.kind()
1845+
.map_bound(|clause| match clause {
1846+
ty::ClauseKind::Trait(trait_pred) => Some(ty::ClauseKind::Trait(
1847+
trait_pred.with_self_ty(fcx.tcx, ty),
1848+
)),
1849+
ty::ClauseKind::Projection(proj_pred) => Some(
1850+
ty::ClauseKind::Projection(proj_pred.with_self_ty(fcx.tcx, ty)),
1851+
),
1852+
_ => None,
1853+
})
1854+
.transpose()?;
1855+
Some(Obligation::new(
1856+
fcx.tcx,
1857+
ObligationCause::dummy(),
1858+
fcx.param_env,
1859+
predicate,
1860+
))
1861+
}),
18661862
);
18671863
ocx.select_where_possible().is_empty()
18681864
})

‎compiler/rustc_infer/src/infer/outlives/verify.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -281,7 +281,7 @@ impl<'cx, 'tcx> VerifyBoundCx<'cx, 'tcx> {
281281
alias_ty: ty::AliasTy<'tcx>,
282282
) -> impl Iterator<Item = ty::Region<'tcx>> {
283283
let tcx = self.tcx;
284-
let bounds = tcx.item_super_predicates(alias_ty.def_id);
284+
let bounds = tcx.item_self_bounds(alias_ty.def_id);
285285
trace!("{:#?}", bounds.skip_binder());
286286
bounds
287287
.iter_instantiated(tcx, alias_ty.args)

‎compiler/rustc_lint/src/unused.rs

Lines changed: 16 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -289,25 +289,22 @@ impl<'tcx> LateLintPass<'tcx> for UnusedResults {
289289
}
290290
ty::Adt(def, _) => is_def_must_use(cx, def.did(), span),
291291
ty::Alias(ty::Opaque | ty::Projection, ty::AliasTy { def_id: def, .. }) => {
292-
elaborate(
293-
cx.tcx,
294-
cx.tcx.explicit_item_super_predicates(def).iter_identity_copied(),
295-
)
296-
// We only care about self bounds for the impl-trait
297-
.filter_only_self()
298-
.find_map(|(pred, _span)| {
299-
// We only look at the `DefId`, so it is safe to skip the binder here.
300-
if let ty::ClauseKind::Trait(ref poly_trait_predicate) =
301-
pred.kind().skip_binder()
302-
{
303-
let def_id = poly_trait_predicate.trait_ref.def_id;
304-
305-
is_def_must_use(cx, def_id, span)
306-
} else {
307-
None
308-
}
309-
})
310-
.map(|inner| MustUsePath::Opaque(Box::new(inner)))
292+
elaborate(cx.tcx, cx.tcx.explicit_item_self_bounds(def).iter_identity_copied())
293+
// We only care about self bounds for the impl-trait
294+
.filter_only_self()
295+
.find_map(|(pred, _span)| {
296+
// We only look at the `DefId`, so it is safe to skip the binder here.
297+
if let ty::ClauseKind::Trait(ref poly_trait_predicate) =
298+
pred.kind().skip_binder()
299+
{
300+
let def_id = poly_trait_predicate.trait_ref.def_id;
301+
302+
is_def_must_use(cx, def_id, span)
303+
} else {
304+
None
305+
}
306+
})
307+
.map(|inner| MustUsePath::Opaque(Box::new(inner)))
311308
}
312309
ty::Dynamic(binders, _, _) => binders.iter().find_map(|predicate| {
313310
if let ty::ExistentialPredicate::Trait(ref trait_ref) = predicate.skip_binder()

‎compiler/rustc_metadata/src/rmeta/decoder/cstore_impl.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -241,7 +241,7 @@ impl IntoArgs for (CrateNum, SimplifiedType) {
241241

242242
provide! { tcx, def_id, other, cdata,
243243
explicit_item_bounds => { table_defaulted_array }
244-
explicit_item_super_predicates => { table_defaulted_array }
244+
explicit_item_self_bounds => { table_defaulted_array }
245245
explicit_predicates_of => { table }
246246
generics_of => { table }
247247
inferred_outlives_of => { table_defaulted_array }

‎compiler/rustc_metadata/src/rmeta/encoder.rs

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1554,7 +1554,7 @@ impl<'a, 'tcx> EncodeContext<'a, 'tcx> {
15541554
}
15551555
if let DefKind::OpaqueTy = def_kind {
15561556
self.encode_explicit_item_bounds(def_id);
1557-
self.encode_explicit_item_super_predicates(def_id);
1557+
self.encode_explicit_item_self_bounds(def_id);
15581558
record!(self.tables.opaque_ty_origin[def_id] <- self.tcx.opaque_ty_origin(def_id));
15591559
self.encode_precise_capturing_args(def_id);
15601560
if tcx.is_conditionally_const(def_id) {
@@ -1667,10 +1667,10 @@ impl<'a, 'tcx> EncodeContext<'a, 'tcx> {
16671667
record_defaulted_array!(self.tables.explicit_item_bounds[def_id] <- bounds);
16681668
}
16691669

1670-
fn encode_explicit_item_super_predicates(&mut self, def_id: DefId) {
1671-
debug!("EncodeContext::encode_explicit_item_super_predicates({:?})", def_id);
1672-
let bounds = self.tcx.explicit_item_super_predicates(def_id).skip_binder();
1673-
record_defaulted_array!(self.tables.explicit_item_super_predicates[def_id] <- bounds);
1670+
fn encode_explicit_item_self_bounds(&mut self, def_id: DefId) {
1671+
debug!("EncodeContext::encode_explicit_item_self_bounds({:?})", def_id);
1672+
let bounds = self.tcx.explicit_item_self_bounds(def_id).skip_binder();
1673+
record_defaulted_array!(self.tables.explicit_item_self_bounds[def_id] <- bounds);
16741674
}
16751675

16761676
#[instrument(level = "debug", skip(self))]
@@ -1685,7 +1685,7 @@ impl<'a, 'tcx> EncodeContext<'a, 'tcx> {
16851685
AssocItemContainer::Trait => {
16861686
if let ty::AssocKind::Type = item.kind {
16871687
self.encode_explicit_item_bounds(def_id);
1688-
self.encode_explicit_item_super_predicates(def_id);
1688+
self.encode_explicit_item_self_bounds(def_id);
16891689
if tcx.is_conditionally_const(def_id) {
16901690
record_defaulted_array!(self.tables.explicit_implied_const_bounds[def_id]
16911691
<- self.tcx.explicit_implied_const_bounds(def_id).skip_binder());

‎compiler/rustc_metadata/src/rmeta/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -386,7 +386,7 @@ define_tables! {
386386
// corresponding DefPathHash.
387387
def_path_hashes: Table<DefIndex, u64>,
388388
explicit_item_bounds: Table<DefIndex, LazyArray<(ty::Clause<'static>, Span)>>,
389-
explicit_item_super_predicates: Table<DefIndex, LazyArray<(ty::Clause<'static>, Span)>>,
389+
explicit_item_self_bounds: Table<DefIndex, LazyArray<(ty::Clause<'static>, Span)>>,
390390
inferred_outlives_of: Table<DefIndex, LazyArray<(ty::Clause<'static>, Span)>>,
391391
explicit_super_predicates_of: Table<DefIndex, LazyArray<(ty::Clause<'static>, Span)>>,
392392
explicit_implied_predicates_of: Table<DefIndex, LazyArray<(ty::Clause<'static>, Span)>>,

‎compiler/rustc_middle/src/query/mod.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -393,7 +393,7 @@ rustc_queries! {
393393
/// like closure signature deduction.
394394
///
395395
/// [explicit item bounds]: Self::explicit_item_bounds
396-
query explicit_item_super_predicates(key: DefId) -> ty::EarlyBinder<'tcx, &'tcx [(ty::Clause<'tcx>, Span)]> {
396+
query explicit_item_self_bounds(key: DefId) -> ty::EarlyBinder<'tcx, &'tcx [(ty::Clause<'tcx>, Span)]> {
397397
desc { |tcx| "finding item bounds for `{}`", tcx.def_path_str(key) }
398398
cache_on_disk_if { key.is_local() }
399399
separate_provide_extern
@@ -427,11 +427,11 @@ rustc_queries! {
427427
desc { |tcx| "elaborating item bounds for `{}`", tcx.def_path_str(key) }
428428
}
429429

430-
query item_super_predicates(key: DefId) -> ty::EarlyBinder<'tcx, ty::Clauses<'tcx>> {
430+
query item_self_bounds(key: DefId) -> ty::EarlyBinder<'tcx, ty::Clauses<'tcx>> {
431431
desc { |tcx| "elaborating item assumptions for `{}`", tcx.def_path_str(key) }
432432
}
433433

434-
query item_non_self_assumptions(key: DefId) -> ty::EarlyBinder<'tcx, ty::Clauses<'tcx>> {
434+
query item_non_self_bounds(key: DefId) -> ty::EarlyBinder<'tcx, ty::Clauses<'tcx>> {
435435
desc { |tcx| "elaborating item assumptions for `{}`", tcx.def_path_str(key) }
436436
}
437437

‎compiler/rustc_middle/src/ty/context.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -349,14 +349,14 @@ impl<'tcx> Interner for TyCtxt<'tcx> {
349349
self,
350350
def_id: DefId,
351351
) -> ty::EarlyBinder<'tcx, impl IntoIterator<Item = ty::Clause<'tcx>>> {
352-
self.item_super_predicates(def_id).map_bound(IntoIterator::into_iter)
352+
self.item_self_bounds(def_id).map_bound(IntoIterator::into_iter)
353353
}
354354

355355
fn item_non_self_bounds(
356356
self,
357357
def_id: DefId,
358358
) -> ty::EarlyBinder<'tcx, impl IntoIterator<Item = ty::Clause<'tcx>>> {
359-
self.item_non_self_assumptions(def_id).map_bound(IntoIterator::into_iter)
359+
self.item_non_self_bounds(def_id).map_bound(IntoIterator::into_iter)
360360
}
361361

362362
fn predicates_of(
@@ -2586,7 +2586,7 @@ impl<'tcx> TyCtxt<'tcx> {
25862586
let ty::Alias(ty::Opaque, ty::AliasTy { def_id, .. }) = ty.kind() else { return false };
25872587
let future_trait = self.require_lang_item(LangItem::Future, None);
25882588

2589-
self.explicit_item_super_predicates(def_id).skip_binder().iter().any(|&(predicate, _)| {
2589+
self.explicit_item_self_bounds(def_id).skip_binder().iter().any(|&(predicate, _)| {
25902590
let ty::ClauseKind::Trait(trait_predicate) = predicate.kind().skip_binder() else {
25912591
return false;
25922592
};

‎compiler/rustc_middle/src/ty/return_position_impl_trait_in_trait.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ impl<'tcx> TyCtxt<'tcx> {
6464
args: ty::GenericArgsRef<'tcx>,
6565
) -> &'tcx ty::List<ty::PolyExistentialPredicate<'tcx>> {
6666
let mut bounds: Vec<_> = self
67-
.item_super_predicates(def_id)
67+
.item_self_bounds(def_id)
6868
.iter_instantiated(self, args)
6969
.filter_map(|clause| {
7070
clause

‎compiler/rustc_trait_selection/src/error_reporting/infer/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -196,7 +196,7 @@ impl<'a, 'tcx> TypeErrCtxt<'a, 'tcx> {
196196
let item_def_id = self.tcx.associated_item_def_ids(future_trait)[0];
197197

198198
self.tcx
199-
.explicit_item_super_predicates(def_id)
199+
.explicit_item_self_bounds(def_id)
200200
.iter_instantiated_copied(self.tcx, args)
201201
.find_map(|(predicate, _)| {
202202
predicate

‎compiler/rustc_trait_selection/src/error_reporting/infer/note_and_explain.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -293,7 +293,7 @@ impl<T> Trait<T> for X {
293293
(ty::Dynamic(t, _, ty::DynKind::Dyn), ty::Alias(ty::Opaque, alias))
294294
if let Some(def_id) = t.principal_def_id()
295295
&& tcx
296-
.explicit_item_super_predicates(alias.def_id)
296+
.explicit_item_self_bounds(alias.def_id)
297297
.skip_binder()
298298
.iter()
299299
.any(|(pred, _span)| match pred.kind().skip_binder() {
@@ -422,7 +422,7 @@ impl<T> Trait<T> for X {
422422
ty::Alias(..) => values.expected,
423423
_ => values.found,
424424
};
425-
let preds = tcx.explicit_item_super_predicates(opaque_ty.def_id);
425+
let preds = tcx.explicit_item_self_bounds(opaque_ty.def_id);
426426
for (pred, _span) in preds.skip_binder() {
427427
let ty::ClauseKind::Trait(trait_predicate) = pred.kind().skip_binder()
428428
else {

0 commit comments

Comments
 (0)