Hello! Choose a non-cropped image. In the lens correction panel click “Manual”. Now put e.g. the vertical correction to -50 (just to illustrate the problem). Activate
“Constrain crop” in order to exclude the grey corners.
Now select the Crop Overlay tool. In the top, you see enough space where the crop could be shifted to. Try it. It won’t work (- unless you disactivate “Constrain crop” again). Yet, to my mind, an activated “Constrain crop” function should allow to move the crop freely within the new (= lens corrected) borders.