mirror of
https://github.com/erg-lang/erg.git
synced 2025-09-28 12:14:43 +00:00
15 lines
299 B
Python
15 lines
299 B
Python
i: Int = 2 - 1
|
|
assert i in Nat
|
|
i: Nat
|
|
|
|
f(opt_i: Int or NoneType) =
|
|
if opt_i != None, do:
|
|
if opt_i >= 0, do:
|
|
log opt_i.times!
|
|
log opt_i + 1 # OK
|
|
log opt_i.times! # ERR
|
|
if isinstance(opt_i, Int), do:
|
|
log opt_i + 1 # OK
|
|
log opt_i + 1 # ERR
|
|
|
|
f(1)
|