diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:19:03 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:19:03 +0000 |
commit | 64d98f8ee037282c35007b64c2649055c56af1db (patch) | |
tree | 5492bcf97fce41ee1c0b1cc2add283f3e66cdab0 /src/test/ui/nll/issue-53570.rs | |
parent | Adding debian version 1.67.1+dfsg1-1. (diff) | |
download | rustc-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-53570.rs')
-rw-r--r-- | src/test/ui/nll/issue-53570.rs | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/src/test/ui/nll/issue-53570.rs b/src/test/ui/nll/issue-53570.rs deleted file mode 100644 index 35860ba9c..000000000 --- a/src/test/ui/nll/issue-53570.rs +++ /dev/null @@ -1,32 +0,0 @@ -// Regression test for #53570. Here, we need to propagate that `T: 'a` -// but in some versions of NLL we were propagating a stronger -// requirement that `T: 'static`. This arose because we actually had -// to propagate both that `T: 'a` but also `T: 'b` where `'b` is the -// higher-ranked lifetime that appears in the type of the closure -// parameter `x` -- since `'b` cannot be expressed in the caller's -// space, that got promoted th `'static`. -// -// check-pass - -use std::cell::{RefCell, Ref}; - -trait AnyVec<'a> { -} - -trait GenericVec<T> { - fn unwrap<'a, 'b>(vec: &'b dyn AnyVec<'a>) -> &'b [T] where T: 'a; -} - -struct Scratchpad<'a> { - buffers: RefCell<Box<dyn AnyVec<'a>>>, -} - -impl<'a> Scratchpad<'a> { - fn get<T: GenericVec<T>>(&self) -> Ref<[T]> - where T: 'a - { - Ref::map(self.buffers.borrow(), |x| T::unwrap(x.as_ref())) - } -} - -fn main() { } |