[ummonk]

Yeah, my biggest want for Julia 2.0 would be a built-in static type analyzer.

[oxinabox]

That is neither a breaking change, (and thus could come in 1.3) Nor something that needs to be baked in. (thus could be in a package)