Bug 23863 – `typeof` rejects `AliasSeq!()` as argument

import std.meta: AliasSeq; struct S { } alias Empty = S.tupleof; Empty x; // accepts valid AliasSeq!() x2 = AliasSeq!(); // accepts valid static assert(is(typeof(S.tupleof) == AliasSeq!())); // accepts valid static assert(is(typeof(Empty) == AliasSeq!())); // rejects valid static assert(is(typeof(AliasSeq!()) == AliasSeq!())); // rejects valid ---- This bug causes problems for generic code. For example: import std.meta: Filter; struct S { int x; } template Const(alias value) { enum Const(A...) = value; } typeof(Filter!(Const!true, S.tupleof)) s1; // passes // but this fails - a special case is required for the empty tuple typeof(Filter!(Const!false, S.tupleof)) s2;

@RazvanN7 created dlang/dmd pull request #15140 "Fix Issue 23863 - rejects as argument" fixing this issue: - Fix Issue 23863 - rejects as argument https://github.com/dlang/dmd/pull/15140

dlang/dmd pull request #15140 "Fix Issue 23863 - typeof rejects AliasSeq!() as argument" was merged into master: - 509a7676a43e5265267d3a7a8d7674eaa99ff508 by RazvanN7: Fix Issue 23863 - typeof rejects AliasSeq!() as argument https://github.com/dlang/dmd/pull/15140