src/test/ui/let-else/let-else-binding-explicit-mut-annotated.rs

   1 // from rfc2005 test suite
   2
   3 #![feature(let_else)]
   4
   5 // Verify the binding mode shifts - only when no `&` are auto-dereferenced is the
   6 // final default binding mode mutable.
   7
   8 fn main() {
   9     let Some(n): &mut Option<i32> = &&Some(5i32) else { return }; //~ ERROR mismatched types
  10     *n += 1;
  11     let _ = n;
  12
  13     let Some(n): &mut Option<i32> = &&mut Some(5i32) else { return }; //~ ERROR mismatched types
  14     *n += 1;
  15     let _ = n;
  16 }