I didn't think anyone wanted him to play Miles Morales, the push was to cast him as Peter Parker. Then there was a separate push to have Miles be the Spider-man of the post-Garfield reboot. Both ideas I'm in favour of, but combining them (given Donald Glover's age) would be a weird way to go.