From 6ca2ad584459b62e444e726af6ec958c31c77c1d Mon Sep 17 00:00:00 2001 From: Oliver Scherer Date: Wed, 12 Dec 2018 13:09:36 +0100 Subject: [PATCH] Correct documentation about `FakeRead` --- src/librustc/mir/mod.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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.