A very small update on typefunctions

[jmh530]

On Tuesday, 28 July 2020 at 23:12:28 UTC, Stefan Koch wrote:
> Hi there,
>
> After a hunt of segfaults, I wanted to have some fun again.
>
> So ....
>
> [snip]

Looks pretty cool.

> [snip]
> alias x = ThisIsAType;
>
> pragma(msg, "typeWithTags: ", typeWithFilteredTags(x));
> //output: TypeWithTags((ThisIsAType), [SuperTag("Smoking Super 
> Style"), SuperTag("Super!")]
> [snip]

Is the only way this works by using an alias statement like that? 
Assuming this works progresses to a more complete and finished 
state, would there be scope for adjusting the semantics of alias 
function parameters in some way to handle situations like this? 
Or alternately, being able to write something like
pragma(msg, "typeWithTags: ", 
ThiIsAType.alias.typeWithFilteredTags));