Re: What does this code snippet even do?

[Ali Çehreli via Digitalmars-d-learn]

On 1/29/21 2:41 PM, WhatMeWorry wrote:

  Ali's book talks about the 
colon appearing for

There is also "is, expression":

  http://ddili.org/ders/d.en/is_expr.html#ix_is_expr.is,%20expression

But the is expression is so complicated. :( I defined that particular 
syntax as

  is (T : Specifier, TemplateParamList)

--- quote ---
identifier, Specifier, :, and == all have the same meanings as described 
above.

TemplateParamList is both a part of the condition that needs to be 
satisfied and a facility to define additional aliases if the condition 
is indeed satisfied. It works in the same way as template type deduction.
------------

I almost understand it. ;)

Ali