https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65704
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- Making this work requires splitting <mutex> into smaller pieces so that std::timed_mutex can depend on std::condition_variable, which depends on std::mutex. I'll come back to it.