From 9918693037dce8aa4bb6f08741b6812923486c18 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 19 Jun 2024 11:26:03 +0200
Subject: Merging upstream version 1.76.0+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 .../traits/new-solver/specialization-transmute.rs  | 28 ----------------------
 1 file changed, 28 deletions(-)
 delete mode 100644 tests/ui/traits/new-solver/specialization-transmute.rs

(limited to 'tests/ui/traits/new-solver/specialization-transmute.rs')

diff --git a/tests/ui/traits/new-solver/specialization-transmute.rs b/tests/ui/traits/new-solver/specialization-transmute.rs
deleted file mode 100644
index fac7d76f8..000000000
--- a/tests/ui/traits/new-solver/specialization-transmute.rs
+++ /dev/null
@@ -1,28 +0,0 @@
-// compile-flags: -Ztrait-solver=next
-
-#![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);
-}
-- 
cgit v1.2.3