Test nonsense_rigid_const_bound

Source location: tests/consts.rs:11

#[test]
fn nonsense_rigid_const_bound() {
    FormalityTest::new(crates![crate Foo {
        // This where-clause is not *provable*, but it is well-formed.
        trait Foo where type_of_const true is u32 {}
    }])
    .skip_execute()
    .ok()
}

Rules proved (34)

Premises failed (0)

This test records no negative coverage.

Proof trees