if (infos.limit <= Global.instance.currentPhase.id) { infos = new TypeIntervalList(infos); infos.limit = Global.instance.currentPhase.id + 1; } else { assert infos.limit == Global.instance.currentPhase.id + 1 : this; }
assert infos.limit <= Global.instance.currentPhase.id + 1 : this; if (infos.limit > Global.instance.currentPhase.id) infos.limit--; infos = new TypeIntervalList(infos); infos.limit = Global.instance.currentPhase.id + 1;
    public Symbol updateInfo(Type info) {	// Global.instance.currentPhase.setInfo(this, info);	if (infos.limit <= Global.instance.currentPhase.id) {	    infos = new TypeIntervalList(infos);	    infos.limit = Global.instance.currentPhase.id + 1;	} else {	    assert infos.limit == Global.instance.currentPhase.id + 1 : this;	}	infos.info = info;	return this;    }