| // This test ensures that or patterns require binding mode consistency across arms. |
| |
| #![feature(or_patterns)] |
| //~^ WARN the feature `or_patterns` is incomplete |
| |
| #![allow(non_camel_case_types)] |
| fn main() { |
| // One level: |
| let Ok(a) | Err(ref a): Result<&u8, u8> = Ok(&0); |
| //~^ ERROR variable `a` is bound in inconsistent ways |
| let Ok(ref mut a) | Err(a): Result<u8, &mut u8> = Ok(0); |
| //~^ ERROR variable `a` is bound in inconsistent ways |
| let Ok(ref a) | Err(ref mut a): Result<&u8, &mut u8> = Ok(&0); |
| //~^ ERROR variable `a` is bound in inconsistent ways |
| //~| ERROR mismatched types |
| let Ok((ref a, b)) | Err((ref mut a, ref b)) = Ok((0, &0)); |
| //~^ ERROR variable `a` is bound in inconsistent ways |
| //~| ERROR variable `b` is bound in inconsistent ways |
| //~| ERROR mismatched types |
| |
| // Two levels: |
| let Ok(Ok(a) | Err(a)) | Err(ref a) = Err(0); |
| //~^ ERROR variable `a` is bound in inconsistent ways |
| |
| // Three levels: |
| let Ok([ Ok((Ok(ref a) | Err(a),)) | Err(a) ]) | Err(a) = Err(&1); |
| //~^ ERROR variable `a` is bound in inconsistent ways |
| } |