summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generic-associated-types/issue-68641-check-gat-bounds.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/generic-associated-types/issue-68641-check-gat-bounds.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/generic-associated-types/issue-68641-check-gat-bounds.rs')
-rw-r--r--src/test/ui/generic-associated-types/issue-68641-check-gat-bounds.rs29
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);
-}