DefId(0:3 ~ thir_flat[7b97]::main): Thir { body_type: Fn( ([]; c_variadic: false)->(), ), arms: [], blocks: [ Block { targeted_by_break: false, region_scope: Node(1), opt_destruction_scope: None, span: $DIR/thir-flat.rs:4:15: 4:17 (#0), stmts: [], expr: None, safety_mode: Safe, }, ], exprs: [ Expr { kind: Block { block: b0, }, ty: (), temp_lifetime: Some( Node(2), ), span: $DIR/thir-flat.rs:4:15: 4:17 (#0), }, Expr { kind: Scope { region_scope: Node(2), lint_level: Explicit( HirId(DefId(0:3 ~ thir_flat[7b97]::main).2), ), value: e0, }, ty: (), temp_lifetime: Some( Node(2), ), span: $DIR/thir-flat.rs:4:15: 4:17 (#0), }, Expr { kind: Scope { region_scope: Destruction(2), lint_level: Inherited, value: e1, }, ty: (), temp_lifetime: Some( Node(2), ), span: $DIR/thir-flat.rs:4:15: 4:17 (#0), }, ], stmts: [], params: [], }