src/tools/miri/tests/pass/concurrency/issue1643.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

use std::thread::spawn;

fn initialize() {
    initialize_inner(&mut || false)
}

fn initialize_inner(_init: &mut dyn FnMut() -> bool) {}

fn main() {
    let j1 = spawn(initialize);
    let j2 = spawn(initialize);
    j1.join().unwrap();
    j2.join().unwrap();
}