let/const-bound anonymous proc doesn't participate in overload resolution

[tersec]

Description

proc h(): auto =
  proc(_: bool) = discard
const m = h()  # if this is declared as `proc m(_: bool) = discard`, builds, but `let` doesn't matter
static: m(true)       # i.e. it knows at compile-time it's something callable
block:
  proc m(_: int) = discard
  m(true)   # builds if this is `f.m(true)`, i.e. refers to own module name

Nim Version

Nim Compiler Version 2.0.10 [Linux: amd64]
Compiled at 2024-10-25
Copyright (c) 2006-2023 by Andreas Rumpf

git hash: e941ee15be775fe3c46db1bed9b4f41c7dfb1334
active boot switches: -d:release

Nim Compiler Version 2.0.11 [Linux: amd64]
Compiled at 2024-10-25
Copyright (c) 2006-2023 by Andreas Rumpf

git hash: 76d834c1821f77b9f73b581f16895a1d2d1add11
active boot switches: -d:release

Nim Compiler Version 2.2.0 [Linux: amd64]
Compiled at 2024-10-25
Copyright (c) 2006-2024 by Andreas Rumpf

git hash: 78983f1876726a49c69d65629ab433ea1310ece1
active boot switches: -d:release

Nim Compiler Version 2.2.1 [Linux: amd64]
Compiled at 2024-10-25
Copyright (c) 2006-2024 by Andreas Rumpf

git hash: 820e2bee9c14916f719815be0460fc09e8067531
active boot switches: -d:release

Current Output

f.nim(7, 4) Error: type mismatch
Expression: m(true)
  [1] true: bool

Expected one of (first mismatch at [position]):
[1] proc m(_: int)

Expected Output

Builds

Known Workarounds

No response

Additional Information

No response