Discussion Thread: DIP 1037--Add Unary Operator ...--Community Review Round 1

[Ola Fosheim Grøstad]

On Tuesday, 3 November 2020 at 16:34:39 UTC, Stefan Koch wrote:
> A Type in practice is just an expression.
>
> Consider:
>
> alias A(T) = T;

Is it though? It would be nice if alias could bind to 
expressions, but it clearly can't.

alias T = 42; // fails

enum __tmp = 42;
alias T = __tmp; // ok