1 files changed, 28 insertions, 0 deletions
diff --git a/tests/ui/traits/next-solver/specialization-transmute.rs b/tests/ui/traits/next-solver/specialization-transmute.rs
new file mode 100644
index 000000000..58b62f52d
--- /dev/null
+++ b/tests/ui/traits/next-solver/specialization-transmute.rs
@@ -0,0 +1,28 @@
+// compile-flags: -Znext-solver
+
+#![feature(specialization)]
+//~^ WARN the feature `specialization` is incomplete
+
+trait Default {
+   type Id;
+
+   fn intu(&self) -> &Self::Id;
+}
+
+impl<T> Default for T {
+    default type Id = T; //~ ERROR type annotations needed
+    // This will be fixed by #111994
+    fn intu(&self) -> &Self::Id { //~ ERROR type annotations needed
+        self
+    }
+}
+
+fn transmute<T: Default<Id = U>, U: Copy>(t: T) -> U {
+    *t.intu()
+}
+
+use std::num::NonZeroU8;
+fn main() {
+    let s = transmute::<u8, Option<NonZeroU8>>(0); // this call should then error
+    assert_eq!(s, None);
+}