[steveklabnik]

(Also, once Rust gets specialization, our generics will no longer be parametric.)

[vpner]

I don't think Go's proposed system is parametric either. It's not clear to me how their contracts actually map to generics so I have no idea if Pike is telling the truth or just "thought leading".