Yep. This is what I meant. I don't want to throw a runtime error. I want the typ...

nonameiguess on April 15, 2021 | parent | context | favorite | on: Python 3 Types in the Wild: A Tale of Two Type Sys...

Yep. This is what I meant. I don't want to throw a runtime error. I want the type checker to be able to actually type check this statically, which mypy can't do.