1 files changed, 0 insertions, 18 deletions
diff --git a/tests/ui/traits/new-solver/tait-eq-tait.rs b/tests/ui/traits/new-solver/tait-eq-tait.rs
deleted file mode 100644
index 70d9dc0ea..000000000
--- a/tests/ui/traits/new-solver/tait-eq-tait.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-// compile-flags: -Ztrait-solver=next
-// check-pass
-
-// Not exactly sure if this is the inference behavior we *want*,
-// but it is a side-effect of the lazy normalization of TAITs.
-
-#![feature(type_alias_impl_trait)]
-
-fn mk<T>() -> T {
-    todo!()
-}
-
-fn main() {
-    type Tait = impl Sized;
-    type Tait2 = impl Sized;
-    let x: Tait = 1u32;
-    let y: Tait2 = x;
-}