give int literals matched type on generic match

fixes nim-lang#24233

compiler/sigmatch.nim

@@ -2429,7 +2429,7 @@ proc paramTypesMatchAux(m: var TCandidate, f, a: PType,
       result = arg
     elif skipTypes(arg.typ, abstractVar-{tyTypeDesc}).kind == tyTuple or cmpInheritancePenalty(oldInheritancePenalty, m.inheritancePenalty) > 0:
       result = implicitConv(nkHiddenSubConv, f, arg, m, c)
-    elif arg.typ.isEmptyContainer:
+    elif arg.typ.isEmptyContainer or arg.typ.isIntLit:
       result = arg.copyTree
       result.typ = getInstantiatedType(c, arg, m, f)
     else:

tests/js/tint64litgen.nim

@@ -0,0 +1,24 @@
+discard """
+  matrix: "--jsbigint64:on; --jsbigint64:off"
+"""
+
+block: # issue #24233
+  proc foo[T: SomeInteger](a, b: T) =
+    let x = a div b
+
+  const bar = 123
+
+  let x: int64 = 456
+  foo(x, bar)
+
+block: # issue #24233, modified
+  proc f(a, b: int64) =
+    let x = a div b
+
+  proc foo[T: SomeInteger](a, b: T) =
+    f(a, b)
+
+  const bar = 123
+
+  let x: int64 = 456
+  foo(x, bar)