On 03/24/2015 09:56 AM, matovitch wrote:

> just to be clear :
>
> void Bar(T : Foo)(T t){
> }

That means "if T can implicitly be converted to Foo".

>
> is the same as
>
> void Bar(T)(T t) if (is(T == Foo)){
> }

That means "if T is exactly Foo".

> and it is checked only at compile time ?

Yes to both.

Ali

Reply via email to