internal TypeWithAnnotations SubstituteTypeWithTupleUnification(TypeWithAnnotations previous) { return(previous.SubstituteTypeWithTupleUnification(this)); }