1 // This test ensures that or patterns do not allow missing bindings in any of the arms.
19     let (alpha | beta | charlie) = alpha; //~  ERROR variable `beta` is not bound in all patterns  in check_handling_of_paths()
21         Some(alpha | beta) => {} //~ ERROR variable `beta` is not bound in all patterns  in check_handling_of_paths()
33     let (A(a, _) | _) = X; //~ ERROR variable `a` is not bound in all patterns  in check_misc_nesting()
34     let (_ | B(a)) = X; //~ ERROR variable `a` is not bound in all patterns  in check_misc_nesting()
35     let (A(..) | B(a)) = X; //~ ERROR variable `a` is not bound in all patterns  in check_misc_nesting()
36     let (A(a, _) | B(_)) = X; //~ ERROR variable `a` is not bound in all patterns  in check_misc_nesting()
37     let (A(_, a) | B(_)) = X; //~ ERROR variable `a` is not bound in all patterns  in check_misc_nesting()
38     let (A(a, b) | B(a)) = X; //~ ERROR variable `b` is not bound in all patterns  in check_misc_nesting()
42     let (A(A(..) | B(_), _) | B(a)) = Y; //~ ERROR variable `a` is not bound in all patterns  in check_misc_nesting()
44     //~^ ERROR variable `a` is not bound in all patterns  in check_misc_nesting()
46     //~^ ERROR variable `a` is not bound in all patterns  in check_misc_nesting()
47     //~| ERROR variable `a` is not bound in all patterns  in check_misc_nesting()
48     //~| ERROR variable `b` is not bound in all patterns  in check_misc_nesting()
49     //~| ERROR variable `b` is not bound in all patterns  in check_misc_nesting()
50     //~| ERROR variable `c` is not bound in all patterns  in check_misc_nesting()
51     //~| ERROR variable `c` is not bound in all patterns  in check_misc_nesting()
52     //~| ERROR variable `d` is not bound in all patterns  in check_misc_nesting()
53     //~| ERROR variable `e` is not bound in all patterns  in check_misc_nesting()
58             //~^ ERROR variable `b` is not bound in all patterns  in check_misc_nesting()
59             //~| ERROR variable `c` is not bound in all patterns  in check_misc_nesting()
61                     Ok(a) | Err(_), //~ ERROR variable `a` is not bound in all patterns  in check_misc_nesting()
68                     A(_, a) | //~ ERROR variable `b` is not bound in all patterns  in check_misc_nesting()
69                     B(b), //~ ERROR variable `a` is not bound in all patterns  in check_misc_nesting()
73                 //~^ ERROR variable `a` is not bound in all patterns  in check_misc_nesting()
74                 //~| ERROR variable `b` is not bound in all patterns  in check_misc_nesting()
77             //~^ ERROR variable `a` is not bound in all patterns  in check_misc_nesting()