| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-02-13 | Prefer `min_exhaustive_patterns` in tests | Nadrieril | -1/+1 |
| 2023-12-23 | Reveal empty opaques in depth | Nadrieril | -6/+15 |
| 2023-12-20 | Reveal opaque types in exhaustiveness checking | Nadrieril | -5/+5 |
| 2023-12-20 | Add tests | Nadrieril | -0/+146 |
