From 218caa410aa38c29984be31a5229b9fa717560ee Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:19:13 +0200
Subject: Merging upstream version 1.68.2+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 .../normalize-under-binder/issue-62529-2.rs        | 33 ----------------------
 1 file changed, 33 deletions(-)
 delete mode 100644 src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-2.rs

(limited to 'src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-2.rs')

diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-2.rs b/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-2.rs
deleted file mode 100644
index 002054732..000000000
--- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-62529-2.rs
+++ /dev/null
@@ -1,33 +0,0 @@
-// check-pass
-
-use std::marker::PhantomData;
-
-trait Lt<'a> {
-    type T;
-}
-struct Id<T>(PhantomData<T>);
-impl<'a,T> Lt<'a> for Id<T> {
-    type T = T;
-}
-
-struct Ref<T>(PhantomData<T>) where T: ?Sized;
-impl<'a,T> Lt<'a> for Ref<T>
-where T: 'a + Lt<'a> + ?Sized
-{
-    type T = &'a T;
-}
-struct Mut<T>(PhantomData<T>) where T: ?Sized;
-impl<'a,T> Lt<'a> for Mut<T>
-where T: 'a + Lt<'a> + ?Sized
-{
-    type T = &'a mut T;
-}
-
-struct C<I,O>(for<'a> fn(<I as Lt<'a>>::T) -> O) where I: for<'a> Lt<'a>;
-
-
-fn main() {
-    let c = C::<Id<_>,_>(|()| 3);
-    c.0(());
-
-}
-- 
cgit v1.2.3