1 files changed, 0 insertions, 33 deletions
diff --git a/src/test/ui/nll/user-annotations/type-annotation-with-hrtb.rs b/src/test/ui/nll/user-annotations/type-annotation-with-hrtb.rs
deleted file mode 100644
index 1f7c06038..000000000
--- a/src/test/ui/nll/user-annotations/type-annotation-with-hrtb.rs
+++ /dev/null
@@ -1,33 +0,0 @@
-// Regression test for issue #69490
-
-// check-pass
-
-pub trait Trait<T> {
-    const S: &'static str;
-}
-
-impl<T> Trait<()> for T
-where
-    T: for<'a> Trait<&'a ()>,
-{
-    // Use of `T::S` here caused an ICE
-    const S: &'static str = T::S;
-}
-
-// Some similar cases that didn't ICE:
-
-impl<'a, T> Trait<()> for (T,)
-where
-    T: Trait<&'a ()>,
-{
-    const S: &'static str = T::S;
-}
-
-impl<T> Trait<()> for [T; 1]
-where
-    T: Trait<for<'a> fn(&'a ())>,
-{
-    const S: &'static str = T::S;
-}
-
-fn main() {}