proc type mismatch with static[int] generic params

[jxy]

type                                                                                                 
  G[N,M:static[int],T] = object                                                                      
    o: T                                                                                             
                                                                                                     
proc newG[N,M:static[int],T](x:var G[N,M,T], y:T) =                                                  
  x.o = y+10*N+100*M                                                                                 
                                                                                                     
proc newG[N,M:static[int],T](x:T):G[N,M,T] = result.newG(x)                                          
                                                                                                     
var x:G[2,3,int]                                                                                     
x.newG(4)                                                                                            
var y = newG[2,3,int](4)

With v0.17.0

Hint: system [Processing]                                                                            
Hint: t_gentypeinst2 [Processing]                                                                    
t_gentypeinst2.nim(12, 14) Error: type expected

With devel

t_gentypeinst2.nim(12, 22) template/generic instantiation from here                                  
t_gentypeinst2.nim(8, 52) Error: type mismatch: got (G[system.int, system.int, system.int], int)     
but expected one of:                                                                                 
proc newG[N, M: static[int], T](x: var G[N, M, T]; y: T)                                             
proc newG[N, M: static[int], T](x: T): G[N, M, T]