Commit 2025-12-03 00:23 5b317535

feat(translate): define the do_translate attribute (#32229) This PR defines to_additive_do_translate/to_dual_do_translate, the counterpart of to_additive_dont_translate/to_dual_dont_translate. Previously, we used to_additive self/to_dual self instead of to_additive_do_translate/to_dual_do_translate, but this was a hack.