1 files changed, 0 insertions, 19 deletions
diff --git a/src/test/ui/nll/issue-54943-3.rs b/src/test/ui/nll/issue-54943-3.rs
deleted file mode 100644
index 077eb1563..000000000
--- a/src/test/ui/nll/issue-54943-3.rs
+++ /dev/null
@@ -1,19 +0,0 @@
-// check-pass
-// FIXME(#54943) This test targets the scenario where proving the WF requirements requires
-// knowing the value of the `_` type present in the user type annotation - unfortunately, figuring
-// out the value of that `_` requires type-checking the surrounding code, but that code is dead,
-// so our NLL region checker doesn't have access to it. This test should actually fail to compile.
-
-#![allow(warnings)]
-
-use std::fmt::Debug;
-
-fn foo<T: 'static + Debug>(_: T) { }
-
-fn bar<'a>() {
-    return;
-
-    let _x = foo::<Vec<_>>(Vec::<&'a u32>::new());
-}
-
-fn main() {}