user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add a snapshot test for string patterns in THIR

Browse source
This commit is contained in:
Zalathar 2026-01-15 16:22:18 +11:00
parent 22c74ba918
commit 02c5f9a5b4
2 changed files with 327 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

17
tests/ui/thir-print/str-patterns.rs Normal file
View file

@ -0,0 +1,17 @@
#![crate_type = "rlib"]
//@ edition: 2024
//@ compile-flags: -Zunpretty=thir-flat
//@ check-pass
// Snapshot test capturing the THIR pattern structure produced by
// string-literal and string-constant patterns.
pub fn hello_world(x: &str) {
match x {
"hello" => {}
CONSTANT => {}
_ => {}
}
}
const CONSTANT: &str = "constant";

310
tests/ui/thir-print/str-patterns.stdout Normal file
View file

@ -0,0 +1,310 @@
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: Constant {
value: Value {
ty: &'{erased} 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: Constant {
value: Value {
ty: &'{erased} 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: [],
}