Skip to content

Commit 4dee21a

Browse files
committed
Fixup absence of "shall" in requirements
The proposal author misunderstood LWG guidance here.
1 parent 8069b23 commit 4dee21a

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

source/utilities.tex

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17646,7 +17646,7 @@
1764617646
\tcode{template<class T, class U>}\br
1764717647
\tcode{struct is_layout_compatible;} &
1764817648
\tcode{T} and \tcode{U} are layout-compatible\iref{basic.types} &
17649-
\tcode{T} and \tcode{U} are complete types,
17649+
\tcode{T} and \tcode{U} shall be complete types,
1765017650
\cv{}~\tcode{void},
1765117651
or arrays of unknown bound. \\ \rowsep
1765217652

@@ -17663,7 +17663,7 @@
1766317663
without regard to \cv{}-qualifiers. &
1766417664
If \tcode{Base} and \tcode{Derived} are non-union class types
1766517665
and are not (possibly \cv{}-qualified) versions of the same type,
17666-
\tcode{Derived} is a complete type. \\ \rowsep
17666+
\tcode{Derived} shall be a complete type. \\ \rowsep
1766717667

1766817668
\indexlibrary{\idxcode{is_invocable}}%
1766917669
\tcode{template<class Fn, class... ArgTypes>}\br

0 commit comments

Comments
 (0)