import testlib.util.*;
class ThisType {
void t1(@Encrypted ThisType this) {
@Encrypted ThisType l1 = this;
ThisType l2 = this;
// Type of l2 is refined by flow -> legal
l1 = l2;
}
void t2(ThisType this) {
ThisType l1 = this;
//:: error: (assignment.type.incompatible)
@Encrypted ThisType l2 = this;
}
}