| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-11-24 | Show number in error message even for one error | Nilstrieb | -3/+3 | |
| Co-authored-by: Adrian <adrian.iosdev@gmail.com> | ||||
| 2023-10-14 | Add some unsoundness tests for opaques capturing hidden regions not in substs | Michael Goulet | -0/+134 | |
