"there is no runtime specification for enforcement of types based on type annotations" Indeed, if you consider type annotation as just annotation and nothing e

"there is no runtime specification for enforcement of types based on type annotations" Indeed, if you consider type annotation as just annotation and nothing else. But at least you "could" imagine an option to have pypy optimize based on them.