Compile-Time Interfaces (Concepts)

[bossfong via Digitalmars-d-learn]

Am 23.07.2014 16:27, schrieb H. S. Teoh via Digitalmars-d-learn:
>
> We could, though it's not quite the same as a native concepts
> implementation where the compiler can check templates for code that
> wrongly makes assumptions about the incoming type that aren't defined by
> the concept.
>
>
> T
>
true.

Still, maybe compiler errors could be provided by a library that defines 
an "Concept(Interface)" UDA that you could use to annotate 
implementations of "Concepts"?

import concepts;

@Concept(InputRange)
struct MyInputRange
{
// ...
}

verifyConcepts();

Is it that what you mean?

Just thinking things through here...