That would probably require a new specifier, as βrecl=β is well defined by the Standard both for direct (actual record length, always user-specified at open) and sequential (maximal possible record length) files. F2023 Draft 12.10.2.27.
As the info about record lengths in sequential files is written in the files themselves, the new specifier should allow to operate on unconnected files (by-file-name inquire) also.
The required information is not just associated with the file, but, at least for sequential files, it changes record by record. I would imagine it would be implemented within the read statement, not with the inquire statement, for this reason.
My suggestion above to extend the language to read an arbitrary-length allocatable array could be used for both purposes. If the allocatable array and the optional record_length argument are both present, then the length could be returned and the array could be filled with the data in the same operation. If the array is not present, then just the record_length value would be returned, presumably to allow the programmer to make multiple allocations, or to allocate a multidimension array, or to use that value in other ways prior to the actual data read operation. If only the array is present, then that (presumably 1D) array would be allocated, or reallocated, as appropriate for the record length, and that length could then be determined from the returned array with size().