From 246f239d9f40f633160f0c18f87a20922d4e77bb Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:06:37 +0200
Subject: Merging debian version 1.65.0+dfsg1-2.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 src/test/ui/hrtb/issue-62203-hrtb-ice.rs | 50 --------------------------------
 1 file changed, 50 deletions(-)
 delete mode 100644 src/test/ui/hrtb/issue-62203-hrtb-ice.rs

(limited to 'src/test/ui/hrtb/issue-62203-hrtb-ice.rs')

diff --git a/src/test/ui/hrtb/issue-62203-hrtb-ice.rs b/src/test/ui/hrtb/issue-62203-hrtb-ice.rs
deleted file mode 100644
index 80f099ce3..000000000
--- a/src/test/ui/hrtb/issue-62203-hrtb-ice.rs
+++ /dev/null
@@ -1,50 +0,0 @@
-trait T0<'a, A> {
-    type O;
-}
-
-struct L<T> {
-    f: T,
-}
-
-// explicitly named variants of what one would normally denote by the
-// unit type `()`. Why do this? So that we can differentiate them in
-// the diagnostic output.
-struct Unit1;
-struct Unit2;
-struct Unit3;
-struct Unit4;
-
-impl<'a, A, T> T0<'a, A> for L<T>
-where
-    T: FnMut(A) -> Unit3,
-{
-    type O = T::Output;
-}
-
-trait T1: for<'r> Ty<'r> {
-    fn m<'a, B: Ty<'a>, F>(&self, f: F) -> Unit1
-    where
-        F: for<'r> T0<'r, (<Self as Ty<'r>>::V,), O = <B as Ty<'r>>::V>,
-    {
-        unimplemented!();
-    }
-}
-
-trait Ty<'a> {
-    type V;
-}
-
-fn main() {
-    let v = Unit2.m(
-        //~^ ERROR type mismatch
-        L {
-        //~^ ERROR type mismatch
-            f : |x| { drop(x); Unit4 }
-        });
-}
-
-impl<'a> Ty<'a> for Unit2 {
-    type V = &'a u8;
-}
-
-impl T1 for Unit2 {}
-- 
cgit v1.2.3