What's the purpose of array size inside subroutine arguments?

You can check the dimensions of assumed-shape arrays concisely with FINDLOC, as I showed.