https://issues.dlang.org/show_bug.cgi?id=21891
[email protected] changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #1 from [email protected] --- This makes me wonder why alias parameters were introduced in the first place. Phobos makes extensive use of alias parameters for binding to lambdas, for example, so it appears that it was a deliberate decision to distinguish between unmarked template parameters receiving types vs alias parameters receiving things that might not be types. But yeah, this subtle and mostly-arbitrary distinction is the source of a number of weird corner cases and inhomogeneities in Phobos and also in the language in general. My inclination is to get rid of this arbitrary distinction so that the language has less special cases. --
