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