// Verify top-level cv-qualifiers are dropped from the deduced
// type of a non-type template parameter, as per [temp.param]/6.
// { dg-do compile { target c++17 } }

constexpr int x = 42;
template<decltype(auto) V> decltype(V)& f();
using type = decltype(f<x>());
using type = int&;