Lin-Manuel Miranda, among others, composed the music for the animated film and he talked about working with "The Rock."
