jyapayne/Nim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

newruntime: 'owned distinct' is a valid construct (required by async)

Browse source
This commit is contained in:
Araq 2019-07-09 15:23:46 +02:00
commit a85e20c125
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
compiler/sigmatch.nim
View file

@ -1293,6 +1293,7 @@ proc typeRel(c: var TCandidate, f, aOrig: PType,
inc(c.inheritancePenalty, depth) inc(c.inheritancePenalty, depth)
result = isSubtype result = isSubtype
of tyDistinct: of tyDistinct:
skipOwned(a)
if a.kind == tyDistinct: if a.kind == tyDistinct:
if sameDistinctTypes(f, a): result = isEqual if sameDistinctTypes(f, a): result = isEqual
#elif f.base.kind == tyAnything: result = isGeneric # issue 4435 #elif f.base.kind == tyAnything: result = isGeneric # issue 4435