fix #10833 type expected error for proc resolution with static[int]]

[bung87]

fix #10833

related: #4990
#6522

uncomment typeMismatch(c.config, info, formal, arg.typ, arg) still get
t10833.nim(7, 19) Error: type mismatch: got <Foo[t10833.Bar, t10833.Baz, system.int]> but expected 'Foo[t10833.Bar, t10833.Baz, 1]'

type info loss, however I debugging in serveral steps all type check passed, in the end the int is compare in handleRange in first case f.kind == a.kind , even it loss literal info.

this may related to #20417, if merge, merge this one first.

[bung87]

Note here:

tests/generics/tgenerics_issues.nim fails.

[bung87]

Note the trace path here.
instantiateBody -> semProcBody -> semExpr -> semSym
->

case s.kind
  of skConst:

->

of tyStatic:
  if typ.n != nil:
    result = typ.n
    result.typ = typ.base
  else:
    result = newSymNode(s, n.info)

[bung87]

there's chance strip out static inside proc semVarOrLet

finally I use PContext determin in which context in semSym

[bung87]

TODO:
result.f = C should work, I get
Error: internal error: genLiteral(nkObjConstr)
Ideally it should work same as const d = C; result.f = d

another idea is put the const value when result default constructing, so doesn't need assign it, also assignment mismatch the semantic