mirror of
https://github.com/nim-lang/Nim.git
synced 2026-01-03 11:42:33 +00:00
f765898a75
Fix https://github.com/nim-lang/Nim/issues/23547 Tested locally with the included test, the test from constantine and the original issue.
24 lines
602 B
Nim
24 lines
602 B
Nim
# https://github.com/nim-lang/Nim/issues/23547
|
|
|
|
type
|
|
A[T] = object
|
|
x: T
|
|
|
|
proc mulCheckSparse[F](dummy: var A[F], xmulchecksparse: static A[F]) =
|
|
static:
|
|
echo "mulCheckSparse: ", typeof(dummy), ", ", typeof(xmulchecksparse) # when generic params not specified: A[system.int], A
|
|
|
|
template sumImpl(xsumimpl: typed) =
|
|
static:
|
|
echo "sumImpl: ", typeof(xsumimpl) # A
|
|
var a = A[int](x: 55)
|
|
mulCheckSparse(a, xsumimpl) # fails here
|
|
|
|
proc sum[T](xsum: static T) =
|
|
static:
|
|
echo "sum: ", typeof(xsum) # A[system.int]
|
|
sumImpl(xsum)
|
|
|
|
const constA = A[int](x : 100)
|
|
sum[A[int]](constA)
|