Interfaces, traits, concepts, and my idea for a DIP

[Jack Stouffer via Digitalmars-d]

Overall a great idea!

On Tuesday, 28 July 2015 at 12:49:17 UTC, Atila Neves wrote:
> struct MyRange: static isInputRange { ... }

I don't think you even need new syntax to get the error messages. 
If you have a static assert in your unit tests for 
isInputRange!MyType, then theoretically you could just modify 
isInputRange to return error messages, right?