Static[non-int] + $ string conversion not matching

[mratsim]

This echoes "Success"

type
  Foo[N: static[int]] = object

proc `$`[N: static[int]](f: Foo[N]): string =
  "Success"

let a = Foo[10]()
echo a

This gives () and is declared but not used hint

type
  Foo[N: static[int8]] = object


proc `$`[N: static[int8]](f: Foo[N]): string =
  "Success"

let a = Foo[10]()
echo a

[metagn]

10'i8 works

Related to #12559