summaryrefslogtreecommitdiffstats
path: root/tests/ui/borrowck/issue-46095.rs
blob: 59ddb60c9f239fe5b192772a72aee6a25324efc7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
// run-pass
struct A;

impl A {
    fn take_mutably(&mut self) {}
}

fn identity<T>(t: T) -> T {
    t
}

// Issue 46095
// Built-in indexing should be used even when the index is not
// trivially an integer
// Overloaded indexing would cause wrapped to be borrowed mutably

fn main() {
    let mut a1 = A;
    let mut a2 = A;

    let wrapped = [&mut a1, &mut a2];

    {
        wrapped[0 + 1 - 1].take_mutably();
    }

    {
        wrapped[identity(0)].take_mutably();
    }
}