blob: 66ce3e807a15007397b4e74f6f1382934fb79f00 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// revisions: base extended
//[base] check-fail
//[extended] check-pass
#![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() {}
|