src/test/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 #![feature(generic_associated_types)]
   7
   8 trait X {
   9     type Y<T>: Trait where Self: Sized;
  10 }
  11
  12 impl X for () {
  13     type Y<T> where Self: Sized = u32;
  14 }
  15
  16 fn f<T: X<Y<()> = i32>>() {}
  17
  18 fn main() { }