| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-08-10 | clean up witness printing for tuple-like constructors | dianne | -17/+2 | |
| By construction, `subpatterns` contains all fields in order. Witness patterns are constructed with all fields in order by `WitnessPat::wild_from_ctor` and `WitnessStack::apply_constructor`, and the order is preserved at `write_struct_like`'s call-site in `print_witness_pat`. It's thus no longer necessary to go looking for fields or handle missing fields. | ||||
| 2025-08-10 | show a trailing comma on singleton tuple constructors in witness pats | dianne | -0/+3 | |
| 2024-10-27 | compiler: Add rustc_abi dependence to the compiler | Jubilee Young | -1/+1 | |
| Depend on rustc_abi in compiler crates that use it indirectly but have not yet taken on that dependency, and are not entangled in my other PRs. This leaves an "excise rustc_target" step after the dust settles. | ||||
| 2024-08-11 | Remove `print::Pat` entirely, replacing it with `String` | Zalathar | -27/+7 | |
| 2024-08-11 | Remove `PatKind::Never` | Zalathar | -3/+0 | |
| 2024-08-11 | Remove `PatKind::Slice` | Zalathar | -14/+3 | |
| 2024-08-11 | Remove `PatKind::Range` | Zalathar | -4/+0 | |
| 2024-08-11 | Remove `PatKind::Constant` | Zalathar | -6/+1 | |
| 2024-08-11 | Remove `PatKind::Ref` | Zalathar | -6/+2 | |
| 2024-08-11 | Remove `PatKind::Box` | Zalathar | -5/+0 | |
| 2024-08-11 | Remove `PatKind::StructLike` | Zalathar | -9/+1 | |
| 2024-08-11 | Remove `PatKind::Wild` | Zalathar | -3/+0 | |
| 2024-08-11 | Add `print::PatKind::Print` | Zalathar | -0/+3 | |
| This will allow for the gradual removal of all other variants. | ||||
| 2024-08-11 | Avoid matching on `PatKind::Wild` in `write_struct_like` | Zalathar | -4/+5 | |
| 2024-08-07 | Use `TyCtxt::is_diagnostic_item` | Zalathar | -2/+2 | |
| 2024-08-07 | Avoid using `ty::tls::with` in `write_struct_like` | Zalathar | -5/+6 | |
| 2024-08-07 | Split out hoisting/printing of `box` patterns | Zalathar | -1/+5 | |
| 2024-08-07 | Replace an unnecessary slice pattern with `has_dot_dot: bool` | Zalathar | -11/+8 | |
| 2024-08-07 | Remove an impossible case under `EnumInfo::NotEnum` | Zalathar | -7/+1 | |
| 2024-08-07 | Unify `Variant` and `Leaf` into `print::PatKind::StructLike` | Zalathar | -13/+14 | |
| 2024-08-07 | Break up `print::Pat` printing into several helper functions | Zalathar | -113/+142 | |
| 2024-07-31 | Use a separate pattern type for `rustc_pattern_analysis` diagnostics | Zalathar | -0/+193 | |
| The pattern-analysis code needs to print patterns, as part of its user-visible diagnostics. But it never actually tries to print "real" patterns! Instead, it only ever prints synthetic patterns that it has reconstructed from its own internal represenations. We can therefore simultaneously remove two obstacles to changing `thir::Pat`, by having the pattern-analysis code use its own dedicated type for building printable patterns, and then making `thir::Pat` not printable at all. | ||||
