Pyrefly is a fast type checker for Python. It's designed to replace the existing Pyre ... If we encounter unknowable information (e.g. recursion) we use Type::Var to insert placeholders which are ...