tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// compile-flags: -Znext-solver

trait Foo {
    type Assoc;
}

trait Bar {}
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: Bar`
}

fn main() {}