Mark promoted InfixT names as IsPromoted (#17394)
We applied a similar fix for ConT
in #15572 (closed) but forgot to apply the
fix to InfixT
as well. This patch fixes #17394 (closed) by doing just that.
We applied a similar fix for ConT
in #15572 (closed) but forgot to apply the
fix to InfixT
as well. This patch fixes #17394 (closed) by doing just that.