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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

// from rfc2005 test suite

#![feature(let_else)]

// Verify the binding mode shifts - only when no `&` are auto-dereferenced is the
// final default binding mode mutable.

fn main() {
    let Some(n) = &&Some(5i32) else { return };
    *n += 1; //~ ERROR cannot assign to `*n`, which is behind a `&` reference
    let _ = n;

    let Some(n) = &mut &Some(5i32) else { return };
    *n += 1; //~ ERROR cannot assign to `*n`, which is behind a `&` reference
    let _ = n;

    let Some(n) = &&mut Some(5i32) else { return };
    *n += 1; //~ ERROR cannot assign to `*n`, which is behind a `&` reference
    let _ = n;
}