The ty test suite is "written" in Markdown. Every code block here gets evaluated, with the comments representing expectations.

We have almost 300 of these files that effectively read as detailed documentation for how ty behaves and how the Python typing…