@Override
public DeclType doAvoid(String varName, TypeContext ctx, int count) {
ValueType t = this.getRawResultType().doAvoid(varName, ctx, count);
if (t.equals(this.getRawResultType())) {
return this;
} else {
return new VarDeclType(this.getName(), t);
}
}
