impls.rs:70

Signature:

check_safety_matches(trait_decl: Trait, trait_impl: TraitImpl,) => ()

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
78	2	(if trait_decl.safety == trait_impl.safety)
		──────── ("safety matches")
80	110	(check_safety_matches(trait_decl, trait_impl) => ())

Keyboard shortcuts

A MIR Formality

Judgment check_safety_matches at crates/formality-rust/src/check/impls.rs:70

Judgment `check_safety_matches` at crates/formality-rust/src/check/impls.rs:70