I'm going to leave off the text of the original issue because it was written under the misunderstanding that this is a feature specific to Serial.print(). However, there are some valuable replies in ...

Before this change, the <new> header from e.g. ArduinoSTL would be used and things would work, but now the Arduino version takes precedence. So we had better make sure it properly exposes everything ...