From d9021791eb097ae80bb1f1dd691e7e47c8e16f59 Mon Sep 17 00:00:00 2001 From: Giacomo Stevanato Date: Thu, 11 Jul 2024 22:38:34 +0200 Subject: [PATCH] Revert accidental comment deletion --- compiler/rustc_borrowck/src/lib.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/compiler/rustc_borrowck/src/lib.rs b/compiler/rustc_borrowck/src/lib.rs index d258c68b959..9ad941dabbe 100644 --- a/compiler/rustc_borrowck/src/lib.rs +++ b/compiler/rustc_borrowck/src/lib.rs @@ -821,6 +821,8 @@ fn visit_terminator_after_primary_effect( | TerminatorKind::Return | TerminatorKind::TailCall { .. } | TerminatorKind::CoroutineDrop => { + // Returning from the function implicitly kills storage for all locals and statics. + // Often, the storage will already have been killed by an explicit // StorageDead, but we don't always emit those (notably on unwind paths), // so this "extra check" serves as a kind of backup. let borrow_set = self.borrow_set.clone();