Nim/tests/generics/t16639.nim

discard """
  action: compile
"""

type Foo[T] = object
  when true:
    x: float

type Bar = object
  when true:
    x: float

import std/macros
import std/assertions

macro test() =
  let a = getImpl(bindSym"Foo")[^1]
  let b = getImpl(bindSym"Bar")[^1]
  doAssert treeRepr(a) == treeRepr(b)

test()