PathPattern vs IdentifierPattern

[MemPage]

How to differ between IdentifierPattern and PathPattern when they can be just IDENTIFIER?

Pattern can be either IdentifierPattern or PathPattern.

Rules applied:

Pattern: IdentifierPattern
Pattern->IdentifierPattern

IdentifierPattern: ref? mut? IDENTIFIER (@ Pattern ) ?
IdentifierPattern->IDENTIFIER

And for the PathPattern

PathPattern: PathInExpression
PathPattern->PathInExpression

PathInExpression: ::? PathExprSegment (:: PathExprSegment)*
PathInExpression->PathExprSegment

PathExprSegment:PathIdentSegment (:: GenericArgs)?
PathExprSegment->PathIdentSegment

PathIdentSegment:IDENTIFIER
PathIdentSegment->IDENTIFIER

Not sure if there is a BIGGER rule to solve this out, or just we don't care at the parsing stage, but how to decide is this IDENTIFIER a IdentifierPattern or PathPattern?

[ehuss]

I don't think you can disambiguate with pure parsing (see PatKind), it has to be done with name resolution. I think this particular disambiguation is done here, though I am not very familiar with rustc.