Sometimes one wants to unpack values of two similar (or the same) types in a local scope and then variable names clash. A typical example is implementing an operator or some types, eg

function Base.==(x::MyAB, y::MyAB)
    x.a == y.a && x.b == y.b
end

Cf common-lisp:with-slots. I wonder if there is some syntax we could co-opt for this purpose.