Closed edemaine closed 2 weeks ago
Follow up to #1574
Placeholders followed by binary operators seem to already be correctly handled (because they're not valid expressions)
Turns out I was wrong about this. Custom binary operators are at least one example.
Follow up to #1574
Turns out I was wrong about this. Custom binary operators are at least one example.