Bug Report
For default configuration, violations can be reported in untyped (shouldn't be checked) functions.
To Reproduce
def f():
return UNDEFINED
def g():
return lambda x: UNDEFINED in x
https://mypy-play.net/?mypy=latest&python=3.10&gist=c49b86bc9067f234a038a71598d2b3b7
Expected Behavior
Both f() and g() are untyped - violations shouldn't be reported in any of those.
Actual Behavior
main.py:6: error: Name "UNDEFINED" is not defined
Your Environment
mypy-play, as linked above.
Bug Report
For default configuration, violations can be reported in untyped (shouldn't be checked) functions.
To Reproduce
https://mypy-play.net/?mypy=latest&python=3.10&gist=c49b86bc9067f234a038a71598d2b3b7
Expected Behavior
Both
f()andg()are untyped - violations shouldn't be reported in any of those.Actual Behavior
Your Environment
mypy-play, as linked above.