https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67408
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- Created attachment 36277 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36277&action=edit Handle recursive mutexes with different types. Or this, which is probably easier on the compiler.