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

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