bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

provide a clearer explanation of scope breaking

Browse source
This commit is contained in:
Ding Xiang Fei 2022-07-31 20:37:30 +08:00
parent e26285603c
commit 8467a7b33e
No known key found for this signature in database
GPG key ID: 3CD748647EEF6359
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_mir_build/src/build/block.rs
View file

@ -84,8 +84,10 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
let mut let_scope_stack = Vec::with_capacity(8); let mut let_scope_stack = Vec::with_capacity(8);
let outer_source_scope = this.source_scope; let outer_source_scope = this.source_scope;
let outer_in_scope_unsafe = this.in_scope_unsafe; let outer_in_scope_unsafe = this.in_scope_unsafe;
// This scope information is kept for breaking out of the current block in case // This scope information is kept for breaking out of the parent remainder scope in case
// one let-else pattern matching fails. // one let-else pattern matching fails.
// By doing so, we can be sure that even temporaries that receive extended lifetime
// assignments are dropped, too.
let mut last_remainder_scope = region_scope; let mut last_remainder_scope = region_scope;
this.update_source_scope_for_safety_mode(span, safety_mode); this.update_source_scope_for_safety_mode(span, safety_mode);