On Friday, 4 May 2012 at 11:46:34 UTC, Jacob Carlborg wrote:
I give up. Apparently you don't think it's useful.
I'm not seeing it either, but it might help if you gave a concrete example of where it could/should be used and what benefits it might have. I think it'll be rather hard to come up with an example where the programmer wouldn't know what the original type was and have it actually matter.
