Rollup merge of #102589 - RalfJung:scoped-threads-dangling, r=m-ou-se

[rust.git] / src / tools / miri / tests / pass / getpid.rs

//@compile-flags: -Zmiri-disable-isolation

fn getpid() -> u32 {
    std::process::id()
}

fn main() {
    getpid();
}