| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2016-08-13 | Remove invalid compile-fail tests related to `!` | Andrew Cann | -15/+0 | |
| These tests check for the old error messages "`return` in a function declared as diverging" and "computation may converge in a function declared as diverging". The first of these is now invalid as `return` is permitted in functions that return `!`. The second of these is subsumed by the "mismatched types" error. | ||||
| 2016-01-20 | Add tests for various diverging & converging loops | Simonas Kazlauskas | -0/+15 | |
| Mostly testing borrowck and typeck behaviour in presence of `loop` expression | ||||
