[OT] Clang thread safety analysis finds mutex locking bugs in linux kernel

[Richard Andrew Cattermole (Rikki)]

This is something I've been wanting in D for quite a few years 
now.

Static analysis for mutex locking on variables.

Here is the clang documentation for it: 
https://clang.llvm.org/docs/ThreadSafetyAnalysis.html

And the article on the Linux use of it: 
https://www.phoronix.com/news/Linux-Clang-Thread-Safety

I'll continue to explore it after the DFA language features work 
has been completed. This is currently waiting on some feedback 
from Walter for a requirements document scope.