Problem with static[int] in return type

[Henry]

type
  OdArray*[As: static[int], T] = object
    l: int

proc initOdArray*[As: static[int], T](len: int): OdArray[As, T] =
  result.l = len

var test = initOdArray[10, int](100)

generates Error: type expected

See also forum discussion http://forum.nim-lang.org/t/1618

[gmpreussner]

This is still broken. Workaround:

type
  OdArray*[As: static[int], T] = object
    l: int

proc initOdArray*(As: static[int], T: typedesc, len: int): OdArray[As, T] =
  result.l = len

var test = initOdArray(10, int, 100)

[gmpreussner]

The workaround does not work if the generic parameters need to be passed through to other types/procs/constructors:

type
  Foo[N: static[int], T] = object
    a: array[N, T]

  Bar[N: static[int], T] = object
    f: ref Foo[N, T]

proc initBar(N: static[int], T: typedesc): Bar[N, T] =
  result.f = Foo[N, T]()    ## Error: object constructor needs an object type

when isMainModule:
  var f = initBar(16, int)

[mratsim]

Seems like a duplicate of #1017