Generic types as static parameters: type mismatch

[mratsim]

Using generic types as static parameters doesn't work. We get type mismatch.
Error: type mismatch: got <static[Foo[system.int]]((bar: 1, dummy: 0))>

Test case:

type
  Foo*[T] = object
    bar*: int
    dummy: T

proc initFoo(T: type, bar: int): Foo[T] =
  result.bar = 1

proc fails[T](x: static Foo[T]) = # Change to non-static and it compiles
  echo x

const foo = initFoo(int, 2)

fails(foo)

[mratsim]

Hit this again with the following test case, so arrays are fine.

import macros, tables

var foo{.compileTime.} = [
  "Foo",
  "Bar"
]

var bar{.compileTime.} = {
  0: "Foo",
  1: "Bar"
}.toTable()

macro fooM(): untyped =
  for i, val in foo:
    echo i, ": ", val

macro barM(): untyped =
  for i, val in bar:
    echo i, ": ", val

macro fooParam(x: static array[2, string]): untyped =
  for i, val in x:
    echo i, ": ", val

macro barParam(x: static Table[int, string]): untyped =
  for i, val in x:
    echo i, ": ", val

fooM()
static: echo "####"
barM()
static: echo "####"
fooParam(foo)
static: echo "####"
barParam(bar)
static: echo "####"

0: Foo
1: Bar
####
0: Foo
1: Bar
####
0: Foo
1: Bar
####
table_compileTime.nim(36, 9) Error: type mismatch: got <static[Table[system.int, system.string]]((data: [(0, 0, ""), (314159265, 0, "Foo"), (1, 1, "Bar"), (0, 0, ""), (0, 0, ""), (0, 0, ""),
       (0, 0, ""), (0, 0, "")], counter: 2))>
but expected one of:
macro barParam(x: static Table[int, string]): untyped

expression: barParam(bar)

[timotheecour]

@mratsim #11992 will solve this (and many other) problem; as noted in PR, symbol aliases generalize both static and typedesc.
See below: the only change was to pass alias foo instead of foo, and making the signature proc fails[T](x: T) (aliassym can match against generic T, as an implicit generic via proc fails(x: aliassym))

  import std/lambdas
  type
    Foo*[T] = object
      bar*: int
      dummy: T

  proc initFoo(T: type, bar: int): Foo[T] =
    result.bar = 1

  proc fails[T](x: T) = # Change to non-static and it compiles
    const y = x.bar # can access as const
    echo (x, y)

  const foo = initFoo(int, 2)
  fails(alias foo)