File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change 4550
4550
in different translation units,
4551
4551
a diagnostic is required only if $ D$ is attached to a named module.
4552
4552
If a declaration $ F_1 $ is a
4553
- first declaration of `f`
4553
+ first declaration of \tcode {f}
4554
4554
in one translation unit and
4555
4555
a declaration $ F_2 $ is a
4556
- first declaration of `f` in another translation unit,
4556
+ first declaration of \tcode {f} in another translation unit,
4557
4557
$ F_1 $ and $ F_2 $ shall specify the same
4558
4558
\grammarterm {function-contract-specifier-seq}, no diagnostic required.
4559
4559
4713
4713
as the name of a \defn {result binding}
4714
4714
of the associated function.
4715
4715
If a postcondition assertion has a \grammarterm {result-name-introducer}
4716
- and the return type of the function is $ cv$ ` void` ,
4716
+ and the return type of the function is $ cv$ \keyword { void} ,
4717
4717
the program is ill-formed.
4718
4718
A result binding denotes
4719
4719
the object or reference returned by
Original file line number Diff line number Diff line change 1911
1911
\item
1912
1912
a variable
1913
1913
declared outside of $ C$
1914
- of type `` reference to `T` '' , or
1914
+ of type `` reference to \tcode {T} '' , or
1915
1915
\item
1916
1916
a structured binding of type \tcode {T}
1917
1917
whose corresponding variable
1918
1918
is declared outside of $ C$ ,
1919
1919
\end {itemize }
1920
- then the type of the expression is ` const` `T` .
1920
+ then the type of the expression is \tcode { const} \tcode {T} .
1921
1921
1922
1922
1923
1923
\pnum
You can’t perform that action at this time.
0 commit comments