Eponymous template with static if

[sighoya]

On Tuesday, 15 August 2023 at 10:54:52 UTC, H. S. Teoh wrote:
>
> `is(T)` is standard idiom for checking whether T is a valid 
> type.

Thanks.

Though, is there any case where it wouldn't be a valid type?