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/generic-associated-types/issue-68641-check-gat-bounds.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/generic-associated-types/issue-68641-check-gat-bounds.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/issue-68641-check-gat-bounds.rs | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/generic-associated-types/issue-68641-check-gat-bounds.rs b/src/test/ui/generic-associated-types/issue-68641-check-gat-bounds.rs deleted file mode 100644 index f1e779fcb..000000000 --- a/src/test/ui/generic-associated-types/issue-68641-check-gat-bounds.rs +++ /dev/null @@ -1,29 +0,0 @@ -// Regression test for #68641 - -trait UnsafeCopy { - type Item<'a>: Copy; - - fn copy<'a>(item: &Self::Item<'a>) -> Self::Item<'a> { - *item - } -} - -impl<T> UnsafeCopy for T { - type Item<'a> = T; - //~^ ERROR the trait bound `T: Copy` is not satisfied -} - -fn main() { - let mut s = String::from("Hello world!"); - - let copy = String::copy(&s); - - // Do we indeed point to the samme memory? - assert!(s.as_ptr() == copy.as_ptr()); - - // Any use of `copy` is certeinly UB after this - drop(s); - - // UB UB UB UB UB!! - println!("{}", copy); -} |