| DefId(0:3 ~ thir_tree_array_index[2569]::index): | |
| params: [ | |
| Param { | |
| ty: usize | |
| ty_span: Some($DIR/thir-tree-array-index.rs:4:13: 4:18 (#0)) | |
| self_kind: None | |
| hir_id: Some(HirId(DefId(0:3 ~ thir_tree_array_index[2569]::index).1)) | |
| param: Some( | |
| Pat { | |
| ty: usize | |
| span: $DIR/thir-tree-array-index.rs:4:10: 4:11 (#0) | |
| kind: PatKind { | |
| Binding { | |
| name: "x" | |
| mode: BindingMode(No, Not) | |
| var: LocalVarId(HirId(DefId(0:3 ~ thir_tree_array_index[2569]::index).2)) | |
| ty: usize | |
| is_primary: true | |
| is_shorthand: false | |
| subpattern: None | |
| } | |
| } | |
| } | |
| ) | |
| } | |
| ] | |
| body: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 6 | |
| span: $DIR/thir-tree-array-index.rs:4:29: 4:34 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(6) | |
| hir_id: HirId(DefId(0:3 ~ thir_tree_array_index[2569]::index).6) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 6 | |
| span: $DIR/thir-tree-array-index.rs:4:29: 4:34 (#0) | |
| kind: | |
| Block { | |
| targeted_by_break: false | |
| span: $DIR/thir-tree-array-index.rs:4:29: 4:34 (#0) | |
| region_scope: Node(3) | |
| safety_mode: Safe | |
| stmts: [] | |
| expr: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 4 | |
| span: $DIR/thir-tree-array-index.rs:4:31: 4:32 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(4) | |
| hir_id: HirId(DefId(0:3 ~ thir_tree_array_index[2569]::index).4) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 4 | |
| span: $DIR/thir-tree-array-index.rs:4:31: 4:32 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:3 ~ thir_tree_array_index[2569]::index).2)) | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| DefId(0:4 ~ thir_tree_array_index[2569]::indexing): | |
| params: [ | |
| Param { | |
| ty: usize | |
| ty_span: Some($DIR/thir-tree-array-index.rs:6:16: 6:21 (#0)) | |
| self_kind: None | |
| hir_id: Some(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).1)) | |
| param: Some( | |
| Pat { | |
| ty: usize | |
| span: $DIR/thir-tree-array-index.rs:6:13: 6:14 (#0) | |
| kind: PatKind { | |
| Binding { | |
| name: "x" | |
| mode: BindingMode(No, Not) | |
| var: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).2)) | |
| ty: usize | |
| is_primary: true | |
| is_shorthand: false | |
| subpattern: None | |
| } | |
| } | |
| } | |
| ) | |
| } | |
| ] | |
| body: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 90 | |
| span: $DIR/thir-tree-array-index.rs:6:32: 20:2 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(90) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).90) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 90 | |
| span: $DIR/thir-tree-array-index.rs:6:32: 20:2 (#0) | |
| kind: | |
| Block { | |
| targeted_by_break: false | |
| span: $DIR/thir-tree-array-index.rs:6:32: 20:2 (#0) | |
| region_scope: Node(3) | |
| safety_mode: Safe | |
| stmts: [ | |
| Stmt { | |
| kind: Let { | |
| remainder_scope: Remainder { block: 3, first_statement_index: 0} | |
| init_scope: Node(4) | |
| pattern: | |
| Pat { | |
| ty: [usize; 5_usize] | |
| span: $DIR/thir-tree-array-index.rs:7:7: 7:9 (#0) | |
| extra: PatExtra { | |
| expanded_const: None | |
| ascriptions: [ | |
| Ascription { annotation: CanonicalUserTypeAnnotation { user_ty: Canonical { value: UserType { kind: Ty([usize; 5_usize]), bounds: [] }, max_universe: U0, var_kinds: [] }, span: $DIR/thir-tree-array-index.rs:7:11: 7:21 (#0), inferred_ty: [usize; 5_usize] }, variance: + } | |
| ] | |
| } | |
| kind: PatKind { | |
| Binding { | |
| name: "a1" | |
| mode: BindingMode(No, Not) | |
| var: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).18)) | |
| ty: [usize; 5_usize] | |
| is_primary: true | |
| is_shorthand: false | |
| subpattern: None | |
| } | |
| } | |
| } | |
| , | |
| initializer: Some( | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 11 | |
| span: $DIR/thir-tree-array-index.rs:7:24: 7:39 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(11) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).11) | |
| value: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 11 | |
| span: $DIR/thir-tree-array-index.rs:7:24: 7:39 (#0) | |
| kind: | |
| Array { | |
| fields: [ | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 12 | |
| span: $DIR/thir-tree-array-index.rs:7:25: 7:26 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(12) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).12) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 12 | |
| span: $DIR/thir-tree-array-index.rs:7:25: 7:26 (#0) | |
| kind: | |
| Literal( lit: Spanned { node: Int(Pu128(1), Unsuffixed), span: $DIR/thir-tree-array-index.rs:7:25: 7:26 (#0) }, neg: false) | |
| } | |
| } | |
| } | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 13 | |
| span: $DIR/thir-tree-array-index.rs:7:28: 7:29 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(13) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).13) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 13 | |
| span: $DIR/thir-tree-array-index.rs:7:28: 7:29 (#0) | |
| kind: | |
| Literal( lit: Spanned { node: Int(Pu128(2), Unsuffixed), span: $DIR/thir-tree-array-index.rs:7:28: 7:29 (#0) }, neg: false) | |
| } | |
| } | |
| } | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 14 | |
| span: $DIR/thir-tree-array-index.rs:7:31: 7:32 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(14) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).14) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 14 | |
| span: $DIR/thir-tree-array-index.rs:7:31: 7:32 (#0) | |
| kind: | |
| Literal( lit: Spanned { node: Int(Pu128(3), Unsuffixed), span: $DIR/thir-tree-array-index.rs:7:31: 7:32 (#0) }, neg: false) | |
| } | |
| } | |
| } | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 15 | |
| span: $DIR/thir-tree-array-index.rs:7:34: 7:35 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(15) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).15) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 15 | |
| span: $DIR/thir-tree-array-index.rs:7:34: 7:35 (#0) | |
| kind: | |
| Literal( lit: Spanned { node: Int(Pu128(4), Unsuffixed), span: $DIR/thir-tree-array-index.rs:7:34: 7:35 (#0) }, neg: false) | |
| } | |
| } | |
| } | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 16 | |
| span: $DIR/thir-tree-array-index.rs:7:37: 7:38 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(16) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).16) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 16 | |
| span: $DIR/thir-tree-array-index.rs:7:37: 7:38 (#0) | |
| kind: | |
| Literal( lit: Spanned { node: Int(Pu128(5), Unsuffixed), span: $DIR/thir-tree-array-index.rs:7:37: 7:38 (#0) }, neg: false) | |
| } | |
| } | |
| } | |
| ] | |
| } | |
| } | |
| } | |
| } | |
| ) | |
| else_block: None | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).17) | |
| span: $DIR/thir-tree-array-index.rs:7:3: 7:39 (#0) | |
| } | |
| } | |
| Stmt { | |
| kind: Let { | |
| remainder_scope: Remainder { block: 3, first_statement_index: 1} | |
| init_scope: Node(19) | |
| pattern: | |
| Pat { | |
| ty: [usize; 5_usize] | |
| span: $DIR/thir-tree-array-index.rs:8:7: 8:9 (#0) | |
| extra: PatExtra { | |
| expanded_const: None | |
| ascriptions: [ | |
| Ascription { annotation: CanonicalUserTypeAnnotation { user_ty: Canonical { value: UserType { kind: Ty([usize; 5_usize]), bounds: [] }, max_universe: U0, var_kinds: [] }, span: $DIR/thir-tree-array-index.rs:8:11: 8:21 (#0), inferred_ty: [usize; 5_usize] }, variance: + } | |
| ] | |
| } | |
| kind: PatKind { | |
| Binding { | |
| name: "a2" | |
| mode: BindingMode(No, Not) | |
| var: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).33)) | |
| ty: [usize; 5_usize] | |
| is_primary: true | |
| is_shorthand: false | |
| subpattern: None | |
| } | |
| } | |
| } | |
| , | |
| initializer: Some( | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 26 | |
| span: $DIR/thir-tree-array-index.rs:8:24: 8:30 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(26) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).26) | |
| value: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 26 | |
| span: $DIR/thir-tree-array-index.rs:8:24: 8:30 (#0) | |
| kind: | |
| Repeat { | |
| count: 5_usize | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 27 | |
| span: $DIR/thir-tree-array-index.rs:8:25: 8:26 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(27) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).27) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 27 | |
| span: $DIR/thir-tree-array-index.rs:8:25: 8:26 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).2)) | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| ) | |
| else_block: None | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).32) | |
| span: $DIR/thir-tree-array-index.rs:8:3: 8:30 (#0) | |
| } | |
| } | |
| Stmt { | |
| kind: Expr { | |
| scope: Node(38) | |
| expr: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 34 | |
| span: $DIR/thir-tree-array-index.rs:10:3: 10:8 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(34) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).34) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 34 | |
| span: $DIR/thir-tree-array-index.rs:10:3: 10:8 (#0) | |
| kind: | |
| Index { | |
| lhs: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 35 | |
| span: $DIR/thir-tree-array-index.rs:10:3: 10:5 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(35) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).35) | |
| value: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 35 | |
| span: $DIR/thir-tree-array-index.rs:10:3: 10:5 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).18)) | |
| } | |
| } | |
| } | |
| } | |
| index: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 37 | |
| span: $DIR/thir-tree-array-index.rs:10:6: 10:7 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(37) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).37) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 37 | |
| span: $DIR/thir-tree-array-index.rs:10:6: 10:7 (#0) | |
| kind: | |
| Literal( lit: Spanned { node: Int(Pu128(0), Unsuffixed), span: $DIR/thir-tree-array-index.rs:10:6: 10:7 (#0) }, neg: false) | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| Stmt { | |
| kind: Expr { | |
| scope: Node(43) | |
| expr: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 39 | |
| span: $DIR/thir-tree-array-index.rs:11:3: 11:8 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(39) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).39) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 39 | |
| span: $DIR/thir-tree-array-index.rs:11:3: 11:8 (#0) | |
| kind: | |
| Index { | |
| lhs: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 40 | |
| span: $DIR/thir-tree-array-index.rs:11:3: 11:5 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(40) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).40) | |
| value: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 40 | |
| span: $DIR/thir-tree-array-index.rs:11:3: 11:5 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).33)) | |
| } | |
| } | |
| } | |
| } | |
| index: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 42 | |
| span: $DIR/thir-tree-array-index.rs:11:6: 11:7 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(42) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).42) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 42 | |
| span: $DIR/thir-tree-array-index.rs:11:6: 11:7 (#0) | |
| kind: | |
| Literal( lit: Spanned { node: Int(Pu128(1), Unsuffixed), span: $DIR/thir-tree-array-index.rs:11:6: 11:7 (#0) }, neg: false) | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| Stmt { | |
| kind: Expr { | |
| scope: Node(49) | |
| expr: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 44 | |
| span: $DIR/thir-tree-array-index.rs:13:3: 13:8 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(44) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).44) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 44 | |
| span: $DIR/thir-tree-array-index.rs:13:3: 13:8 (#0) | |
| kind: | |
| Index { | |
| lhs: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 45 | |
| span: $DIR/thir-tree-array-index.rs:13:3: 13:5 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(45) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).45) | |
| value: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 45 | |
| span: $DIR/thir-tree-array-index.rs:13:3: 13:5 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).18)) | |
| } | |
| } | |
| } | |
| } | |
| index: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 47 | |
| span: $DIR/thir-tree-array-index.rs:13:6: 13:7 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(47) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).47) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 47 | |
| span: $DIR/thir-tree-array-index.rs:13:6: 13:7 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).2)) | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| Stmt { | |
| kind: Expr { | |
| scope: Node(57) | |
| expr: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 50 | |
| span: $DIR/thir-tree-array-index.rs:14:3: 14:12 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(50) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).50) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 50 | |
| span: $DIR/thir-tree-array-index.rs:14:3: 14:12 (#0) | |
| kind: | |
| Index { | |
| lhs: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 51 | |
| span: $DIR/thir-tree-array-index.rs:14:3: 14:5 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(51) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).51) | |
| value: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 51 | |
| span: $DIR/thir-tree-array-index.rs:14:3: 14:5 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).33)) | |
| } | |
| } | |
| } | |
| } | |
| index: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 53 | |
| span: $DIR/thir-tree-array-index.rs:14:6: 14:11 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(53) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).53) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 53 | |
| span: $DIR/thir-tree-array-index.rs:14:6: 14:11 (#0) | |
| kind: | |
| Binary { | |
| op: Add | |
| lhs: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 54 | |
| span: $DIR/thir-tree-array-index.rs:14:6: 14:7 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(54) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).54) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 54 | |
| span: $DIR/thir-tree-array-index.rs:14:6: 14:7 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).2)) | |
| } | |
| } | |
| } | |
| } | |
| rhs: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 56 | |
| span: $DIR/thir-tree-array-index.rs:14:10: 14:11 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(56) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).56) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 56 | |
| span: $DIR/thir-tree-array-index.rs:14:10: 14:11 (#0) | |
| kind: | |
| Literal( lit: Spanned { node: Int(Pu128(2), Unsuffixed), span: $DIR/thir-tree-array-index.rs:14:10: 14:11 (#0) }, neg: false) | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| Stmt { | |
| kind: Expr { | |
| scope: Node(74) | |
| expr: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 58 | |
| span: $DIR/thir-tree-array-index.rs:16:3: 16:24 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(58) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).58) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 58 | |
| span: $DIR/thir-tree-array-index.rs:16:3: 16:24 (#0) | |
| kind: | |
| Index { | |
| lhs: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 59 | |
| span: $DIR/thir-tree-array-index.rs:16:3: 16:5 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(59) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).59) | |
| value: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 59 | |
| span: $DIR/thir-tree-array-index.rs:16:3: 16:5 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).18)) | |
| } | |
| } | |
| } | |
| } | |
| index: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 61 | |
| span: $DIR/thir-tree-array-index.rs:16:6: 16:23 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(61) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).61) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 61 | |
| span: $DIR/thir-tree-array-index.rs:16:6: 16:23 (#0) | |
| kind: | |
| Binary { | |
| op: Add | |
| lhs: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 62 | |
| span: $DIR/thir-tree-array-index.rs:16:6: 16:11 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(62) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).62) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 62 | |
| span: $DIR/thir-tree-array-index.rs:16:6: 16:11 (#0) | |
| kind: | |
| Index { | |
| lhs: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 63 | |
| span: $DIR/thir-tree-array-index.rs:16:6: 16:8 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(63) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).63) | |
| value: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 63 | |
| span: $DIR/thir-tree-array-index.rs:16:6: 16:8 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).33)) | |
| } | |
| } | |
| } | |
| } | |
| index: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 65 | |
| span: $DIR/thir-tree-array-index.rs:16:9: 16:10 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(65) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).65) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 65 | |
| span: $DIR/thir-tree-array-index.rs:16:9: 16:10 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).2)) | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| rhs: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 67 | |
| span: $DIR/thir-tree-array-index.rs:16:14: 16:23 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(67) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).67) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 67 | |
| span: $DIR/thir-tree-array-index.rs:16:14: 16:23 (#0) | |
| kind: | |
| Index { | |
| lhs: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 68 | |
| span: $DIR/thir-tree-array-index.rs:16:14: 16:16 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(68) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).68) | |
| value: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 68 | |
| span: $DIR/thir-tree-array-index.rs:16:14: 16:16 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).33)) | |
| } | |
| } | |
| } | |
| } | |
| index: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 70 | |
| span: $DIR/thir-tree-array-index.rs:16:17: 16:22 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(70) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).70) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 70 | |
| span: $DIR/thir-tree-array-index.rs:16:17: 16:22 (#0) | |
| kind: | |
| Binary { | |
| op: Sub | |
| lhs: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 71 | |
| span: $DIR/thir-tree-array-index.rs:16:17: 16:18 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(71) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).71) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 71 | |
| span: $DIR/thir-tree-array-index.rs:16:17: 16:18 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).2)) | |
| } | |
| } | |
| } | |
| } | |
| rhs: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 73 | |
| span: $DIR/thir-tree-array-index.rs:16:21: 16:22 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(73) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).73) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 73 | |
| span: $DIR/thir-tree-array-index.rs:16:21: 16:22 (#0) | |
| kind: | |
| Literal( lit: Spanned { node: Int(Pu128(3), Unsuffixed), span: $DIR/thir-tree-array-index.rs:16:21: 16:22 (#0) }, neg: false) | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| Stmt { | |
| kind: Expr { | |
| scope: Node(88) | |
| expr: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 75 | |
| span: $DIR/thir-tree-array-index.rs:17:3: 17:24 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(75) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).75) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 75 | |
| span: $DIR/thir-tree-array-index.rs:17:3: 17:24 (#0) | |
| kind: | |
| Index { | |
| lhs: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 76 | |
| span: $DIR/thir-tree-array-index.rs:17:3: 17:5 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(76) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).76) | |
| value: | |
| Expr { | |
| ty: [usize; 5_usize] | |
| temp_scope_id: 76 | |
| span: $DIR/thir-tree-array-index.rs:17:3: 17:5 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).33)) | |
| } | |
| } | |
| } | |
| } | |
| index: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 78 | |
| span: $DIR/thir-tree-array-index.rs:17:6: 17:23 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(78) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).78) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 78 | |
| span: $DIR/thir-tree-array-index.rs:17:6: 17:23 (#0) | |
| kind: | |
| Binary { | |
| op: Sub | |
| lhs: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 79 | |
| span: $DIR/thir-tree-array-index.rs:17:6: 17:19 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(79) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).79) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 79 | |
| span: $DIR/thir-tree-array-index.rs:17:6: 17:19 (#0) | |
| kind: | |
| Call { | |
| ty: FnDef(DefId(0:3 ~ thir_tree_array_index[2569]::index), []) | |
| from_hir_call: true | |
| fn_span: $DIR/thir-tree-array-index.rs:17:6: 17:19 (#0) | |
| fun: | |
| Expr { | |
| ty: FnDef(DefId(0:3 ~ thir_tree_array_index[2569]::index), []) | |
| temp_scope_id: 80 | |
| span: $DIR/thir-tree-array-index.rs:17:6: 17:11 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(80) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).80) | |
| value: | |
| Expr { | |
| ty: FnDef(DefId(0:3 ~ thir_tree_array_index[2569]::index), []) | |
| temp_scope_id: 80 | |
| span: $DIR/thir-tree-array-index.rs:17:6: 17:11 (#0) | |
| kind: | |
| ZstLiteral(user_ty: None) | |
| } | |
| } | |
| } | |
| args: [ | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 82 | |
| span: $DIR/thir-tree-array-index.rs:17:13: 17:18 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(82) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).82) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 82 | |
| span: $DIR/thir-tree-array-index.rs:17:13: 17:18 (#0) | |
| kind: | |
| Binary { | |
| op: Add | |
| lhs: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 83 | |
| span: $DIR/thir-tree-array-index.rs:17:13: 17:14 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(83) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).83) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 83 | |
| span: $DIR/thir-tree-array-index.rs:17:13: 17:14 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).2)) | |
| } | |
| } | |
| } | |
| } | |
| rhs: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 85 | |
| span: $DIR/thir-tree-array-index.rs:17:17: 17:18 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(85) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).85) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 85 | |
| span: $DIR/thir-tree-array-index.rs:17:17: 17:18 (#0) | |
| kind: | |
| Literal( lit: Spanned { node: Int(Pu128(1), Unsuffixed), span: $DIR/thir-tree-array-index.rs:17:17: 17:18 (#0) }, neg: false) | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| ] | |
| } | |
| } | |
| } | |
| } | |
| rhs: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 86 | |
| span: $DIR/thir-tree-array-index.rs:17:22: 17:23 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(86) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).86) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 86 | |
| span: $DIR/thir-tree-array-index.rs:17:22: 17:23 (#0) | |
| kind: | |
| VarRef { | |
| id: LocalVarId(HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).2)) | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| ] | |
| expr: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 89 | |
| span: $DIR/thir-tree-array-index.rs:19:3: 19:4 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(89) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).89) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 89 | |
| span: $DIR/thir-tree-array-index.rs:19:3: 19:4 (#0) | |
| kind: | |
| Literal( lit: Spanned { node: Int(Pu128(0), Unsuffixed), span: $DIR/thir-tree-array-index.rs:19:3: 19:4 (#0) }, neg: false) | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| DefId(0:5 ~ thir_tree_array_index[2569]::indexing::{constant#0}): | |
| params: [ | |
| ] | |
| body: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 8 | |
| span: $DIR/thir-tree-array-index.rs:7:19: 7:20 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(8) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).8) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 8 | |
| span: $DIR/thir-tree-array-index.rs:7:19: 7:20 (#0) | |
| kind: | |
| Literal( lit: Spanned { node: Int(Pu128(5), Unsuffixed), span: $DIR/thir-tree-array-index.rs:7:19: 7:20 (#0) }, neg: false) | |
| } | |
| } | |
| } | |
| DefId(0:7 ~ thir_tree_array_index[2569]::indexing::{constant#2}): | |
| params: [ | |
| ] | |
| body: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 30 | |
| span: $DIR/thir-tree-array-index.rs:8:28: 8:29 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(30) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).30) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 30 | |
| span: $DIR/thir-tree-array-index.rs:8:28: 8:29 (#0) | |
| kind: | |
| Literal( lit: Spanned { node: Int(Pu128(5), Unsuffixed), span: $DIR/thir-tree-array-index.rs:8:28: 8:29 (#0) }, neg: false) | |
| } | |
| } | |
| } | |
| DefId(0:6 ~ thir_tree_array_index[2569]::indexing::{constant#1}): | |
| params: [ | |
| ] | |
| body: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 23 | |
| span: $DIR/thir-tree-array-index.rs:8:19: 8:20 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(23) | |
| hir_id: HirId(DefId(0:4 ~ thir_tree_array_index[2569]::indexing).23) | |
| value: | |
| Expr { | |
| ty: usize | |
| temp_scope_id: 23 | |
| span: $DIR/thir-tree-array-index.rs:8:19: 8:20 (#0) | |
| kind: | |
| Literal( lit: Spanned { node: Int(Pu128(5), Unsuffixed), span: $DIR/thir-tree-array-index.rs:8:19: 8:20 (#0) }, neg: false) | |
| } | |
| } | |
| } | |
| DefId(0:8 ~ thir_tree_array_index[2569]::main): | |
| params: [ | |
| ] | |
| body: | |
| Expr { | |
| ty: () | |
| temp_scope_id: 2 | |
| span: $DIR/thir-tree-array-index.rs:22:11: 22:13 (#0) | |
| kind: | |
| Scope { | |
| region_scope: Node(2) | |
| hir_id: HirId(DefId(0:8 ~ thir_tree_array_index[2569]::main).2) | |
| value: | |
| Expr { | |
| ty: () | |
| temp_scope_id: 2 | |
| span: $DIR/thir-tree-array-index.rs:22:11: 22:13 (#0) | |
| kind: | |
| Block { | |
| targeted_by_break: false | |
| span: $DIR/thir-tree-array-index.rs:22:11: 22:13 (#0) | |
| region_scope: Node(1) | |
| safety_mode: Safe | |
| stmts: [] | |
| expr: [] | |
| } | |
| } | |
| } | |
| } | |