Skip to content

Commit 7ff057c

Browse files
Erich Keanezygoloid
authored andcommitted
[temp.deduct.call] Add additional example to the examples added by
CWG2303 to clarify meaning.
1 parent cea53d6 commit 7ff057c

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

source/templates.tex

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8084,11 +8084,13 @@
80848084
template <typename T, typename... Ts>
80858085
struct X<T, Ts...> : X<Ts...> {};
80868086
struct D : X<int> {};
8087+
struct E : X<>, X<int> {};
80878088

80888089
template <typename... T>
80898090
int f(const X<T...>&);
80908091
int x = f(D()); // calls \tcode{f<int>}, not \tcode{f<>}
80918092
// \tcode{B} is \tcode{X<>}, \tcode{C} is \tcode{X<int>}
8093+
int z = f(E()); // calls \tcode{f<int>}, not \tcode{f<>}
80928094
\end{codeblock}
80938095
\end{example}
80948096
\end{itemize}

0 commit comments

Comments
 (0)