Any phone that has sub 200ms focus times has to have some sort of TOF sensor, right? The Asus Zenfone 2/3 laser, the Huawei monochrome sensor on the honor series, the portrait and/or macro sensors on the Xiaomi mi note 10, whatever the original Zenfone had, and so on.

Not all of them are lasers, which might be important.