Jake Gyllenhaal, who plays Mysterio in Spider-Man: Far from Home, was reportedly on the shortlist for the lead in Doctor Strange.