src/test/ui/or-patterns/already-bound-name.stderr

   1 error[E0416]: identifier `a` is bound more than once in the same pattern
   2   --> $DIR/already-bound-name.rs:9:13
   3    |
   4 LL |     let (a, a) = (0, 1); // Standard duplication without an or-pattern.
   5    |             ^ used in a pattern more than once
   6
   7 error[E0416]: identifier `a` is bound more than once in the same pattern
   8   --> $DIR/already-bound-name.rs:12:15
   9    |
  10 LL |     let (a, A(a, _) | B(a)) = (0, A(1, 2));
  11    |               ^ used in a pattern more than once
  12
  13 error[E0416]: identifier `a` is bound more than once in the same pattern
  14   --> $DIR/already-bound-name.rs:12:25
  15    |
  16 LL |     let (a, A(a, _) | B(a)) = (0, A(1, 2));
  17    |                         ^ used in a pattern more than once
  18
  19 error[E0416]: identifier `a` is bound more than once in the same pattern
  20   --> $DIR/already-bound-name.rs:16:26
  21    |
  22 LL |     let (A(a, _) | B(a), a) = (A(0, 1), 2);
  23    |                          ^ used in a pattern more than once
  24
  25 error[E0416]: identifier `a` is bound more than once in the same pattern
  26   --> $DIR/already-bound-name.rs:19:15
  27    |
  28 LL |     let (A(a, a) | B(a)) = A(0, 1);
  29    |               ^ used in a pattern more than once
  30
  31 error[E0416]: identifier `a` is bound more than once in the same pattern
  32   --> $DIR/already-bound-name.rs:22:22
  33    |
  34 LL |     let (B(a) | A(a, a)) = A(0, 1);
  35    |                      ^ used in a pattern more than once
  36
  37 error[E0416]: identifier `a` is bound more than once in the same pattern
  38   --> $DIR/already-bound-name.rs:26:21
  39    |
  40 LL |         B(a) | A(a, a) => {} // Let's ensure `match` has no funny business.
  41    |                     ^ used in a pattern more than once
  42
  43 error[E0416]: identifier `a` is bound more than once in the same pattern
  44   --> $DIR/already-bound-name.rs:30:37
  45    |
  46 LL |     let (B(A(a, _) | B(a)) | A(a, A(a, _) | B(a))) = B(B(1));
  47    |                                     ^ used in a pattern more than once
  48
  49 error[E0416]: identifier `a` is bound more than once in the same pattern
  50   --> $DIR/already-bound-name.rs:30:47
  51    |
  52 LL |     let (B(A(a, _) | B(a)) | A(a, A(a, _) | B(a))) = B(B(1));
  53    |                                               ^ used in a pattern more than once
  54
  55 error[E0416]: identifier `a` is bound more than once in the same pattern
  56   --> $DIR/already-bound-name.rs:35:37
  57    |
  58 LL |     let (B(_) | A(A(a, _) | B(a), A(a, _) | B(a))) = B(B(1));
  59    |                                     ^ used in a pattern more than once
  60
  61 error[E0416]: identifier `a` is bound more than once in the same pattern
  62   --> $DIR/already-bound-name.rs:35:47
  63    |
  64 LL |     let (B(_) | A(A(a, _) | B(a), A(a, _) | B(a))) = B(B(1));
  65    |                                               ^ used in a pattern more than once
  66
  67 error[E0408]: variable `a` is not bound in all patterns
  68   --> $DIR/already-bound-name.rs:35:10
  69    |
  70 LL |     let (B(_) | A(A(a, _) | B(a), A(a, _) | B(a))) = B(B(1));
  71    |          ^^^^ pattern doesn't bind `a`        - variable not in all patterns
  72
  73 error[E0416]: identifier `a` is bound more than once in the same pattern
  74   --> $DIR/already-bound-name.rs:40:50
  75    |
  76 LL |     let (B(A(a, _) | B(a)) | A(A(a, _) | B(a), A(a, _) | B(a))) = B(B(1));
  77    |                                                  ^ used in a pattern more than once
  78
  79 error[E0416]: identifier `a` is bound more than once in the same pattern
  80   --> $DIR/already-bound-name.rs:40:60
  81    |
  82 LL |     let (B(A(a, _) | B(a)) | A(A(a, _) | B(a), A(a, _) | B(a))) = B(B(1));
  83    |                                                            ^ used in a pattern more than once
  84
  85 error[E0308]: mismatched types
  86   --> $DIR/already-bound-name.rs:30:32
  87    |
  88 LL |     let (B(A(a, _) | B(a)) | A(a, A(a, _) | B(a))) = B(B(1));
  89    |              -                 ^                     ------- this expression has type `E<E<{integer}>>`
  90    |              |                 |
  91    |              |                 expected integer, found enum `E`
  92    |              first introduced with type `{integer}` here
  93    |
  94    = note: expected type `{integer}`
  95               found type `E<{integer}>`
  96    = note: a binding must have the same type in all alternatives
  97
  98 error: aborting due to 15 previous errors
  99
 100 Some errors have detailed explanations: E0308, E0408, E0416.
 101 For more information about an error, try `rustc --explain E0308`.