Static seqs are turned into static arrays when passed through template.

[solo989]

Example

proc passSeq2[T](a : static seq[T]) =
  echo a

template passSeq1[T](a : static seq[T]) =
  static:
    echo type(a)
  passSeq2(a)

passSeq1(@[5,6])

Current Output

array[0..1, int]
testNim.nim(11, 9) Error: type mismatch:
got <static[array[0..1, int]]([5, 6])>
but expected one of:
proc passSeq2[T](a: static seq[T])
  first type mismatch at position: 1
  required type for a: static[seq[T]]
  but expression '[5, 6]' is of type: static[array[0..1, int]]([5, 6])

expression: passSeq2([5, 6])

Expected Output

seq[int]
@[5,6]

$ nim -v
Nim Compiler Version 1.2.2 [Windows: amd64]

[timotheecour]

workaround: either of those would work:
template passSeq1(a) =
template passSeq1(a: typed) =
template passSeq1T =

[metagn]

Works in devel probably since #24224