1 // Test some cases where or-patterns may ostensibly be allowed but are in fact not.
2 // This is not a semantic test. We only test parsing.
4 #![feature(or_patterns)]
5 //~^ WARN the feature `or_patterns` is incomplete and may cause the compiler to crash
9 // Test the `pat` macro fragment parser:
10 macro_rules! accept_pat {
14 accept_pat!(p | q); //~ ERROR no rules expected the token `|`
15 accept_pat!(| p | q); //~ ERROR no rules expected the token `|`
22 fn no_top_level_or_patterns() {
23 // We do *not* allow or-patterns at the top level of lambdas...
24 let _ = |A | B: E| (); //~ ERROR binary operation `|` cannot be applied to type `E`
25 // -------- This looks like an or-pattern but is in fact `|A| (B: E | ())`.
27 // ...and for now neither do we allow or-patterns at the top level of functions.
28 fn fun(A | B: E) {} //~ ERROR expected one of `:` or `@`, found `|`
31 // We also do not allow a leading `|` when not in a top level position:
33 fn no_leading_inner() {
37 let ( | A | B) = E::A; //~ ERROR a leading `|` is only allowed in a top-level pattern
38 let ( | A | B,) = (E::B,); //~ ERROR a leading `|` is only allowed in a top-level pattern
39 let [ | A | B ] = [E::A]; //~ ERROR a leading `|` is only allowed in a top-level pattern
40 let TS( | A | B ); //~ ERROR a leading `|` is only allowed in a top-level pattern
41 let NS { f: | A | B }; //~ ERROR a leading `|` is only allowed in a top-level pattern
43 let ( || A | B) = E::A; //~ ERROR a leading `|` is only allowed in a top-level pattern
44 let [ || A | B ] = [E::A]; //~ ERROR a leading `|` is only allowed in a top-level pattern
45 let TS( || A | B ); //~ ERROR a leading `|` is only allowed in a top-level pattern
46 let NS { f: || A | B }; //~ ERROR a leading `|` is only allowed in a top-level pattern
48 let recovery_witness: String = 0; //~ ERROR mismatched types