How about `assume()` or `assume_type()` as a name?
The reasoning would be you assume the type at runtime, but verify (prove) that assumption with a static type checker.
_______________________________________________
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: jelle.zijlstra@gmail.com