Swap variables in PHP using destructuring

Swapping variables is a common task, teached and often implemented using a temporary variable like this:

function swap(&$left, &$right): void
{
    $tmp = $left;
    $left = $right;
    $right = $tmp;
}

But there is a shorter way using destructuring (since php 7.1!):

function swap(&$left, &$right): void
{
    [$left, $right] = [$right, $left];
}

Maybe the code looks a bit strange and I haven't analysed it for performance issues, but it helps to understand destructuring.

Btw., that's not a php-only feature, feel free to test it e.g. in javascript.