blob: 49b3239bd50729b0a2e9024573e9b90c056c0977 (
plain) (
blame)
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)
|