| #![feature(type_alias_impl_trait)] | |
| type Hi = impl Sized; | |
| extern "C" { | |
| #[define_opaque(Hi)] fn foo(); | |
| //~^ ERROR only functions, statics, and consts can define opaque types | |
| #[define_opaque(Hi)] static HI: Hi; | |
| //~^ ERROR only functions, statics, and consts can define opaque types | |
| } | |
| #[define_opaque(Hi)] | |
| fn main() { | |
| let _: Hi = 0; | |
| } |