| // Check that associated types print generic parameters and where clauses. | |
| // See issue #67509. | |
| //@ pretty-compare-only | |
| trait X { | |
| type Y<T>: Trait where Self: Sized; | |
| } | |
| impl X for () { | |
| type Y<T> where Self: Sized = u32; | |
| } | |
| fn f<T: X<Y<()> = i32>>() {} | |
| fn main() { } |