1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
// { dg-do compile { target c++23 } }
template<class T, class U, class V> struct F {
F(T, U, V); // #1
F(T*, U*, V*); // #2
template<class W>
F(int, int, W); // #3
};
F(bool, bool, bool) -> F<bool*, void*, int>;
template<class T, class U> struct G : F<U, T, int> {
using F<U, T, int>::F;
};
using ty1 = decltype(G(true, 'a', 1)); // uses #1
using ty1 = G<char, bool>;
using ty2 = decltype(G((bool*)0, (char*)0, (int*)0)); // uses #2
using ty2 = G<char, bool>;
using ty3 = decltype(G(0, 0, 0)); // uses #3
using ty3 = G<int, int>;
using ty4 = decltype(G(true, true, true)); // uses #4
using ty4 = G<void*, bool*>;
|
