public void setType(CArrayType type) { assert type.checked(); this.type = type;
public void setType(CType type) { assert type instanceof CArrayType; this.type = (CArrayType)type;
    public void setType(CArrayType type) {        assert type.checked();        this.type = type;    }