typ 0.1.1

Type-level programming in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

error[E0271]: type mismatch resolving `<() as __TYP_MatchArm_0<Alice<typenum::B0>, Alice<typenum::B1>, Alice<typenum::B0>>>::Output == typenum::B1`
  --> $DIR/fail_match_attribute.rs:37:25
   |
37 |     let _: AssertSameOp<CompareOp<Alice<B0>, Alice<B1>>, ()> = ();
   |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `typenum::B0`, found struct `typenum::B1`

error[E0271]: type mismatch resolving `<() as __TYP_MatchArm_0<Alice<typenum::B0>, Bob<typenum::B1>, Alice<typenum::B0>>>::Output == typenum::B1`
  --> $DIR/fail_match_attribute.rs:38:25
   |
38 |     let _: AssertSameOp<CompareOp<Alice<B0>, Bob<B1>>, ()> = ();
   |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `typenum::B0`, found struct `typenum::B1`

error[E0271]: type mismatch resolving `<() as __TYP_MatchArm_0<Bob<typenum::B0>, Alice<typenum::B1>, Bob<typenum::B0>>>::Output == typenum::B1`
  --> $DIR/fail_match_attribute.rs:39:25
   |
39 |     let _: AssertSameOp<CompareOp<Bob<B0>, Alice<B1>>, ()> = ();
   |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `typenum::B0`, found struct `typenum::B1`

error[E0271]: type mismatch resolving `<() as __TYP_MatchArm_0<Bob<typenum::B0>, Bob<typenum::B1>, Bob<typenum::B0>>>::Output == typenum::B1`
  --> $DIR/fail_match_attribute.rs:40:25
   |
40 |     let _: AssertSameOp<CompareOp<Bob<B0>, Bob<B1>>, ()> = ();
   |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `typenum::B0`, found struct `typenum::B1`

error[E0271]: type mismatch resolving `<() as __TYP_MatchArm_0<Alice<typenum::B1>, Alice<typenum::B0>, Alice<typenum::B1>>>::Output == typenum::B0`
  --> $DIR/fail_match_attribute.rs:41:25
   |
41 |     let _: AssertSameOp<CompareOp<Alice<B1>, Alice<B0>>, ()> = ();
   |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `typenum::B1`, found struct `typenum::B0`

error[E0271]: type mismatch resolving `<() as __TYP_MatchArm_0<Alice<typenum::B1>, Bob<typenum::B0>, Alice<typenum::B1>>>::Output == typenum::B0`
  --> $DIR/fail_match_attribute.rs:42:25
   |
42 |     let _: AssertSameOp<CompareOp<Alice<B1>, Bob<B0>>, ()> = ();
   |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `typenum::B1`, found struct `typenum::B0`

error[E0271]: type mismatch resolving `<() as __TYP_MatchArm_0<Bob<typenum::B1>, Alice<typenum::B0>, Bob<typenum::B1>>>::Output == typenum::B0`
  --> $DIR/fail_match_attribute.rs:43:25
   |
43 |     let _: AssertSameOp<CompareOp<Bob<B1>, Alice<B0>>, ()> = ();
   |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `typenum::B1`, found struct `typenum::B0`

error[E0271]: type mismatch resolving `<() as __TYP_MatchArm_0<Bob<typenum::B1>, Bob<typenum::B0>, Bob<typenum::B1>>>::Output == typenum::B0`
  --> $DIR/fail_match_attribute.rs:44:25
   |
44 |     let _: AssertSameOp<CompareOp<Bob<B1>, Bob<B0>>, ()> = ();
   |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `typenum::B1`, found struct `typenum::B0`