diff options
| author | Maja Kądziołka <maya@compilercrim.es> | 2025-03-26 02:18:13 +0100 |
|---|---|---|
| committer | Maja Kądziołka <maya@compilercrim.es> | 2025-03-26 02:18:13 +0100 |
| commit | c8a5b3677be3749b9f3eb9fafd912f8c4be5912e (patch) | |
| tree | 4520b5438d0d4564afd20be4686fef00dcd24bb1 | |
| parent | 0c162b19ec0bcf1488a2f797404de594e347e053 (diff) | |
| download | rust-c8a5b3677be3749b9f3eb9fafd912f8c4be5912e.tar.gz rust-c8a5b3677be3749b9f3eb9fafd912f8c4be5912e.zip | |
MatchPairTree: update invariant comment
| -rw-r--r-- | compiler/rustc_mir_build/src/builder/matches/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_mir_build/src/builder/matches/mod.rs b/compiler/rustc_mir_build/src/builder/matches/mod.rs index 56671763977..fb1d067865c 100644 --- a/compiler/rustc_mir_build/src/builder/matches/mod.rs +++ b/compiler/rustc_mir_build/src/builder/matches/mod.rs @@ -1283,8 +1283,8 @@ pub(crate) struct MatchPairTree<'tcx> { /// --- /// This can be `None` if it referred to a non-captured place in a closure. /// - /// Invariant: Can only be `None` when `test_case` is `Irrefutable`. - /// Therefore this must be `Some(_)` after simplification. + /// Invariant: Can only be `None` when `test_case` is `Or`. + /// Therefore this must be `Some(_)` after or-pattern expansion. place: Option<Place<'tcx>>, /// ... must pass this test... |