diff options
Diffstat (limited to 'src/test/ui/traits/pointee-tail-is-generic.rs')
| -rw-r--r-- | src/test/ui/traits/pointee-tail-is-generic.rs | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/traits/pointee-tail-is-generic.rs b/src/test/ui/traits/pointee-tail-is-generic.rs deleted file mode 100644 index e0da0fc3861..00000000000 --- a/src/test/ui/traits/pointee-tail-is-generic.rs +++ /dev/null @@ -1,29 +0,0 @@ -// check-pass -// edition:2018 - -#![feature(ptr_metadata)] -#![feature(type_alias_impl_trait)] - -type Opaque = impl std::future::Future; - -fn opaque() -> Opaque { - async {} -} - -fn a<T>() { - // type parameter T is known to be sized - is_thin::<T>(); - // tail of ADT (which is a type param) is known to be sized - is_thin::<std::cell::Cell<T>>(); - // opaque type is known to be sized - is_thin::<Opaque>(); -} - -fn a2<T: Iterator>() { - // associated type is known to be sized - is_thin::<T::Item>(); -} - -fn is_thin<T: std::ptr::Pointee<Metadata = ()>>() {} - -fn main() {} |
