diff options
| -rw-r--r-- | compiler/sigmatch.nim | 7 | ||||
| -rw-r--r-- | tests/concepts/tmonoid.nim | 13 |
2 files changed, 15 insertions, 5 deletions
diff --git a/compiler/sigmatch.nim b/compiler/sigmatch.nim index ceadc2fea..e67942cb2 100644 --- a/compiler/sigmatch.nim +++ b/compiler/sigmatch.nim @@ -1301,11 +1301,8 @@ proc paramTypesMatchAux(m: var TCandidate, f, argType: PType, arg.typ.n = evaluated argType = arg.typ - var - a = if c.inTypeClass > 0: argType.skipTypes({tyTypeDesc, tyFieldAccessor}) - else: argType - - r = typeRel(m, f, a) + var a = argType + var r = typeRel(m, f, a) if r != isNone and m.calleeSym != nil and m.calleeSym.kind in {skMacro, skTemplate}: diff --git a/tests/concepts/tmonoid.nim b/tests/concepts/tmonoid.nim new file mode 100644 index 000000000..49b3239bd --- /dev/null +++ b/tests/concepts/tmonoid.nim @@ -0,0 +1,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) |