// { dg-do compile } | |
// Contributed by Martin Loewis <loewis at informatik dot hu-berlin dot de> | |
// PR c++/8856: Make sure template conversion operators are not parsed as | |
// template names. | |
struct K {}; | |
template <bool> struct K2 {}; | |
template <class T> struct A { | |
template <class U> operator U() { return U(); } | |
}; | |
int main() { | |
A<double> a; | |
(void)a.operator int(); | |
(void)a.operator double(); | |
(void)a.operator K2<true>(); | |
(void)a.A<double>::operator int(); | |
(void)a.A<double>::operator double(); | |
(void)a.A<double>::operator K2<true>(); | |
(void)a.operator double<int>(); // { dg-error "not a template" } | |
(void)a.operator K<int>(); // { dg-error "not a template" } | |
(void)a.A<double>::operator double<int>(); // { dg-error "not a template" } | |
(void)a.A<double>::operator K<int>(); // { dg-error "not a template" } | |
} |