Typechecker allows assignment to method parameter via fork

[viper-admin]

Created by @vakaras on 2017-01-10 09:57

The following code passes type checking and crashes during translation:

#!chalice
class A {
    method callee() {}
    method caller(t: token<A.callee>) {
        fork t := callee()
    }
}

The typechecker should report an error on line fork t := callee() because assignments to method parameters are illegal in Chalice.