1 use crate::thir::cx::Cx;
4 use rustc_middle::middle::region;
5 use rustc_middle::thir::*;
8 use rustc_index::vec::Idx;
11 crate fn mirror_block(&mut self, block: &'tcx hir::Block<'tcx>) -> Block {
12 // We have to eagerly lower the "spine" of the statements
13 // in order to get the lexical scoping correctly.
14 let stmts = self.mirror_stmts(block.hir_id.local_id, block.stmts);
15 let opt_destruction_scope =
16 self.region_scope_tree.opt_destruction_scope(block.hir_id.local_id);
18 targeted_by_break: block.targeted_by_break,
19 region_scope: region::Scope {
20 id: block.hir_id.local_id,
21 data: region::ScopeData::Node,
23 opt_destruction_scope,
26 expr: block.expr.map(|expr| self.mirror_expr(expr)),
27 safety_mode: match block.rules {
28 hir::BlockCheckMode::DefaultBlock => BlockSafety::Safe,
29 hir::BlockCheckMode::UnsafeBlock(..) => BlockSafety::ExplicitUnsafe(block.hir_id),
30 hir::BlockCheckMode::PushUnsafeBlock(..) => BlockSafety::PushUnsafe,
31 hir::BlockCheckMode::PopUnsafeBlock(..) => BlockSafety::PopUnsafe,
38 block_id: hir::ItemLocalId,
39 stmts: &'tcx [hir::Stmt<'tcx>],
44 .filter_map(|(index, stmt)| {
45 let hir_id = stmt.hir_id;
46 let opt_dxn_ext = self.region_scope_tree.opt_destruction_scope(hir_id.local_id);
48 hir::StmtKind::Expr(ref expr) | hir::StmtKind::Semi(ref expr) => {
50 kind: StmtKind::Expr {
51 scope: region::Scope {
53 data: region::ScopeData::Node,
55 expr: self.mirror_expr(expr),
57 opt_destruction_scope: opt_dxn_ext,
59 Some(self.thir.stmts.push(stmt))
61 hir::StmtKind::Item(..) => {
62 // ignore for purposes of the MIR
65 hir::StmtKind::Local(ref local) => {
66 let remainder_scope = region::Scope {
68 data: region::ScopeData::Remainder(region::FirstStatementIndex::new(
73 let mut pattern = self.pattern_from_hir(local.pat);
75 if let Some(ty) = &local.ty {
76 if let Some(&user_ty) =
77 self.typeck_results.user_provided_types().get(ty.hir_id)
79 debug!("mirror_stmts: user_ty={:?}", user_ty);
83 kind: Box::new(PatKind::AscribeUserType {
84 ascription: Ascription {
85 user_ty: PatTyProj::from_user_type(user_ty),
86 user_ty_span: ty.span,
87 variance: ty::Variance::Covariant,
98 init_scope: region::Scope {
100 data: region::ScopeData::Node,
103 initializer: local.init.map(|init| self.mirror_expr(init)),
104 lint_level: LintLevel::Explicit(local.hir_id),
106 opt_destruction_scope: opt_dxn_ext,
108 Some(self.thir.stmts.push(stmt))