1 files changed, 21 insertions, 0 deletions
diff --git a/tests/ui/traits/next-solver/pointee.rs b/tests/ui/traits/next-solver/pointee.rs
new file mode 100644
index 000000000..a56df549a
--- /dev/null
+++ b/tests/ui/traits/next-solver/pointee.rs
@@ -0,0 +1,21 @@
+// compile-flags: -Znext-solver
+// check-pass
+#![feature(ptr_metadata)]
+
+use std::ptr::{DynMetadata, Pointee};
+
+trait Trait<U> {}
+struct MyDst<T: ?Sized>(T);
+
+fn meta_is<T: Pointee<Metadata = U> + ?Sized, U>() {}
+
+fn works<T>() {
+    meta_is::<T, ()>();
+    meta_is::<[T], usize>();
+    meta_is::<str, usize>();
+    meta_is::<dyn Trait<T>, DynMetadata<dyn Trait<T>>>();
+    meta_is::<MyDst<T>, ()>();
+    meta_is::<((((([u8],),),),),), usize>();
+}
+
+fn main() {}