src/tools/miri/tests/pass/trivial.rs

fn empty() {}

fn unit_var() {
    let x = ();
    x
}

fn main() {
    empty();
    unit_var();
}