Prompt
In the next section, we'll leave the cosy embrace of these toy examples and venture off to the real world with some case studies.
The rest is still unwritten...
This post is the 5th of a series on Refactor verification, investigating how to verify the correctness of refactors (or automating the human error away). In the next section, we'll discuss libraries, both existing and possible, for storing these patterns/rules and making them easily usable in a dev workflow.