2020-04-19 16:22:55 -05:00
|
|
|
// ignore-linux: Only Windows is not supported.
|
|
|
|
// ignore-macos: Only Windows is not supported.
|
|
|
|
|
2020-04-15 23:25:12 -05:00
|
|
|
use std::thread;
|
|
|
|
|
2020-06-28 02:47:20 -05:00
|
|
|
// error-pattern: Miri does not support concurrency on Windows
|
2020-04-15 23:25:12 -05:00
|
|
|
|
|
|
|
fn main() {
|
|
|
|
thread::spawn(|| {});
|
|
|
|
}
|