Test drop_impl_enum

Source location: tests/drop.rs:94

#[test]
fn drop_impl_enum() {
    FormalityTest::new(crates![
        crate Foo {
            enum MyEnum {
                Variant{},
            }

            impl Drop for MyEnum {}
        }
    ])
    .skip_execute()
    .ok()
}

Rules proved (37)

Premises failed (0)

This test records no negative coverage.

Proof trees