On Thu, 11 Jul 2019 at 00:50, Bryce Adelstein Lelbach aka wash
<brycelelbach_at_[hidden]> wrote:
>
> Right, but then, IIUC, that means we can't end up in the sort of
> unexpected situation Gaby described.
>
> If I have:
>
> import <x>;
> #include <x>
>
> or
>
> #include <x>
> import <x>;
>
> In both of these cases, if x is not an importable header, the program
> is ill formed. If it is an importable header, the order doesn't
> matter, because the include gets translated into an import.
>
> Correct?

Yes. Again, and for the last time: did you read
http://lists.isocpp.org/modules/2019/07/0490.php ?