summaryrefslogtreecommitdiffstats
path: root/tests/pretty/gat-bounds.rs
blob: 0a361a3835f7f68349010baef610c9d84e6197c6 (plain)
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() { }