Skip to content

[basic] Use past subjunctive after "as if" #8656

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
lprv wants to merge 1 commit into
base: main
Choose a base branch
from
Open

[basic] Use past subjunctive after "as if" #8656

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
14 changes: 7 additions & 7 deletions source/basic.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -837,7 +837,7 @@
\begin{itemize}
\item If \tcode{D} is a class with an implicitly-declared
constructor\iref{class.default.ctor,class.copy.ctor},
it is as if the constructor was
it is as if the constructor were
implicitly defined in every translation unit where it is odr-used, and the
implicit definition in every translation unit shall call the same
constructor for a subobject of \tcode{D}.
Expand Down Expand Up @@ -870,7 +870,7 @@

\item If \tcode{D} is a class with
a defaulted three-way comparison operator function\iref{class.spaceship},
it is as if the operator was
it is as if the operator were
implicitly defined in every translation unit where it is odr-used, and the
implicit definition in every translation unit shall call the same
comparison operators for each subobject of \tcode{D}.
Expand All @@ -891,7 +891,7 @@
default template arguments of either \tcode{D} or
an entity not defined within \tcode{D}).
For each such entity and for \tcode{D} itself,
the behavior is as if there is a single entity with a single definition,
the behavior is as if there were a single entity with a single definition,
including in the application of these requirements to other entities.
\begin{note}
The entity is still declared in multiple translation units, and \ref{basic.link}
Expand Down Expand Up @@ -921,7 +921,7 @@

If the definition of \tcode{f} appears in multiple translation units,
the behavior of the program is as if
there is only one definition of \tcode{f}.
there were only one definition of \tcode{f}.
If the definition of \tcode{g} appears in multiple translation units,
the program is ill-formed (no diagnostic required) because
each such definition uses a default argument that
Expand Down Expand Up @@ -2007,7 +2007,7 @@
When a class scope is searched,
the scopes of its base classes are also searched\iref{class.member.lookup}.
If it inherits from a single base,
it is as if the scope of the base immediately contains
it is as if the scope of the base immediately contained
the scope of the derived class.
Template parameter scopes
that are associated with one scope in the chain of parents
Expand Down Expand Up @@ -7581,7 +7581,7 @@
of the second is sequenced before the initiation of the destruction of the first.
If an object is
initialized statically, the object is destroyed in the same order as if
the object was dynamically initialized.
the object were dynamically initialized.
If the destruction of an object with static or thread storage duration
exits via an exception,
the function \tcode{std::terminate} is called\iref{except.terminate}.
Expand Down Expand Up @@ -7980,7 +7980,7 @@
invoked from the evaluation of a function contract assertion\iref{dcl.contract.func}
exits via an exception,
the behavior is as if
the function body exits via that same exception.
the function body exited via that same exception.
\begin{note}
A \grammarterm{function-try-block}\iref{except.pre}
is the function body when present
Expand Down