DMD 1.027 and 2.011 releases

[Walter Bright]

Manfred Nowak wrote:
> Walter Bright wrote:
> 
>> If they are part of the type signature, then it can be enforced.
> 
> For this one would have to ensure that the prerequisites of Rice's 
> Theorem [http://en.wikipedia.org/wiki/Rice's_theorem] do not hold.
> 
> How to do that?

Don't have to compute it, just check it since it's part of the type 
signature.