Negative coverage: check_neg_trait_impl / check_neg_trait_impl / premise fail "negative impls cannot be unsafe"

Premise at line 55. Observed failure causes: explicit_failure.

2 tests failed proving this premise:

Source location: tests/decl_safety.rs:59 (all coverage from this test)

#[test]
fn unsafe_trait_negative_impl_mismatch() {
    FormalityTest::new(crates![crate baguette {
        #![feature(negative_impls)]
        unsafe trait Foo {}
        unsafe impl !Foo for u32 {}
    }])
    .rustc_err(expect_test::expect![[r#"
        error[E0198]: negative impls cannot be unsafe
         --> lib.rs
          |
        5 | unsafe impl !Foo for u32 {}
          | ------      -^^^
          | |           |
          | |           negative because of this
          | unsafe because of this

        For more information about this error, try `rustc --explain E0198`.
        error: could not compile `baguette` (lib) due to 1 previous error
    "#]])
    .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:84 (all coverage from this test)

#[test]
fn safe_trait_negative_impl_mismatch() {
    FormalityTest::new(crates![crate baguette {
        #![feature(negative_impls)]
        trait Foo {}
        unsafe impl !Foo for u32 {}
    }])
    .rustc_err(expect_test::expect![[r#"
        error[E0198]: negative impls cannot be unsafe
         --> lib.rs
          |
        5 | unsafe impl !Foo for u32 {}
          | ------      -^^^
          | |           |
          | |           negative because of this
          | unsafe because of this

        For more information about this error, try `rustc --explain E0198`.
        error: could not compile `baguette` (lib) due to 1 previous error
    "#]])
    .err(expect_test::expect![[r#"
        the rule "check_neg_trait_impl" at (impls.rs) failed because
          negative impls cannot be unsafe"#]])
}