On Monday, 19 May 2014 at 18:33:55 UTC, Steven Schveighoffer wrote:
Then you should have no problem producing an example, right?I did. Besides, I think language constructs should be proven sound a priori, not post mortem...
Let me cut to the chase here. I haven't seen it. Let's not go any further until you can produce it.
-Steve
