Re: Tricky(?) aliasing question.

[Daniel Berlin]

It is possible that somebody else will disagree with me.

FWIW, our currently aliasing set implementation agrees with you on
both counts :)