mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-05-29 16:25:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

progress

Browse Source 
Co-authored-by: Copilot <copilot@github.com>
This commit is contained in:
ringabout
2026-04-29 18:15:12 +08:00
parent 269b4985af
commit b4efcbdbf6
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/sigmatch.nim
View File

@@ -1456,6 +1456,9 @@ proc typeRel(c: var TCandidate, f, aOrig: PType,
return isNone
if fRange.rangeHasUnresolvedStatic:
if trCheckGeneric in flags and aOrig.kind == tyArray and
aOrig.indexType.kind == tyGenericParam:
return isNone
if (aRange.kind in {tyGenericParam} and aRange.reduceToBase() == aRange) or
(aRange.kind == tyRange and aRange.rangeHasUnresolvedStatic):
return
@@ -1463,6 +1466,9 @@ proc typeRel(c: var TCandidate, f, aOrig: PType,
elif c.c.matchedConcept != nil and aRange.rangeHasUnresolvedStatic:
return inferStaticsInRange(c, aRange, f)
elif result == isGeneric and concreteType(c, aa, ff) == nil:
if indexRel != isGeneric:
return isNone
elif trCheckGeneric in flags and aRange.kind == tyGenericParam:
return isNone
else:
if lengthOrd(c.c.config, fRange) != lengthOrd(c.c.config, aRange):