Symbol binding bug with generics and template

[Clyybber]

This doesn't compile but probably should:

Example

module A.nim

import B
heh(0..40, "|")

module B.nim

import unicode
#  v---change to proc to make it compile
template toRune(s: string): Rune = s.runeAt(0)
#     v---works if not generic
proc heh*[T](x: Slice[T], chars: string) = discard chars.toRune

Current Output

Error: attempting to call undeclared routine: 'runeAt'

Expected Output

Hint: operation successful

$ nim -v
Nim Compiler Version 1.1.1 (#devel)

[mratsim]

Mentioned in the manual, you should not use method call syntax to invoke templates
https://nim-lang.org/docs/manual.html#templates-limitations-of-the-method-call-syntax

import unicode
#  v---change to proc to make it compile
template toRune(s: string): Rune =
  runeAt(s, 0)

#     v---works if not generic
proc heh*[T](x: Slice[T], chars: string) = discard chars.toRune

[Clyybber]

But the compiler could do symbol lookup and typechecking at instantiation on the chars parameter just fine, because the char parameter is not a generic.
I guess this would require some kind of partial instantiation of the generics body.
Anyways this can and should work IMO.

[Araq]

The limitations only affect untyped parameters.

[mratsim]

I guess with have to put that in the #8677 bucket along with its new friends #6387, #11800, #11811, #11947

[metagn]

Seems to work in 2.0