Skip to content
Find file Blame History Permalink
  • Jakob Brünker's avatar
    Add PromotedInfixT/PromotedUInfixT to TH · 8d1f30e7
    Jakob Brünker authored and Marge Bot's avatar Marge Bot committed 
    Previously, it was not possible to refer to a data constructor using
InfixT with a dynamically bound name (i.e. a name with NameFlavour
`NameS` or `NameQ`) if a type constructor of the same
name exists.

This commit adds promoted counterparts to InfixT and UInfixT,
analogously to how PromotedT is the promoted counterpart to ConT.

Closes #20773
    8d1f30e7
To find the state of this project's repository at the time of any of these versions, check out the tags.