On Tue, 2013-02-26 at 22:03 +0400, Dmitry Olshansky wrote: > The fact that empty can't be "enum empty = false;" is a problem since > that's how infinite ranges are statically distinguished. Thanks for the feedback on DIP26 :-) The isInfinite template is also satisfied if empty is a static function because of CTFE) Best regards, Robert