message: no concurrency on windows
diff: +// ignore-windows: Concurrency on Windows is not supported yet.
  // compile-flags: -Zmiri-ignore-leaks
  //! Test that leaking threads works, and that their destructors are not executed.
  