Slava Pestov fd2dd9f8a4 Sema: Fix OperatorArgumentConversion with LHS of InOutType ...

We don't require or allow '&' for the mutable parameters in
operator calls, since we want to write 'x += 10' and not
'&x += 10'.

The constraint sovler accepted '&x += 10' though, and we had
a separate pass in MiscDiagnostics for rejecting it.

Instead, let's just reject this in the solver.

The main difficulty is that we must now be prepared to fail
certain OperatorArgumentConversion and ApplicableFunction
constraints even when both the LHS and RHS types are equal.

2019-05-07 23:10:48 -04:00

264 KiB

Raw Blame History

View Raw