src/tools/miri/tests/run-pass/call_drop_through_trait_object.rs

trait Foo {}

struct Bar;

static mut DROP_CALLED: bool = false;

impl Drop for Bar {
    fn drop(&mut self) {
        unsafe { DROP_CALLED = true; }
    }
}

impl Foo for Bar {}

fn main() {
    let b: Box<Foo> = Box::new(Bar);
    assert!(unsafe { !DROP_CALLED });
    drop(b);
    assert!(unsafe { DROP_CALLED });
}