| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2015-12-18 | Make RFC 1214 warnings into errors, and rip out the "warn or err" | Niko Matsakis | -2/+2 |
| 2015-08-12 | Update test error messages based on changes to wfcheck; also, break | Niko Matsakis | -2/+2 |
| 2015-08-12 | New tests --- check that wf relation is being checked in various positions | Niko Matsakis | -0/+21 |
