discard """
  errormsg: "illegal recursion in type 'Foo'"
  line: 8
"""

type
  Kind = enum kA, kB
  Foo = object
    case k: Kind:
    of kA:
      foo: Foo
    of kB:
      discard