summary refs log blame commit diff stats
path: root/tests/concepts/tmonoid.nim
blob: 49b3239bd50729b0a2e9024573e9b90c056c0977 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13












                                 
discard """
  output: '''true'''
"""

# bug #3686

type Monoid = concept x, y
  x + y is type(x)
  type(z(type(x))) is type(x)

proc z(x: typedesc[int]): int = 0

echo(int is Monoid)