this is interesting,I was expecting that T was lifted to integer. Instead is 
just validated it can be used as integer but the type stays as passed from 
parameter.
    
    
    proc xyz[T : int](x : T) =
        echo "type of param is ", type(x)
        echo "type of generic is ", T
        echo x
    
    xyz(1'i8)
    # type of param is int8
    # type of generic is int8
    
    
    Run

Reply via email to