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

(cherry picked from commit a85e20c125)
2025-12-30 09:54:49 +00:00 · 2019-07-09 15:23:46 +02:00
parent 7c7bab0626
commit ce9eaee303
1 changed files with 1 additions and 0 deletions
--- a/compiler/sigmatch.nim
+++ b/compiler/sigmatch.nim
@@ -1293,6 +1293,7 @@ proc typeRel(c: var TCandidate, f, aOrig: PType,
          inc(c.inheritancePenalty, depth)
          result = isSubtype
  of tyDistinct:
+    skipOwned(a)
    if a.kind == tyDistinct:
      if sameDistinctTypes(f, a): result = isEqual
      #elif f.base.kind == tyAnything: result = isGeneric  # issue 4435