1 files changed, 0 insertions, 20 deletions

diff --git a/src/test/ui/issues/issue-23046.rs b/src/test/ui/issues/issue-23046.rs
deleted file mode 100644
index a68369616..000000000
--- a/src/test/ui/issues/issue-23046.rs
+++ /dev/null
@@ -1,20 +0,0 @@
-pub enum Expr<'var, VAR> {
-    Let(Box<Expr<'var, VAR>>,
-        Box<dyn for<'v> Fn(Expr<'v, VAR>) -> Expr<'v, VAR> + 'var>)
-}
-
-pub fn add<'var, VAR>
-                      (a: Expr<'var, VAR>, b: Expr<'var, VAR>) -> Expr<'var, VAR> {
-    loop {}
-}
-
-pub fn let_<'var, VAR, F: for<'v> Fn(Expr<'v, VAR>) -> Expr<'v, VAR>>
-                       (a: Expr<'var, VAR>, b: F) -> Expr<'var, VAR> {
-    loop {}
-}
-
-fn main() {
-    let ex = |x| { //~ ERROR type annotations needed
-        let_(add(x,x), |y| {
-            let_(add(x, x), |x|x)})};
-}