1 #![deny(drop_bounds)]
foo<T: Drop>()2 fn foo<T: Drop>() {} //~ ERROR
bar<U>() where U: Drop,3 fn bar<U>()
4 where
5     U: Drop, //~ ERROR
6 {
7 }
baz(_x: impl Drop)8 fn baz(_x: impl Drop) {} //~ ERROR
9 struct Foo<T: Drop> { //~ ERROR
10   _x: T
11 }
12 struct Bar<U> where U: Drop { //~ ERROR
13   _x: U
14 }
15 trait Baz: Drop { //~ ERROR
16 }
17 impl<T: Drop> Baz for T { //~ ERROR
18 }
main()19 fn main() {}
20