Purity, @safety, etc., in generic code

[Timon Gehr]

On 02/23/2013 09:28 PM, Steven Schveighoffer wrote:
> ...
>
> But I have not gotten around to pitching it because I need to come up
> with a really good solution :)  Walter is so sour on any tail-const
> solution from past attempts that it has to be bullet-proof and easy.
>...

Just add some form of generics and allow passing type constructors as 
generic arguments.

struct range[@type_constructor c]{
     ...
     @property c(inout(T)) front() inout { ... }
     void popFront() { ... }
     bool empty() const { ... }
}

range![inout] opSlice() inout { ... }