assert semantic change proposal

[via Digitalmars-d]

On Wednesday, 6 August 2014 at 22:03:11 UTC, David Bregman wrote:
> As for assume(0), in the control flow interpretation it makes 
> perfect sense: Assuming control flow reaches here, false = 
> true. So by contradiction, "control flow reaches here" is 
> false, i.e. that point is unreachable.
>
> see again the __assume extension in the Microsoft c++ compiler: 
> http://msdn.microsoft.com/en-us/library/1b3fsfxw.aspx

 From the docs:
«The __assume(0) statement is a special case.»

So, it does not make perfect sense. If it did, it would not be a 
special case?