Wouldn’t the optimal solution be both? Though, being able to refactor code, and assert that it is logically and functionally equivalent as the previous checkin

Wouldn’t the optimal solution be both? Though, being able to refactor code, and assert that it is logically and functionally equivalent as the previous checkin would be super useful, even if there’s some gaps (sting value or comparison changes could not be asserted, for example)