Test `trait_with_valid_associated_type`

Source location: tests/traits.rs:28

#[test]
fn trait_with_valid_associated_type() {
    FormalityTest::new(crates![
        crate core {
            trait A {
                type Assoc : [];
            }
        }
    ])
    .skip_execute()
    .rustc_ok()
    .ok();
}

Rules proved (8)

Judgment	Rule	All tests of this rule
check_all_crates	check all prefixes	131 tests
check_associated_ty	check associated ty	116 tests
check_coherence	check_coherence	131 tests
check_crate	check crate	131 tests
check_crate_item	trait	131 tests
check_trait	check trait	131 tests
check_trait_item	associated ty in trait	116 tests
prove_wc_list	none	155 tests

Premises failed (0)

This test records no negative coverage.

Proof trees

Proof tree

check_all_crates (check all prefixes) mod.rs:54
- args
- for_all mod.rs:41
  - for_all mod.rs:51
    
    args
    
    check_crate (check crate) mod.rs:75
    
    args
    
    for_all mod.rs:60
    
    for_all mod.rs:72
    
    args
    
    check_crate_item (trait) mod.rs:188
    
    args
    
    check_trait (check trait) traits.rs:26
    
    args
    
    prove_wc_list (none) prove_wc_list.rs:21
    
    args
    
    for_all traits.rs:9
    
    for_all traits.rs:24
    
    args
    
    check_trait_item (associated ty in trait) traits.rs:50
    
    args
    
    check_associated_ty (check associated ty) traits.rs:93
    
    args
    
    prove_wc_list (none) prove_wc_list.rs:21
    
    args
    
    check_coherence (check_coherence) coherence.rs:24
    
    args

Keyboard shortcuts

A MIR Formality

Test trait_with_valid_associated_type

Rules proved (8)

Premises failed (0)

Proof trees

Test `trait_with_valid_associated_type`