[Bug c++/97340] Spurious rejection of member variable template of reference type

[ppalka at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97340

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
                 CC|                            |ppalka at gcc dot gnu.org
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=108848

--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> ---
We accept the original testcase (where A is not a template) since
r13-6380-gd3d205ab440886, but we still incorrectly reject the version where A
is a template:

template<class>
struct A {
  template<class>
  static constexpr const int &x=0;
};

template<class T>
struct B {
  static constexpr int y=A<T>::template x<int>;
};

template struct B<void>;