On Thu, 22 Nov 2018 15:50:01 +0000, Stefan Koch wrote: > I'd say the problem here is not just false positives, but false > negatives!
False negatives are a small problem. The compiler fails to catch some errors some of the time, and that's not surprising. False positives are highly vexing because it means the compiler rejects valid code, and that sometimes requires ugly circumlocutions to make it work.