NB US 367 (C++20 CD): Instead of header inclusion, also permit header unit import

Author: Dawn Perchik

source/basic.tex

@@ -3665,13 +3665,13 @@
 \tcode{std::align_val_t},
 or any other names that the library uses to
 declare these names. Thus, a \grammarterm{new-expression},
-\grammarterm{delete-expression} or function call that refers to one of
-these functions without including the header \libheaderref{new} is
+\grammarterm{delete-expression}, or function call that refers to one of
+these functions without importing or including the header \libheaderref{new} is
 well-formed. However, referring to \tcode{std}
 or \tcode{std::size_t}
 or \tcode{std::align_val_t}
 is ill-formed unless the name has been declared
-by including the appropriate header.
+by importing or including the appropriate header.
 \end{note}
 Allocation and/or
 deallocation functions may also be declared and defined for any

source/declarations.tex

@@ -5500,7 +5500,7 @@
 \end{note}
 The template
 \tcode{std::initializer_list} is not predefined; if the header
-\tcode{<initializer_list>} is not included prior to a use of
+\tcode{<initializer_list>} is not imported or included prior to a use of
 \tcode{std::initializer_list} --- even an implicit use in which the type is not
 named\iref{dcl.spec.auto} --- the program is ill-formed.
 

source/expressions.tex

@@ -3597,7 +3597,8 @@
 \end{example}
 
 \pnum
-If the header \libheaderrefx{typeinfo}{type.info} is not included prior
+If the header \libheaderrefx{typeinfo}{type.info}
+is not imported or included prior
 to a use of \tcode{typeid}, the program is ill-formed.
 
 \pnum
@@ -6007,7 +6008,7 @@
 \tcode{std::partial_ordering})
 are not predefined;
 if the header \libheaderref{compare}
-is not included prior to a use of such a class type --
+is not imported or included prior to a use of such a class type --
 even an implicit use in which the type is not named
 (e.g., via the \tcode{auto} specifier\iref{dcl.spec.auto}
 in a defaulted three-way comparison\iref{class.spaceship}