Committed as r211935. I updated the patch to add a more appropriate
comment and changelog entry.
Andrew
On Tue, Jun 24, 2014 at 8:07 AM, Ed Smith-Rowland <[email protected]> wrote:
> I saw this during bootstrap. I've verified that the patch works (I was
> working on similar).
>
> Ed
>
Index: parser.c
===================================================================
--- parser.c (revision 211591)
+++ parser.c (working copy)
@@ -15175,9 +15175,15 @@ cp_parser_allows_constrained_type_specif
static tree
cp_maybe_constrained_type_specifier (cp_parser *parser, tree decl, tree args)
{
- gcc_assert (TREE_CODE (decl) == OVERLOAD);
gcc_assert (args ? TREE_CODE (args) == TREE_VEC : true);
+ // If we get a reference to a member function, allow the referenced
+ // functions to participate in this resolution: the baselink may refer
+ // to a static member concept.
+ if (BASELINK_P (decl))
+ decl = BASELINK_FUNCTIONS (decl);
+ gcc_assert (TREE_CODE (decl) == OVERLOAD);
+
// Don't do any heavy lifting if we know we're not in a context
// where it could succeed.
if (!cp_parser_allows_constrained_type_specifier (parser))
