| // Verify top-level cv-qualifiers are dropped when determining the substituted | |
| // type of a non-type template parameter, as per [temp.param]/6. | |
| // { dg-do compile { target c++11 } } | |
| template<class T, T V> decltype(V)& f(); | |
| using type = decltype(f<const volatile int, 0>()); | |
| using type = int&; |