1f691f7dbd
Closing brackets were missing on AdtDef, the field_types list in FruInfo, and InlineAsmExpr, breaking folding in some editors; Fields were incorrectly (?) indexed in the list for functional update syntax, showing the (implicit, irrelevant) iteration index instead of the field index; also spurious colon after Pat.
326 lines
35 KiB
Text
326 lines
35 KiB
Text
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
|
|
is_shorthand: false
|
|
subpattern: None
|
|
}
|
|
}
|
|
}
|
|
)
|
|
}
|
|
]
|
|
body:
|
|
Expr {
|
|
ty: bool
|
|
temp_scope_id: 28
|
|
span: $DIR/thir-tree-loop-match.rs:7:37: 20:2 (#0)
|
|
kind:
|
|
Scope {
|
|
region_scope: Node(28)
|
|
hir_id: HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).28)
|
|
value:
|
|
Expr {
|
|
ty: bool
|
|
temp_scope_id: 28
|
|
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_scope_id: 4
|
|
span: $DIR/thir-tree-loop-match.rs:9:5: 19:6 (#0)
|
|
kind:
|
|
Scope {
|
|
region_scope: Node(4)
|
|
hir_id: HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).4)
|
|
value:
|
|
Expr {
|
|
ty: bool
|
|
temp_scope_id: 4
|
|
span: $DIR/thir-tree-loop-match.rs:9:5: 19:6 (#0)
|
|
kind:
|
|
NeverToAny {
|
|
source:
|
|
Expr {
|
|
ty: !
|
|
temp_scope_id: 4
|
|
span: $DIR/thir-tree-loop-match.rs:9:5: 19:6 (#0)
|
|
kind:
|
|
LoopMatch {
|
|
state:
|
|
Expr {
|
|
ty: bool
|
|
temp_scope_id: 7
|
|
span: $DIR/thir-tree-loop-match.rs:10:9: 10:14 (#0)
|
|
kind:
|
|
Scope {
|
|
region_scope: Node(7)
|
|
hir_id: HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).7)
|
|
value:
|
|
Expr {
|
|
ty: bool
|
|
temp_scope_id: 7
|
|
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_scope_id: 12
|
|
span: $DIR/thir-tree-loop-match.rs:11:19: 11:24 (#0)
|
|
kind:
|
|
Scope {
|
|
region_scope: Node(12)
|
|
hir_id: HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).12)
|
|
value:
|
|
Expr {
|
|
ty: bool
|
|
temp_scope_id: 12
|
|
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_scope_id: 17
|
|
span: $DIR/thir-tree-loop-match.rs:12:25: 15:18 (#0)
|
|
kind:
|
|
Scope {
|
|
region_scope: Node(17)
|
|
hir_id: HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).17)
|
|
value:
|
|
Expr {
|
|
ty: bool
|
|
temp_scope_id: 17
|
|
span: $DIR/thir-tree-loop-match.rs:12:25: 15:18 (#0)
|
|
kind:
|
|
NeverToAny {
|
|
source:
|
|
Expr {
|
|
ty: !
|
|
temp_scope_id: 17
|
|
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_scope_id: 19
|
|
span: $DIR/thir-tree-loop-match.rs:14:21: 14:37 (#0)
|
|
kind:
|
|
Scope {
|
|
region_scope: Node(19)
|
|
hir_id: HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).19)
|
|
value:
|
|
Expr {
|
|
ty: !
|
|
temp_scope_id: 19
|
|
span: $DIR/thir-tree-loop-match.rs:14:21: 14:37 (#0)
|
|
kind:
|
|
ConstContinue (
|
|
label: Node(10)
|
|
value:
|
|
Expr {
|
|
ty: bool
|
|
temp_scope_id: 20
|
|
span: $DIR/thir-tree-loop-match.rs:14:32: 14:37 (#0)
|
|
kind:
|
|
Scope {
|
|
region_scope: Node(20)
|
|
hir_id: HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).20)
|
|
value:
|
|
Expr {
|
|
ty: bool
|
|
temp_scope_id: 20
|
|
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: []
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
hir_id: 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_scope_id: 25
|
|
span: $DIR/thir-tree-loop-match.rs:16:26: 16:38 (#0)
|
|
kind:
|
|
Scope {
|
|
region_scope: Node(25)
|
|
hir_id: HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).25)
|
|
value:
|
|
Expr {
|
|
ty: bool
|
|
temp_scope_id: 25
|
|
span: $DIR/thir-tree-loop-match.rs:16:26: 16:38 (#0)
|
|
kind:
|
|
NeverToAny {
|
|
source:
|
|
Expr {
|
|
ty: !
|
|
temp_scope_id: 25
|
|
span: $DIR/thir-tree-loop-match.rs:16:26: 16:38 (#0)
|
|
kind:
|
|
Return {
|
|
value:
|
|
Expr {
|
|
ty: bool
|
|
temp_scope_id: 26
|
|
span: $DIR/thir-tree-loop-match.rs:16:33: 16:38 (#0)
|
|
kind:
|
|
Scope {
|
|
region_scope: Node(26)
|
|
hir_id: HirId(DefId(0:3 ~ thir_tree_loop_match[3c53]::boolean).26)
|
|
value:
|
|
Expr {
|
|
ty: bool
|
|
temp_scope_id: 26
|
|
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))
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
hir_id: 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_scope_id: 2
|
|
span: $DIR/thir-tree-loop-match.rs:22:11: 22:13 (#0)
|
|
kind:
|
|
Scope {
|
|
region_scope: Node(2)
|
|
hir_id: HirId(DefId(0:4 ~ thir_tree_loop_match[3c53]::main).2)
|
|
value:
|
|
Expr {
|
|
ty: ()
|
|
temp_scope_id: 2
|
|
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: []
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
|