mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
16 lines
217 B
Python
16 lines
217 B
Python
v = ![]
|
|
v.push! 1
|
|
_ = v[2] # ERR
|
|
|
|
w = ![]
|
|
w.push! "a"
|
|
|
|
_ = v.concat w # ERR
|
|
|
|
i_s = ![1 as (Int or Str)]
|
|
i_s.push! "b"
|
|
i_s.push! 2
|
|
i_s.push! None # ERR
|
|
|
|
_: List!(Int, _) = !["a"] # ERR
|
|
_: List!(Int, 1) = ![1, 2] # ERR
|