cargo-minimize/full-tests/to-empty-main.rs
2023-04-04 14:17:51 +02:00

13 lines
241 B
Rust

use std::collections::HashMap;
/// ~REQUIRE-DELETED user-fn
fn user(mut map: HashMap<(), ()>) {
map.insert((), ());
}
/// ~MINIMIZE-ROOT main
fn main() {
let map = HashMap::new();
user(map);
"~REQUIRE-DELETED main-body";
}