src/test/ui/mismatched_types/fn-variance-1.rs


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

fn takes_imm(x: &isize) { }

fn takes_mut(x: &mut isize) { }

fn apply<T, F>(t: T, f: F) where F: FnOnce(T) {
    f(t)
}

fn main() {
    apply(&3, takes_imm);
    apply(&3, takes_mut);
    //~^ ERROR type mismatch

    apply(&mut 3, takes_mut);
    apply(&mut 3, takes_imm);
    //~^ ERROR type mismatch
}