We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 94332bb commit cb33f95Copy full SHA for cb33f95
compiler/rustc_middle/src/mir/mod.rs
@@ -821,9 +821,6 @@ pub struct LocalDecl<'tcx> {
821
/// flag drop flags to avoid triggering this check as they are introduced
822
/// after typeck.
823
///
824
- /// Unsafety checking will also ignore dereferences of these locals,
825
- /// so they can be used for raw pointers only used in a desugaring.
826
- ///
827
/// This should be sound because the drop flags are fully algebraic, and
828
/// therefore don't affect the OIBIT or outlives properties of the
829
/// generator.
0 commit comments