diff options
| author | Patrick Palka <ppalka@redhat.com> | 2022-01-28 08:18:28 -0500 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2022-01-28 08:18:28 -0500 |
| commit | e272cf95ba048fde60b21aee046c9ca9c9264425 (patch) | |
| tree | c01aa3ddac711f93d53ca276143591cd6ec6d239 /gcc/fold-const.cc | |
| parent | 9ec306582fd60e5b76f07eb81c9ed2415d9a3590 (diff) | |
| download | gcc-e272cf95ba048fde60b21aee046c9ca9c9264425.zip gcc-e272cf95ba048fde60b21aee046c9ca9c9264425.tar.gz gcc-e272cf95ba048fde60b21aee046c9ca9c9264425.tar.bz2 | |
c++: var tmpl w/ dependent constrained auto type [PR103341]
When deducing the type of a variable template (or templated static data
member) with a constrained auto type, we might need its template
arguments for satisfaction since the constraint could depend on them.
PR c++/103341
gcc/cp/ChangeLog:
* decl.cc (cp_finish_decl): Pass the template arguments of a
variable template specialization or a templated static data
member to do_auto_deduction when the auto is constrained.
gcc/testsuite/ChangeLog:
* g++.dg/cpp2a/concepts-class4.C: New test.
* g++.dg/cpp2a/concepts-var-templ2.C: New test.
Diffstat (limited to 'gcc/fold-const.cc')
0 files changed, 0 insertions, 0 deletions