On Sat, 02 May 2015 19:56:49 +0000, weaselcat wrote: > On Saturday, 2 May 2015 at 14:37:08 UTC, Martin Nowak wrote: >> On Friday, 1 May 2015 at 19:45:18 UTC, Walter Bright wrote: >>> I suspect this kind of change and check would be appropriate for a D >>> linter, and not be part of the core language. >> >> Yes it would fit nicely into a static analyzer, but DMD is currently >> the only semantic analyzer we have. > > dscanner exists
dscanner doesn't do full semantic analysis. and you need that, with full type inference, to catch all cases.
signature.asc
Description: PGP signature
