D enters Tiobe top 20

[Walter Bright]

On 11/12/2019 2:51 AM, Timon Gehr wrote:
>> If in{} and out{} contracts ever disappeared from the language, I think an 
>> external solver would need something like assume()/require() to distinguish 
>> preconditions from normal assertions.
>> ...
> 
> Yes, this was exactly my point.

The precondition would just be the sequence of assert()s before any other code, 
and the postcondition is the sequence that appears after any other code. It's 
not a challenge to pull that out of the AST.