public => nonlocal

This commit is contained in:
David Peter 2025-07-03 10:21:43 +02:00
parent 0cf449efeb
commit efc15aaecf

View file

@ -23,7 +23,7 @@ reveal_type(a.z) # revealed: Literal[0]
# Make sure that we infer the narrowed type for eager
# scopes (class, comprehension) and the non-narrowed
# public type for lazy scopes (function)
# nonlocal type for lazy scopes (function)
class _:
reveal_type(a.x) # revealed: Literal[0]
reveal_type(a.y) # revealed: Literal[0]