enforcing alias this on derived types

[JS]

On Monday, 8 July 2013 at 09:55:29 UTC, John Colvin wrote:
> On Monday, 8 July 2013 at 09:52:44 UTC, John Colvin wrote:
>> Most other solutions I tried failed because the compiler 
>> evaluates the check (e.g. out contracts) in the interface, 
>> which makes the check either semantically wrong, or statically 
>> false/failed.
>
> Woops, should be "the contract exists in the scope of the 
> interface", not "the compiler evaluates the check (e.g. out 
> contracts) in the interface"

Hopefully there is a cleaner way but this beats nothing... thanks.