1 files changed, 0 insertions, 23 deletions
diff --git a/src/test/ui/impl-trait/negative-reasoning.rs b/src/test/ui/impl-trait/negative-reasoning.rs
deleted file mode 100644
index 70e24a3a9..000000000
--- a/src/test/ui/impl-trait/negative-reasoning.rs
+++ /dev/null
@@ -1,23 +0,0 @@
-// Tests that we cannot assume that an opaque type does *not* implement some
-// other trait
-#![feature(type_alias_impl_trait)]
-
-trait OpaqueTrait {}
-impl<T> OpaqueTrait for T {}
-type OpaqueType = impl OpaqueTrait;
-fn mk_opaque() -> OpaqueType {
-    ()
-}
-
-#[derive(Debug)]
-struct D<T>(T);
-
-trait AnotherTrait {}
-impl<T: std::fmt::Debug> AnotherTrait for T {}
-
-// This is in error, because we cannot assume that `OpaqueType: !Debug`
-impl AnotherTrait for D<OpaqueType> {
-    //~^ ERROR conflicting implementations of trait `AnotherTrait` for type `D<OpaqueType>`
-}
-
-fn main() {}