discard """
  errormsg: "cannot instantiate B"
  line: 14
  nimout: '''
got: <type int>
but expected: <T: string or float>
'''
"""

type
  B[T: string|float] = object
    child: ref B[T]

var b: B[int]