src/test/ui/generic-associated-types/issue-67510-pass.rs

   1 // revisions: base extended
   2 //[base] check-fail
   3 //[extended] check-pass
   4
   5 #![cfg_attr(extended, feature(generic_associated_types_extended))]
   6 #![cfg_attr(extended, allow(incomplete_features))]
   7
   8 trait X {
   9     type Y<'a>;
  10 }
  11
  12 fn _func1<'a>(_x: Box<dyn X<Y<'a>=&'a ()>>) {}
  13 //[base]~^ ERROR the trait `X` cannot be made into an object
  14
  15 fn main() {}