Skip to content

Commit e125ca7

Browse files
languagelawyertkoeppe
authored andcommitted
[basic.types.general] Do not mention pointers
1 parent 17dad88 commit e125ca7

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

source/basic.tex

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4531,10 +4531,10 @@
45314531
\end{example}
45324532

45334533
\pnum
4534-
For any trivially copyable type \tcode{T}, if two pointers to \tcode{T} point to
4535-
distinct \tcode{T} objects \tcode{obj1} and \tcode{obj2}, where neither
4536-
\tcode{obj1} nor \tcode{obj2} is a potentially-overlapping subobject, if the underlying
4537-
bytes\iref{intro.memory} making up
4534+
For two distinct objects \tcode{obj1} and \tcode{obj2}
4535+
of trivially copyable type \tcode{T},
4536+
where neither \tcode{obj1} nor \tcode{obj2} is a potentially-overlapping subobject,
4537+
if the underlying bytes\iref{intro.memory} making up
45384538
\tcode{obj1} are copied into \tcode{obj2},
45394539
\begin{footnote}
45404540
By using, for example,

0 commit comments

Comments
 (0)