mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
15 lines
373 B
Python
15 lines
373 B
Python
_: Bool = 0 # OK
|
|
_: Bool = 2 # ERR
|
|
_: {1, 2} = 2 # OK
|
|
_: {1, 3} = 4 # ERR
|
|
_: {4} = 3 - 2 # ERR
|
|
_: 1..10 = 1 # OK
|
|
_: 0..12 = 13 # ERR
|
|
|
|
_: {I: Int | I < 10 and I != 6} = 6 # ERR
|
|
_: {I: Int | I < 5} = 6 # ERR
|
|
_: {I: Int | I < 3 or I != 4} = 4 # ERR
|
|
_: {I: Int | (I < 5 or I != 3) and I != 4} = 4 # ERR
|
|
|
|
check _: {S: Str | S.replace("abc", "") == ""} = None
|
|
check "abcd" # ERR
|