staticenum.nim

# this works ##########################

type
  Foo[N: static[int], T] = object
    elements: array[0..(N - 1), T]

var f2 = Foo[2, float](elements: [1.0, 2.0])
var f3 = Foo[3, float](elements: [1.0, 2.0, 3.0])


# this fails ##########################

type
  FooTypes = enum
    Fubar,
    Snafu,
    Tarfu

  Foo[N: static[int], T; BT: static[FooTypes]] = object
    elements: array[0..(N - 1), T]

var f2s = Foo[2, float, FooTypes.Snafu](elements: [1.0, 2.0])
var f2t = Foo[2, float, FooTypes.Tarfu](elements: [1.0, 2.0]) # Error: internal error: genObjConstr

I did some more tests. It looks like this problem only occurs if the proc signature is NOT fully qualified with all generic params. The example above can be fixed by rewriting 'foobar' as follows:

#proc foobar(f: Foo) =
# this works:
proc foobar[N, T, BT](f: Foo[N, T, BT]) =
  echo f.elements[0]

I have verified this with several other examples in my code base.