#[derive(Copy, Clone)]
struct Flags;

trait A {
}

impl<T> Drop for T where T: A {
    //~^ ERROR E0120
    //~| ERROR E0210
    fn drop(&mut self) {
    }
}

fn main() {}