mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Expand comment on NonMutatingUseContext.

Browse Source
This commit is contained in:
Camille GILLOT 2023-04-29 16:16:41 +00:00
parent 9325a254f0
commit 4ec76df4a9
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
compiler/rustc_middle/src/mir/visit.rs
View File

@ -1252,6 +1252,9 @@ pub enum NonMutatingUseContext {
/// AddressOf for *const pointer.
AddressOf,
/// PlaceMention statement.
///
/// This statement is executed as a check that the `Place` is live without reading from it,
/// so it must be considered as a non-mutating use.
PlaceMention,
/// Used as base for another place, e.g., `x` in `x.y`. Will not mutate the place.
/// For example, the projection `x.y` is not marked as a mutation in these cases: