On Sunday, 12 October 2014 at 20:58:58 UTC, Timon Gehr wrote: > Yes it is. Why wouldn't it be? Values needn't be completely > determined in order to be reasoned about. They do if you want to check, for example, n < 3. D doesn't currently support the type of analysis necessary to implement something like that.