Follow-up to #13887, for promoted infix constructors