Add docs

Author: pierwill

compiler/rustc_middle/src/mir/mod.rs

@@ -825,6 +825,8 @@ pub struct LocalDecl<'tcx> {
     /// ```
     pub source_info: SourceInfo,
 
+    /// `true` if the local has a fixed storage for the duration of the body
+    /// (that is, it does not have `StorageLive`/`StorageDead` annotations).
     pub always_storage_live: bool,
 }
 

compiler/rustc_mir_dataflow/src/storage.rs

@@ -1,7 +1,8 @@
 use rustc_index::bit_set::BitSet;
 use rustc_middle::mir::{self, HasLocalDecls, Local};
 
-/// The set of locals in a MIR body that do not have `StorageLive`/`StorageDead` annotations.
+/// Returns the set of locals in a MIR body that do not have `StorageLive`/`StorageDead`
+/// annotations.
 ///
 /// These locals have fixed storage for the duration of the body.
 pub fn always_live_locals(body: &mir::Body<'_>) -> BitSet<Local> {