| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-11-02 | Point at tail expression on rpit E0277 | Esteban Küber | -2/+6 |
| 2024-10-29 | Remove detail from label/note that is already available in other note | Esteban Küber | -2/+2 |
| 2024-07-05 | Actually just make can_eq process obligations (almost) everywhere | Michael Goulet | -2/+2 |
| 2024-06-12 | Rebase fallout | Michael Goulet | -2/+2 |
| 2024-06-11 | Revert "When checking whether an impl applies, constrain hidden types of opaq... | Oli Scherer | -10/+6 |
| 2024-05-23 | When checking whether an impl applies, constrain hidden types of opaque types. | Oli Scherer | -6/+10 |
| 2024-04-04 | Switch `can_eq` and `can_sub` to `DefineOpaqueTypes::Yes` | Oli Scherer | -4/+4 |
| 2024-01-30 | Provide more context on derived obligation error primary label | Esteban Küber | -2/+2 |
| 2024-01-07 | Split note, fix const/static impl trait error | Michael Goulet | -1/+3 |
| 2023-10-04 | Tweak wording of E0562 | Esteban Küber | -1/+1 |
| 2023-02-22 | pluralize stuff | Michael Goulet | -1/+1 |
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+64 |
