src/test/ui/traits/pointee-tail-is-generic-errors.rs

   1 // edition:2018
   2
   3 #![feature(ptr_metadata)]
   4 #![feature(type_alias_impl_trait)]
   5
   6 type Opaque = impl std::fmt::Debug + ?Sized;
   7
   8 fn opaque() -> &'static Opaque {
   9     &[1] as &[i32]
  10 }
  11
  12 fn a<T: ?Sized>() {
  13     is_thin::<T>();
  14     //~^ ERROR type mismatch resolving `<T as Pointee>::Metadata == ()`
  15
  16     is_thin::<Opaque>();
  17     //~^ ERROR type mismatch resolving `<Opaque as Pointee>::Metadata == ()`
  18 }
  19
  20 fn is_thin<T: std::ptr::Pointee<Metadata = ()> + ?Sized>() {}
  21
  22 fn main() {}