It used to require second returns to be a subtype of the first, now it can be a union (if not recursive)