Method auto-(de)ref (and lack of it) in RFC 132 ufcs

quinedot:

Taking these together, do you mean:

That is an accurate description of the potential changes. As you note, together they produce an undesirable result. But to be clear, while I do claim I could support either change, I'm undecided on whether I think they're worth making. They each imply an incompatible statement about how the ownership semantics work, so both will break someone's mental model.