summaryrefslogtreecommitdiffstats
path: root/src/test/ui/hrtb/issue-62203-hrtb-ice.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:06:37 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:06:37 +0000
commit246f239d9f40f633160f0c18f87a20922d4e77bb (patch)
tree5a88572663584b3d4d28e5a20e10abab1be40884 /src/test/ui/hrtb/issue-62203-hrtb-ice.rs
parentReleasing progress-linux version 1.64.0+dfsg1-1~progress7.99u1. (diff)
downloadrustc-246f239d9f40f633160f0c18f87a20922d4e77bb.tar.xz
rustc-246f239d9f40f633160f0c18f87a20922d4e77bb.zip
Merging debian version 1.65.0+dfsg1-2.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/hrtb/issue-62203-hrtb-ice.rs')
-rw-r--r--src/test/ui/hrtb/issue-62203-hrtb-ice.rs50
1 files changed, 0 insertions, 50 deletions
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 {}