nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-05-14 02:49:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Ignore non-self item bounds for rigid projections

Browse Source
This commit is contained in:
Michael Goulet 2024-02-13 21:18:15 +00:00
parent a128516cf9
commit e6b64c6194
1 changed files with 13 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
compiler/rustc_trait_selection/src/traits/select/mod.rs
View File

@ -1620,16 +1620,23 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
for bound in
self.tcx().item_bounds(alias_ty.def_id).instantiate(self.tcx(), alias_ty.args)
{
// HACK: On subsequent recursions, we only care about bounds that don't
// HACK: In the initial recursion, we only care about bounds for the
// `self_ty`. On subsequent recursions, we care about bounds that don't
// share the same type as `self_ty`. This is because for truly rigid
// projections, we will never be able to equate, e.g. `<T as Tr>::A`
// with `<<T as Tr>::A as Tr>::A`.
if in_parent_alias_type {
match bound.kind().skip_binder() {
ty::ClauseKind::Trait(tr) if tr.self_ty() == self_ty => continue,
ty::ClauseKind::Projection(p) if p.self_ty() == self_ty => continue,
_ => {}
ty::ClauseKind::Trait(tr)
if (tr.self_ty() == self_ty) ^ !in_parent_alias_type =>
{
continue;
}
ty::ClauseKind::Projection(p)
if (p.self_ty() == self_ty) ^ !in_parent_alias_type =>
{
continue;
}
_ => {}
}
for_each(self, bound, idx)?;