Removal of right-associative methods from the language

We’ve sort of forked the discussion here, so a lot more context in my last post on the other thread, but to be clear I don’t believe the proposal is to fully remove right-associativity from the language. But rather to remove what I referred to as “right-receptivity” (see link for details on that). But implied right-biased parenthetical grouping of chained operators would still be possible.

EDIT: oops… hit submit too early

So this would go away:

class Foo:
  def %:(b: Bar) = ???

val f: Foo = ???
val b: Bar = ???

b %: f

But this would stay:

val one = a :: b :: c :: d :: Nil
val two = a :: (b :: (c :: (d :: Nil)))

//one and two are constructed the same way