blob: ed645b82394a0393f9ab0a7aec06629eccfaf8bb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#![feature(type_alias_impl_trait)]
fn main() {}
trait T {
type Assoc;
}
type Foo = impl T;
fn a() -> Foo {
//~^ ERROR the trait bound `(): T` is not satisfied
// This is not a defining use, it doesn't actually constrain the opaque type.
panic!()
}
|