summary refs log tree commit diff
path: root/src/test/compile-fail/occurs-check.rs
AgeCommit message (Expand)AuthorLines
2012-03-23Implement new inference algorithm.Niko Matsakis-2/+4
2012-01-27Make occurs check in ty::fixup_vars more reliableMarijn Haverbeke-1/+1
2011-08-20ReformatBrian Anderson-4/+1
2011-08-16Make let bindings' scope start at their definitionMarijn Haverbeke-1/+2
2011-08-04Implement the occurs checkTim Chevalier-0/+4