| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -40/+40 |
| 2025-02-21 | Trim suggestion part before generating highlights | Michael Goulet | -2/+2 |
| 2024-11-08 | Get rid of check_opaque_type_well_formed | Michael Goulet | -28/+28 |
| 2024-09-13 | Add a machine-applicable suggestion to "unreachable pattern" | Nadrieril | -8/+32 |
| 2024-09-11 | Revert warning empty patterns as unreachable | Nadrieril | -16/+16 |
| 2024-08-20 | Move the "matches no value" note to be a span label | Nadrieril | -16/+8 |
| 2024-08-19 | Add a note with a link to explain empty types | Nadrieril | -0/+8 |
| 2024-08-19 | Reword the "unreachable pattern" explanations | Nadrieril | -16/+16 |
| 2024-08-10 | Update tests | Nadrieril | -16/+16 |
| 2024-07-24 | Explain why a given pattern is considered unreachable | Nadrieril | -3/+24 |
| 2023-12-23 | Reveal empty opaques in depth | Nadrieril | -8/+26 |
| 2023-12-20 | Reveal opaque types in exhaustiveness checking | Nadrieril | -4/+34 |
| 2023-12-20 | Add tests | Nadrieril | -0/+71 |
