diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:19:13 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:19:13 +0000 |
commit | 218caa410aa38c29984be31a5229b9fa717560ee (patch) | |
tree | c54bd55eeb6e4c508940a30e94c0032fbd45d677 /src/test/ui/drop-bounds | |
parent | Releasing progress-linux version 1.67.1+dfsg1-1~progress7.99u1. (diff) | |
download | rustc-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.rs | 14 | ||||
-rw-r--r-- | src/test/ui/drop-bounds/drop-bounds.rs | 19 | ||||
-rw-r--r-- | src/test/ui/drop-bounds/drop-bounds.stderr | 50 |
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 - |