# typed: true
# no-stdlib: true
# We use --no-stdlib mode for the fuzzer, so we need to ensure it works without causing spurious ENFORCE failures.

l = []
l.push(1) # error: Method `push` does not exist
