> expectation of unique objects Is that expectation granted by the language specification? Identity is often a problem with optimisations, but only if the spec

> expectation of unique objects Is that expectation granted by the language specification? Identity is often a problem with optimisations, but only if the specification guarantees it in the first place.