summaryrefslogtreecommitdiffstats
path: root/src/test/ui/drop-bounds
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
commit218caa410aa38c29984be31a5229b9fa717560ee (patch)
treec54bd55eeb6e4c508940a30e94c0032fbd45d677 /src/test/ui/drop-bounds
parentReleasing progress-linux version 1.67.1+dfsg1-1~progress7.99u1. (diff)
downloadrustc-218caa410aa38c29984be31a5229b9fa717560ee.tar.xz
rustc-218caa410aa38c29984be31a5229b9fa717560ee.zip
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/drop-bounds')
-rw-r--r--src/test/ui/drop-bounds/drop-bounds-impl-drop.rs14
-rw-r--r--src/test/ui/drop-bounds/drop-bounds.rs19
-rw-r--r--src/test/ui/drop-bounds/drop-bounds.stderr50
3 files changed, 0 insertions, 83 deletions
diff --git a/src/test/ui/drop-bounds/drop-bounds-impl-drop.rs b/src/test/ui/drop-bounds/drop-bounds-impl-drop.rs
deleted file mode 100644
index 063efc7b3..000000000
--- a/src/test/ui/drop-bounds/drop-bounds-impl-drop.rs
+++ /dev/null
@@ -1,14 +0,0 @@
-// run-pass
-#![deny(drop_bounds)]
-// As a special exemption, `impl Drop` in the return position raises no error.
-// This allows a convenient way to return an unnamed drop guard.
-fn voldemort_type() -> impl Drop {
- struct Voldemort;
- impl Drop for Voldemort {
- fn drop(&mut self) {}
- }
- Voldemort
-}
-fn main() {
- let _ = voldemort_type();
-}
diff --git a/src/test/ui/drop-bounds/drop-bounds.rs b/src/test/ui/drop-bounds/drop-bounds.rs
deleted file mode 100644
index c73538278..000000000
--- a/src/test/ui/drop-bounds/drop-bounds.rs
+++ /dev/null
@@ -1,19 +0,0 @@
-#![deny(drop_bounds)]
-fn foo<T: Drop>() {} //~ ERROR
-fn bar<U>()
-where
- U: Drop, //~ ERROR
-{
-}
-fn baz(_x: impl Drop) {} //~ ERROR
-struct Foo<T: Drop> { //~ ERROR
- _x: T
-}
-struct Bar<U> where U: Drop { //~ ERROR
- _x: U
-}
-trait Baz: Drop { //~ ERROR
-}
-impl<T: Drop> Baz for T { //~ ERROR
-}
-fn main() {}
diff --git a/src/test/ui/drop-bounds/drop-bounds.stderr b/src/test/ui/drop-bounds/drop-bounds.stderr
deleted file mode 100644
index 3ffb855a5..000000000
--- a/src/test/ui/drop-bounds/drop-bounds.stderr
+++ /dev/null
@@ -1,50 +0,0 @@
-error: bounds on `T: Drop` are most likely incorrect, consider instead using `std::mem::needs_drop` to detect whether a type can be trivially dropped
- --> $DIR/drop-bounds.rs:2:11
- |
-LL | fn foo<T: Drop>() {}
- | ^^^^
- |
-note: the lint level is defined here
- --> $DIR/drop-bounds.rs:1:9
- |
-LL | #![deny(drop_bounds)]
- | ^^^^^^^^^^^
-
-error: bounds on `U: Drop` are most likely incorrect, consider instead using `std::mem::needs_drop` to detect whether a type can be trivially dropped
- --> $DIR/drop-bounds.rs:5:8
- |
-LL | U: Drop,
- | ^^^^
-
-error: bounds on `impl Drop: Drop` are most likely incorrect, consider instead using `std::mem::needs_drop` to detect whether a type can be trivially dropped
- --> $DIR/drop-bounds.rs:8:17
- |
-LL | fn baz(_x: impl Drop) {}
- | ^^^^
-
-error: bounds on `T: Drop` are most likely incorrect, consider instead using `std::mem::needs_drop` to detect whether a type can be trivially dropped
- --> $DIR/drop-bounds.rs:9:15
- |
-LL | struct Foo<T: Drop> {
- | ^^^^
-
-error: bounds on `U: Drop` are most likely incorrect, consider instead using `std::mem::needs_drop` to detect whether a type can be trivially dropped
- --> $DIR/drop-bounds.rs:12:24
- |
-LL | struct Bar<U> where U: Drop {
- | ^^^^
-
-error: bounds on `Self: Drop` are most likely incorrect, consider instead using `std::mem::needs_drop` to detect whether a type can be trivially dropped
- --> $DIR/drop-bounds.rs:15:12
- |
-LL | trait Baz: Drop {
- | ^^^^
-
-error: bounds on `T: Drop` are most likely incorrect, consider instead using `std::mem::needs_drop` to detect whether a type can be trivially dropped
- --> $DIR/drop-bounds.rs:17:9
- |
-LL | impl<T: Drop> Baz for T {
- | ^^^^
-
-error: aborting due to 7 previous errors
-