This is the Defect Report that makes it clear my improvement is standard-conforming, and indeed required for reasonable performance: http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/lwg-defects.html#169