| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-01-19 | swap Ambiguity and Unimplemented in new trait engine | Michael Goulet | -2/+4 |
| 2023-01-18 | remove assembly context and impl a bit more | lcnr | -21/+6 |
| 2023-01-18 | instantiate canonical vars eagerly | lcnr | -5/+21 |
| 2023-01-12 | Implement dummy query responses and a jank instantiate | Michael Goulet | -1/+1 |
| 2023-01-11 | Report fulfillment errors in new trait solver | Michael Goulet | -11/+25 |
| 2022-12-19 | implement the skeleton of the updated trait solver | lcnr | -0/+92 |
