20 lines
259 B
Nim
20 lines
259 B
Nim
discard """
|
|
errormsg: "cannot instantiate B"
|
|
nimout: '''
|
|
got: <typedesc[string]>
|
|
but expected: <T: A>
|
|
'''
|
|
"""
|
|
|
|
type
|
|
A = concept c
|
|
advance(c)
|
|
|
|
B[T: A] = object
|
|
child: ref B[T]
|
|
|
|
proc advance(x: int): int = x + 1
|
|
|
|
var a: B[int]
|
|
var b: B[string]
|
|
|