The various mapping procedures should be allowed to return results that are eqv? to, or share storage with, one or more of their arguments. Currently this is allowed by implication (no use of "newly allocated" in the definitions), but not explicitly stated.
WG1 is considering this issue; no objection has been raised so far. This may be handled editorially.