Commit 2026-01-21 16:04 3e48f104

feat(reassoc): tag the generated declaration with to_dual none (#33833) This PR adds the feature to @[reassoc] that it tags the generated declaration with to_dual none whenever the original declaration has been tagged with to_dual. In practice, this means that when mixing uses of to_dual and reassoc, the to_dual should come before the reassoc, or as to_dual (attr := reassoc). In the rare case that the original expression is not tagged with to_dual because it is entirely self dual, we can use @[reassoc +dual]. This feature is show to work in #34008 In this PR, addRelatedDecl is refactored so that the translated name needs to be supplied, instead of just a pre and postfix. This extra flexibility may come in handy later.