indexchecks.nim

{.push staticBoundChecks: on.}

proc takeNat(n: Natural) =
  discard

proc p(a: openArray[int]) =
  if a.len > 0:
    echo a[0]

  for i in 0..a.len-8:
    echo a[i]

  takeNat(a.len - 4)

{.pop.}

p([1, 2, 3])