Preserve comments when downleveling arrow expression bodies

[Copilot]

Fixes #4722

Analysis

Downleveling optional chains can introduce temporary variable declarations into an arrow function with an expression body. VisitFunctionBody then rewrites the expression body into a block containing those declarations and a synthesized return.

The synthesized return previously had no source range. Leading comments were therefore emitted with the returned expression, after the return keyword:

return
// comment
expression;

The newline triggers ASI, so the function returns undefined without evaluating the expression.

Fix

Apply the original expression range to both the synthesized return and block, matching Strada's convertToFunctionBlock. Suppress comment emission on the rewritten expression so comments are owned by the enclosing synthesized statement instead of being emitted after return.

The compiler regression covers:

• the original nested optional-chain report
• the reported single optional-chain variant
• same-line and multiline block comments
• an inline block comment followed by a leading line comment

The first commit contains the test and known-bad baselines. The second contains the implementation and corrected JavaScript baseline. Inline comments retain Strada's existing duplicated emit behavior.

Copilot Checklist

I successfully ran these commands at the end of my session, and they completed without error:

• npx hereby build
• npx hereby test
• npx hereby lint
• npx hereby format

[Copilot]

Pull request overview

Preserves leading comments when arrow expression bodies are downleveled into blocks, preventing ASI from skipping returned expressions.

Changes:

• Copies the expression source range to synthesized return statements.
• Adds compiler regression coverage and baselines.

Reviewed changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
internal/printer/emitcontext.go	Preserves the expression range on synthesized returns.
testdata/tests/cases/compiler/optionalChainingArrowFunctionCommentEs2018.ts	Adds the regression case.
testdata/baselines/reference/compiler/optionalChainingArrowFunctionCommentEs2018.js	Verifies correct comment placement in emitted JavaScript.
testdata/baselines/reference/compiler/optionalChainingArrowFunctionCommentEs2018.types	Records type output.
testdata/baselines/reference/compiler/optionalChainingArrowFunctionCommentEs2018.symbols	Records symbol output.

[Jake Bailey (jakebailey)]

Copilot

also consider this test case from #4722 (comment)

// m.ts
declare const o: { a?: number[] };

export const f = () =>
  // comment
  o.a?.length;

[Copilot]

Pull request overview

Copilot reviewed 5 out of 5 changed files in this pull request and generated no new comments.

[Copilot]

Pull request overview

Copilot reviewed 5 out of 5 changed files in this pull request and generated no new comments.