| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-01-17 | Rollup merge of #120039 - Nadrieril:remove-idx, r=compiler-errors | Matthias Krüger | -2/+40 | |
| pat_analysis: Don't rely on contiguous `VariantId`s outside of rustc Today's pattern_analysis uses `BitSet` and `IndexVec` on the provided enum variant ids, which only makes sense if these ids count the variants from 0. In rust-analyzer, the variant ids are global interning ids, which would make `BitSet` and `IndexVec` ridiculously wasteful. In this PR I add some shims to use `FxHashSet`/`FxHashMap` instead outside of rustc. r? ```@compiler-errors``` | ||||
| 2024-01-17 | Don't rely on contiguous `VariantId`s outside of rustc | Nadrieril | -2/+40 | |
| 2024-01-15 | Lint overlapping ranges directly from exhaustiveness | Nadrieril | -11/+14 | |
| 2024-01-12 | rustc_pattern_analysis no longer needs to be passed an arena | Nadrieril | -13/+2 | |
| 2024-01-11 | Only lint ranges that really overlap | Nadrieril | -1/+3 | |
| 2024-01-11 | Factor out collection of overlapping ranges | Nadrieril | -1/+1 | |
| 2024-01-07 | Abort analysis on type error | Nadrieril | -1/+1 | |
| 2024-01-07 | Add an error path to the algorithm | Nadrieril | -5/+9 | |
| 2024-01-01 | Statically enforce revealing of opaques | Nadrieril | -2/+1 | |
| 2023-12-26 | Yeet some lifetimes | Michael Goulet | -1/+1 | |
| 2023-12-23 | Clarify the situation with dummy patterns and `PatData` | Nadrieril | -3/+2 | |
| Use an explicit `Option` instead of requiring a `Default` bound | ||||
| 2023-12-23 | Use `derivative` for better derive bounds | Nadrieril | -7/+6 | |
| 2023-12-20 | Reveal opaque types in exhaustiveness checking | Nadrieril | -1/+2 | |
| 2023-12-15 | s/MatchCx/TypeCx/ | Nadrieril | -7/+7 | |
| 2023-12-15 | Introduce `MatchCtxt` | Nadrieril | -12/+34 | |
| 2023-12-15 | `pattern_analysis` doesn't need to know what spans are | Nadrieril | -1/+4 | |
| 2023-12-15 | Address review comments | Nadrieril | -4/+0 | |
| 2023-12-15 | s/RustcCtxt/RustcMatchCheckCtxt/ | Nadrieril | -2/+2 | |
| 2023-12-15 | Make the `rustc_data_structures` dependency optional | Nadrieril | -0/+7 | |
| 2023-12-15 | Gate rustc-specific code under a feature | Nadrieril | -5/+15 | |
| 2023-12-15 | Iron out last rustc-specific details | Nadrieril | -1/+5 | |
| 2023-12-15 | Name rustc-specific things "rustc" | Nadrieril | -6/+6 | |
| 2023-12-15 | Abstract `MatchCheckCtxt` into a trait | Nadrieril | -7/+42 | |
| 2023-12-15 | Disentangle the arena from `MatchCheckCtxt` | Nadrieril | -3/+5 | |
| 2023-12-11 | Move lints to their own module | Nadrieril | -0/+42 | |
| 2023-12-11 | Gather rustc-specific functions around `MatchCheckCtxt` | Nadrieril | -0/+1 | |
| 2023-12-11 | Extract exhaustiveness into its own crate | Nadrieril | -0/+13 | |
