#![feature(negative_impls)]
struct NonDrop;
impl !Drop for NonDrop {}
//~^ ERROR negative `Drop` impls are not supported
fn main() {}