blob: 05b09668016c47b8a836eeec7d06c84854f85c32 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#![feature(type_alias_impl_trait)]
type A = impl Foo; //~ ERROR unconstrained opaque type
type B = impl Foo;
trait Foo {}
fn muh(x: A) -> B {
x // B's hidden type is A (opaquely)
//~^ ERROR opaque type's hidden type cannot be another opaque type
}
struct Bar;
impl Foo for Bar {}
fn main() {}
|