Test unsafe_trait_negative_impl

Source location: tests/decl_safety.rs:36

#[test]
fn unsafe_trait_negative_impl() {
    FormalityTest::new(crates![crate baguette {
        #![feature(negative_impls)]
        unsafe trait Foo {}
        impl !Foo for u32 {}
    }])
    .skip_execute()
    .rustc_ok()
    .ok()
}

Rules proved (37)

Premises failed (0)

This test records no negative coverage.

Proof trees