| //@ revisions: current next |
| //@ ignore-compare-mode-next-solver (explicit revisions) |
| //@[next] compile-flags: -Znext-solver |
| |
| #![feature(lazy_type_alias)] |
| #![allow(incomplete_features)] |
| |
| type Loop = Loop; |
| //[current]~^ ERROR overflow normalizing the type alias `Loop` |
| //[next]~^^ ERROR type mismatch resolving `Loop normalizes-to _` |
| |
| impl Loop {} |
| //[current]~^ ERROR overflow normalizing the type alias `Loop` |
| //[next]~^^ ERROR type mismatch resolving `Loop normalizes-to _` |
| //[next]~| ERROR type mismatch resolving `Loop normalizes-to _` |
| |
| type Poly0<T> = Poly1<(T,)>; |
| //[current]~^ ERROR overflow normalizing the type alias `Poly0<(((((((...,),),),),),),)>` |
| //[next]~^^ ERROR type parameter `T` is only used recursively |
| //[next]~| ERROR overflow evaluating the requirement |
| type Poly1<T> = Poly0<(T,)>; |
| //[current]~^ ERROR overflow normalizing the type alias `Poly1<(((((((...,),),),),),),)>` |
| //[next]~^^ ERROR type parameter `T` is only used recursively |
| //[next]~| ERROR overflow evaluating the requirement |
| |
| impl Poly0<()> {} |
| //[current]~^ ERROR overflow normalizing the type alias `Poly1<(((((((...,),),),),),),)>` |
| //[next]~^^ ERROR overflow evaluating the requirement `Poly0<()> == _` |
| //[next]~| ERROR overflow evaluating the requirement |
| |
| fn main() {} |
