Help from the compiler when debugging failing template constraints - a pull request

[deadalnix via Digitalmars-d]

On Wednesday, 14 October 2015 at 20:12:52 UTC, Ola Fosheim 
Grøstad wrote:
> On Wednesday, 14 October 2015 at 13:32:54 UTC, Atila Neves 
> wrote:
>> ever get approved. My original plan was to write a DIP for 
>> "static inheritance",
>
> I would be intersted in seeing a detailed analysis on the 
> difference between inheritance and "alias this" over the first 
> struct member.

No virtual dispatch, no downcast possible, no dynamic typeid, ...