Commits
Xi Ge committed 60be59953a0
ModulePrinting: Add the basic infrastructure to remove inapplicable synthesized extensions. As the initial step, we remove any synthesized extensions requiring a tuple's conforming to nominals, which never happens. This will remove multiple useless synthesized extensions for Dictionary.