This code is ok:
echo concat(@[1,2], @[3,4])
But this code doesn't compile:
echo concat(@[@[1,2]], @[@[3,4]])
Test more, find this code works:
echo concat([@[@[1,2]], @[@[3,4]]])
Turn the arguments into array, then the varargs parameter works.