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.