| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2022-03-08 | Change wording of suggestion to add missing `match` arm | Esteban Kuber | -1/+1 |
| 2022-03-08 | When finding a match expr with multiple arms that requires more, suggest it | Esteban Kuber | -1/+5 |
| 2022-03-08 | When encountering a match expr with no arms, suggest it | Esteban Kuber | -1/+1 |
| 2020-12-18 | Keep all witnesses of non-exhaustiveness | Nadrieril | -2/+2 |
| 2020-12-18 | Add tests | Nadrieril | -3/+3 |
| 2020-11-19 | Regroup many usefulness-related test in the same folder | Nadrieril | -0/+12 |
