Generic Type Inference Limitations?

[thefoxandflea]

Currently it seems like the following does not work:
    
    
    let s: seq[int] = newSeq(10)
    
    
    Run

because `int` cannot be inferred on the right side of the assignment. This 
seems like something which the compiler could be able to do (e.g. I believe C++ 
does this), so I was wondering if there was some way to enable this behavior or 
some reason why it can't work?

Thanks!