diff options
| author | ringabout <43030857+ringabout@users.noreply.github.com> | 2023-05-08 19:52:28 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-08 13:52:28 +0200 |
| commit | ebdff1c7d36683c13b7b692e7d2f16aa3b13027f (patch) | |
| tree | 3f47d3235c594f3577c3106224a033b9c2ada032 | |
| parent | 71f2e1a502ad231e3356217398e2d7fcd6137967 (diff) | |
| download | Nim-ebdff1c7d36683c13b7b692e7d2f16aa3b13027f.tar.gz | |
fixes #21801; object field initialization with overloaded functions (#21805)
* fixes #21801; object field initialization with overloaded functions * use the correct type
| -rw-r--r-- | compiler/semtypes.nim | 2 | ||||
| -rw-r--r-- | tests/objects/tobject_default_value.nim | 23 |
2 files changed, 24 insertions, 1 deletions
diff --git a/compiler/semtypes.nim b/compiler/semtypes.nim index 38d040946..750ab2216 100644 --- a/compiler/semtypes.nim +++ b/compiler/semtypes.nim @@ -227,8 +227,8 @@ proc isRecursiveType(t: PType, cycleDetector: var IntSet): bool = proc fitDefaultNode(c: PContext, n: PNode): PType = let expectedType = if n[^2].kind != nkEmpty: semTypeNode(c, n[^2], nil) else: nil - let oldType = n[^1].typ n[^1] = semConstExpr(c, n[^1], expectedType = expectedType) + let oldType = n[^1].typ n[^1].flags.incl nfSem if n[^2].kind != nkEmpty: if expectedType != nil and oldType != expectedType: diff --git a/tests/objects/tobject_default_value.nim b/tests/objects/tobject_default_value.nim index 59af943e0..97e3a207d 100644 --- a/tests/objects/tobject_default_value.nim +++ b/tests/objects/tobject_default_value.nim @@ -591,6 +591,29 @@ template main {.dirty.} = mainSync() + block: # bug #21801 + func evaluate(i: int): float = + 0.0 + + func evaluate(): float = + 0.0 + + type SearchOptions = object + evaluation: proc(): float = evaluate + + block: + func evaluate(): float = + 0.0 + + type SearchOptions = object + evaluation: proc(): float = evaluate + + block: + func evaluate(i: int): float = + 0.0 + + type SearchOptions = object + evaluation = evaluate static: main() main() |