Typechecker does not capture the case when fork shadows method argument

[viper-admin]

Created by @vakaras on 2015-07-10 13:37

Method arguments in Chalice are immutable. Therefore, the following example should fail to typecheck:

#!Chalice
class Test {
  method bar()
  {
  }
  method test1(tk: token<Test.bar>)
  {
    fork tk := bar() // This line should not typecheck.
  }
}

However, it passes through the type checker and program translator component crashes.