Support inference of generic parameters on paths behind reference's

We used a hack in the parser to turn simple cases such as &Foo(..) into:

  BorrowExpr
    CallExpr(
      IdentifierExpr + <Argument-expressions>))

The IdentifierExpr here is parsed as a PathExpression but to simplify
things at the time it seemed logic to see these as identifier expressions
but this is actually a Path and we need to be careful about generic
arguments here. Identifiers are simply identifiers and must not be changed
or coherence of inference variables will become a jumble of inference
variables trying to infer one another inside purely generic code.

This patch leaves the PathInExpressions as Path's instead of trying to be
clever and turn them into identifiers.

Fixes #1165

0 files changed, 0 insertions, 0 deletions