]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ecc774f) | patch
Check bounds when looking up type parameters
authorEdward Wang <edward.yu.wang@gmail.com>
Sat, 12 Apr 2014 08:16:37 +0000 (16:16 +0800)
committerEdward Wang <edward.yu.wang@gmail.com>
Sat, 12 Apr 2014 13:14:24 +0000 (21:14 +0800)
commitfc043c054f39d5bae176eb93067f13a3be243d8e
tree2101f0dd447aa11d2967728b47ed60ce8722984dtree | snapshot
parentecc774f788ca3880ce76e4b87ac0d21a3a16d3aecommit | diff
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
src/librustc/middle/typeck/check/vtable.rs diff | blob | history
src/librustc/util/ppaux.rs diff | blob | history
src/test/compile-fail/issue-13466.rs [new file with mode: 0644] blob
Empowering everyone to build reliable and efficient software.