quote do gives: a case selecting discriminator error with object variants

[timotheecour]

#[
D20190620T000734
KEY BUG discriminator CT quote do

Error: a case selecting discriminator 'kind' with value 'k2' appears in the object construction, but the field(s) 'regs' are in conflict with this value.
    return @[Foo(kind: k1), Foo(kind: k2)]
]#

type Kind = enum k1, k2

type Foo = ref object
  case kind: Kind
  of k1:
    regs: string
  of k2:
    discard

import std/[macros]

proc fun(): auto =
  return @[Foo(kind: k1), Foo(kind: k2)]

macro parsefGen*(): untyped =
  let matchers = fun()
  result = newStmtList()

  template bar() =
    const a4 = fun()
  let n = getAst bar() # ok

  result.add quote do:
    const a1 = `matchers` # BUG
    # const a2 = fun() # ok

proc main() =
  parsefGen()
main()

[timotheecour]

check whether this would be fixed by macros.genAst nim-lang#11722