rust/compiler/rustc_mir_build/src/builder/scope.rs, branch cargo_update

only introduce a guard scope for arms with guards

2025-08-07T23:51:41+00:00

add a scope for `if let` guard temporaries and bindings

2025-08-07T23:43:20+00:00

This ensures `if let` guard temporaries and bindings are dropped before the match arm's pattern's bindings.

`loop_match`: suggest extracting to a `const` item

2025-07-25T22:10:56+00:00

if the expression cannot be evaluated in a straightforward way

Auto merge of #143472 - dianne:deref-pat-column-check, r=Nadrieril

2025-07-09T09:45:36+00:00

`rustc_pattern_analysis`: always check that deref patterns don't match on the same place as normal constructors In rust-lang/rust#140106, deref pattern validation was tied to the `deref_patterns` feature to temporarily avoid affecting perf. However: - As of rust-lang/rust#143414, box patterns are represented as deref patterns in `rustc_pattern_analysis`. Since they can be used by enabling `box_patterns` instead of `deref_patterns`, it was possible for them to skip validation, resulting in an ICE. This fixes that and adds a regression test. - External tooling (e.g. rust-analyzer) will also need to validate matches containing deref patterns, which was not possible. This fixes that by making `compute_match_usefulness` validate deref patterns by default. In order to avoid doing an extra pass for anything with patterns, the second commit makes `RustcPatCtxt` keep track of whether it encounters a deref pattern, so that it only does the check if so. This is purely for performance. If the perf impact of the first commit is negligible and the complexity cost introduced by the second commit is significant, it may be worth dropping the latter. r? `@Nadrieril`

`loop_match`: fix 'no terminator on block'

2025-07-07T11:55:40+00:00

only check for mixed deref/normal constructors when needed

2025-07-05T06:47:31+00:00

mir: Add a `new` method to `statement`

2025-06-29T12:13:36+00:00

Avoid introducing a large number of changes when adding optional initialization fields.

Add `#[loop_match]` for improved DFA codegen

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

Co-authored-by: Folkert de Vries

Avoid `fold`/`flat_map`.

2025-05-26T23:28:39+00:00

This pattern of iterating over scopes and drops occurs multiple times in this file, with slight variations. All of them use `for` loops except this one. This commits changes it for consistency.

Factor out some repeated code in `build_exit_tree`.

2025-05-26T23:28:39+00:00