Found from the new docs:

https://www.raspberrypi.org/documentation/hardware/raspberry...

"The Pi4B has a dedicated SD card socket which suports 1.8V, DDR50 mode (at a peak bandwidth of 50 Megabytes / sec). In addition, a legacy SDIO interface is available on the GPIO pins."