IIRC the for-comprehensions are expanded before the typer runs, so I’m curious how this will interact with the restrictions imposed on the call sites by the @infix annotation.
If the call-site has to conform to the library author’s preference for infix vs dot notation, how will the desugaring know which variant to use?
It doesn’t look like scastie supports this restriction yet, so I can’t test this directly.