Skip to content
Open
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
No more commas
  • Loading branch information
tkoeppe committed Nov 9, 2023
commit c8e01c1c534da6b408b5a7d7dc05f619eae62798
4 changes: 2 additions & 2 deletions source/expressions.tex
Original file line number Diff line number Diff line change
Expand Up @@ -550,14 +550,14 @@
\pnum
An expression $E$ can be
\defnx{implicitly converted}{conversion!implicit} to a type \tcode{T} if and only if the
declaration \tcode{T t=$E$;} is well-formed, for some invented
declaration \tcode{T t=$E$;} is well-formed for some invented
variable \tcode{t}\iref{dcl.init}.

\pnum
Certain language constructs require that an expression be converted to a Boolean
value. An expression $E$ appearing in such a context is said to be
\defnx{contextually converted to \tcode{bool}}{conversion!contextual to \tcode{bool}} and is well-formed if and only if
the declaration \tcode{\keyword{bool} t($E$);} is well-formed, for some invented
the declaration \tcode{\keyword{bool} t($E$);} is well-formed for some invented
variable \tcode{t}\iref{dcl.init}.

\pnum
Expand Down