|
// 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() { }
|