On 2/25/21 7:07 AM, Markus Armbruster wrote:
Unfortunately, the "check" in check_exprs falls off almost immediately.What do you mean by "falls off"?
mypy loses the constraint in its static analysis. i.e. all of the work we do in expr.py is almost entirely opaque to mypy.
