On 07/30/2014 08:46 PM, H. S. Teoh via Digitalmars-d wrote:
I can't think of a real-life scenario where you'd want to distinguish between the two kinds of optimizations in (2).
That was never up to debate and that distinction is indeed rather pointless.