Vision for the D language - stabilizing complexity?

[Kagamin via Digitalmars-d]

On Thursday, 21 July 2016 at 16:21:17 UTC, Andrew Godfrey wrote:
>> You can lower D to Assembler and analyze that. Assembler is 
>> simple, isn't it?
>
> Are you trolling? Lowering discards information.

AFAIK, that's what static analysis is built for: to infer 
high-level properties of the code that are not expressed in it.