bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

MatchPairTree: update invariant comment

Browse source
This commit is contained in:
Maja Kądziołka 2025-03-26 02:18:13 +01:00
parent 0c162b19ec
commit c8a5b3677b
No known key found for this signature in database
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_mir_build/src/builder/matches/mod.rs
View file

@ -1283,8 +1283,8 @@ pub(crate) struct MatchPairTree<'tcx> {
/// --- /// ---
/// This can be `None` if it referred to a non-captured place in a closure. /// 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`. /// Invariant: Can only be `None` when `test_case` is `Or`.
/// Therefore this must be `Some(_)` after simplification. /// Therefore this must be `Some(_)` after or-pattern expansion.
place: Option<Place<'tcx>>, place: Option<Place<'tcx>>,
/// ... must pass this test... /// ... must pass this test...