Negative coverage: check_crate_item / neg trait impl / premise check_neg_trait_impl(program, i) => ()

Premise at line 197. Observed failure causes: failed_judgment.

2 tests failed proving this premise:

Source location: tests/decl_safety.rs:41

#[test]
fn unsafe_trait_negative_impl_mismatch() {
    FormalityTest::new(crates![crate baguette {
        unsafe trait Foo {}
        unsafe impl !Foo for u32 {}
    }])
    .err(expect_test::expect![[r#"
        the rule "check_neg_trait_impl" at (impls.rs) failed because
          negative impls cannot be unsafe"#]])
}

Source location: tests/decl_safety.rs:52

#[test]
fn safe_trait_negative_impl_mismatch() {
    FormalityTest::new(crates![crate baguette {
        trait Foo {}
        unsafe impl !Foo for u32 {}
    }])
    .err(expect_test::expect![[r#"
        the rule "check_neg_trait_impl" at (impls.rs) failed because
          negative impls cannot be unsafe"#]])
}