On Monday, 4 January 2021 at 15:15:50 UTC, ag0aep6g wrote:
As far as I understand, describing what DMD does as "unification" would be a stretch. You might have a point saying that DMD should do "plain regular unification" instead of the ad hoc, undocumented hacks it does right now.
Unification is what you do with parametric types, even if it implemented in an ad hoc manner that turns out to not work...
The funny thing is that this would have worked with regular macro expansion.
