On Tue, Jul 9, 2019 at 7:48 PM Gabriel Dos Reis via SG15 <sg15@lists.isocpp.org> wrote:
I agree.
Also, we should note that import and #include of the same file can lead to unexpected results, so we need both clarifications and recommendations there for users.