1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
//@ run-pass
//! Tests stable mir API for retrieving the body of a closure.
//@ ignore-stage1
//@ ignore-cross-compile
//@ ignore-remote
//@ edition: 2021
#![feature(rustc_private)]
#![feature(assert_matches)]
extern crate rustc_middle;
extern crate rustc_driver;
extern crate rustc_interface;
#[macro_use]
extern crate rustc_public;
use std::io::Write;
use std::ops::ControlFlow;
use rustc_public::mir::{Body, ConstOperand, Operand, TerminatorKind};
use rustc_public::ty::{FnDef, RigidTy, TyKind};
const CRATE_NAME: &str = "crate_closure_body";
fn test_closure_body() -> ControlFlow<()> {
let crate_items = rustc_public::all_local_items();
for item in crate_items {
let item_ty = item.ty();
match &item_ty.kind() {
TyKind::RigidTy(RigidTy::Closure(closure_def, _)) => {
let closure_body = closure_def.body().unwrap();
check_incr_closure_body(closure_body);
}
_ => {}
}
}
ControlFlow::Continue(())
}
fn check_incr_closure_body(body: Body) {
let first_block = &body.blocks[0];
let TerminatorKind::Call { func: Operand::Constant(ConstOperand { const_, .. }), .. } =
&first_block.terminator.kind
else {
panic!("expected Call Terminator, got: ");
};
let TyKind::RigidTy(RigidTy::FnDef(FnDef(def_id), ..), ..) = const_.ty().kind() else {
panic!("expected FnDef");
};
assert_eq!(def_id.name(), "incr");
}
fn main() {
let path = "closure_body.rs";
generate_input(&path).unwrap();
let args = &[
"rustc".to_string(),
"-Cpanic=abort".to_string(),
"--crate-name".to_string(),
CRATE_NAME.to_string(),
path.to_string(),
];
run!(args, test_closure_body).unwrap();
}
fn generate_input(path: &str) -> std::io::Result<()> {
let mut file = std::fs::File::create(path)?;
write!(
file,
r#"
fn incr(y: i32) -> i32 {{
y + 1
}}
fn main() {{
let cl_incr = |x: i32| {{
incr(x)
}};
let _= cl_incr(5);
}}
"#
)?;
Ok(())
}
|
