mogu via Digitalmars-d-learn Tue, 19 Jul 2016 18:16:18 -0700
``` struct S(T) {} static assert(is (typeof(S) == void)); ```
Why S's type isn't something like `S: (T) -> S`?