Re: Why does this code only work with `T` and not `typeof(T)`?

[thebluepandabear via Digitalmars-d-learn]

On Wednesday, 4 January 2023 at 04:42:08 UTC, Ali Çehreli wrote:
On 1/3/23 20:11, thebluepandabear wrote:
> if I replace the `isDrawable` template with the
> following (using `typeof`), the code does not compile:

It must be because T is already a type. It's the same reason 
why the following code fails to compile:

void main() {
    alias T = int;
    alias TT = typeof(T);
}

Error: type `int` is not an expression

And the error message tells us typeof requires an expression. 
What you can do is to use T.init and the code should now work 
like the following does:

    alias TT = typeof(T.init);

Ali

Ok, that makes sense now, my mistake. I seem to have gotten the 
wrong impression that typeof is more flexible than it is.