| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-12-15 | Name rustc-specific things "rustc" | Nadrieril | -910/+0 | |
| 2023-12-15 | Abstract `MatchCheckCtxt` into a trait | Nadrieril | -31/+83 | |
| 2023-12-15 | Disentangle the arena from `MatchCheckCtxt` | Nadrieril | -22/+11 | |
| 2023-12-15 | Remove all matching on `ty.kind()` outside `cx` | Nadrieril | -1/+5 | |
| 2023-12-15 | Split `Single` ctor into more specific variants | Nadrieril | -32/+41 | |
| 2023-12-11 | Make `MaybeInfiniteInt` rustc-independent | Nadrieril | -15/+34 | |
| 2023-12-11 | Gather rustc-specific functions around `MatchCheckCtxt` | Nadrieril | -0/+837 | |
