Harry's not wearing a tux, that's "white tie" -- the utmost in men's formal evening dress! For a tuxedo he'd have a black tie and no vest, with a short jacket. White tie goes with a long coat ("tails"), so it will look just fine with robes.

This is what I get for hanging out with professional musicians for so long :-)