[Bug c++/85846] [Concepts] Concept as value in initializer: bogus declared-as-implicit-template error
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85846 Patrick Palka changed: What|Removed |Added CC||hewillk at gmail dot com --- Comment #4 from Patrick Palka --- *** Bug 99923 has been marked as a duplicate of this bug. ***
[Bug c++/85846] [Concepts] Concept as value in initializer: bogus declared-as-implicit-template error
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85846 Patrick Palka changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED|RESOLVED --- Comment #3 from Patrick Palka --- Fixed for GCC 11.3/12.
[Bug c++/85846] [Concepts] Concept as value in initializer: bogus declared-as-implicit-template error
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85846 --- Comment #2 from CVS Commits --- The releases/gcc-11 branch has been updated by Patrick Palka : https://gcc.gnu.org/g:a94867f67e0b48ba53691f1d5f43f5c7d60adecb commit r11-9388-ga94867f67e0b48ba53691f1d5f43f5c7d60adecb Author: Patrick Palka Date: Tue Nov 9 09:09:43 2021 -0500 c++: bogus error w/ tentative type parse of concept-id [PR98394] Here when tentatively parsing the if condition as a declaration, we try to treat C<1> as the start of a constrained placeholder type, which we quickly reject because C doesn't accept a type as its first argument. But since we're parsing tentatively, we shouldn't emit an error in this case. In passing, also fix PR85846 by only overriding 'tentative' to false when given a concept-name, and not also when given a concept-id that has an empty argument list. PR c++/98394 PR c++/85846 gcc/cp/ChangeLog: * parser.c (cp_parser_placeholder_type_specifier): Declare static. Don't override tentative to false when tmpl is a concept-id with empty argument list. Don't emit a "does not constrain a type" error when tentative. gcc/testsuite/ChangeLog: * g++.dg/cpp2a/concepts-pr98394.C: New test. * g++.dg/cpp2a/concepts-pr85846.C: New test. (cherry picked from commit a22d910305a5232694ff48ead37a7f53e46b7202)
[Bug c++/85846] [Concepts] Concept as value in initializer: bogus declared-as-implicit-template error
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85846 Patrick Palka changed: What|Removed |Added Status|NEW |ASSIGNED CC||ppalka at gcc dot gnu.org Target Milestone|--- |11.3 Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org
[Bug c++/85846] [Concepts] Concept as value in initializer: bogus declared-as-implicit-template error
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85846 --- Comment #1 from CVS Commits --- The master branch has been updated by Patrick Palka : https://gcc.gnu.org/g:a22d910305a5232694ff48ead37a7f53e46b7202 commit r12-5053-ga22d910305a5232694ff48ead37a7f53e46b7202 Author: Patrick Palka Date: Tue Nov 9 09:09:43 2021 -0500 c++: bogus error w/ tentative type parse of concept-id [PR98394] Here when tentatively parsing the if condition as a declaration, we try to treat C<1> as the start of a constrained placeholder type, which we quickly reject because C doesn't accept a type as its first argument. But since we're parsing tentatively, we shouldn't emit an error in this case. In passing, also fix PR85846 by only overriding 'tentative' to false when given a concept-name, and not also when given a concept-id that has an empty argument list. PR c++/98394 PR c++/85846 gcc/cp/ChangeLog: * parser.c (cp_parser_placeholder_type_specifier): Declare static. Don't override tentative to false when tmpl is a concept-id with empty argument list. Don't emit a "does not constrain a type" error when tentative. gcc/testsuite/ChangeLog: * g++.dg/cpp2a/concepts-pr98394.C: New test. * g++.dg/cpp2a/concepts-pr85846.C: New test.
[Bug c++/85846] [Concepts] Concept as value in initializer: bogus declared-as-implicit-template error
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85846 Jonathan Wakely changed: What|Removed |Added Keywords||rejects-valid Status|UNCONFIRMED |NEW Last reconfirmed||2019-10-29 Blocks||67491 Ever confirmed|0 |1 Known to fail||10.0 Referenced Bugs: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491 [Bug 67491] [meta-bug] concepts issues
