Judgment check_safety_matches
judgment_fn! {
/// Validate that the declared safety of an impl matches the one from the trait declaration.
fn check_safety_matches(
trait_decl: Trait,
trait_impl: TraitImpl,
) => () {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/impls.rs:74
The number on each rule’s conclusion is positive coverage; the number on each premise is negative coverage. Click a number to browse the tests.
safety matches| Line | Coverage | Source |
|---|---|---|
| 82 | 2 | (if trait_decl.safety == trait_impl.safety) |
| ──────── ("safety matches") | ||
| 84 | 210 | (check_safety_matches(trait_decl, trait_impl) => ()) |