|  | error[E0416]: identifier `tail` is bound more than once in the same pattern | 
|  | --> $DIR/subslice-only-once-semantic-restriction.rs:4:24 | 
|  | | | 
|  | LL |         [1, tail @ .., tail @ ..] => {}, | 
|  | |                        ^^^^ used in a pattern more than once | 
|  |  | 
|  | error: `..` can only be used once per slice pattern | 
|  | --> $DIR/subslice-only-once-semantic-restriction.rs:4:31 | 
|  | | | 
|  | LL |         [1, tail @ .., tail @ ..] => {}, | 
|  | |                    --         ^^ can only be used once per slice pattern | 
|  | |                    | | 
|  | |                    previously used here | 
|  |  | 
|  | error[E0308]: mismatched types | 
|  | --> $DIR/subslice-only-once-semantic-restriction.rs:11:30 | 
|  | | | 
|  | LL | const RECOVERY_WITNESS: () = 0; | 
|  | |                              ^ expected `()`, found integer | 
|  |  | 
|  | error: aborting due to 3 previous errors | 
|  |  | 
|  | Some errors have detailed explanations: E0308, E0416. | 
|  | For more information about an error, try `rustc --explain E0308`. |