Passing empty array to openarray parameter of template fails

[Perelandric]

The last line of the following code example produces a compile-time error:

template test(a: openarray[int]) =
  for n in a:
    echo n

test([1,2,3]) # This works
test([])      # This fails

lib/system.nim(1695, 22) Error: invalid type: 'empty' in this context: 'iterator (array[0..-1, empty]): iter[empty]{.inline, gcsafe, locks: 0.}'

No such error when it's a proc, only a template.

Not sure if it's related to the behavior described here #1105 (comment) , which I tested and found to still exist, but thought I'd mention it anyway.

Nim Compiler Version 0.10.3 (2015-04-03) [Linux: amd64]

[Araq]

Still an issue.

[kunitoki]

I stumbled into this as well in 1.4.8, pretty annoying one.

template test(a: openarray[int]) =
  for n in a:
    echo n

const x = []
test(x)

fails with:

test.nim(6, 5) template/generic instantiation of `test` from here
test.nim(3, 10) Error: type mismatch: got <empty>
but expected one of: 
proc echo(x: varargs[typed, `$`])
  first type mismatch at position: 1
  required type for x: varargs[typed]
  but expression 'n`gensym0' is of type: empty

expression: echo n`gensym0

[ringabout]

Gives Error: cannot infer element type of items([]) on the devel