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:11: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:14: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:14: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:18: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:21:14
  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:24:21
  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:28: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:32:36
  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:32:46
  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:37:36
  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:37:46
  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:37:9
  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:42:49
  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:42:59
  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:32:31
  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`.