Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catchespyrefly.org3 pointsocamoss2 months ago