3 #![feature(ptr_metadata)]
4 #![feature(type_alias_impl_trait)]
6 type Opaque = impl std::fmt::Debug + ?Sized;
8 fn opaque() -> &'static Opaque {
14 //~^ ERROR type mismatch resolving `<T as Pointee>::Metadata == ()`
17 //~^ ERROR type mismatch resolving `<Opaque as Pointee>::Metadata == ()`
20 fn is_thin<T: std::ptr::Pointee<Metadata = ()> + ?Sized>() {}