Goose  Diff

        return parseInfixOverloadSet( *FromValue< ptr< OverloadSet > >( *val ), prec );

    // If the term is an infix rule value, invoke its parseInfix() function.
    auto rule = FromValue< Rule >( *val );
    if( !rule )
        return false;



    if( !( *rule )->isInfix() )
        return false;

    // If an infix parsing rule fails to parse, attempt to backtrack,
    // so we can try to parse it again as a prefix rule if it supports it
    // (case of infix operators that may act as prefix operators using a default lhs
    // value in some contexts)
    auto savedPosition = m_resolver->position();
    auto savedLastVal = m_lastValue;

    m_resolver->consume();

    if( ( *rule )->parseInfix( *this, t.second, prec ) )
        return true;

    m_lastValue = savedLastVal;
    m_resolver->setPosition( savedPosition );
    return false;
}

optional< Value > Parser::popType()
{
    if( !m_lastValue )
        return nullopt;