proc `()`[T](a: openArray[T], i: int): T = a[i]
let temp = newSeq[int]()

# prog.nim(2, 23) Error: type mismatch: got (proc (s: var seq[int], len: Natural){.noSideEffect.} | proc (len: Natural): # seq[int]{.gcsafe, locks: 0.})
# but expected one of:
# prog.()(a: openarray[T], i: int)