Test unsafe_trait

Source location: tests/decl_safety.rs:13

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

Rules proved (32)

Premises failed (0)

This test records no negative coverage.

Proof trees