Bold: Halo Infinite should've been that title. That delay wasn't easy but probably the right thing to do. You can't just magically make a new game in a few months that can take its place. Besides, it's rare that launch lineups include top tier exclusives. Don't expect Miles Morales to be the best PS5 game in 7 years when all is said and done.
I wouldn't even put miles morales as a true ps5 game. Ive seen more impressive tech in tlou2. Wasn't halo infinite in development as an xbox one game? They were working on current gen hardware for the majority of it's development i heard.