326 lines
9.8 KiB
Text
326 lines
9.8 KiB
Text
DefId(0:3 ~ str_patterns[fc71]::hello_world):
|
|
Thir {
|
|
body_type: Fn(
|
|
fn(&'{erased} str),
|
|
),
|
|
arms: [
|
|
Arm {
|
|
pattern: Pat {
|
|
ty: &'{erased} str,
|
|
span: $DIR/str-patterns.rs:11:9: 11:16 (#0),
|
|
extra: None,
|
|
kind: Deref {
|
|
pin: Not,
|
|
subpattern: Pat {
|
|
ty: str,
|
|
span: $DIR/str-patterns.rs:11:9: 11:16 (#0),
|
|
extra: None,
|
|
kind: Constant {
|
|
value: Value {
|
|
ty: str,
|
|
valtree: Branch(
|
|
[
|
|
104_u8,
|
|
101_u8,
|
|
108_u8,
|
|
108_u8,
|
|
111_u8,
|
|
],
|
|
),
|
|
},
|
|
},
|
|
},
|
|
},
|
|
},
|
|
guard: None,
|
|
body: e3,
|
|
hir_id: HirId(DefId(0:3 ~ str_patterns[fc71]::hello_world).9),
|
|
scope: Node(9),
|
|
span: $DIR/str-patterns.rs:11:9: 11:22 (#0),
|
|
},
|
|
Arm {
|
|
pattern: Pat {
|
|
ty: &'{erased} str,
|
|
span: $DIR/str-patterns.rs:12:9: 12:17 (#0),
|
|
extra: Some(
|
|
PatExtra {
|
|
expanded_const: Some(
|
|
DefId(0:4 ~ str_patterns[fc71]::CONSTANT),
|
|
),
|
|
ascriptions: [],
|
|
},
|
|
),
|
|
kind: Deref {
|
|
pin: Not,
|
|
subpattern: Pat {
|
|
ty: str,
|
|
span: $DIR/str-patterns.rs:12:9: 12:17 (#0),
|
|
extra: None,
|
|
kind: Constant {
|
|
value: Value {
|
|
ty: str,
|
|
valtree: Branch(
|
|
[
|
|
99_u8,
|
|
111_u8,
|
|
110_u8,
|
|
115_u8,
|
|
116_u8,
|
|
97_u8,
|
|
110_u8,
|
|
116_u8,
|
|
],
|
|
),
|
|
},
|
|
},
|
|
},
|
|
},
|
|
},
|
|
guard: None,
|
|
body: e5,
|
|
hir_id: HirId(DefId(0:3 ~ str_patterns[fc71]::hello_world).15),
|
|
scope: Node(15),
|
|
span: $DIR/str-patterns.rs:12:9: 12:23 (#0),
|
|
},
|
|
Arm {
|
|
pattern: Pat {
|
|
ty: &'{erased} str,
|
|
span: $DIR/str-patterns.rs:13:9: 13:10 (#0),
|
|
extra: None,
|
|
kind: Wild,
|
|
},
|
|
guard: None,
|
|
body: e7,
|
|
hir_id: HirId(DefId(0:3 ~ str_patterns[fc71]::hello_world).19),
|
|
scope: Node(19),
|
|
span: $DIR/str-patterns.rs:13:9: 13:16 (#0),
|
|
},
|
|
],
|
|
blocks: [
|
|
Block {
|
|
targeted_by_break: false,
|
|
region_scope: Node(11),
|
|
span: $DIR/str-patterns.rs:11:20: 11:22 (#0),
|
|
stmts: [],
|
|
expr: None,
|
|
safety_mode: Safe,
|
|
},
|
|
Block {
|
|
targeted_by_break: false,
|
|
region_scope: Node(17),
|
|
span: $DIR/str-patterns.rs:12:21: 12:23 (#0),
|
|
stmts: [],
|
|
expr: None,
|
|
safety_mode: Safe,
|
|
},
|
|
Block {
|
|
targeted_by_break: false,
|
|
region_scope: Node(21),
|
|
span: $DIR/str-patterns.rs:13:14: 13:16 (#0),
|
|
stmts: [],
|
|
expr: None,
|
|
safety_mode: Safe,
|
|
},
|
|
Block {
|
|
targeted_by_break: false,
|
|
region_scope: Node(3),
|
|
span: $DIR/str-patterns.rs:9:29: 15:2 (#0),
|
|
stmts: [],
|
|
expr: Some(
|
|
e9,
|
|
),
|
|
safety_mode: Safe,
|
|
},
|
|
],
|
|
exprs: [
|
|
Expr {
|
|
kind: VarRef {
|
|
id: LocalVarId(
|
|
HirId(DefId(0:3 ~ str_patterns[fc71]::hello_world).2),
|
|
),
|
|
},
|
|
ty: &'{erased} str,
|
|
temp_scope_id: 5,
|
|
span: $DIR/str-patterns.rs:10:11: 10:12 (#0),
|
|
},
|
|
Expr {
|
|
kind: Scope {
|
|
region_scope: Node(5),
|
|
hir_id: HirId(DefId(0:3 ~ str_patterns[fc71]::hello_world).5),
|
|
value: e0,
|
|
},
|
|
ty: &'{erased} str,
|
|
temp_scope_id: 5,
|
|
span: $DIR/str-patterns.rs:10:11: 10:12 (#0),
|
|
},
|
|
Expr {
|
|
kind: Block {
|
|
block: b0,
|
|
},
|
|
ty: (),
|
|
temp_scope_id: 10,
|
|
span: $DIR/str-patterns.rs:11:20: 11:22 (#0),
|
|
},
|
|
Expr {
|
|
kind: Scope {
|
|
region_scope: Node(10),
|
|
hir_id: HirId(DefId(0:3 ~ str_patterns[fc71]::hello_world).10),
|
|
value: e2,
|
|
},
|
|
ty: (),
|
|
temp_scope_id: 10,
|
|
span: $DIR/str-patterns.rs:11:20: 11:22 (#0),
|
|
},
|
|
Expr {
|
|
kind: Block {
|
|
block: b1,
|
|
},
|
|
ty: (),
|
|
temp_scope_id: 16,
|
|
span: $DIR/str-patterns.rs:12:21: 12:23 (#0),
|
|
},
|
|
Expr {
|
|
kind: Scope {
|
|
region_scope: Node(16),
|
|
hir_id: HirId(DefId(0:3 ~ str_patterns[fc71]::hello_world).16),
|
|
value: e4,
|
|
},
|
|
ty: (),
|
|
temp_scope_id: 16,
|
|
span: $DIR/str-patterns.rs:12:21: 12:23 (#0),
|
|
},
|
|
Expr {
|
|
kind: Block {
|
|
block: b2,
|
|
},
|
|
ty: (),
|
|
temp_scope_id: 20,
|
|
span: $DIR/str-patterns.rs:13:14: 13:16 (#0),
|
|
},
|
|
Expr {
|
|
kind: Scope {
|
|
region_scope: Node(20),
|
|
hir_id: HirId(DefId(0:3 ~ str_patterns[fc71]::hello_world).20),
|
|
value: e6,
|
|
},
|
|
ty: (),
|
|
temp_scope_id: 20,
|
|
span: $DIR/str-patterns.rs:13:14: 13:16 (#0),
|
|
},
|
|
Expr {
|
|
kind: Match {
|
|
scrutinee: e1,
|
|
arms: [
|
|
a0,
|
|
a1,
|
|
a2,
|
|
],
|
|
match_source: Normal,
|
|
},
|
|
ty: (),
|
|
temp_scope_id: 4,
|
|
span: $DIR/str-patterns.rs:10:5: 14:6 (#0),
|
|
},
|
|
Expr {
|
|
kind: Scope {
|
|
region_scope: Node(4),
|
|
hir_id: HirId(DefId(0:3 ~ str_patterns[fc71]::hello_world).4),
|
|
value: e8,
|
|
},
|
|
ty: (),
|
|
temp_scope_id: 4,
|
|
span: $DIR/str-patterns.rs:10:5: 14:6 (#0),
|
|
},
|
|
Expr {
|
|
kind: Block {
|
|
block: b3,
|
|
},
|
|
ty: (),
|
|
temp_scope_id: 22,
|
|
span: $DIR/str-patterns.rs:9:29: 15:2 (#0),
|
|
},
|
|
Expr {
|
|
kind: Scope {
|
|
region_scope: Node(22),
|
|
hir_id: HirId(DefId(0:3 ~ str_patterns[fc71]::hello_world).22),
|
|
value: e10,
|
|
},
|
|
ty: (),
|
|
temp_scope_id: 22,
|
|
span: $DIR/str-patterns.rs:9:29: 15:2 (#0),
|
|
},
|
|
],
|
|
stmts: [],
|
|
params: [
|
|
Param {
|
|
pat: Some(
|
|
Pat {
|
|
ty: &'{erased} str,
|
|
span: $DIR/str-patterns.rs:9:20: 9:21 (#0),
|
|
extra: None,
|
|
kind: Binding {
|
|
name: "x",
|
|
mode: BindingMode(
|
|
No,
|
|
Not,
|
|
),
|
|
var: LocalVarId(
|
|
HirId(DefId(0:3 ~ str_patterns[fc71]::hello_world).2),
|
|
),
|
|
ty: &'{erased} str,
|
|
subpattern: None,
|
|
is_primary: true,
|
|
is_shorthand: false,
|
|
},
|
|
},
|
|
),
|
|
ty: &'{erased} str,
|
|
ty_span: Some(
|
|
$DIR/str-patterns.rs:9:23: 9:27 (#0),
|
|
),
|
|
self_kind: None,
|
|
hir_id: Some(
|
|
HirId(DefId(0:3 ~ str_patterns[fc71]::hello_world).1),
|
|
),
|
|
},
|
|
],
|
|
}
|
|
|
|
DefId(0:4 ~ str_patterns[fc71]::CONSTANT):
|
|
Thir {
|
|
body_type: Const(
|
|
&'{erased} str,
|
|
),
|
|
arms: [],
|
|
blocks: [],
|
|
exprs: [
|
|
Expr {
|
|
kind: Literal {
|
|
lit: Spanned {
|
|
node: Str(
|
|
"constant",
|
|
Cooked,
|
|
),
|
|
span: $DIR/str-patterns.rs:17:24: 17:34 (#0),
|
|
},
|
|
neg: false,
|
|
},
|
|
ty: &'{erased} str,
|
|
temp_scope_id: 5,
|
|
span: $DIR/str-patterns.rs:17:24: 17:34 (#0),
|
|
},
|
|
Expr {
|
|
kind: Scope {
|
|
region_scope: Node(5),
|
|
hir_id: HirId(DefId(0:4 ~ str_patterns[fc71]::CONSTANT).5),
|
|
value: e0,
|
|
},
|
|
ty: &'{erased} str,
|
|
temp_scope_id: 5,
|
|
span: $DIR/str-patterns.rs:17:24: 17:34 (#0),
|
|
},
|
|
],
|
|
stmts: [],
|
|
params: [],
|
|
}
|
|
|