| // In several type analysis passes we employ a specialized expansion procedure. |
| // This procedure used to incorrectly track expansion depth (growing much faster |
| // than normalization depth) resulting in its internal assertion triggering. |
| // |
| // issue: <https://github.com/rust-lang/rust/issues/142419> |
| //@ check-pass |
| #![feature(lazy_type_alias)] |
| #![expect(incomplete_features)] |
| |
| type T0 = (T1, T1, T1, T1); |
| type T1 = (T2, T2, T2, T2); |
| type T2 = (T3, T3, T3, T3); |
| type T3 = (T4, T4, T4, T4); |
| type T4 = (T5, T5, T5, T5); |
| type T5 = (T6, T6, T6, T6); |
| type T6 = (T7, T7, T7, T7); |
| type T7 = (); |
| |
| fn accept(_: T0) {} |
| fn main() {} |
