Yes, sorry. Should probably have used 'import std' in the example.

Right. In particular when it's a thing now. I mean in real code.

On Fri, Jul 29, 2022, 12:35 Daniela Engert via SG15 <sg15@lists.isocpp.org> wrote:

Daniel, thanks for this paper!

Am 28.07.2022 um 23:22 schrieb Daniel Ruoso via SG15:

Revised version at https://wg21.link/p2581r1

On page 3, you show the source of the PMIU for some module A. May I assume the #include <string> into the module purview is just another incident of 'fat fingers'? Attaching standard library entities to a module outside of the standard's realm is usually considered a no-no.

Ciao
  Dani