summaryrefslogtreecommitdiffstats
path: root/tests/ui/or-patterns/missing-bindings.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/or-patterns/missing-bindings.stderr')
-rw-r--r--tests/ui/or-patterns/missing-bindings.stderr242
1 files changed, 242 insertions, 0 deletions
diff --git a/tests/ui/or-patterns/missing-bindings.stderr b/tests/ui/or-patterns/missing-bindings.stderr
new file mode 100644
index 000000000..8fafa275b
--- /dev/null
+++ b/tests/ui/or-patterns/missing-bindings.stderr
@@ -0,0 +1,242 @@
+error[E0408]: variable `beta` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:19:10
+ |
+LL | let (alpha | beta | charlie) = alpha;
+ | ^^^^^ ---- ^^^^^^^ pattern doesn't bind `beta`
+ | | |
+ | | variable not in all patterns
+ | pattern doesn't bind `beta`
+
+error[E0408]: variable `beta` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:21:14
+ |
+LL | Some(alpha | beta) => {}
+ | ^^^^^ ---- variable not in all patterns
+ | |
+ | pattern doesn't bind `beta`
+
+error[E0408]: variable `a` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:33:20
+ |
+LL | let (A(a, _) | _) = X;
+ | - ^ pattern doesn't bind `a`
+ | |
+ | variable not in all patterns
+
+error[E0408]: variable `a` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:34:10
+ |
+LL | let (_ | B(a)) = X;
+ | ^ - variable not in all patterns
+ | |
+ | pattern doesn't bind `a`
+
+error[E0408]: variable `a` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:35:10
+ |
+LL | let (A(..) | B(a)) = X;
+ | ^^^^^ - variable not in all patterns
+ | |
+ | pattern doesn't bind `a`
+
+error[E0408]: variable `a` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:36:20
+ |
+LL | let (A(a, _) | B(_)) = X;
+ | - ^^^^ pattern doesn't bind `a`
+ | |
+ | variable not in all patterns
+
+error[E0408]: variable `a` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:37:20
+ |
+LL | let (A(_, a) | B(_)) = X;
+ | - ^^^^ pattern doesn't bind `a`
+ | |
+ | variable not in all patterns
+
+error[E0408]: variable `b` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:38:20
+ |
+LL | let (A(a, b) | B(a)) = X;
+ | - ^^^^ pattern doesn't bind `b`
+ | |
+ | variable not in all patterns
+
+error[E0408]: variable `a` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:42:10
+ |
+LL | let (A(A(..) | B(_), _) | B(a)) = Y;
+ | ^^^^^^^^^^^^^^^^^^ - variable not in all patterns
+ | |
+ | pattern doesn't bind `a`
+
+error[E0408]: variable `a` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:43:12
+ |
+LL | let (A(A(..) | B(a), _) | B(A(a, _) | B(a))) = Y;
+ | ^^^^^ - variable not in all patterns
+ | |
+ | pattern doesn't bind `a`
+
+error[E0408]: variable `a` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:45:22
+ |
+LL | let (A(A(a, b) | B(c), d) | B(e)) = Y;
+ | - ^^^^ pattern doesn't bind `a`
+ | |
+ | variable not in all patterns
+
+error[E0408]: variable `b` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:45:22
+ |
+LL | let (A(A(a, b) | B(c), d) | B(e)) = Y;
+ | - ^^^^ pattern doesn't bind `b`
+ | |
+ | variable not in all patterns
+
+error[E0408]: variable `c` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:45:12
+ |
+LL | let (A(A(a, b) | B(c), d) | B(e)) = Y;
+ | ^^^^^^^ - variable not in all patterns
+ | |
+ | pattern doesn't bind `c`
+
+error[E0408]: variable `d` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:45:33
+ |
+LL | let (A(A(a, b) | B(c), d) | B(e)) = Y;
+ | - ^^^^ pattern doesn't bind `d`
+ | |
+ | variable not in all patterns
+
+error[E0408]: variable `e` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:45:10
+ |
+LL | let (A(A(a, b) | B(c), d) | B(e)) = Y;
+ | ^^^^^^^^^^^^^^^^^^^^ - variable not in all patterns
+ | |
+ | pattern doesn't bind `e`
+
+error[E0408]: variable `a` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:45:33
+ |
+LL | let (A(A(a, b) | B(c), d) | B(e)) = Y;
+ | - ^^^^ pattern doesn't bind `a`
+ | |
+ | variable not in all patterns
+
+error[E0408]: variable `b` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:45:33
+ |
+LL | let (A(A(a, b) | B(c), d) | B(e)) = Y;
+ | - ^^^^ pattern doesn't bind `b`
+ | |
+ | variable not in all patterns
+
+error[E0408]: variable `c` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:45:33
+ |
+LL | let (A(A(a, b) | B(c), d) | B(e)) = Y;
+ | - ^^^^ pattern doesn't bind `c`
+ | |
+ | variable not in all patterns
+
+error[E0408]: variable `a` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:61:29
+ |
+LL | Ok(a) | Err(_),
+ | - ^^^^^^ pattern doesn't bind `a`
+ | |
+ | variable not in all patterns
+
+error[E0408]: variable `a` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:69:21
+ |
+LL | A(_, a) |
+ | - variable not in all patterns
+LL | B(b),
+ | ^^^^ pattern doesn't bind `a`
+
+error[E0408]: variable `b` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:68:21
+ |
+LL | A(_, a) |
+ | ^^^^^^^ pattern doesn't bind `b`
+LL | B(b),
+ | - variable not in all patterns
+
+error[E0408]: variable `a` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:72:17
+ |
+LL | A(_, a) |
+ | - variable not in all patterns
+...
+LL | B(_)
+ | ^^^^ pattern doesn't bind `a`
+
+error[E0408]: variable `b` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:72:17
+ |
+LL | B(b),
+ | - variable not in all patterns
+...
+LL | B(_)
+ | ^^^^ pattern doesn't bind `b`
+
+error[E0408]: variable `a` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:76:13
+ |
+LL | B(Ok(a) | Err(a))
+ | - variable not in all patterns
+...
+LL | A(_, a) |
+ | - variable not in all patterns
+...
+LL | V3(c),
+ | ^^^^^ pattern doesn't bind `a`
+
+error[E0408]: variable `b` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:57:13
+ |
+LL | / V1(
+LL | |
+LL | |
+LL | | A(
+... |
+LL | | B(Ok(a) | Err(a))
+LL | | ) |
+ | |_____________^ pattern doesn't bind `b`
+...
+LL | B(b),
+ | - variable not in all patterns
+...
+LL | V3(c),
+ | ^^^^^ pattern doesn't bind `b`
+
+error[E0408]: variable `c` is not bound in all patterns
+ --> $DIR/missing-bindings.rs:57:13
+ |
+LL | / V1(
+LL | |
+LL | |
+LL | | A(
+... |
+LL | | B(Ok(a) | Err(a))
+LL | | ) |
+ | |_____________^ pattern doesn't bind `c`
+LL | / V2(
+LL | | A(
+LL | | A(_, a) |
+LL | | B(b),
+... |
+LL | |
+LL | | ) |
+ | |_____________^ pattern doesn't bind `c`
+LL | V3(c),
+ | - variable not in all patterns
+
+error: aborting due to 26 previous errors
+
+For more information about this error, try `rustc --explain E0408`.