summary refs log tree commit diff
path: root/src/test/compile-fail/pure-subtyping.rs
AgeCommit message (Expand)AuthorLines
2012-12-10Reliciense makefiles and testsuite. Yup.Graydon Hoare-0/+10
2012-11-06Cleanup how we handle proto in types, remove unsound subtypingNiko Matsakis-18/+20
2012-08-13test: Modify error messages in some compile-fail tests in an attempt to unbre...Patrick Walton-7/+7
2012-06-30change the test suite `//! kind` syntax to `//~ kind` in order to avoid aGareth Daniel Smith-11/+11
2012-05-30test our some of the various combinations of fn subtypingNiko Matsakis-0/+14
2012-05-30test for pure fn vs impure fn etc subtypingNiko Matsakis-0/+22