One interesting thing is that the behaviour of sort does change depending on the prototype of the sub being called. If it had a prototype of $$ sort would pass $a and $b in as arguments, if it has any other prototype it sets the packages $a and $b instead. Hypothetically I think it could throw an error if the prototype of the sub was (@) as that would almost certainly be DWIM getting things wrong.