| // RUN: %clang_cc1 -fsyntax-only -verify %s |
| // expected-no-diagnostics |
| |
| // FIXME: [temp.deduct.conv]p2 bullets 1 and 2 can't actually happen without |
| // references? |
| // struct ConvertibleToArray { |
| // // template<typename T, unsigned N> |
| // // operator T(()[]) const; |
| |
| // private: |
| // typedef int array[17]; |
| |
| // operator array() const; |
| // }; |
| |
| // void test_array(ConvertibleToArray cta) { |
| // int *ip = cta; |
| // ip = cta; |
| // const float *cfp = cta; |
| // } |
| |
| // bullet 2 |
| // struct ConvertibleToFunction { |
| // template<typename T, typename A1, typename A2> |
| // operator T(A1, A2) const () { }; |
| // }; |
| |
| // bullet 3 |
| struct ConvertibleToCVQuals { |
| template<typename T> |
| operator T* const() const; |
| }; |
| |
| void test_cvqual_conv(ConvertibleToCVQuals ctcv) { |
| int *ip = ctcv; |
| const int *icp = ctcv; |
| } |