1 files changed, 0 insertions, 12 deletions

diff --git a/src/test/ui/issues/issue-37725.rs b/src/test/ui/issues/issue-37725.rs
deleted file mode 100644
index 1c6df0da6..000000000
--- a/src/test/ui/issues/issue-37725.rs
+++ /dev/null
@@ -1,12 +0,0 @@
-// build-pass
-// compiler-opts: -Zmir-opt-level=2
-
-#![allow(dead_code)]
-trait Foo {
-    fn foo(&self);
-}
-
-fn foo<'a>(s: &'a mut ()) where &'a mut (): Foo {
-    s.foo();
-}
-fn main() {}