[conartist6]

I'm not that familiar with the TS internals. They'd have to add a keyword to the language which could break stuff. The smart move would be to reserve the `opaque` word a few versions in advance of introducing the feature that gives it a meaning

[auggierose]

I don't think the keyword is the problem, I am wondering more about the internals of their type inference algorithm.