[WIP] WIP Address feedback on faster type-checking implementation#1721

Copilot wants to merge 4 commits intotywkentaro/labelme:tyfrom

copilot/sub-pr-1720wkentaro/labelme:copilot/sub-pr-1720Copy head branch name to clipboard