blob: 0f0a02e97d82db4054e6531932337b7c3b939a3a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// Issue 52985: user code provides no use case that allows a type alias `impl Trait`
// We now emit a 'unconstrained opaque type' error
#![feature(type_alias_impl_trait)]
mod foo {
pub type Foo = impl Copy;
//~^ ERROR unconstrained opaque type
// make compiler happy about using 'Foo'
pub fn bar(x: Foo) -> Foo {
x
}
}
fn main() {
let _: foo::Foo = std::mem::transmute(0u8);
}
|