| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-06-06 | Make obligation cause code suggestions verbose | Esteban Küber | -4/+6 |
| 2024-10-29 | Remove detail from label/note that is already available in other note | Esteban Küber | -1/+1 |
| 2024-01-30 | Provide more context on derived obligation error primary label | Esteban Küber | -1/+1 |
| 2023-09-29 | Add test for rust-lang#114912 | apekros | -0/+23 |
