| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -0/+6 |
| 2024-09-11 | Revert warning empty patterns as unreachable | Nadrieril | -0/+1 |
| 2024-08-10 | Update tests | Nadrieril | -1/+0 |
| 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 |
