mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
12 lines
274 B
Python
12 lines
274 B
Python
t0 _: Tuple([]) = None
|
|
t1 _: Tuple([Int]) = None
|
|
|
|
_ = t0(()) # OK
|
|
_ = t0((1,)) # OK
|
|
_ = t1(()) # ERR
|
|
_ = t1((1,)) # OK
|
|
_ = t1((1, 2)) # OK
|
|
|
|
_ as Iterator(Int) = iter((1, 2)) # OK
|
|
_ as Iterator((Int, Int)) = iter([(1, 2)]) # OK
|
|
_ as Iterator((Int, Int)) = iter((1, 2)) # ERR
|