Hacker News Reader

In theory, yes. But I doubt that we’ll see a TS IDE plugin that underlines violated constraints with red squiggles anytime soon. :-)

There are IDEs that auto-run unit tests and highlight exceptions thrown in the main or test code, which wouldn't be far off.