I've wanted something like this for ages. This is going to open doors for even better static analysis tools.

Awesome.