| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-01-11 | label where constructor is defined and note that it should be called | Michael Goulet | -1/+1 | |
| 2023-01-11 | Be more specific about constructor `FnDef`s in type mismatch | Michael Goulet | -3/+3 | |
| 2023-01-11 | Note predicate span on ImplDerivedObligation | Michael Goulet | -7/+17 | |
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+57358 | |
