The procurement of the f-35's will most likely happen post 2025 when the j-31's are ready to be exported to pakistan.
I don't believe the Pakistanis have planned for anything until after 2030. Whatever Pak buys, it has to be way better than the Rafale F4. They can't guarantee that with J-31.