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

fix: enhance generic parameter matching in typeRel function

Browse Source
This commit is contained in:
ringabout
2026-05-23 10:30:54 +08:00
parent 497e1e04bb
commit 780b468bbe
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
compiler/sigmatch.nim
View File

@@ -1757,10 +1757,13 @@ proc typeRel(c: var TCandidate, f, aOrig: PType,
let ff = last(f)
if ff != nil:
result = typeRel(c, ff, a, flags)
if result == isNone and a.kind == tyGenericInst:
if result == isNone and a.kind == tyGenericInst and trBindGenericParam in flags:
var depth = -1
# Generic constraints like `F: Future` can miss in `last(f)` when the
# actual type inherits from a concrete generic instantiation.
# Generic-parameter constraints like `F: Future` can miss in `last(f)`
# when the actual type inherits from a concrete generic instantiation.
# Keep this fallback scoped to generic-parameter matching so typedesc
# overloads such as `type Future[T]` still prefer more specific
# descendants like `InternalRaisesFuture[T, E]`.
if isGenericSubtype(c, a, f, depth, f) and depth > 0:
var askip = skippedNone
let aobj = a.skipToObject(askip)