Compile crash (stack overflow) on recursive generic type

[zevv]

Below is an attempt to make a limited-recursive data type using static generics, crashing the compiler with a SIGSEGV:

type

  Thing[D: static uint] = object
    when D == 0:
      kid: char
    else:
      kid: Thing[D-1]

var s = Thing[1]()

My assumption was that Thing[1] would have Thing[0] as it's only element, and the Thing[0] type would get a char. Not sure if this is even supposed to work...

[metagn]

Now gives Error: call depth limit reached in a debug build (2000 function calls). during type instantiation