bijective 0.1.0

Compile-time enforcement of surjective, injective, and bijective properties on enum-to-enum match expressions
Documentation 
1
2
3
4
5
6
7
8
9
10

#[test]
fn compile_tests() {
    let t = trybuild::TestCases::new();
    t.pass("tests/compile/surjective_*.rs");
    t.compile_fail("tests/compile/non_surjective_*.rs");
    t.pass("tests/compile/inject_*.rs");
    t.compile_fail("tests/compile/non_inject_*.rs");
    t.pass("tests/compile/biject_*.rs");
    t.compile_fail("tests/compile/non_biject_*.rs");
}