diff options
| author | David Wood <david.wood2@arm.com> | 2025-02-24 09:50:22 +0000 |
|---|---|---|
| committer | David Wood <david.wood2@arm.com> | 2025-02-24 10:19:16 +0000 |
| commit | 0bed12e02d75f9d786a3496cb243355e603809ad (patch) | |
| tree | f309045c4f2b71bdeec3106f6d826223d2baf191 /tests | |
| parent | 7bf6fc16f24902d5efc5fc2c5ba6b72840a239b9 (diff) | |
| download | rust-0bed12e02d75f9d786a3496cb243355e603809ad.tar.gz rust-0bed12e02d75f9d786a3496cb243355e603809ad.zip | |
hir_analysis: skip self type of host effect preds
Like trait predicates, the self type ought to be skipped here.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/ui/traits/const-traits/variance.rs | 3 | ||||
| -rw-r--r-- | tests/ui/traits/const-traits/variance.stderr | 2 |
2 files changed, 2 insertions, 3 deletions
diff --git a/tests/ui/traits/const-traits/variance.rs b/tests/ui/traits/const-traits/variance.rs index 9eaf7910cb8..90b5c50161d 100644 --- a/tests/ui/traits/const-traits/variance.rs +++ b/tests/ui/traits/const-traits/variance.rs @@ -8,7 +8,6 @@ trait Foo {} impl const Foo for () {} fn foo<'a: 'a>() -> impl const Foo {} -//~^ ERROR ['a: o] +//~^ ERROR ['a: *] fn main() {} - diff --git a/tests/ui/traits/const-traits/variance.stderr b/tests/ui/traits/const-traits/variance.stderr index f6efc24b747..f5506931184 100644 --- a/tests/ui/traits/const-traits/variance.stderr +++ b/tests/ui/traits/const-traits/variance.stderr @@ -1,4 +1,4 @@ -error: ['a: o] +error: ['a: *] --> $DIR/variance.rs:10:21 | LL | fn foo<'a: 'a>() -> impl const Foo {} |