Ok, I take it back ;-) Steven is right. It is however the case that this function's return value would still be unique.
Yes, it could be unique. I haven't read this thread really, so I don't know what has been proposed, but looking at the snippet, wouldn't you have to tag the return value? You tagged the parameter with unique.
-Steve
