mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
12 lines
214 B
Python
12 lines
214 B
Python
a = ![]
|
|
|
|
a.sort! # WARN
|
|
|
|
# NOTE: For safety reasons this is assumed to be an error, but maybe this restriction can be relaxed
|
|
print! a # ERR
|
|
|
|
v1 = ![]
|
|
v2 = v1 as Array!(Int or Str, _)
|
|
v2.push! "a"
|
|
|
|
print! v1 # ERR
|