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

Touch up a comment on LocalDecl::internal

Browse Source
This commit is contained in:
Alex Crichton 2017-08-24 11:42:32 -07:00
parent 0727adec6c
commit b44e51cd62
1 changed files with 11 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/librustc/mir/mod.rs
View File

@ -411,14 +411,20 @@ pub struct LocalDecl<'tcx> {
/// True if this corresponds to a user-declared local variable.
pub is_user_variable: bool,
/// True if this is an internal local.
/// True if this is an internal local
///
/// These locals are not based on types in the source code and are only used
/// for drop flags at the moment.
/// The generator transformation will sanity check the locals which are live across
/// a suspension point against the type components of the generator which
/// type checking knows are live across a suspension point.
/// We need to flag drop flags to avoid triggering this check as they are introduced
///
/// The generator transformation will sanity check the locals which are live
/// across a suspension point against the type components of the generator
/// which type checking knows are live across a suspension point. We need to
/// flag drop flags to avoid triggering this check as they are introduced
/// after typeck.
///
/// This should be sound because the drop flags are fully algebraic, and
/// therefore don't affect the OIBIT or outlives properties of the
/// generator.
pub internal: bool,
/// Type of this local.