1 files changed, 0 insertions, 38 deletions
diff --git a/src/test/ui/nll/issue-57642-higher-ranked-subtype.rs b/src/test/ui/nll/issue-57642-higher-ranked-subtype.rs
deleted file mode 100644
index eba859cde..000000000
--- a/src/test/ui/nll/issue-57642-higher-ranked-subtype.rs
+++ /dev/null
@@ -1,38 +0,0 @@
-// Regression test for issue #57642
-// Tests that we reject a bad higher-ranked subtype
-
-trait X {
-    type G;
-    fn make_g() -> Self::G;
-}
-
-impl<'a> X for fn(&'a ()) {
-    type G = &'a ();
-
-    fn make_g() -> Self::G {
-        &()
-    }
-}
-
-trait Y {
-    type F;
-    fn make_f() -> Self::F;
-}
-
-impl<T> Y for fn(T) {
-    type F = fn(T);
-
-    fn make_f() -> Self::F {
-        |_| {}
-    }
-}
-
-fn higher_ranked_region_has_lost_its_binder() {
-    let x = <fn (&())>::make_g(); //~ ERROR the function
-}
-
-fn magical() {
-    let x = <fn (&())>::make_f(); //~ ERROR no function
-}
-
-fn main() {}