https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104074
Bug ID: 104074
Summary: [12 Regression] Maybe rejected code: is not a valid
type for a template non-type parameter since
r12-6022-gbb2a7f80a98de3fe
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Keywords: rejects-valid
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: marxin at gcc dot gnu.org
CC: ppalka at gcc dot gnu.org
Target Milestone: ---
The following test-case is isolated from libreoffice:
$ cat x.ii
template <auto> class gr_sp;
template <typename T> using gr_rp = gr_sp<&T::recycle>;
$ g++ x.ii -c
x.ii:2:54: error: ‘‘dependent_operator_type’ not supported by dump_type<type
error>’ is not a valid type for a template non-type parameter
2 | template <typename T> using gr_rp = gr_sp<&T::recycle>;
| ^
clang accepts the code snippet
