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-2.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-2.rs')
| -rw-r--r-- | tests/ui/traits/next-solver/overflow/recursive-self-normalization-2.rs | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/tests/ui/traits/next-solver/overflow/recursive-self-normalization-2.rs b/tests/ui/traits/next-solver/overflow/recursive-self-normalization-2.rs index 0f01a453b33..94a9484ecdc 100644 --- a/tests/ui/traits/next-solver/overflow/recursive-self-normalization-2.rs +++ b/tests/ui/traits/next-solver/overflow/recursive-self-normalization-2.rs @@ -13,12 +13,7 @@ fn needs_bar<S: Bar>() {} fn test<T: Foo1<Assoc1 = <T as Foo2>::Assoc2> + Foo2<Assoc2 = <T as Foo1>::Assoc1>>() { needs_bar::<T::Assoc1>(); - //~^ ERROR overflow evaluating the requirement `<T as Foo1>::Assoc1 == _` - //~| ERROR overflow evaluating the requirement `<T as Foo1>::Assoc1 == _` - //~| ERROR overflow evaluating the requirement `<T as Foo1>::Assoc1 == _` - //~| ERROR overflow evaluating the requirement `<T as Foo1>::Assoc1 == _` - //~| ERROR overflow evaluating the requirement `<T as Foo1>::Assoc1: Sized` - //~| ERROR overflow evaluating the requirement `<T as Foo1>::Assoc1: Bar` + //~^ ERROR the trait bound `<T as Foo1>::Assoc1: Bar` is not satisfied } fn main() {} |