mozilla/rust — pull request #13480 by edwardw (2014-04-12 08:23:09+00:00)
Title: Check bounds when looking up type parameters

A mismatched type with more type parameters than the expected one causes
`typeck` looking up out of the bound of type parameter vector, which
leads to ICE.

Closes #13466