[Typing-sig] Re: Proposal: typing.assert_type() and with typing.assert_error()

I like both of these suggestions. I use both assertions on revealed types and on yielded errors on the types in phantom-types.

The names are clear to me, and the fact they'd be namespaced under "typing" makes it blatantly clear that they are related to concepts of typing.

I'd suggest defining assert_error() to accept arbitrary kwargs, so that context can be passed in specific for type checkers, e.g.:

assert_error(mypy=["arg-type"], pyright=[...])