| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-01-20 | Remove Ty: Copy bound | Nadrieril | -8/+9 | |
| 2024-01-19 | Rollup merge of #119835 - Nadrieril:simplify-empty-logic, r=compiler-errors | Matthias Krüger | -35/+22 | |
| Exhaustiveness: simplify empty pattern logic The logic that handles empty patterns had gotten quite convoluted. This PR simplifies it a lot. I tried to make the logic as easy as possible to follow; this only does logically equivalent changes. The first commit is a drive-by comment clarification that was requested after another PR a while back. r? `@compiler-errors` | ||||
| 2024-01-15 | Remove the unused `overlapping_range_endpoints` Vec | Nadrieril | -37/+5 | |
| 2024-01-15 | Lint overlapping ranges directly from exhaustiveness | Nadrieril | -11/+5 | |
| 2024-01-15 | Simplify empty pattern logic some more | Nadrieril | -8/+7 | |
| 2024-01-15 | Simplify empty pattern logic a bit | Nadrieril | -14/+13 | |
| 2024-01-15 | Make all the empty pattern decisions in `usefulness` | Nadrieril | -5/+13 | |
| 2024-01-15 | Simplify use of `ValidityConstraint` | Nadrieril | -23/+4 | |
| We had reached a point where the shenanigans about omitting empty arms are unnecessary. | ||||
| 2024-01-12 | rustc_pattern_analysis no longer needs to be passed an arena | Nadrieril | -9/+9 | |
| 2024-01-11 | Only lint ranges that really overlap | Nadrieril | -4/+113 | |
| 2024-01-11 | Factor out collection of overlapping ranges | Nadrieril | -1/+10 | |
| 2024-01-11 | Track row intersections | Nadrieril | -18/+36 | |
| 2024-01-11 | Auto merge of #119837 - matthiaskrgr:rollup-l2olpad, r=matthiaskrgr | bors | -12/+13 | |
| Rollup of 11 pull requests Successful merges: - #115046 (Use version-sorting for all sorting) - #118915 (Add some comments, add `can_define_opaque_ty` check to `try_normalize_ty_recur`) - #119006 (Fix is_global special address handling) - #119637 (Pass LLVM error message back to pass wrapper.) - #119715 (Exhaustiveness: abort on type error) - #119763 (Cleanup things in and around `Diagnostic`) - #119788 (change function name in comments) - #119790 (Fix all_trait* methods to return all traits available in StableMIR) - #119803 (Silence some follow-up errors [1/x]) - #119804 (Stabilize mutex_unpoison feature) - #119832 (Meta: Add project const traits to triagebot config) r? `@ghost` `@rustbot` modify labels: rollup | ||||
| 2024-01-07 | Abort analysis on type error | Nadrieril | -2/+2 | |
| 2024-01-07 | Add an error path to the algorithm | Nadrieril | -10/+11 | |
| 2024-01-07 | We only need the arity of the subtype list now | Nadrieril | -9/+7 | |
| 2024-01-07 | Use special enum to represent algorithm-generated wildcards in the matrix | Nadrieril | -12/+9 | |
| 2024-01-06 | Reuse `ctor_sub_tys` when we have one around | Nadrieril | -3/+6 | |
| 2024-01-06 | Remove `Matrix.wildcard_row` | Nadrieril | -18/+24 | |
| It was only used to track types and relevancy, so may as well store that directly. | ||||
| 2024-01-01 | Statically enforce revealing of opaques | Nadrieril | -10/+7 | |
| 2023-12-26 | Elide more lifetimes | Michael Goulet | -11/+11 | |
| 2023-12-26 | Even more | Michael Goulet | -12/+9 | |
| 2023-12-26 | Yeet some lifetimes | Michael Goulet | -28/+28 | |
| 2023-12-23 | Rework the explanation of relevancy | Nadrieril | -48/+138 | |
| 2023-12-23 | Improve performance on wide matches | Nadrieril | -29/+115 | |
| 2023-12-23 | Clarify the situation with dummy patterns and `PatData` | Nadrieril | -2/+1 | |
| Use an explicit `Option` instead of requiring a `Default` bound | ||||
| 2023-12-23 | Use `derivative` for better derive bounds | Nadrieril | -12/+9 | |
| 2023-12-20 | Reveal opaque types in exhaustiveness checking | Nadrieril | -15/+5 | |
| 2023-12-15 | s/MatchCx/TypeCx/ | Nadrieril | -24/+24 | |
| 2023-12-15 | Introduce `MatchCtxt` | Nadrieril | -29/+23 | |
| 2023-12-15 | s/PatCtxt/PlaceCtxt/ | Nadrieril | -18/+18 | |
| 2023-12-15 | `pattern_analysis` doesn't need to know what spans are | Nadrieril | -5/+5 | |
| 2023-12-15 | Make the crate compile on stable | Nadrieril | -0/+5 | |
| 2023-12-15 | Make the `rustc_data_structures` dependency optional | Nadrieril | -2/+8 | |
| 2023-12-15 | Gate rustc-specific code under a feature | Nadrieril | -3/+4 | |
| 2023-12-15 | Abstract `MatchCheckCtxt` into a trait | Nadrieril | -90/+87 | |
| 2023-12-15 | Disentangle the arena from `MatchCheckCtxt` | Nadrieril | -57/+71 | |
| 2023-12-15 | Remove all matching on `ty.kind()` outside `cx` | Nadrieril | -4/+3 | |
| 2023-12-15 | Split `Single` ctor into more specific variants | Nadrieril | -6/+3 | |
| 2023-12-11 | Fix doc links | Nadrieril | -5/+6 | |
| 2023-12-11 | Fix item visibilities | Nadrieril | -11/+7 | |
| 2023-12-11 | Move lints to their own module | Nadrieril | -297/+10 | |
| 2023-12-11 | Gather rustc-specific functions around `MatchCheckCtxt` | Nadrieril | -56/+19 | |
| 2023-12-11 | Extract exhaustiveness into its own crate | Nadrieril | -0/+1646 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |