Add require deleted for main body

This commit is contained in:
nora 2023-04-04 13:45:14 +02:00
parent bad820a08b
commit 825870651f
2 changed files with 10 additions and 0 deletions

View file

@ -9,4 +9,5 @@ fn user(mut map: HashMap<(), ()>) {
fn main() {
let map = HashMap::new();
user(map);
"~REQUIRE-DELETED main-body";
}