| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-12-20 | Reveal opaque types in exhaustiveness checking | Nadrieril | -33/+33 | |
| 2023-12-19 | Auto merge of #118842 - Nadrieril:librarify-further, r=compiler-errors | bors | -431/+641 | |
| Make exhaustiveness usable outside of rustc With this PR, `rustc_pattern_analysis` compiles on stable (with the `stable` feature)! `rust-analyzer` will be able to use it to provide match-related diagnostics and refactors. Two questions: - Should I name the feature `nightly` instead of `rustc` for consistency with other crates? `rustc` makes more sense imo. - `typed-arena` is an optional dependency but tidy made me add it to the allow-list anyway. Can I avoid that somehow? r? `@compiler-errors` | ||||
| 2023-12-15 | NFC: do not clone types that are copy | Matthias Krüger | -1/+1 | |
| 2023-12-15 | s/MatchCx/TypeCx/ | Nadrieril | -48/+48 | |
| 2023-12-15 | Introduce `MatchCtxt` | Nadrieril | -77/+93 | |
| 2023-12-15 | s/PatCtxt/PlaceCtxt/ | Nadrieril | -33/+33 | |
| 2023-12-15 | `pattern_analysis` doesn't need to know what spans are | Nadrieril | -28/+31 | |
| 2023-12-15 | Address review comments | Nadrieril | -12/+4 | |
| 2023-12-15 | s/RustcCtxt/RustcMatchCheckCtxt/ | Nadrieril | -34/+44 | |
| 2023-12-15 | Make the crate compile on stable | Nadrieril | -3/+17 | |
| 2023-12-15 | Make the `rustc_data_structures` dependency optional | Nadrieril | -13/+28 | |
| 2023-12-15 | Gate rustc-specific code under a feature | Nadrieril | -16/+41 | |
| 2023-12-15 | Iron out last rustc-specific details | Nadrieril | -14/+38 | |
| 2023-12-15 | Name rustc-specific things "rustc" | Nadrieril | -43/+36 | |
| 2023-12-15 | Abstract `MatchCheckCtxt` into a trait | Nadrieril | -218/+294 | |
| 2023-12-15 | Disentangle the arena from `MatchCheckCtxt` | Nadrieril | -116/+135 | |
| 2023-12-15 | Remove all matching on `ty.kind()` outside `cx` | Nadrieril | -36/+31 | |
| 2023-12-15 | Split `Single` ctor into more specific variants | Nadrieril | -51/+79 | |
| 2023-12-12 | Update compiler/rustc_pattern_analysis/src/constructor.rs | Matthias Krüger | -0/+1 | |
| add note that `missing_empty` is cleared now Co-authored-by: Nadrieril <Nadrieril@users.noreply.github.com> | ||||
| 2023-12-12 | simplify merging of two vecs | Matthias Krüger | -1/+1 | |
| 2023-12-11 | Fix doc links | Nadrieril | -22/+22 | |
| 2023-12-11 | Fix item visibilities | Nadrieril | -31/+27 | |
| 2023-12-11 | Make `MaybeInfiniteInt` rustc-independent | Nadrieril | -34/+59 | |
| 2023-12-11 | Move lints to their own module | Nadrieril | -297/+343 | |
| 2023-12-11 | Gather rustc-specific functions around `MatchCheckCtxt` | Nadrieril | -889/+891 | |
| 2023-12-11 | Extract exhaustiveness into its own crate | Nadrieril | -0/+3780 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |