type equality with unused generic types

[jxy]

I'm having trouble upgrading my old code that worked under v0.13. The following 
snippet no longer works under v0.14.2. 
    
    
    type
      G[N:static[int]] = object
        v: int
      A = G[1]
      B = G[2]
    static:
      echo(A is B)
    proc p(x:A) = echo "A:",x.v
    proc p(x:B) = echo "B:",x.v
    p(A(v:1))
    p(B(v:2))
    

A and B used to be different types, but under v0.14, A is B. Is it an intended 
behavior or a regression?

Edit: It's not related to static types. Any generic type uses unused type 
parameter no longer creates a distinct type.