public Type resolve(Environment env) {
// System.out.println("Inside TypeInv innerType = " + innerType + " and its class is " + innerType.getClass());
if (this.innerType instanceof UnresolvedType) {
UnresolvedType ut = (UnresolvedType) this.innerType;
Type t = ut.resolve(env);
// System.out.println("GOT: " + t);
}
TypeBinding fetched = ((RecordType) innerType).getInnerType(invName);