Correct documentation about `FakeRead`

1 files changed, 2 insertions, 1 deletions

diff --git a/src/librustc/mir/mod.rs b/src/librustc/mir/mod.rs
index faecb7013b4..7b158c3958d 100644
--- a/src/librustc/mir/mod.rs
+++ b/src/librustc/mir/mod.rs
@@ -1760,7 +1760,8 @@ pub enum StatementKind<'tcx> {
     /// kind of pattern it comes from. This is in order to adapt potential
     /// error messages to these specific patterns.
     ///
-    /// Note that this also is emitted for regular `let` bindings to aid destructuring diagnostics
+    /// Note that this also is emitted for regular `let` bindings to ensure that locals that are
+    /// never accessed still get some sanity checks for e.g. `let x: ! = ..;`
     FakeRead(FakeReadCause, Place<'tcx>),
 
     /// Write the discriminant for a variant to the enum Place.