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