| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-12-20 | Reveal opaque types in exhaustiveness checking | Nadrieril | -2/+19 |
| 2023-12-15 | s/MatchCx/TypeCx/ | Nadrieril | -2/+2 |
| 2023-12-15 | Introduce `MatchCtxt` | Nadrieril | -0/+1 |
| 2023-12-15 | s/PatCtxt/PlaceCtxt/ | Nadrieril | -2/+2 |
| 2023-12-15 | `pattern_analysis` doesn't need to know what spans are | Nadrieril | -2/+2 |
| 2023-12-15 | s/RustcCtxt/RustcMatchCheckCtxt/ | Nadrieril | -24/+33 |
| 2023-12-15 | Iron out last rustc-specific details | Nadrieril | -7/+13 |
| 2023-12-15 | Name rustc-specific things "rustc" | Nadrieril | -0/+904 |
