| DefId(0:3 ~ str_patterns[fc71]::hello_world): | |
| Thir { | |
| body_type: Fn( | |
| fn(&'{erased} str), | |
| ), | |
| attributes: {}, | |
| 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, | |
| ), | |
| attributes: {}, | |
| 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: [], | |
| } | |