untyped param: wrong error message (undeclared identifier) on type mismatch of another param

[mratsim]

A macro with a mix of untyped arguments and generic arguments will display "undeclared identifier" instead of type mismatch if the generic semcheck fails.

Test case

import macros

macro forEach*(
        idx: untyped,
        s: Slice,
        funcCall: untyped{call}
      ): untyped =

  echo getTypeInst(s).treerepr


proc foo(i: int) =
  echo i

forEach(i, 0..2, foo(i))     # works
forEach(i, 0'u..2'u, foo(i)) # works
forEach(i, 0'u..2, foo(i))   # Error: undeclared identifier: 'i' // expected type mismatch
forEach(i, 0..2'u, foo(i))   # Error: undeclared identifier: 'i' // expected type mismatch

Seems linked to #8677

[timotheecour]

@mratsim the issue is not with macros nor generics, it's with untyped; maybe change the title?

template fun1(x1: untyped, x2: int) = discard
fun1(nonexistant, 2)
fun1(nonexistant, 2.1)  # Error: undeclared identifier: 'nonexistant'

(from timotheecour#23)

[timotheecour]

closing as duplicate of #14827

closing as duplicate of #9620