summaryrefslogtreecommitdiffstats
path: root/src/test/ui/issues/issue-23122-1.rs
blob: 7fe0900ed5fde143d23b9553d1a0208db49b357a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
trait Next {
    type Next: Next;
}

struct GetNext<T: Next> {
    t: T,
}

impl<T: Next> Next for GetNext<T> {
    type Next = <GetNext<T> as Next>::Next;
    //~^ ERROR overflow evaluating the requirement
}

fn main() {}