From 64d98f8ee037282c35007b64c2649055c56af1db Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:19:03 +0200 Subject: Merging upstream version 1.68.2+dfsg1. Signed-off-by: Daniel Baumann --- src/test/ui/issues/issue-25076.rs | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 src/test/ui/issues/issue-25076.rs (limited to 'src/test/ui/issues/issue-25076.rs') diff --git a/src/test/ui/issues/issue-25076.rs b/src/test/ui/issues/issue-25076.rs deleted file mode 100644 index 6c5a55392..000000000 --- a/src/test/ui/issues/issue-25076.rs +++ /dev/null @@ -1,11 +0,0 @@ -struct S; - -trait InOut { type Out; } - -fn do_fold>(init: B, f: F) {} - -fn bot() -> T { loop {} } - -fn main() { - do_fold(bot(), ()); //~ ERROR `(): InOut<_>` is not satisfied -} -- cgit v1.2.3