summaryrefslogtreecommitdiffstats
path: root/src/test/ui/dyn-drop
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/dyn-drop')
-rw-r--r--src/test/ui/dyn-drop/dyn-drop.rs16
-rw-r--r--src/test/ui/dyn-drop/dyn-drop.stderr38
2 files changed, 54 insertions, 0 deletions
diff --git a/src/test/ui/dyn-drop/dyn-drop.rs b/src/test/ui/dyn-drop/dyn-drop.rs
new file mode 100644
index 000000000..e1668a3f1
--- /dev/null
+++ b/src/test/ui/dyn-drop/dyn-drop.rs
@@ -0,0 +1,16 @@
+#![deny(dyn_drop)]
+#![allow(bare_trait_objects)]
+fn foo(_: Box<dyn Drop>) {} //~ ERROR
+fn bar(_: &dyn Drop) {} //~ERROR
+fn baz(_: *mut Drop) {} //~ ERROR
+struct Foo {
+ _x: Box<dyn Drop> //~ ERROR
+}
+trait Bar {
+ type T: ?Sized;
+}
+struct Baz {}
+impl Bar for Baz {
+ type T = dyn Drop; //~ ERROR
+}
+fn main() {}
diff --git a/src/test/ui/dyn-drop/dyn-drop.stderr b/src/test/ui/dyn-drop/dyn-drop.stderr
new file mode 100644
index 000000000..1b1dbc4d1
--- /dev/null
+++ b/src/test/ui/dyn-drop/dyn-drop.stderr
@@ -0,0 +1,38 @@
+error: types that do not implement `Drop` can still have drop glue, consider instead using `std::mem::needs_drop` to detect whether a type is trivially dropped
+ --> $DIR/dyn-drop.rs:3:19
+ |
+LL | fn foo(_: Box<dyn Drop>) {}
+ | ^^^^
+ |
+note: the lint level is defined here
+ --> $DIR/dyn-drop.rs:1:9
+ |
+LL | #![deny(dyn_drop)]
+ | ^^^^^^^^
+
+error: types that do not implement `Drop` can still have drop glue, consider instead using `std::mem::needs_drop` to detect whether a type is trivially dropped
+ --> $DIR/dyn-drop.rs:4:16
+ |
+LL | fn bar(_: &dyn Drop) {}
+ | ^^^^
+
+error: types that do not implement `Drop` can still have drop glue, consider instead using `std::mem::needs_drop` to detect whether a type is trivially dropped
+ --> $DIR/dyn-drop.rs:5:16
+ |
+LL | fn baz(_: *mut Drop) {}
+ | ^^^^
+
+error: types that do not implement `Drop` can still have drop glue, consider instead using `std::mem::needs_drop` to detect whether a type is trivially dropped
+ --> $DIR/dyn-drop.rs:7:15
+ |
+LL | _x: Box<dyn Drop>
+ | ^^^^
+
+error: types that do not implement `Drop` can still have drop glue, consider instead using `std::mem::needs_drop` to detect whether a type is trivially dropped
+ --> $DIR/dyn-drop.rs:14:16
+ |
+LL | type T = dyn Drop;
+ | ^^^^
+
+error: aborting due to 5 previous errors
+