1
Fork 0

Update documentation.

This commit is contained in:
Camille GILLOT 2023-05-07 14:01:12 +00:00
parent 7c669562b1
commit 2dbbec34ab

View file

@ -157,7 +157,7 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
/// [ 0. Pre-match ] /// [ 0. Pre-match ]
/// | /// |
/// [ 1. Evaluate Scrutinee (expression being matched on) ] /// [ 1. Evaluate Scrutinee (expression being matched on) ]
/// [ (fake read of scrutinee) ] /// [ (PlaceMention of scrutinee) ]
/// | /// |
/// [ 2. Decision tree -- check discriminants ] <--------+ /// [ 2. Decision tree -- check discriminants ] <--------+
/// | | /// | |
@ -184,7 +184,7 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
/// ///
/// We generate MIR in the following steps: /// We generate MIR in the following steps:
/// ///
/// 1. Evaluate the scrutinee and add the fake read of it ([Builder::lower_scrutinee]). /// 1. Evaluate the scrutinee and add the PlaceMention of it ([Builder::lower_scrutinee]).
/// 2. Create the decision tree ([Builder::lower_match_tree]). /// 2. Create the decision tree ([Builder::lower_match_tree]).
/// 3. Determine the fake borrows that are needed from the places that were /// 3. Determine the fake borrows that are needed from the places that were
/// matched against and create the required temporaries for them /// matched against and create the required temporaries for them
@ -239,7 +239,7 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
) )
} }
/// Evaluate the scrutinee and add the fake read of it. /// Evaluate the scrutinee and add the PlaceMention for it.
fn lower_scrutinee( fn lower_scrutinee(
&mut self, &mut self,
mut block: BasicBlock, mut block: BasicBlock,