From 4ec76df4a9edc6c7a3a69a82bd3eab3881b70ffa Mon Sep 17 00:00:00 2001
From: Camille GILLOT <gillot.camille@gmail.com>
Date: Sat, 29 Apr 2023 16:16:41 +0000
Subject: [PATCH] Expand comment on NonMutatingUseContext.

---
 compiler/rustc_middle/src/mir/visit.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/compiler/rustc_middle/src/mir/visit.rs b/compiler/rustc_middle/src/mir/visit.rs
index eb5bcbb67eb..8e8ca7874f5 100644
--- a/compiler/rustc_middle/src/mir/visit.rs
+++ b/compiler/rustc_middle/src/mir/visit.rs
@@ -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: