Mark promoted InfixT names as IsPromoted (#17394)

We applied a similar fix for `ConT` in #15572 but forgot to apply the
fix to `InfixT` as well. This patch fixes #17394 by doing just that.
21 jobs for master in 2 minutes and 16 seconds (queued for 1 second)
latest