On type functions

[Stefan Koch]

On Sunday, 3 May 2020 at 21:14:43 UTC, Max Samukha wrote:
> On Sunday, 3 May 2020 at 09:35:34 UTC, Stefan Koch wrote:
>
>> [...]
>
> Cool! Does it mean the following will work?
>
> alias[] map(alias f, alias[] a) {
>    alias[] r;
>    foreach (e; a)
>        r ~= f!e; // can we?
>    return r;
> }
>
> enum isType(alias a) = is(a);
>
> static assert([map!(isType, AliasSeq!(1, int, "meh"))] == 
> [false, true, false]);

Yes that's what it means!