On Thursday, 5 October 2017 at 19:55:15 UTC, Timon Gehr wrote:
The reason why back then it seemed as if it "can't be used" is that it was taken by the comma operator. This is no longer the case.
Fair enough. I only didn't have an issue with it because I had recalled it when reading the previous DIP.
