Static - multi-parameters: Nim expects all generics to be instantiated by first variable

[mratsim]

When a proc accept 2 generic parameters, Nim expects the generics to be instantiated after the first variable.

Test case:

type
  Matrix[M,N: static[int]; T: SomeReal] = array[0..(M*N - 1), T]

let a = new Matrix[2,2,float]
let b = new Matrix[2,1,float]

proc foo[M,N: static[int],T](a: ref Matrix[M, N, T], b: ref Matrix[M, N, T])=
    discard

foo(a, a) #works
foo(a, b) #works

proc bar[M,N: static[int],T](a: ref Matrix[M, M, T], b: ref Matrix[M, N, T])=
    discard

bar(a, b) #cannot instantiate: 'N'
bar(a, a) #cannot instantiate: 'N'

proc baz[M,N: static[int],T](a: ref Matrix[N, N, T], b: ref Matrix[M, N, T])=
    discard

baz(a, b) #cannot instantiate: 'M'
baz(a, a) #cannot instantiate: 'M'

CC-ing @andreaferretti

[andreaferretti]

This seems to be related