I'm unsure where it's documented currently. I only learned about reveal_locals from this thread. So I think primary value of adding it would be documentation. I think it's doomed to rare usage if it's documented no where. It would be nice if typing page mades references to other docs/included advice for useful typing features even if they may not be defined within typing.py. The mypy docs are main docs I learned basic type usage and I think it's very buried in them/unsure what page it lives in.

I think given rare usage, adding documentation and skipping runtime equivalent would be my vote. If years from now it becomes more commonly used, it can be reconsidered for runtime inclusion.
_______________________________________________
Typing-sig mailing list -- typing-sig@python.org
To unsubscribe send an email to typing-sig-leave@python.org
https://mail.python.org/mailman3/lists/typing-sig.python.org/
Member address: guido@python.org