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

   1 trait X {
   2     type Y<'a>;
   3 }
   4
   5 fn f(x: Box<dyn X<Y<'a> = &'a ()>>) {}
   6 //~^ ERROR: use of undeclared lifetime name `'a`
   7 //~| ERROR: use of undeclared lifetime name `'a`
   8 //~| ERROR: the trait `X` cannot be made into an object [E0038]
   9
  10 fn main() {}