blob: 8877c6cc9927b9111e1afaf0994a20f110c61343 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// Check that associated types print generic parameters and where clauses.
// See issue #67509.
// pretty-compare-only
#![feature(generic_associated_types)]
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() { }
|