Test `crates/formality-core/src/judgment.rs:25`

Source location: crates/formality-core/src/judgment.rs:25

Rules proved (2)

Judgment	Rule	All tests of this rule
`expected_field_name`	`field name`	1 test (not in the report)
`field_names`	`field names`	1 test (not in the report)

Premises failed (0)

This test records no negative coverage.

Proof trees

Proof tree

field_names (field names) judgment.rs:20
- args
- for_all judgment.rs:12
  - for_all judgment.rs:16
    
    args
    
    expected_field_name (field name) judgment.rs:9
    
    args
  - for_all judgment.rs:16
    
    args
    
    expected_field_name (field name) judgment.rs:9
    
    args
  - for_all judgment.rs:16
    
    args
    
    expected_field_name (field name) judgment.rs:9
    
    args

How to read this page