Revert accidental comment deletion

This commit is contained in:
Giacomo Stevanato 2024-07-11 22:38:34 +02:00
parent bcf1f6db45
commit d9021791eb

View File

@ -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();