src/test/pretty/gat-bounds.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

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