Compile time checks and alias this

[Andrea Fontana]

On Tuesday, 17 December 2013 at 17:19:26 UTC, anonymous wrote:
> On Tuesday, 17 December 2013 at 16:50:18 UTC, Andrea Fontana 
> wrote:
>> I have something like this:
>>
>> enum isValid(T) = is(T == MyClass1);
>>
>> class MyClass1 {}
>>
>> class MyContainer(T)
>> {
>>   T value;
>>   alias value this;
>> }
>>
>> void main()
>> {
>> 	assert(isValid!MyClass1, "MyClass1 isn't valid");
>> 	assert(isValid!(MyContainer!MyClass1), "MyContainer!MyClass1 
>> isn't valid");
>> }
>>
>> second assert conditions is false. But in normal code 
>> MyContainer!Myclass1 is casted automagically to MyClass1 and
>> works almost as MyClass1.

Hey didn't this mean "is derived from"? :)
>>
>> Is there a way to check this at compile time?
>
> is(T : MyClass1)