File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change 1830
1830
template<C4 U> void f3(U); // \# 3
1831
1831
\end {codeblock }
1832
1832
The associated constraints of \# 1 are
1833
- $ \tcode {sizeof(T) == 1}$ (with mapping \tcode {T}$ \mapsto $ \tcode {U}) $ \land \tcode {1 == 2}$ .\\
1833
+ \tcode {sizeof(T) == 1} (with mapping \tcode {T}$ \mapsto $ \tcode {U}) $ \land $ \tcode {1 == 2}.\\
1834
1834
The associated constraints of \# 2 are
1835
- $ \tcode {requires \{ typename T::type; \} }$ (with mapping \tcode {T}$ \mapsto $ \tcode {U}).\\
1835
+ \tcode {requires \{ typename T::type; \} } (with mapping \tcode {T}$ \mapsto $ \tcode {U}).\\
1836
1836
The associated constraints of \# 3 are
1837
- $ \tcode {requires (T x) \{ ++x; \} }$ (with mapping \tcode {T}$ \mapsto $ \tcode {U}).
1837
+ \tcode {requires (T x) \{ ++x; \} } (with mapping \tcode {T}$ \mapsto $ \tcode {U}).
1838
1838
\end {example }
1839
1839
\indextext {constraint!normalization|)}
1840
1840
You can’t perform that action at this time.
0 commit comments