We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a137ff1 commit e5e4a85Copy full SHA for e5e4a85
compiler/rustc_mir/src/transform/check_consts/validation.rs
@@ -592,7 +592,7 @@ impl Visitor<'tcx> for Validator<'mir, 'tcx> {
592
// to (interior) mutable memory.
593
hir::ConstContext::ConstFn => self.check_op(ops::TransientCellBorrow),
594
_ => {
595
- // Locals StorageDead are known to not leak to the final constant, and
+ // Locals with StorageDead are definitely not part of the final constant value, and
596
// it is thus inherently safe to permit such locals to have their
597
// address taken as we can't end up with a reference to them in the
598
// final value without creating a dangling pointer, which will cause
0 commit comments