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),
36 block_id: hir::ItemLocalId,
37 stmts: &'tcx [hir::Stmt<'tcx>],
42 .filter_map(|(index, stmt)| {
43 let hir_id = stmt.hir_id;
44 let opt_dxn_ext = self.region_scope_tree.opt_destruction_scope(hir_id.local_id);
46 hir::StmtKind::Expr(ref expr) | hir::StmtKind::Semi(ref expr) => {
48 kind: StmtKind::Expr {
49 scope: region::Scope {
51 data: region::ScopeData::Node,
53 expr: self.mirror_expr(expr),
55 opt_destruction_scope: opt_dxn_ext,
57 Some(self.thir.stmts.push(stmt))
59 hir::StmtKind::Item(..) => {
60 // ignore for purposes of the MIR
63 hir::StmtKind::Local(ref local) => {
64 let remainder_scope = region::Scope {
66 data: region::ScopeData::Remainder(region::FirstStatementIndex::new(
71 let mut pattern = self.pattern_from_hir(local.pat);
73 if let Some(ty) = &local.ty {
74 if let Some(&user_ty) =
75 self.typeck_results.user_provided_types().get(ty.hir_id)
77 debug!("mirror_stmts: user_ty={:?}", user_ty);
81 kind: Box::new(PatKind::AscribeUserType {
82 ascription: Ascription {
83 user_ty: PatTyProj::from_user_type(user_ty),
84 user_ty_span: ty.span,
85 variance: ty::Variance::Covariant,
96 init_scope: region::Scope {
98 data: region::ScopeData::Node,
101 initializer: local.init.map(|init| self.mirror_expr(init)),
102 lint_level: LintLevel::Explicit(local.hir_id),
104 opt_destruction_scope: opt_dxn_ext,
106 Some(self.thir.stmts.push(stmt))