src/test/compile-fail/coerce-bad-variance.rs


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

fn mutate(x: &mut @const int) {
    *x = @3;
}

fn give_away1(y: @mut @mut int) {
    mutate(y); //~ ERROR values differ in mutability
}

fn give_away2(y: @mut @const int) {
    mutate(y);
}

fn give_away3(y: @mut @int) {
    mutate(y); //~ ERROR values differ in mutability
}

fn main() {}