I'm wondering if there would be interest in adding support for Clang thread safety annotations (https://clang.llvm.org/docs/ThreadSafetyAnalysis.html). Adding them to the entire codebase would be a tremendous undertaking, but I think they could deliver value even with a slow adoption.
A concrete issue where annotations would have helped: #13116
To be explicit, I am volunteering to do the work to get this started.