blob: 7c7a1b405bcdcd5caedbfe50e676eb72f02115b9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#![feature(type_alias_impl_trait)]
pub trait Bar<T> {
type Item;
}
type Foo = impl Bar<Foo, Item = Foo>;
//~^ ERROR: unconstrained opaque type
fn crash(x: Foo) -> Foo {
x
}
fn main() {}
|