1 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
2 --> $DIR/drop-bounds.rs:2:11
4 LL | fn foo<T: Drop>() {}
7 note: the lint level is defined here
8 --> $DIR/drop-bounds.rs:1:9
10 LL | #![deny(drop_bounds)]
13 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
14 --> $DIR/drop-bounds.rs:5:8
19 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
20 --> $DIR/drop-bounds.rs:8:17
22 LL | fn baz(_x: impl Drop) {}
25 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
26 --> $DIR/drop-bounds.rs:9:15
28 LL | struct Foo<T: Drop> {
31 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
32 --> $DIR/drop-bounds.rs:12:24
34 LL | struct Bar<U> where U: Drop {
37 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
38 --> $DIR/drop-bounds.rs:15:12
40 LL | trait Baz: Drop {
43 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
44 --> $DIR/drop-bounds.rs:17:9
46 LL | impl<T: Drop> Baz for T {
49 error: aborting due to 7 previous errors