Test rigid_const_bound

Source location: tests/consts.rs:58

#[test]
fn rigid_const_bound() {
    FormalityTest::new(crates![crate Foo {
        trait Foo where type_of_const true is bool {}
    }])
    .skip_execute()
    .ok()
}

Rules proved (34)

Premises failed (0)

This test records no negative coverage.

Proof trees