fair, but, at the same time.. you may not think too much about it, but your editor is running the TypeScript language server all day long. presumably, so does your CI. presumably, so does your AI agent before feeling good about what it just did.
regarding the "Isolated Declarations" items from TypeScript 5.5: next week we're doing a PR code review/interview with Titian Cernicova-Dragomir, one of the main people pushing that work. It'll be very similar in scope/style to the one above with Dan Vanderkam. If you have questions to ask Titian about it, let us know and we'll ask him next week!
Many of us had given up hope that what ended being the "Inferred Predicate Types" feature of this release could ever be possible... and in the end, it was just like 10 lines of code!!
If you like technical deep dives on new TypeScript features, we did just such a deep dive[1] on this feature's PR with the author himself, Dan Vanderkam. He goes through how he got the idea and motivation for what ended up being a really creative fix.
If you're curious about the naming scheme (it now goes 0 -> 1 -> 2 -> 2.7 -> 3 -> 4), then you can read the discussion surrounding the name from the last meeting notes [1].
Also, for a quicker digest, Rob Palmer (from the committee) tweeted about it [2]