Test covered_VecT

Source location: tests/coherence_orphan.rs:99

#[test]
fn covered_VecT() {
    FormalityTest::new(crates![crate core {
        trait CoreTrait<T> {}
        struct Vec<T> {}
    },
    crate foo {
        struct FooStruct {}
        impl<T> CoreTrait<FooStruct> for Vec<T> {}
    }])
    .skip_execute()
    .ok()
}

Rules proved (26)

Premises failed (0)

This test records no negative coverage.

Proof trees