1 files changed, 0 insertions, 21 deletions
diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80956.rs b/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80956.rs
deleted file mode 100644
index 6316ceea1..000000000
--- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80956.rs
+++ /dev/null
@@ -1,21 +0,0 @@
-// check-pass
-
-trait Bar {
-    type Type;
-}
-struct Foo<'a>(&'a ());
-impl<'a> Bar for Foo<'a> {
-    type Type = ();
-}
-
-fn func<'a>(_: <Foo<'a> as Bar>::Type) {}
-fn assert_is_func<A>(_: fn(A)) {}
-
-fn test()
-where
-    for<'a> <Foo<'a> as Bar>::Type: Sized,
-{
-    assert_is_func(func);
-}
-
-fn main() {}