diff options
Diffstat (limited to 'src/test/ui/traits/pointee-tail-is-generic-errors.rs')
| -rw-r--r-- | src/test/ui/traits/pointee-tail-is-generic-errors.rs | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/test/ui/traits/pointee-tail-is-generic-errors.rs b/src/test/ui/traits/pointee-tail-is-generic-errors.rs deleted file mode 100644 index 28bc1da964d..00000000000 --- a/src/test/ui/traits/pointee-tail-is-generic-errors.rs +++ /dev/null @@ -1,22 +0,0 @@ -// edition:2018 - -#![feature(ptr_metadata)] -#![feature(type_alias_impl_trait)] - -type Opaque = impl std::fmt::Debug + ?Sized; - -fn opaque() -> &'static Opaque { - &[1] as &[i32] -} - -fn a<T: ?Sized>() { - is_thin::<T>(); - //~^ ERROR type mismatch resolving `<T as Pointee>::Metadata == ()` - - is_thin::<Opaque>(); - //~^ ERROR type mismatch resolving `<Opaque as Pointee>::Metadata == ()` -} - -fn is_thin<T: std::ptr::Pointee<Metadata = ()> + ?Sized>() {} - -fn main() {} |