Function type check of generic function

[giaco]

seems that push and pop pragmas are not applied to function type declarations
    
    
    {.push noSideEffect, nimcall.}
    
    type Fid[A] = proc(x: A): A # {.noSideEffect, nimcall.} # decomment to get 
true
    func id[T](x: T): T = x
    echo id[int] is Fid[int]
    
    {.pop.}
    
    
    Run