The Amazing Spider-Man actor was surrounded by musical theatre stars such as Vanessa Hudgens Robin de Jesus, and Joshua Henry in Lin-Manuel Miranda's feature directorial debut.