compiler/tests/verifier/assignability_private.bad


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


typedef A[T] = (var T^ m);

var (bool x) b;

() f[T](A[T]^ a, A[T]^ b) {
    var A[(bool b)] nonpriv;

    /* ERRORS */
    a^.m^ = a^.m^;
    nonpriv.m^ = a^.m^;
    a^.m^ = nonpriv.m^;

}