This commit is contained in:
Ralf Jung 2021-12-05 11:02:20 -05:00
parent 5e9cf62b89
commit d537ed401d
3 changed files with 1 additions and 3 deletions

View file

@ -1 +1 @@
1c0287830e0fb3c4007afea2819ba03766da6e9c
1597728ef5820d3ffcb9d3f0c890ef7802398751

View file

@ -1,5 +1,4 @@
// ignore-windows: Concurrency on Windows is not supported yet.
#![feature(thread_local_const_init)]
use std::cell::RefCell;
use std::thread;

View file

@ -1,6 +1,5 @@
// compile-flags: -Zmiri-tag-raw-pointers
//! Check that destructors of the thread locals are executed on all OSes.
#![feature(thread_local_const_init)]
use std::cell::RefCell;