bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

hir_analysis: skip self type of host effect preds

Browse source 
Like trait predicates, the self type ought to be skipped here.
This commit is contained in:
David Wood 2025-02-24 09:50:22 +00:00
parent 7bf6fc16f2
commit 0bed12e02d
No known key found for this signature in database
3 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_hir_analysis/src/variance/mod.rs
View file

@ -198,6 +198,10 @@ fn variance_of_opaque(
ty::ClauseKind::Trait(ty::TraitPredicate { ty::ClauseKind::Trait(ty::TraitPredicate {
trait_ref: ty::TraitRef { def_id: _, args, .. }, trait_ref: ty::TraitRef { def_id: _, args, .. },
polarity: _, polarity: _,
})
| ty::ClauseKind::HostEffect(ty::HostEffectPredicate {
trait_ref: ty::TraitRef { def_id: _, args, .. },
constness: _,
}) => { }) => {
for arg in &args[1..] { for arg in &args[1..] {
arg.visit_with(&mut collector); arg.visit_with(&mut collector);

3
tests/ui/traits/const-traits/variance.rs
View file

@ -8,7 +8,6 @@ trait Foo {}
impl const Foo for () {} impl const Foo for () {}
fn foo<'a: 'a>() -> impl const Foo {} fn foo<'a: 'a>() -> impl const Foo {}
//~^ ERROR ['a: o] //~^ ERROR ['a: *]
fn main() {} fn main() {}

2
tests/ui/traits/const-traits/variance.stderr
View file

@ -1,4 +1,4 @@
error: ['a: o] error: ['a: *]
--> $DIR/variance.rs:10:21 --> $DIR/variance.rs:10:21
| |
LL | fn foo<'a: 'a>() -> impl const Foo {} LL | fn foo<'a: 'a>() -> impl const Foo {}