rust/compiler/rustc_pattern_analysis/src/constructor.rs, branch cargo_update

In rustc_pattern_analysis, put `true` witnesses before `false` witnesses

2025-07-27T23:01:39+00:00

In rustc it doesn't really matter what the order of the witnesses is, but I'm planning to use the witnesses for implementing the "add missing match arms" assist in rust-analyzer, and there `true` before `false` is the natural order (like `Some` before `None`), and also what the current assist does. The current order doesn't seem to be intentional; the code was created when bool ctors became their own thing, not just int ctors, but for integer, 0 before 1 is indeed the natural order.

pattern_analysis: add option to get a full set of witnesses

2025-07-20T16:27:30+00:00

Add `#[loop_match]` for improved DFA codegen

2025-06-23T18:43:04+00:00

Co-authored-by: Folkert de Vries

let deref patterns participate in usefulness/exhaustiveness

2025-05-07T01:53:55+00:00

This does not yet handle the case of mixed deref patterns with normal constructors; it'll ICE in `Constructor::is_covered_by`. That'll be fixed in a later commit.

rename `BitSet` to `DenseBitSet`

2025-01-11T11:34:01+00:00

This should make it clearer that this bitset is dense, with the advantages and disadvantages that it entails.

cleanup: don't clone types that are Copy

2024-09-29T11:31:30+00:00

Reformat using the new identifier sorting from rustfmt

2024-09-22T23:11:29+00:00

chore: Fix typos in 'compiler' (batch 2)

2024-09-02T05:50:22+00:00

Reformat `use` declarations.

2024-07-28T22:26:52+00:00

The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options.

Avoid ref when using format! in compiler

2024-07-19T18:52:07+00:00

Clean up a few minor refs in `format!` macro, as it has a performance cost. Apparently the compiler is unable to inline `format!("{}", &variable)`, and does a run-time double-reference instead (format macro already does one level referencing). Inlining format args prevents accidental `&` misuse.