diff options
| author | lcnr <rust@lcnr.de> | 2025-02-27 11:57:05 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2025-03-05 10:06:43 +0100 |
| commit | 01795b14f07910223e12240128510f48ff110629 (patch) | |
| tree | af501d4083993ad7200e8904f59a12e849f016e6 /tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs | |
| parent | ac951d379913c667a1fb73a0830e81d65d2007cf (diff) | |
| download | rust-01795b14f07910223e12240128510f48ff110629.tar.gz rust-01795b14f07910223e12240128510f48ff110629.zip | |
change definitely non-productive cycles to error
Diffstat (limited to 'tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs')
| -rw-r--r-- | tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs b/tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs index f435b48737e..f441ac499f9 100644 --- a/tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs +++ b/tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs @@ -9,12 +9,7 @@ fn needs_bar<S: Bar>() {} fn test<T: Foo<Assoc = <T as Foo>::Assoc>>() { needs_bar::<T::Assoc>(); - //~^ ERROR overflow evaluating the requirement `<T as Foo>::Assoc == _` - //~| ERROR overflow evaluating the requirement `<T as Foo>::Assoc == _` - //~| ERROR overflow evaluating the requirement `<T as Foo>::Assoc == _` - //~| ERROR overflow evaluating the requirement `<T as Foo>::Assoc == _` - //~| ERROR overflow evaluating the requirement `<T as Foo>::Assoc: Sized` - //~| ERROR overflow evaluating the requirement `<T as Foo>::Assoc: Bar` + //~^ ERROR the trait bound `<T as Foo>::Assoc: Bar` is not satisfied } fn main() {} |