| DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean): |
| params: [ |
| Param { |
| ty: bool |
| ty_span: Some($DIR/thir-tree-loop-match.rs:7:23: 7:27 (#0)) |
| self_kind: None |
| hir_id: Some(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).1)) |
| param: Some( |
| Pat: { |
| ty: bool |
| span: $DIR/thir-tree-loop-match.rs:7:12: 7:21 (#0) |
| kind: PatKind { |
| Binding { |
| name: "state" |
| mode: BindingMode(No, Mut) |
| var: LocalVarId(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).2)) |
| ty: bool |
| is_primary: true |
| subpattern: None |
| } |
| } |
| } |
| ) |
| } |
| ] |
| body: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(28)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:7:37: 20:2 (#0) |
| kind: |
| Scope { |
| region_scope: Node(28) |
| lint_level: Explicit(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).28)) |
| value: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(28)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:7:37: 20:2 (#0) |
| kind: |
| Block { |
| targeted_by_break: false |
| span: $DIR/thir-tree-loop-match.rs:7:37: 20:2 (#0) |
| region_scope: Node(3) |
| safety_mode: Safe |
| stmts: [] |
| expr: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(28)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:9:5: 19:6 (#0) |
| kind: |
| Scope { |
| region_scope: Node(4) |
| lint_level: Explicit(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).4)) |
| value: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(28)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:9:5: 19:6 (#0) |
| kind: |
| NeverToAny { |
| source: |
| Expr { |
| ty: ! |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(28)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:9:5: 19:6 (#0) |
| kind: |
| LoopMatch { |
| state: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(5)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:10:9: 10:14 (#0) |
| kind: |
| Scope { |
| region_scope: Node(7) |
| lint_level: Explicit(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).7)) |
| value: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(5)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:10:9: 10:14 (#0) |
| kind: |
| VarRef { |
| id: LocalVarId(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).2)) |
| } |
| } |
| } |
| } |
| region_scope: Node(10) |
| match_data: |
| LoopMatchMatchData { |
| span: $DIR/thir-tree-loop-match.rs:11:13: 17:14 (#0) |
| scrutinee: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(5)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:11:19: 11:24 (#0) |
| kind: |
| Scope { |
| region_scope: Node(12) |
| lint_level: Explicit(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).12)) |
| value: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(5)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:11:19: 11:24 (#0) |
| kind: |
| VarRef { |
| id: LocalVarId(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).2)) |
| } |
| } |
| } |
| } |
| arms: [ |
| Arm { |
| pattern: |
| Pat: { |
| ty: bool |
| span: $DIR/thir-tree-loop-match.rs:12:17: 12:21 (#0) |
| kind: PatKind { |
| Constant { |
| value: true |
| } |
| } |
| } |
| guard: None |
| body: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(16)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:12:25: 15:18 (#0) |
| kind: |
| Scope { |
| region_scope: Node(17) |
| lint_level: Explicit(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).17)) |
| value: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(16)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:12:25: 15:18 (#0) |
| kind: |
| NeverToAny { |
| source: |
| Expr { |
| ty: ! |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(16)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:12:25: 15:18 (#0) |
| kind: |
| Block { |
| targeted_by_break: false |
| span: $DIR/thir-tree-loop-match.rs:12:25: 15:18 (#0) |
| region_scope: Node(18) |
| safety_mode: Safe |
| stmts: [ |
| Stmt { |
| kind: Expr { |
| scope: Node(21) |
| expr: |
| Expr { |
| ty: ! |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(21)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:14:21: 14:37 (#0) |
| kind: |
| Scope { |
| region_scope: Node(19) |
| lint_level: Explicit(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).19)) |
| value: |
| Expr { |
| ty: ! |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(21)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:14:21: 14:37 (#0) |
| kind: |
| ConstContinue ( |
| label: Node(10) |
| value: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(21)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:14:32: 14:37 (#0) |
| kind: |
| Scope { |
| region_scope: Node(20) |
| lint_level: Explicit(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).20)) |
| value: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(21)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:14:32: 14:37 (#0) |
| kind: |
| Literal( lit: Spanned { node: Bool(false), span: $DIR/thir-tree-loop-match.rs:14:32: 14:37 (#0) }, neg: false) |
| |
| } |
| } |
| } |
| ) |
| } |
| } |
| } |
| } |
| } |
| ] |
| expr: [] |
| } |
| } |
| } |
| } |
| } |
| } |
| lint_level: Explicit(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).16)) |
| scope: Node(16) |
| span: $DIR/thir-tree-loop-match.rs:12:17: 15:18 (#0) |
| } |
| Arm { |
| pattern: |
| Pat: { |
| ty: bool |
| span: $DIR/thir-tree-loop-match.rs:16:17: 16:22 (#0) |
| kind: PatKind { |
| Constant { |
| value: false |
| } |
| } |
| } |
| guard: None |
| body: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(24)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:16:26: 16:38 (#0) |
| kind: |
| Scope { |
| region_scope: Node(25) |
| lint_level: Explicit(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).25)) |
| value: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(24)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:16:26: 16:38 (#0) |
| kind: |
| NeverToAny { |
| source: |
| Expr { |
| ty: ! |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(24)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:16:26: 16:38 (#0) |
| kind: |
| Return { |
| value: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(24)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:16:33: 16:38 (#0) |
| kind: |
| Scope { |
| region_scope: Node(26) |
| lint_level: Explicit(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).26)) |
| value: |
| Expr { |
| ty: bool |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(24)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:16:33: 16:38 (#0) |
| kind: |
| VarRef { |
| id: LocalVarId(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).2)) |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| lint_level: Explicit(HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).24)) |
| scope: Node(24) |
| span: $DIR/thir-tree-loop-match.rs:16:17: 16:38 (#0) |
| } |
| ] |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| } |
| |
| |
| DefId(0:4 ~ thir_tree_loop_match[3c53]::main): |
| params: [ |
| ] |
| body: |
| Expr { |
| ty: () |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(2)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:22:11: 22:13 (#0) |
| kind: |
| Scope { |
| region_scope: Node(2) |
| lint_level: Explicit(HirId(DefId(0:4 ~ thir_tree_loop_match[3c53]::main).2)) |
| value: |
| Expr { |
| ty: () |
| temp_lifetime: TempLifetime { temp_lifetime: Some(Node(2)), backwards_incompatible: None } |
| span: $DIR/thir-tree-loop-match.rs:22:11: 22:13 (#0) |
| kind: |
| Block { |
| targeted_by_break: false |
| span: $DIR/thir-tree-loop-match.rs:22:11: 22:13 (#0) |
| region_scope: Node(1) |
| safety_mode: Safe |
| stmts: [] |
| expr: [] |
| } |
| } |
| } |
| } |
| |
| |
