Semi-OT (since the topic of runtime type information is used to argue against PEP 781: Make TYPE_CHECKING a built-in constant - PEPs - Discussions on Python.org):
Is it correct to state that runtime type information will always be significantly incomplete as long as there are no static type annotations in CPython (because type stubs are not evaluated at runtime)? If so does a decision not to add static type annotations to the standard libary imply that runtime type information is not a priority?