Skip to content

fix(parser): preserve @__NO_SIDE_EFFECTS__ annotation with parenthesized expressions#17711

Merged
graphite-app[bot] merged 1 commit intomainfrom
c/01-06-fix_parser_preserve___no_side_effects___annotation_with_parenthesized_expressions
Jan 7, 2026
Merged

fix(parser): preserve @__NO_SIDE_EFFECTS__ annotation with parenthesized expressions#17711
graphite-app[bot] merged 1 commit intomainfrom
c/01-06-fix_parser_preserve___no_side_effects___annotation_with_parenthesized_expressions

Conversation

@camc314
Copy link
Contributor

@camc314 camc314 commented Jan 6, 2026

Fixes #17670

Two issues caused the annotation to be lost:

  1. LexerCheckpoint did not save/restore trivia flags, so lookahead operations would reset them
  2. parse_parenthesized_expression did not capture the annotation before bumping (

monitor oxc https://github.com/oxc-project/monitor-oxc/actions/runs/20745400998/job/59561563786

CI is not yet green, but the codegen diff looks a lot better

@github-actions github-actions bot added A-parser Area - Parser A-codegen Area - Code Generation C-bug Category - Bug labels Jan 6, 2026
Copy link
Contributor Author

camc314 commented Jan 6, 2026


How to use the Graphite Merge Queue

Add either label to this PR to merge it via the merge queue:

  • 0-merge - adds this PR to the back of the merge queue
  • hotfix - for urgent hot fixes, skip the queue and merge this PR next

You must have a Graphite account in order to use the merge queue. Sign up using this link.

An organization admin has enabled the Graphite Merge Queue in this repository.

Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue.

This stack of pull requests is managed by Graphite. Learn more about stacking.

@codspeed-hq
Copy link

codspeed-hq bot commented Jan 6, 2026

CodSpeed Performance Report

Merging #17711 will not alter performance

Comparing c/01-06-fix_parser_preserve___no_side_effects___annotation_with_parenthesized_expressions (3478800) with main (59a6228)

Summary

✅ 42 untouched
⏩ 3 skipped1

Footnotes

  1. 3 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports.

@camc314 camc314 assigned camc314 and Dunqing and unassigned camc314 Jan 6, 2026
@camc314
Copy link
Contributor Author

camc314 commented Jan 6, 2026

cc @sapphi-red you may want to take a look at this

@camc314 camc314 marked this pull request as ready for review January 6, 2026 14:49
Copilot AI review requested due to automatic review settings January 6, 2026 14:49
@camc314 camc314 force-pushed the c/01-06-fix_parser_preserve___no_side_effects___annotation_with_parenthesized_expressions branch from 3ba549a to 3478800 Compare January 6, 2026 14:49
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR fixes a bug where @__NO_SIDE_EFFECTS__ annotations were being lost when applied to parenthesized function expressions. The issue occurred in Vue's source code where functions were annotated and wrapped in parentheses like /* @__NO_SIDE_EFFECTS__ */ ((x) => x).

The fix addresses two root causes:

  • Lexer checkpoints now preserve trivia flags (has_pure_comment and has_no_side_effects_comment) across lookahead operations
  • parse_parenthesized_expression now captures the annotation flag before bumping the opening ( token and propagates it to nested arrow/function expressions

Reviewed changes

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

File Description
crates/oxc_parser/src/lexer/mod.rs Added has_pure_comment and has_no_side_effects_comment fields to LexerCheckpoint struct and updated checkpoint save/restore logic to preserve trivia annotation flags across lexer rewind operations
crates/oxc_parser/src/js/expression.rs Modified parse_parenthesized_expression to capture @__NO_SIDE_EFFECTS__ annotation before consuming the opening parenthesis and set the pure flag on nested arrow/function expressions
crates/oxc_codegen/tests/integration/snapshots/pure_comments.snap Added snapshot expectations for 4 test cases covering parenthesized arrow and function expressions with @__NO_SIDE_EFFECTS__ annotation
crates/oxc_codegen/tests/integration/comments.rs Added 4 test cases for @__NO_SIDE_EFFECTS__ annotation preservation with parenthesized expressions: multi-param arrow function, single-param arrow function, anonymous function expression, and named function expression

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@Dunqing Dunqing added the 0-merge Merge with Graphite Merge Queue label Jan 7, 2026
Copy link
Member

Dunqing commented Jan 7, 2026

Merge activity

…sized expressions (#17711)

Fixes #17670

Two issues caused the annotation to be lost:
1. LexerCheckpoint did not save/restore trivia flags, so lookahead operations would reset them
2. parse_parenthesized_expression did not capture the annotation before bumping `(`

monitor oxc https://github.com/oxc-project/monitor-oxc/actions/runs/20745400998/job/59561563786

CI is not yet green, but the codegen diff looks a lot better
@graphite-app graphite-app bot force-pushed the c/01-06-fix_parser_preserve___no_side_effects___annotation_with_parenthesized_expressions branch from 3478800 to ef7e014 Compare January 7, 2026 08:18
@graphite-app graphite-app bot merged commit ef7e014 into main Jan 7, 2026
21 checks passed
@graphite-app graphite-app bot deleted the c/01-06-fix_parser_preserve___no_side_effects___annotation_with_parenthesized_expressions branch January 7, 2026 08:24
@graphite-app graphite-app bot removed the 0-merge Merge with Graphite Merge Queue label Jan 7, 2026
Dunqing pushed a commit that referenced this pull request Jan 12, 2026
### 🚀 Features

- 10426af codegen: Print soft space between inline block comments on the
same line (#17799) (camc314)
- 2261e6e semantic: Improve error message to add `#` for private
identifiers (#17779) (Dunqing)

### 🐛 Bug Fixes

- 7422b7e parser/trivia: Correctly mark whether a block comment is on a
newline (#17754) (camc314)
- c32e8d5 codegen: Wrap `TSAsExpression` in parens when used with
in/instanceof operators (#17752) (camc314)
- 5755b2d semantic: Report duplicate private identifier for static and
instance elements (#17591) (camc314)
- 0600df3 isolated_declarations: Only print jsdoc comments (#17748)
(camc314)
- ef7e014 parser: Preserve `@__NO_SIDE_EFFECTS__` annotation with
parenthesized expressions (#17711) (camc314)
- 59a6228 parser: Detect TS1363 error for type-only imports with mixed
default and named/namespace bindings (#17712) (Copilot)

### ⚡ Performance

- 864f1fa semantic: Mark duplicate class element error reporting as cold
(#17746) (camc314)
- 3a452b8 semantic: Use smallvec for storing reference IDs (#17731)
(camchenry)
- d5979dc minifier: Do not allocate when checking to convert `const` to
`let` (#17730) (camchenry)
- 3f4429c parser: Do not re-allocate TS interface heritage (#17692)
(camchenry)

### 📚 Documentation

- 120a27c minifier: Add prettier-ignore for js-in-md part (#17687)
(leaysgur)

Co-authored-by: Boshen <1430279+Boshen@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-codegen Area - Code Generation A-parser Area - Parser C-bug Category - Bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Ecosystem CI failure: @__NO_SIDE_EFFECTS__ annotation lost with parenthesized expressions

4 participants