Channels of different types are not known to be non-aliases

[viper-admin]

Created by @vakaras on 2016-04-11 12:24

In the translation of the following example:

#!Silver

channel C;
channel D;

class A {
  method test(c: C, d: D) {
    // c != d ?
  }
}

at the Silver level there is no information that c != d, which causes problems for the leack check.