mirror of
https://github.com/nim-lang/Nim.git
synced 2026-01-01 10:52:14 +00:00
21 lines
259 B
Nim
21 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]
|
|
|