Static inheritance (proof of concept)

[Iakh via Digitalmars-d]

On Saturday, 27 February 2016 at 18:14:25 UTC, Chris Wright wrote:
> On Sat, 27 Feb 2016 13:35:30 +0000, Iakh wrote:
>
> Looks good. I'd prefer to have just the mixin or just the 
> attribute -- the latter being tricky just now.
Agree.

> It'd be just as easy to make it:
>
> struct Range {
>   mixin ensureConcept!isInputRange;
> }

It is hard to pass all params to the mixin such as file, line and 
additional params for concept:

@concept!(isOutputRange, int)() // isSomething!(T, a, b, c, d, 
...)
struct Range
{
     mixin checkConcepts; // mixin takes current line and file 
with default params to do error checking so there is no way to 
use variadic args (is it?)
}