Commit 2025-12-19 19:29 9bd3c6af

feat(to_fun): generate doc-strings (#32915) This PR improves the @[to_fun] attribute by letting it generate a doc-string for the new declaration. The doc-string consists of two parts:

• "Eta-expanded form of foo"
• doc-string of foo This is analogous to how alias has two parts of the doc-string. As a side-effect, reassoc and friends now also copy over the doc-string if it exists. For those, I have not added a doc-string prefix, but this can be done if desired.