| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-09-16 | Relate receiver invariantly in method probe for Mode::Path | Michael Goulet | -1/+2 | |
| 2024-04-21 | Use sup instead of eq when unifying self type | Michael Goulet | -3/+8 | |
| 2024-04-21 | Use fulfillment, not evaluate, during method probe | Michael Goulet | -1/+1 | |
| 2024-02-22 | overflow errors: change source to a concrete enum | lcnr | -1/+0 | |
| 2024-02-22 | freshen: resolve root vars | lcnr | -0/+2 | |
| Without doing so we use the same candidate cache entry for `?0: Trait<?1>` and `?0: Trait<?0>`. These goals are different and we must not use the same entry for them. | ||||
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+32 | |
