tests/pretty/gat-bounds.rs

   1 // Check that associated types print generic parameters and where clauses.
   2 // See issue #67509.
   3
   4 // pretty-compare-only
   5
   6 trait X {
   7     type Y<T>: Trait where Self: Sized;
   8 }
   9
  10 impl X for () {
  11     type Y<T> where Self: Sized = u32;
  12 }
  13
  14 fn f<T: X<Y<()> = i32>>() {}
  15
  16 fn main() { }