is (T identifier == Specifier)

Specifier and the meaning of identifier

Works in the same way as the previous syntax. Identifier is either an alias of the type; or some other information depending on Specifier:

• struct: alias of the type that satisfied the condition

• union: alias of the type that satisfied the condition

• class: alias of the type that satisfied the condition

• interface: alias of the type that satisfied the condition

• super: a tuple consisting of the base classes and the interfaces

• enum: the actual implementation type of the enum

• function: a tuple consisting of the function parameters

• delegate: the type of the delegate

• return: the return type of the regular function, the delegate, or the function pointer

• __parameters: a tuple consisting of the parameters of the regular function, the delegate, or the function pointer

• const: alias of the type that satisfied the condition

• immutable: alias of the type that satisfied the condition

• shared: alias of the type that satisfied the condition