Now that Avengers: Doomsday has been delayed to December 2026, I think it's more likely that Tom Holland's Spider-Man will appear in the film. Holland has a packed 2025, needing to balance filming Christopher Nolan's The Odyssey and Spider-Man: Brand New Day. The latter's schedule might have made it difficult for the actor to be available for Avengers: Doomsday. However, with the MCU's next Avengers movie pushed, I think Marvel has enough time to work out any scheduling issues with the Spider-Man film and get Holland into the movie, even if that happens in a reshoot period.