On Thursday, 22 November 2018 at 15:50:01 UTC, Stefan Koch wrote:
I'd say the problem here is not just false positives, but false negatives!
With emphasis on _incremental_ additions to the compiler for covering more and more positives without introducing any _false_ negatives whatsoever. Without loosing compilation performance.
I recall Walter saying this is challenging to get right but a very interesting task.
This would make D even more competitive against languages such as Rust.