summaryrefslogtreecommitdiffstats
path: root/src/test/ui/nll/issue-57265-return-type-wf-check.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:03 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:03 +0000
commit64d98f8ee037282c35007b64c2649055c56af1db (patch)
tree5492bcf97fce41ee1c0b1cc2add283f3e66cdab0 /src/test/ui/nll/issue-57265-return-type-wf-check.rs
parentAdding debian version 1.67.1+dfsg1-1. (diff)
downloadrustc-64d98f8ee037282c35007b64c2649055c56af1db.tar.xz
rustc-64d98f8ee037282c35007b64c2649055c56af1db.zip
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/nll/issue-57265-return-type-wf-check.rs')
-rw-r--r--src/test/ui/nll/issue-57265-return-type-wf-check.rs24
1 files changed, 0 insertions, 24 deletions
diff --git a/src/test/ui/nll/issue-57265-return-type-wf-check.rs b/src/test/ui/nll/issue-57265-return-type-wf-check.rs
deleted file mode 100644
index 8fb8351ce..000000000
--- a/src/test/ui/nll/issue-57265-return-type-wf-check.rs
+++ /dev/null
@@ -1,24 +0,0 @@
-use std::any::Any;
-
-#[derive(Debug, Clone)]
-struct S<T: 'static>(T);
-
-// S<&'a T> is in the return type, so we get an implied bound
-// &'a T: 'static
-fn foo<'a, T>(x: &'a T) -> (S<&'a T>, Box<dyn Any + 'static>) {
- let y = S(x);
-
- let z = Box::new(y.clone()) as Box<dyn Any + 'static>;
- (y, z)
-}
-
-fn main() {
- let x = 5;
-
- // Check that we require that the argument is of type `&'static String`,
- // so that the return type is well-formed.
- let (_, z) = foo(&"hello".to_string());
- //~^ ERROR temporary value dropped while borrowed
-
- println!("{:?}", z.downcast_ref::<S<&'static String>>());
-}