1 files changed, 0 insertions, 31 deletions
diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-70120.rs b/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-70120.rs
deleted file mode 100644
index 3ced40230..000000000
--- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-70120.rs
+++ /dev/null
@@ -1,31 +0,0 @@
-// check-pass
-
-pub trait MyTrait<'a> {
-    type Output: 'a;
-    fn gimme_value(&self) -> Self::Output;
-}
-
-pub struct MyStruct;
-
-impl<'a> MyTrait<'a> for MyStruct {
-    type Output = &'a usize;
-    fn gimme_value(&self) -> Self::Output {
-        unimplemented!()
-    }
-}
-
-fn meow<T, F>(t: T, f: F)
-where
-    T: for<'any> MyTrait<'any>,
-    F: for<'any2> Fn(<T as MyTrait<'any2>>::Output),
-{
-    let v = t.gimme_value();
-    f(v);
-}
-
-fn main() {
-    let struc = MyStruct;
-    meow(struc, |foo| {
-        println!("{:?}", foo);
-    })
-}