blob: 16adee6b9c3a5e71b158ba78755ad0ab73ea8d47 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// PR c++/80767
// { dg-do compile { target c++11 } }
template <typename T, typename U = T> struct A { using type = U; };
template <typename F, typename... G> struct B : B<F>::type, B<G...>::type {
using type = B;
using B<F>::type::operator();
};
template <typename F> struct B<F> { using type = F; };
struct {
template <typename... F,
typename Overload = typename B<typename A<F>::type...>::type>
Overload operator()(F...){}
} a;
int main() {
auto f = a([](int) {}, [](float) {});
f({});
}
|