Then you may want to change the example in Pre-RFC: Cascadable method call - #9 by 160R because it clearly shows calling bar and qux, which take self on a &mut X.
Is there a need to distinguish this case? Can't you just make it so that it's always propagated? I feel like this would simplify a bunch of the desugaring rules.