Sure, I'd like the _ = lock() lint to be an error for example, since you almost certainly didn't mean that, and if you did that's the least useful way to express it.
But time is limited, perhaps I'll get to it at the weekend if nobody else has already done so.
People can't even agree what unsafe is suposed to be used for, as certain groups misuse it for dependent types programing.