60fa13878c
release(crates): oxc v0.149.0 ( #26397 )
...
### 💥 BREAKING CHANGES
- 66744f0#26382 ) (overlookmotel)
- 2c9a947#26352 ) (overlookmotel)
### 🚀 Features
- 32bdc5b#26372 ) (Dunqing)
- a17de58#26214 ) (Armano)
- bfb4c57#26120 ) (碳苯 Carbon)
- 1d9b9d3#26145 ) (camc314)
### 🐛 Bug Fixes
- b156333#26392 ) (camc314)
- 116c8b8#26308 ) (Changsu Seong)
- 1400a0f#26389 ) (camc314)
- 2da73b7#26386 ) (camc314)
- 0a81d29#26383 ) (camc314)
- 9a02337#26379 ) (camc314)
- 3d95477#26326 ) (Dunqing)
- f45a9ee#26317 ) (Dunqing)
- 789969f#26227 ) (Dunqing)
- affeb14#26118 ) (碳苯 Carbon)
- 8b35abd#26361 ) (camc314)
- 457ed57#26359 ) (camc314)
- 4b89c7b#26357 ) (camc314)
- c966aca#26328 ) (overlookmotel)
- f07dca5#26173 ) (Bharadwaj Pendyala)
- 3ab9bd1#26230 ) (overlookmotel)
- 07851b9#26229 ) (overlookmotel)
- 00dea7a#26248 ) (camc314)
- 853ffab#26244 ) (camc314)
- 34feccb#26243 ) (camc314)
### ⚡ Performance
- 34a242e#26334 ) (sapphi-red)
- 5303f5c#26264 ) (Armano)
- 2ca7d29#26258 ) (Armano)
- d2354b4#26333 ) (sapphi-red)
- 5b3e335#26332 ) (sapphi-red)
- 51366fb#26331 ) (sapphi-red)
- d19c42a#26351 ) (Armano)
- 356def6#26356 ) (overlookmotel)
- a5be474#26355 ) (overlookmotel)
- 9780663#26354 ) (overlookmotel)
- 766e12f#26350 ) (overlookmotel)
### 📚 Documentation
- d4b4e61#26378 ) (Dunqing)
- 67dd054#26285 ) (overlookmotel)
- a8ed2a7#26251 ) (camc314)
2026-09-07 14:29:34 +00:00
2c9a947363
feat(parser)!: reduce MAX_LEN to 256 bytes below u32::MAX ( #26352 )
...
Technically a breaking change, but one that's extremely unlikely to affect any real-world applications.
On 64-bit systems, the maximum source text length was exactly `u32::MAX`.
Lower it by 256 bytes, for 2 reasons:
1. `oxc_lexer` will require source text to be followed by 64 bytes of padding. Reducing max source length ensures _padded_ length can always fit in a `u32`.
2. Counts of tokens, comments and errors are all bounded by source length plus a small constant. By reducing max source length, these can all be stored as `u32`s without any possibility of overflow.
`oxc_lexer` only needs 64 bytes of padding. Have gone with 256 to leave headroom in case later redesigns require more than 64. This avoids another breaking change later. We can always switch to 64 later on if we want, and this later relaxation would not be a breaking change.
All the changes to other crates in this PR are just updating comments which talk about max source length.
2026-09-05 15:33:52 +00:00
894c8f9cd8
release(crates): oxc v0.148.0 ( #26198 )
...
### 💥 BREAKING CHANGES
- a31567a#26081 ) (overlookmotel)
### 🚀 Features
- 784e9fa#26050 ) (Armano)
- 1e902cc#26142 ) (Armano)
- 3ed4f6a#25930 ) (Armano)
- 5672585#25944 ) (camc314)
### 🐛 Bug Fixes
- 4adfb4c#26157 ) (camc314)
- b874f48#26150 ) (camc314)
- a625378#26149 ) (camc314)
- dc7398b#26148 ) (camc314)
- 243b685#26147 ) (camc314)
- dc09a3a#26146 ) (camc314)
- e412cf2#26144 ) (camc314)
- c3dedc9#26099 ) (Dunqing)
- e74de61#26128 ) (Boshen)
- d5163d0#26084 ) (camc314)
- 8531b9b#26077 ) (overlookmotel)
- 9b51658#26070 ) (leaysgur)
- c8de4df#26055 ) (camc314)
### ⚡ Performance
- ac4785a#26130 ) (Boshen)
- 07a0793#26109 ) (overlookmotel)
- 487427a#26108 ) (overlookmotel)
- 7785583#26107 ) (overlookmotel)
- 0dd4db3#26085 ) (overlookmotel)
2026-09-01 08:15:07 +00:00
4e258430cd
release(crates): oxc v0.147.0 ( #26046 )
...
### 🚀 Features
- b6e9e5e#25403 ) (Armano)
### 🐛 Bug Fixes
- 8a9bdbd#26021 ) (camc314)
- 6f0c7cf#25638 ) (sapphi-red)
- 2cde1f6#25998 ) (Boshen)
- 6c5ad1b#25958 ) (overlookmotel)
- 2dad1e0#25947 ) (camc314)
- 58ba651#25637 ) (sapphi-red)
- a185ac3#25938 ) (overlookmotel)
- af82a07#25645 ) (Kotaro Chikuba)
### ⚡ Performance
- 53f6270#25979 ) (overlookmotel)
- 5b43c60#25978 ) (overlookmotel)
- cc947b5#25977 ) (overlookmotel)
- c22a9cc#25976 ) (overlookmotel)
- 215a6a5#25975 ) (overlookmotel)
- fe444cc#25598 ) (camc314)
- a0aee81#25964 ) (Armano)
- 1004439#25972 ) (overlookmotel)
- 94c8a34#25971 ) (overlookmotel)
- 7e2b4b3#25968 ) (overlookmotel)
- f09c8ab#25931 ) (Armano)
- 53ff080#25888 ) (overlookmotel)
### 📚 Documentation
- 07de646#25966 ) (overlookmotel)
- 3b09c04#25959 ) (overlookmotel)
2026-08-24 11:19:12 +00:00
0389c4010e
release(crates): oxc v0.146.0 ( #25912 )
...
### 🚀 Features
- 83cb516#25755 ) (Armano)
### 🐛 Bug Fixes
- 134fb22#25909 ) (Dunqing)
- 526c2b3#25889 ) (camc314)
- 344a9b2#25872 ) (camc314)
### ⚡ Performance
- 5ef0c93#25891 ) (Armano)
- 8783524#25886 ) (overlookmotel)
- b6b14c0#25885 ) (overlookmotel)
- be6adf0#25884 ) (overlookmotel)
- f720f15#25883 ) (overlookmotel)
- a734af5#25882 ) (overlookmotel)
- c6e44c6#25881 ) (overlookmotel)
- 8801662#25880 ) (overlookmotel)
### 📚 Documentation
- 5ad330e#25876 ) (overlookmotel)
2026-08-19 08:29:51 +00:00
4a4a1fb2e7
release(crates): oxc v0.145.0 ( #25865 )
...
### 💥 BREAKING CHANGES
- 365274e#25720 ) (overlookmotel)
### 🚀 Features
- 6a7eb60#25854 ) (overlookmotel)
- 300763f#25585 )
(camc314)
- a169e4a#24741 )
(Dunqing)
- 2f5cdb1#24740 ) (Dunqing)
- 4922141#25601 ) (camc314)
- 1c4f519#25503 ) (Boshen)
- a4478e9#25488 ) (overlookmotel)
### 🐛 Bug Fixes
- 0fbcf64#25860 ) (camc314)
- 345f981#25859 ) (Boshen)
- ab81f3f#25639 ) (Dunqing)
- 241c559#25827 )
(Dunqing)
- 4cc7ea4#25807 ) (camc314)
- 53f9295#25292 ) (camc314)
- 8ab883a#25766 ) (Dunqing)
- b13fd48#25497 ) (Dunqing)
- f6000ac#25644 ) (Kotaro Chikuba)
- b846abc#25655 ) (camc314)
- dec0a86#25702 ) (Boshen)
- fca2e0c#25700 ) (Boshen)
- ae9be8f#25696 )
(Boshen)
- c5f188a#25676 )
(Boshen)
- db44651#25640 )
(leaysgur)
- ce35d47#25592 )
(Boshen)
- 059784d#25604 ) (camc314)
- bb5a232#25584 ) (sapphi-red)
- f49229d#25596 ) (Kotaro Chikuba)
- e82495b#25595 ) (Kotaro Chikuba)
- 509931b#25608 )
(camc314)
- 80484ce#25606 ) (camc314)
- c1369a7#25588 )
(camc314)
- c002f29#25586 )
(camc314)
- 0c68b7f#25582 )
(camc314)
- cdf1846#25576 )
(Boshen)
- e75e102#25162 ) (Armano)
- 771d79a#25539 ) (sapphi-red)
- 76b19f5#25532 )
(Dunqing)
- 59e8895#25550 ) (camc314)
- 88b34f2#25551 ) (camc314)
- 23a7ad0#25542 ) (Boshen)
- 73acba9#25541 )
(Boshen)
- c3e99d1#25495 ) (Dunqing)
- b4e6a9e#25487 ) (overlookmotel)
- 5fcf683#25185 )
(Armano)
- 1645d93#25462 ) (Boshen)
- 8d7f9cf#25394 ) (Boshen)
### ⚡ Performance
- 568203e#25817 )
(Boshen)
- c84ede3#25826 )
(Boshen)
- 9a6e862 minifier: Move owned statements directly (#25835 ) (Dunqing)
- 61b2aef#25837 ) (Dunqing)
- 673b04b#25836 )
(Dunqing)
- 63ff8ef#25762 ) (Boshen)
- 621808e#25723 ) (Boshen)
- f62ed0e#25715 )
(Boshen)
- 7152834#25714 )
(Boshen)
- 10fc4b7#25711 )
(Boshen)
- 9c8abab#25710 ) (Boshen)
- 757f3d4#25605 )
(camc314)
- 5444cbf#25564 ) (camc314)
### 📚 Documentation
- 58f7ab9#25848 )
(overlookmotel)
- 627466e#25800 ) (Boshen)
- ce03ac1#25722 )
(overlookmotel)
- 386a699#25716 )
(overlookmotel)
- 31e571d#25599 ) (camc314)
- fd62354#25560 ) (camc314)
- ffa3153#25565 )
(camc314)
- c5d4063#25562 ) (camc314)
- 5703d7a#25561 ) (camc314)
Co-authored-by: Boshen <1430279+Boshen@users.noreply.github.com >
2026-08-18 22:26:40 +08:00
b6f1458dec
release(crates): oxc v0.144.0 ( #25474 )
...
### 💥 BREAKING CHANGES
- a33788e#25360 ) (camc314)
- 5c5cdcd#24360 ) (camc314)
- 6be314f#25319 ) (camc314)
- 44fd320#25284 ) (camc314)
### 🚀 Features
- 9a37c41#25326 ) (Boshen)
- b3c1b30#25338 ) (overlookmotel)
### 🐛 Bug Fixes
- bbd6ed3#25435 ) (overlookmotel)
- d07a293#25115 ) (camc314)
- 8b7d441#25113 ) (camc314)
- e0fb2d7#25406 ) (Armano)
- c49f4ce#25400 ) (camc314)
- 9d19ab3#25418 ) (Boshen)
- 937825c#25417 ) (Boshen)
- 12937b3#25385 ) (Cameron)
- 7d8a9b5#25393 ) (Boshen)
- 9e93ba6#25384 ) (camc314)
- cc2e28d#25371 ) (camc314)
- 697c629#25349 ) (Armano)
- 4d723ca#25305 ) (camc314)
- 0c9b980#25285 ) (camc314)
- 2a1058a#25254 ) (camc314)
### ⚡ Performance
- dd1430b#25440 ) (camc314)
- e420816#25376 ) (camc314)
- 6529d1a#25318 ) (Armano)
### 📚 Documentation
- fe111eb#24922 ) (overlookmotel)
2026-08-10 09:57:10 +00:00
a33788e13e
feat(ast)!: group class heritage into ClassHeritage ( #25360 )
...
## Summary
- Groups `Class::super_class` and `Class::super_type_arguments` into `Class::heritage`.
- Introduces `ClassHeritage` containing the superclass expression and its optional TypeScript type arguments.
- Makes superclass type arguments without a superclass expression unrepresentable.
## Breaking Change
The Rust AST changes from:
```rust
pub struct Class<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
pub r#type: ClassType,
pub decorators: Vec<'a, Decorator<'a>>,
pub id: Option<BindingIdentifier<'a>>,
#[ts]
pub type_parameters: Option<Box<'a, TSTypeParameterDeclaration<'a>>>,
pub super_class: Option<Expression<'a>>,
#[ts]
pub super_type_arguments: Option<Box<'a, TSTypeParameterInstantiation<'a>>>,
#[ts]
pub implements: Vec<'a, TSClassImplements<'a>>,
pub body: Box<'a, ClassBody<'a>>,
#[ts]
pub r#abstract: bool,
#[ts]
pub declare: bool,
pub scope_id: Cell<Option<ScopeId>>,
}
```
to:
```rust
pub struct Class<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
pub r#type: ClassType,
pub decorators: Vec<'a, Decorator<'a>>,
pub id: Option<BindingIdentifier<'a>>,
#[ts]
pub type_parameters: Option<Box<'a, TSTypeParameterDeclaration<'a>>>,
pub heritage: Option<ClassHeritage<'a>>,
#[ts]
pub implements: Vec<'a, TSClassImplements<'a>>,
pub body: Box<'a, ClassBody<'a>>,
#[ts]
pub r#abstract: bool,
#[ts]
pub declare: bool,
pub scope_id: Cell<Option<ScopeId>>,
}
pub struct ClassHeritage<'a> {
pub expression: Expression<'a>,
#[ts]
pub type_arguments: Option<Box<'a, TSTypeParameterInstantiation<'a>>>,
}
```
## Why?
ECMAScript defines the complete `extends` clause as `ClassHeritage`:
```text
ClassHeritage : extends LeftHandSideExpression
```
TypeScript additionally permits type arguments on the heritage expression:
```ts
class Derived extends Base<T> {}
```
Previously, the AST stored the expression and type arguments independently:
```text
Class {
super_class: Some(Base),
super_type_arguments: Some(<T>),
...
}
```
This allowed an invalid state to be constructed:
```text
Class {
super_class: None,
super_type_arguments: Some(<T>),
...
}
```
Superclass type arguments cannot exist without an `extends` expression.
The parser already treated these fields as a pair. It parsed a class heritage entry and then split its expression and type arguments into two independent fields. Builders and transforms therefore had to preserve their relationship manually.
Grouping them into `ClassHeritage` makes the syntactic dependency explicit and prevents consumers from observing or constructing contradictory class heritage.
## Class heritage forms
A class without an `extends` clause has no heritage:
```js
class Base {}
```
```text
Class {
heritage: None,
...
}
```
A class extending an expression has heritage without type arguments:
```js
class Derived extends Base {}
```
```text
Class {
heritage: Some(ClassHeritage {
expression: Base,
type_arguments: None,
}),
...
}
```
TypeScript type arguments belong to the same heritage structure:
```ts
class Derived extends Base<T> {}
```
```text
Class {
heritage: Some(ClassHeritage {
expression: Base,
type_arguments: Some(<T>),
}),
...
}
```
The heritage expression may be any valid class heritage expression:
```js
class Derived extends mixin(Base) {}
class NullDerived extends null {}
```
## How to migrate
Code that previously accessed the superclass expression directly:
```rust
if let Some(super_class) = &class.super_class {
// ...
}
```
can use the compatibility accessor:
```rust
if let Some(super_class) = class.super_class() {
// ...
}
```
Code that needs both parts should access the grouped heritage:
```rust
if let Some(heritage) = &class.heritage {
let expression = &heritage.expression;
let type_arguments = heritage.type_arguments.as_deref();
}
```
Mutating consumers should update the nested fields:
```rust
if let Some(heritage) = &mut class.heritage {
heritage.type_arguments = None;
}
```
Common migrations:
| Previous representation | New representation |
| --- | --- |
| `class.super_class` | `class.heritage.as_ref().map(\|h\| &h.expression)` or `class.super_class()` |
| `class.super_type_arguments` | `class.heritage.as_ref()?.type_arguments` or `class.super_type_arguments()` |
| `class.super_class.is_some()` | `class.heritage.is_some()` |
| Mutate `class.super_class` | Mutate `class.heritage.expression` |
| Clear `class.super_type_arguments` | Clear `class.heritage.type_arguments` |
| Pass superclass and type arguments separately to a `Class` builder | Construct and pass `ClassHeritage` |
| Clone both fields independently | Clone `class.heritage` |
```ts
superClass: Expression | null;
superTypeArguments?: TSTypeParameterInstantiation | null;
```
No `heritage` property or `ClassHeritage` node is added to the ESTree output.
fixes https://github.com/oxc-project/backlog/issues/216
2026-08-07 14:18:59 +00:00
5c5cdcd522
feat(ast)!: narrow TSInterfaceHeritage::expression to TSTypeName ( #24360 )
...
## Summary
Narrow `TSInterfaceHeritage` from a general JavaScript `Expression` to `TSTypeName`.
```rust
pub struct TSInterfaceHeritage<'a> {
pub type_name: TSTypeName<'a>,
pub type_arguments: Option<Box<'a, TSTypeParameterInstantiation<'a>>>,
}
```
## Breaking Change
The Rust AST field changes from:
```rust
expression: Expression<'a>
```
to:
```rust
type_name: TSTypeName<'a>
```
## Why?
The current AST can represent shapes such as:
```ts
interface A extends foo() {}
interface A extends A + B {}
interface A extends new Foo() {}
interface A extends true {}
```
Which is an overly wide type since all of the above variants are invalid.
This PR tightens up the AST, making these invalid variants irrepresentable.
## How to migrate?
This should be a trivial migration:
1. instead of accessing `expression` on `TSInterfaceHeritage`, now access `type_name`
2. change any pattern matching on the `type_name` field to use `TypeName` (this is a smaller subset so should allow deleting code!)
closes https://github.com/oxc-project/backlog/issues/215
2026-08-07 06:00:42 +00:00
6be314f226
feat(ast)!: remove duplicated VariableDeclarator::kind ( #25319 )
...
## Summary
- Removes `VariableDeclarator::kind`.
- Makes `VariableDeclaration::kind` the single source of truth for every declarator in its declaration list.
- Makes contradictory parent and child declaration kinds unrepresentable.
## Breaking Change
The Rust AST changes from:
```rust
pub struct VariableDeclaration<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
pub kind: VariableDeclarationKind,
pub declarations: Vec<'a, VariableDeclarator<'a>>,
#[ts]
pub declare: bool,
}
pub struct VariableDeclarator<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
#[estree(skip)]
pub kind: VariableDeclarationKind,
#[estree(via = VariableDeclaratorId)]
pub id: BindingPattern<'a>,
#[ts]
#[estree(skip)]
pub type_annotation: Option<Box<'a, TSTypeAnnotation<'a>>>,
pub init: Option<Expression<'a>>,
#[ts]
pub definite: bool,
}
```
to:
```rust
pub struct VariableDeclaration<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
pub kind: VariableDeclarationKind,
pub declarations: Vec<'a, VariableDeclarator<'a>>,
#[ts]
pub declare: bool,
}
pub struct VariableDeclarator<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
#[estree(via = VariableDeclaratorId)]
pub id: BindingPattern<'a>,
#[ts]
#[estree(skip)]
pub type_annotation: Option<Box<'a, TSTypeAnnotation<'a>>>,
pub init: Option<Expression<'a>>,
#[ts]
pub definite: bool,
}
```
## Why?
A variable declaration has one declaration kind shared by every declarator in its declaration list:
```js
const first = 1, second = 2;
```
Previously, the AST stored that kind on both the parent declaration and every child declarator:
```text
VariableDeclaration {
kind: Const,
declarations: [
VariableDeclarator { kind: Const, ... },
VariableDeclarator { kind: Const, ... },
],
}
```
This allowed contradictory ASTs to be constructed:
```text
VariableDeclaration {
kind: Const,
declarations: [
VariableDeclarator { kind: Var, ... },
],
}
```
Different consumers read different copies:
- Code generation used `VariableDeclaration::kind`.
- Semantic binding used `VariableDeclarator::kind`.
- Lint rules, transforms, and minifier passes used a mixture of both.
As a result, one AST could be emitted as `const` while its binding was treated as function-scoped `var`.
Transforms also had to keep the copies synchronized manually. For example, const-to-let normalization updated the parent and then looped through every declarator to update each child. Explicit resource management performed similar paired mutations for `using` declarations.
Keeping the kind only on `VariableDeclaration` removes this synchronization requirement and prevents consumers from observing conflicting declaration semantics.
## Declaration forms
The declaration kind now belongs exclusively to the node that owns the declaration list:
```js
let value;
```
```text
VariableDeclaration {
kind: Let,
declarations: [
VariableDeclarator { id: value, ... },
],
}
```
Multiple declarators share the same parent kind:
```js
const first = 1, second = 2;
```
```text
VariableDeclaration {
kind: Const,
declarations: [
VariableDeclarator { id: first, ... },
VariableDeclarator { id: second, ... },
],
}
```
## How to migrate
Code that previously read the kind from a declarator:
```rust
if declarator.kind.is_const() {
// ...
}
```
should now read it from the containing declaration:
```rust
if declaration.kind.is_const() {
// ...
}
```
Consumers operating through an AST node store should retrieve the parent `VariableDeclaration`:
```rust
let AstKind::VariableDeclaration(declaration) =
nodes.parent_kind(declarator.node_id())
else {
unreachable!();
};
let kind = declaration.kind;
```
Common migrations:
| Previous representation | New representation |
| --- | --- |
| `declarator.kind` | Containing `declaration.kind` |
| Match `VariableDeclarator::kind` during semantic binding | Read the parent `VariableDeclaration` from ancestry |
| Pass `kind` to `VariableDeclarator::new` | Remove the `kind` argument |
| Update parent and every child kind | Update only `VariableDeclaration::kind` |
| Recover kind after detaching a declarator | Capture or pass the parent kind before detaching it |
| Inspect a symbol’s declarator kind in lint rules | Resolve its parent declaration through the node store |
When constructing declarators, use the generated kindless `VariableDeclarator` builders and place them inside a `VariableDeclaration` carrying the required kind.
fixes https://github.com/oxc-project/backlog/issues/237
2026-08-05 16:31:46 +00:00
44fd320324
feat(ast)!: split TS external modules & Namespace Declarations ( #25284 )
...
## Summary
- Splits `TSModuleDeclaration` into two dedicated declaration nodes:
- `TSExternalModuleDeclaration` for string-literal modules and module augmentations.
- `TSNamespaceDeclaration` for identifier-based `module` and `namespace` declarations.
- Removes `TSModuleDeclaration`, `TSModuleDeclarationName`, `TSModuleDeclarationBody`, and `TSModuleDeclarationKind`.
- Makes invalid combinations of names, bodies, and declaration kinds unrepresentable.
- Ensures only namespace declarations introduce a normal binding.
- Updates all AST consumers, generators, traversal, formatting, code generation, semantic analysis, lint rules, transforms, and serialization.
- Keeps normal and eager-raw ESTree output compatible: both declarations remain `TSModuleDeclaration` nodes.
- Allows experimental lazy raw deserialization to expose the two new node types directly.
## Breaking Change
The Rust AST changes from:
```rust
pub enum Declaration<'a> {
VariableDeclaration(Box<'a, VariableDeclaration<'a>>) = 32,
FunctionDeclaration(Box<'a, Function<'a>>) = 33,
ClassDeclaration(Box<'a, Class<'a>>) = 34,
TSTypeAliasDeclaration(Box<'a, TSTypeAliasDeclaration<'a>>) = 35,
TSInterfaceDeclaration(Box<'a, TSInterfaceDeclaration<'a>>) = 36,
TSEnumDeclaration(Box<'a, TSEnumDeclaration<'a>>) = 37,
TSModuleDeclaration(Box<'a, TSModuleDeclaration<'a>>) = 38,
TSGlobalDeclaration(Box<'a, TSGlobalDeclaration<'a>>) = 39,
TSImportEqualsDeclaration(Box<'a, TSImportEqualsDeclaration<'a>>) = 40,
}
pub struct TSModuleDeclaration<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
pub id: TSModuleDeclarationName<'a>,
pub body: Option<TSModuleDeclarationBody<'a>>,
pub kind: TSModuleDeclarationKind,
pub declare: bool,
pub scope_id: Cell<Option<ScopeId>>,
}
```
to:
```rust
pub enum Declaration<'a> {
VariableDeclaration(Box<'a, VariableDeclaration<'a>>) = 32,
FunctionDeclaration(Box<'a, Function<'a>>) = 33,
ClassDeclaration(Box<'a, Class<'a>>) = 34,
TSTypeAliasDeclaration(Box<'a, TSTypeAliasDeclaration<'a>>) = 35,
TSInterfaceDeclaration(Box<'a, TSInterfaceDeclaration<'a>>) = 36,
TSEnumDeclaration(Box<'a, TSEnumDeclaration<'a>>) = 37,
TSExternalModuleDeclaration(Box<'a, TSExternalModuleDeclaration<'a>>) = 38,
TSNamespaceDeclaration(Box<'a, TSNamespaceDeclaration<'a>>) = 39,
TSGlobalDeclaration(Box<'a, TSGlobalDeclaration<'a>>) = 40,
TSImportEqualsDeclaration(Box<'a, TSImportEqualsDeclaration<'a>>) = 41,
}
pub struct TSExternalModuleDeclaration<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
pub id: StringLiteral<'a>,
pub body: Option<Box<'a, TSModuleBlock<'a>>>,
pub declare: bool,
pub scope_id: Cell<Option<ScopeId>>,
}
pub struct TSNamespaceDeclaration<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
pub id: BindingIdentifier<'a>,
pub body: TSNamespaceDeclarationBody<'a>,
pub kind: TSNamespaceDeclarationKind,
pub declare: bool,
pub scope_id: Cell<Option<ScopeId>>,
}
pub enum TSNamespaceDeclarationBody<'a> {
TSNamespaceDeclaration(Box<'a, TSNamespaceDeclaration<'a>>) = 0,
TSModuleBlock(Box<'a, TSModuleBlock<'a>>) = 1,
}
pub enum TSNamespaceDeclarationKind {
Module = 0,
Namespace = 1,
}
```
The corresponding inherited `Statement` variants, `AstKind` variants, builders, and visitor methods have also changed.
## Why?
`TSModuleDeclaration` previously represented two declaration families with different syntax and semantics:
```ts
declare module "foo" {}
declare module "*.css";
module Foo {}
namespace Foo {}
namespace Foo.Bar {}
```
The shared representation allowed invalid states such as:
- A namespace with a string-literal name.
- An external module with an identifier name.
- An identifier namespace without a body.
- A dotted external module.
- An external module containing another module declaration as its body.
- A declaration whose `kind` disagreed with its name.
Consumers also had to inspect `id` before determining whether the node introduced a binding or represented an external module.
The two declaration families have stronger independent invariants:
### External modules
- Always have a string-literal name.
- Never introduce a normal binding identifier.
- May omit their body.
- Cannot use dotted names.
- Use module-body import and export rules.
### Namespace declarations
- Always have a binding identifier.
- Always have a body.
- May contain nested namespace declarations for dotted names.
- Explicitly preserve the `module` or `namespace` spelling.
- Introduce a namespace/module symbol.
- Use namespace-body restrictions.
Dedicated nodes encode these differences directly.
## Declaration forms
External modules use `TSExternalModuleDeclaration`:
```ts
declare module "foo" {}
declare module "*.css";
module "foo" {}
```
Identifier-based declarations use `TSNamespaceDeclaration`:
```ts
module Foo {}
namespace Foo {}
```
Dotted namespaces are represented as nested namespace declarations:
```ts
namespace Foo.Bar {}
```
```rust
TSNamespaceDeclaration {
id: Foo,
body: TSNamespaceDeclarationBody::TSNamespaceDeclaration(
TSNamespaceDeclaration {
id: Bar,
body: TSNamespaceDeclarationBody::TSModuleBlock(...),
// ...
}
),
// ...
}
```
Only `TSExternalModuleDeclaration::body` is optional.
## ESTree compatibility
Normal serialization and eager raw deserialization continue to emit the existing ESTree shape:
```ts
interface TSModuleDeclaration {
type: "TSModuleDeclaration";
id: BindingIdentifier | StringLiteral | TSQualifiedName;
body: TSModuleBlock | null;
kind: "module" | "namespace";
declare: boolean;
global: false;
}
```
Dotted namespaces continue to serialize as a single `TSModuleDeclaration` with a `TSQualifiedName`.
Experimental lazy raw deserialization is not compatibility-preserving. It now exposes `TSExternalModuleDeclaration` and `TSNamespaceDeclaration` directly, with separate constructors, layouts, and visitor type IDs.
## How to migrate
Code that previously matched all forms through one variant:
```rust
if let Declaration::TSModuleDeclaration(declaration) = declaration {
// ...
}
```
should now match the required declaration family:
```rust
match declaration {
Declaration::TSExternalModuleDeclaration(declaration) => {
// String-literal external module
}
Declaration::TSNamespaceDeclaration(declaration) => {
// Identifier-based module or namespace
}
_ => {}
}
```
The same applies to `Statement` and `AstKind`:
```rust
Statement::TSExternalModuleDeclaration(declaration)
Statement::TSNamespaceDeclaration(declaration)
AstKind::TSExternalModuleDeclaration(declaration)
AstKind::TSNamespaceDeclaration(declaration)
```
Common field migrations:
| Previous representation | New representation |
| --- | --- |
| `TSModuleDeclarationName::StringLiteral(id)` | `TSExternalModuleDeclaration::id` |
| `TSModuleDeclarationName::Identifier(id)` | `TSNamespaceDeclaration::id` |
| `body: None` | Only valid on `TSExternalModuleDeclaration` |
| `TSModuleDeclarationBody::TSModuleBlock` | External `body` or `TSNamespaceDeclarationBody::TSModuleBlock` |
| `TSModuleDeclarationBody::TSModuleDeclaration` | `TSNamespaceDeclarationBody::TSNamespaceDeclaration` |
| `TSModuleDeclarationKind::Module` | External module, or `TSNamespaceDeclarationKind::Module` |
| `TSModuleDeclarationKind::Namespace` | `TSNamespaceDeclarationKind::Namespace` |
| Inspect `id` to determine binding behavior | Match `TSNamespaceDeclaration` |
| `declaration.id()` for string modules | Now returns `None` |
| `visit_ts_module_declaration` | `visit_ts_external_module_declaration` or `visit_ts_namespace_declaration` |
When constructing nodes, use the generated `TSExternalModuleDeclaration` or `TSNamespaceDeclaration` builders rather than recreating the previous shared representation.
fixes https://github.com/oxc-project/backlog/issues/218
2026-08-05 14:37:35 +00:00
45a17c25d1
release(crates): oxc v0.143.0 ( #25250 )
...
### 💥 BREAKING CHANGES
- 4120da0#25186 ) (Connor Shea)
- f0a41c8#25236 ) (overlookmotel)
- 067da8c#25154 ) (camc314)
- a0c7788#25150 ) (camc314)
- 1bdedd1#25095 ) (camc314)
- c917f20#24987 ) (camc314)
- 7e1199c#25038 ) (overlookmotel)
### 🚀 Features
- 3c8312e#25242 ) (overlookmotel)
- cb5bc08#25147 ) (leaysgur)
- 8541e18#25088 ) (camc314)
- 5acdae2#25072 ) (camc314)
- 85d0f4d#24934 ) (Boshen)
- 70d6ece#25009 ) (Dunqing)
- 73fc747#24921 ) (Armano)
- 5eadfdb#24981 ) (Dunqing)
### 🐛 Bug Fixes
- 6c9ee14#25041 ) (Armano)
- 8a47ff3#25084 ) (Dunqing)
- 468b970#25090 ) (camc314)
- a70035d#25086 ) (camc314)
- 5d8ccf5#25066 ) (Boshen)
- d349e4a#25068 ) (Boshen)
- 0dc16ba#25067 ) (Boshen)
- e6734a5#25017 ) (Dunqing)
- 3a9d5a5#24941 ) (sapphi-red)
- 10ec276#25033 ) (overlookmotel)
- fbe8d31#24790 ) (Dunqing)
### ⚡ Performance
- fb402b0#25103 ) (Dunqing)
- 7251e52#25037 ) (overlookmotel)
- e07718f#25036 ) (overlookmotel)
- 9fb1e3e#25035 ) (overlookmotel)
- 8b80f8b#25034 ) (overlookmotel)
### 📚 Documentation
- 2ea0aa9#25173 ) (overlookmotel)
2026-08-03 11:07:37 +00:00
067da8c4e7
feat(ast)!: store single parameter in TSIndexSignature::parameter ( #25154 )
2026-07-31 20:35:37 +00:00
a0c7788f47
feat(ast)!: change TSIndexSignatureName::name to Ident ( #25150 )
...
## Summary
Use `Ident<'a>` for `TSIndexSignatureName::name` instead of `Str<'a>`.
## Breaking Change
The Rust AST changes from:
```rust
pub struct TSIndexSignatureName<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
#[estree(json_safe)]
pub name: Str<'a>,
pub type_annotation: Box<'a, TSTypeAnnotation<'a>>,
}
```
to:
```rust
pub struct TSIndexSignatureName<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
pub name: Ident<'a>,
pub type_annotation: Box<'a, TSTypeAnnotation<'a>>,
}
```
## Why?
Index-signature parameter names are identifiers, and the parser already produces an `Ident`. Storing the name as `Str` discarded its identifier-specific representation and precomputed hash.
`Ident` is also always JSON-safe, so the explicit `#[estree(json_safe)]` annotation is unnecessary. ESTree output remains unchanged.
## How to migrate
Use `Ident` wherever constructing or consuming `TSIndexSignatureName::name`.
| Previous representation | New representation |
| --- | --- |
| `name: Str<'a>` | `name: Ident<'a>` |
| Constructor input implementing `Into<Str<'a>>` | Input implementing `Into<Ident<'a>>` |
| Formatter/traversal accessors returning `Str` | Accessors returning `Ident` |
| Explicit JSON-safe serialization | Serialization through `Ident` |
| Generic string access | `name.as_str()` |
Related to oxc-project/backlog#232 .
2026-07-31 14:22:29 +00:00
1bdedd11ca
feat(ast)!: introduce ExportDeclaration, ExportFromDeclaration ( #25095 )
...
## Summary
Split the overloaded Rust `ExportNamedDeclaration` into syntax-specific AST nodes:
- `ExportDeclaration` for exported declarations
- `ExportNamedDeclaration` for local exports
- `ExportFromDeclaration` for re-exports
## Breaking Change
The Rust AST changes from:
```rust
pub struct ExportNamedDeclaration<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
pub declaration: Option<Declaration<'a>>,
pub specifiers: Vec<'a, ExportSpecifier<'a>>,
pub source: Option<StringLiteral<'a>>,
pub export_kind: ImportOrExportKind,
pub with_clause: Option<Box<'a, WithClause<'a>>>,
}
pub enum ModuleDeclaration<'a> {
// ...
ExportNamedDeclaration(Box<'a, ExportNamedDeclaration<'a>>),
// ...
}
```
to:
```rust
pub struct ExportDeclaration<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
pub declaration: Declaration<'a>,
}
pub struct ExportNamedDeclaration<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
pub specifiers: Vec<'a, ExportSpecifier<'a>>,
pub export_kind: ImportOrExportKind,
}
pub struct ExportFromDeclaration<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
pub specifiers: Vec<'a, ExportSpecifier<'a>>,
pub source: StringLiteral<'a>,
pub export_kind: ImportOrExportKind,
pub with_clause: Option<Box<'a, WithClause<'a>>>,
}
pub enum ModuleDeclaration<'a> {
// ...
ExportDeclaration(Box<'a, ExportDeclaration<'a>>),
ExportNamedDeclaration(Box<'a, ExportNamedDeclaration<'a>>),
ExportFromDeclaration(Box<'a, ExportFromDeclaration<'a>>),
// ...
}
```
## Why?
The previous node represented three distinct syntax forms through optional and mutually exclusive fields:
```text
export const value = 1; -> ExportDeclaration
export { value }; -> ExportNamedDeclaration
export { value } from "mod"; -> ExportFromDeclaration
```
This allowed invalid combinations such as declarations with specifiers or sources, and import attributes without a source. The new nodes make these states unrepresentable and remove repeated `declaration`/`source` branching from consumers.
## How to migrate
Match the syntax-specific `ModuleDeclaration`, `Statement`, or `AstKind` variant instead of inspecting optional fields. Generated builders, visitors, traversal ancestors, and formatter wrappers now expose corresponding APIs for all three nodes.
Common field migrations:
| Previous representation | New representation |
| --- | --- |
| `declaration: Some(declaration)` | `ExportDeclaration { declaration }` |
| `declaration.as_ref()` | `&export.declaration` |
| `source.is_none()` for local exports | Match `ExportNamedDeclaration` |
| `source: Some(source)` | `ExportFromDeclaration { source }` |
| `source.as_ref().unwrap()` | `&export.source` |
| `with_clause` | Only available on `ExportFromDeclaration` |
| Stored `export_kind` on exported declarations | `ExportDeclaration::export_kind()` |
| `ExportNamedDeclaration::boxed_plain_declaration(...)` | `ExportDeclaration::boxed(...)` |
| `ExportNamedDeclaration::boxed(..., None, specifiers, None, ...)` | `ExportNamedDeclaration::boxed(..., specifiers, ...)` |
| `ExportNamedDeclaration::boxed(..., None, specifiers, Some(source), ...)` | `ExportFromDeclaration::boxed(..., specifiers, source, ...)` |
closes https://github.com/oxc-project/backlog/issues/219
2026-07-31 10:25:47 +00:00
c917f204a7
feat(ast)!: introduce ArrowFunctionBody enum ( #24987 )
...
## Summary
- Introduces `ArrowFunctionBody` to represent concise expression and block bodies explicitly.
- Removes the `ArrowFunctionExpression::expression` boolean.
- Makes invalid arrow body combinations unrepresentable.
## Breaking Change
The Rust AST changes from:
```rust
pub struct ArrowFunctionExpression<'a> {
pub expression: bool,
pub body: Box<'a, FunctionBody<'a>>,
}
```
to:
```rust
pub enum ArrowFunctionBody<'a> {
FunctionBody(Box<'a, FunctionBody<'a>>) = 64,
INHERIT(Expression<'a>),
}
pub struct ArrowFunctionExpression<'a> {
pub body: ArrowFunctionBody<'a>,
}
```
Concise arrow bodies are now stored directly as expressions instead of synthetic `FunctionBody` and `ExpressionStatement` nodes. Block bodies continue to use `FunctionBody`.
## Why?
The previous representation required consumers to maintain this implicit invariant:
```text
expression == true
→ no directives
→ exactly one statement
→ that statement is an ExpressionStatement
```
Invalid combinations could cause panics, skipped work, or fallback behavior. The enum encodes the grammar directly and makes those invalid states unrepresentable.
Concise expressions also now have `ArrowFunctionExpression` as their direct traversal ancestor, without synthetic `FunctionBody` or `ExpressionStatement` nodes.
## How to migrate
Use the arrow body accessors or match on `ArrowFunctionBody` rather than inspecting `expression` and synthetic statements.
Common field migrations:
| Previous representation | New representation |
| --- | --- |
| `arrow.expression` | `arrow.is_expression()` |
| `arrow.get_expression()` | `arrow.get_expression()` |
| `&arrow.body.statements` | `arrow.get_function_body().map(\|body\| &body.statements)` |
| `&mut arrow.body.statements` | `arrow.get_function_body_mut().map(\|body\| &mut body.statements)` |
| Synthetic expression statement in `arrow.body` | Direct `ArrowFunctionBody` expression variant |
| `arrow.body = function_body` | `arrow.body = ArrowFunctionBody::FunctionBody(function_body)` |
| Expression-to-block conversion | Create a `FunctionBody` containing a return statement |
| Block-to-expression conversion | Assign the expression directly to `arrow.body` |
| Builder `(expression, body)` arguments | Pass a single `ArrowFunctionBody` |
closes https://github.com/oxc-project/backlog/issues/211
2026-07-29 13:32:32 +00:00
fc702c1fa9
release(crates): oxc v0.142.0 ( #24977 )
...
### 💥 BREAKING CHANGES
- 1ac5ac7#24925 )
(overlookmotel)
### 🚀 Features
- c7c5696#24968 )
(Dunqing)
- 82c5806#24943 )
(Dunqing)
- cc623d9#24828 ) (Boshen)
- b31713a#24950 ) (Armano)
- e9e0f24#24933 ) (Dunqing)
- 34f5559#24611 ) (Armano)
- 9107e74#24887 ) (overlookmotel)
- 4d6f623#24896 )
(camc314)
- ec08afc#24861 )
(overlookmotel)
- 73cfdfa#24860 )
(overlookmotel)
- 11f5d1f#24859 ) (overlookmotel)
### 🐛 Bug Fixes
- cb5acfb#24813 ) (Armano)
- 4618300#24875 )
(Dunqing)
- f7971f1#24940 )
(sapphi-red)
- 4597d6f#24939 ) (sapphi-red)
- c3a48df#24938 ) (sapphi-red)
- e19f183#24937 ) (sapphi-red)
- 9d7745a#24935 ) (Boshen)
- 0126aba#24815 )
(Dunqing)
- 9fbbaf8#24899 )
(camc314)
- e7d5c78#24886 ) (overlookmotel)
- 07e9acc#24846 ) (sapphi-red)
- 16a40ad#24845 ) (sapphi-red)
- 5b4ae54#24856 ) (camc314)
- ffcc33a#24855 )
(camc314)
- df230d0#24785 )
(Dunqing)
- d24b76b#24784 )
(Dunqing)
- 582805d#24807 )
(Boshen)
- 23b904f#24791 )
(Dunqing)
- 3048594#24798 ) (camc314)
- e80574f#24775 ) (overlookmotel)
- 4b12840#23637 ) (Jerry Zhao)
- 133bb35#24769 ) (sapphi-red)
### ⚡ Performance
- a086d91#24889 )
(Dunqing)
- 98f2ecb#24805 ) (Marius Schulz)
- b287f29#24774 ) (overlookmotel)
### 📚 Documentation
- 4d2e2bf#24945 ) (connorshea)
- b539e74#24777 ) (overlookmotel)
Co-authored-by: Boshen <1430279+Boshen@users.noreply.github.com >
2026-07-27 23:07:40 +08:00
baf022d74d
refactor(ast)!: remove old AstBuilder methods ( #24563 )
...
Closes the migration tracked in #23043 .
The new builder API (methods on the AST types themselves) has been in place for a while, all Oxc crates are migrated, and every crate which uses `AstBuilder` already enables `disable_old_builder` in its tests. The module docs said "after a few weeks, we will remove `AstBuilder`'s own methods entirely" — this does that.
## What's removed
- `crates/oxc_ast/src/generated/ast_builder.rs` and `builder/methods.rs` — `AstBuilder`'s own node and primitive constructors.
- `AstBuilderGenerator`, which produced the former.
- The `disable_old_builder` Cargo feature, plus the dev-dependency hacks it required across 33 manifests. Eight crates depended on `oxc_ast` *purely* to turn the feature on; those deps and their `cargo-shear` ignore entries are gone too.
## One thing worth reviewing
`AstBuilderGenerator` owned the `#[builder(default)]` / `#[builder(skip)]` attr registration that `BuilderMethodsGenerator` only *reads* — its doc comment said as much. Deleting it naively would have silently dropped `skip`/`default` handling for the 12 AST types using those attrs, so `attrs()` and `parse_attr()` move to `BuilderMethodsGenerator`.
The evidence this was faithful: after regenerating, `builder_methods.rs` and every other generated file are **byte-identical**. The only generated change in the diff is the deletion.
## Breaking changes
- `AstBuilder`'s own methods are gone. Use the AST type methods: `Statement::new_expression_statement(span, expr, &builder)` instead of `builder.statement_expression(span, expr)`.
- `AstBuilder` is no longer `Copy`/`Clone`, and its `allocator` field is private — use the `allocator` method from `GetAllocator`.
- `AstBuilder` and `NONE` are no longer re-exported from the crate root; import them from `oxc_ast::builder`. (The `disable_old_builder` feature already gated these off, so nothing in-tree used the root path.)
- The `disable_old_builder` feature no longer exists — remove it from any manifest that sets it.
A migration note covering all of the above is in `crates/oxc_ast/src/builder/mod.rs`.
---
Implemented with AI assistance (Claude Code); design, review, and verification driven by the author per the repo AI-usage policy.
2026-07-21 15:22:46 +00:00
14533a3dc1
release(crates): oxc v0.141.0 ( #24714 )
...
### 💥 BREAKING CHANGES
- 54cc121#24557 ) (camc314)
### 🚀 Features
- 4c71560#24705 ) (sapphi-red)
- 7b045cd#24673 )
(Armano)
- 7d3c178#24125 )
(Dunqing)
- 94f99b3#24629 ) (overlookmotel)
- 77230c5#24621 ) (overlookmotel)
- f08b152#24620 ) (overlookmotel)
- 2338c13#24619 ) (Boshen)
- 7aa4739#24617 ) (camc314)
- 2b097c4#24604 ) (overlookmotel)
- 3acf4c1#24520 ) (Armano)
- 129b759#24569 ) (camc314)
- 4d0c601#24485 ) (Dunqing)
- 91541dd#24527 ) (Armano)
- d05224d#24499 ) (Boshen)
- 3d22307#24491 )
(Boshen)
### 🐛 Bug Fixes
- 64c2241#24533 ) (Dunqing)
- 48b59f4#24711 ) (camc314)
- e750a82#24709 ) (sapphi-red)
- f145d73#24698 ) (Dunqing)
- a2ef382#24689 ) (camc314)
- b1bcf72#24658 )
(Dunqing)
- 921b834#24650 ) (Dunqing)
- 061af1f#24636 )
(Dunqing)
- 40c2f43#24628 ) (overlookmotel)
- 70994ae#24510 )
(Dunqing)
- 7b4baff#23459 ) (camc314)
- 128b385#24547 )
(camc314)
- 8421feb#24537 )
(leaysgur)
- c517aa0#24504 ) (camc314)
### ⚡ Performance
- 884d9eb#24683 ) (Boshen)
- d3f07a0#24665 ) (Boshen)
- bcc9de0#24663 )
(Boshen)
- c35d8ab#24515 )
(camc314)
- ba65790#24564 ) (overlookmotel)
- 747feec#24540 ) (Boshen)
- ba35a0d#24549 )
(Boshen)
- b685062#24514 ) (Marius Schulz)
- a149e95#24512 ) (camc314)
- 7808a6e#24506 ) (Marius Schulz)
- 3a36f2a#24480 ) (Boshen)
- 1c96753#24490 ) (Boshen)
Co-authored-by: Cameron <cameron.clark@hey.com >
2026-07-21 16:09:41 +01:00
54cc121250
feat(ast)!: split MetaProperty into ImportMeta and NewTarget ( #24557 )
...
## Summary
- replace the generic Rust MetaProperty AST node with dedicated ImportMeta and NewTarget nodes
- preserve the ESTree MetaProperty shape and generated public TypeScript types
- update parser, formatter, codegen, lint, transform, minifier, traversal, and React compiler consumers
## Summary
Remove `MetaProperty` AST node, in favour of two separate nodes (`ImportMeta` and `NewTarget`)
## Breaking Change
The Rust AST field changes from:
```rust
pub struct MetaProperty<'a> {
pub node_id: Cell<NodeId>,
pub span: Span,
pub meta: IdentifierName<'a>,
pub property: IdentifierName<'a>,
}
```
to:
```rust
/// /// `import.meta` in `console.log(import.meta);`.
pub struct ImportMeta {
pub node_id: Cell<NodeId>,
pub span: Span,
}
/// `new.target` in `function F() { return new.target; }`.
pub struct NewTarget {
pub node_id: Cell<NodeId>,
pub span: Span,
}
```
## Why?
The current AST could represent shapes such as:
```
foo.bar
```
By constructing the node manually. However this doesn't make sense, and is invalid.
## How to migrate?
1. Replace any `Expression::MetaProperty` matches/checks with the dedicated `Expression::ImportMeta` and `Expression::NewTarget` varients
2. Replace any `new_meta_property` construction with the new `new_import_meta` or `new_new_target` APIs.
3. Inspecting the `meta`/`property` identifier names is no longer required.
2026-07-15 14:48:32 +00:00
8e0ed2ebb9
release(crates): oxc v0.140.0 ( #24453 )
...
### 🚀 Features
- 616bfa2#24441 ) (Dunqing)
- ddab89a#24368 ) (overlookmotel)
- a3a39f9#24329 ) (Boshen)
- b79eef7#24279 ) (Dunqing)
- 34ff7b4#24112 ) (Dunqing)
- 1b829d8#24268 ) (Dunqing)
- ba0944c#24221 ) (camc314)
### 🐛 Bug Fixes
- 7d33363#24349 ) (Dunqing)
- 058a62f#24327 )
(camc314)
- 721eb0b#24330 )
(camc314)
- 1ebdce3#24325 ) (camc314)
- 460176a#24292 ) (Dunqing)
- af4922b#24300 )
(camc314)
- ffd2765#24296 ) (camc314)
- f17514b#24288 ) (camc314)
- 40f769d#24280 ) (Dunqing)
- 6371fed#24272 )
(camc314)
- f05dfab#24271 ) (Dunqing)
- 84eeb55#24269 )
(Dunqing)
- c3057da#24220 )
(camc314)
- 8260096#24222 ) (camc314)
- 42d00d3#24237 ) (camc314)
- 588d997#24233 ) (camc314)
- 9b95632#24232 ) (camc314)
### ⚡ Performance
- 5b26643#23666 ) (Boshen)
- dce0f29#24403 ) (Boshen)
- f85f0d8#23555 ) (Boshen)
- 3ff0234#24365 )
(overlookmotel)
- ab22e80#24354 )
(camc314)
- b47585c#24018 )
(overlookmotel)
- b227a06#24017 )
(overlookmotel)
Co-authored-by: Boshen <1430279+Boshen@users.noreply.github.com >
2026-07-14 15:02:22 +08:00
66e1a25c0e
chore(all): fix clippy::manual_assert_eq ( #24351 )
2026-07-10 09:57:05 +00:00
c3057dac59
fix(transformer): preserve generated class binding spans ( #24220 )
...
## Summary
- preserve outer and inner class binding spans during legacy decorator lowering
- add a span-aware traversal binding generator for transformed source-backed bindings
- update semantic coverage snapshots, removing stale `Span { start: 0, end: 0 }` mismatches
2026-07-07 06:53:38 +00:00
69b2dfc181
release(crates): oxc v0.139.0 ( #24218 )
...
### 🚀 Features
- 260425f#24214 )
(camc314)
- 2d9b0b3#24110 ) (Dunqing)
- 61fbf10#24013 )
(overlookmotel)
- 7db7a29#24012 ) (overlookmotel)
- 4eb074e#24041 ) (Dunqing)
- 2e62012#24006 )
(overlookmotel)
- 60e7160#23967 ) (Dunqing)
- 26dd9e2#23961 ) (overlookmotel)
### 🐛 Bug Fixes
- e8b50ee#24180 ) (camc314)
- d966d0b#24168 ) (Boshen)
- 854ef8d#24158 ) (Boshen)
- 093586c#24157 ) (Boshen)
- 09c8f59#24142 )
(camc314)
- f13df97#24133 ) (Boshen)
- cb2a505#24131 ) (Boshen)
- b82c394#24128 ) (Boshen)
- 5771982#24129 ) (Boshen)
- 4b16e1a#24136 ) (camc314)
- 4e9194f#24123 ) (Boshen)
- 0b25582#23113 ) (Boshen)
- 018c0e5#22770 )
(camc314)
- 652fbaf#24036 )
(Dunqing)
- e274415#23917 ) (Dunqing)
- 59abb30#23622 ) (Jerry Zhao)
### ⚡ Performance
- c5ca77b#24191 ) (camc314)
- bf1a151#24184 ) (Boshen)
- abb44a0#24190 )
(camc314)
- a4db731#24016 ) (overlookmotel)
- ff10855#24015 )
(overlookmotel)
- bd49aff#23941 ) (Lawrence Lin)
- e4b708b#24171 )
(Boshen)
- c59f2fe#24144 ) (Boshen)
- 5d6d04a#24023 ) (Boshen)
- a55e0be#24007 ) (overlookmotel)
- e6d48e1#23989 ) (overlookmotel)
- c4e35b5#23988 ) (overlookmotel)
- 527b8e5#23987 )
(overlookmotel)
### 📚 Documentation
- 30d17f5#24093 )
(overlookmotel)
- 675e6a8#24008 )
(overlookmotel)
- e4c30e6#23994 ) (Dunqing)
- 37cbf88#23959 )
(overlookmotel)
- 4de3e54#23948 ) (overlookmotel)
Co-authored-by: Boshen <1430279+Boshen@users.noreply.github.com >
2026-07-06 23:26:26 +08:00
c59f2fe031
perf(rust): return impl ExactSizeIterator from slice-backed accessors ( #24144 )
...
These slice/`Vec`/`IndexVec`-backed accessors are already `ExactSizeIterator` internally (`slice::iter().map(..)` / `.copied()` / `.rev()`, `iter_enumerated()`, `HashMap::values()`, `(0..len).map(..)`) — the `impl Iterator` return type just erased it.
Widening to `impl ExactSizeIterator` lets callers pre-size collections from the known length:
```rust
let mut v = Vec::with_capacity(scoping.symbol_ids().len());
v.extend(scoping.symbol_ids().filter_map(..));
```
instead of growing a `Vec` through reallocs, and lets callers call `.len()` directly.
Backward-compatible: `ExactSizeIterator: Iterator`, so existing callers are unaffected.
Two ordering details make it compile:
- The `multi_index_vec!` `iter_ids` (`(0..len).map(..)`) is widened first so the bound propagates to `SymbolTable`/`ScopeTable`, which is what lets `symbol_ids`/`scope_descendants_from_root` widen.
- The delegating `TraverseCtx::ancestors` is widened after its `TraverseAncestry::ancestors` source — an opaque `impl Iterator` only re-exposes `ExactSizeIterator` if the inner signature declares it.
Widened accessors:
- **oxc_semantic**: `Scoping::{symbol_names, resolved_references, symbol_ids, scope_descendants_from_root, iter_bindings, iter_bindings_in}`, `AstNodes::{iter, iter_enumerated}`, `ClassTable::{iter_enumerated, iter_private_identifiers}`, `multi_index_vec!` `iter_ids`
- **oxc_traverse** / **oxc_minifier**: `TraverseAncestry::ancestors`, `TraverseCtx::ancestors`
- **oxc_formatter_core**: `SourceText::{bytes_from, bytes_to}`
- **oxc_codegen**: `Codegen::current_class_ids`
2026-07-04 02:46:30 +00:00
a55e0be25e
perf(traverse): reduce string operations in get_var_name_from_node ( #24007 )
...
Improve the performance of creating a var name from an AST node.
## Perf
2 different optimizations:
#### 1. Avoid building a huge string
Previously we concatenated all identifiers into a string of potentially large length, then truncated it to 20 bytes at the end.
Instead, once the string reaches the maximum length, stop adding to it. This avoids pointless work, and avoids extra allocations to grow the `String`.
#### 2. Remove "needs to grow?" checks
The first optimization ensures that the `String` never exceeds 20 bytes. Utilize this invariant to remove "does the `String` need to grow?" checks on every push to the `String`.
This uses the `push_unchecked` and `push_str_unchecked` methods added to `String` in #24006 .
Adverserial review by Claude found the implementation to be sound, and it performed fuzzing using 500,000 random cases to test the implementation. Tests which are added in this PR also cover all the edge cases.
## Fix
This PR also fixes incorrect truncation when some of the parts contain Unicode characters.
Previously the string would be truncated to be shorter than 20 bytes when the last char before the cut point is a complete multi-byte (Unicode) character. Now it checks whether to truncate to less than 20 bytes based on whether the 21st byte is a character sequence start byte, instead of whether the 20th byte is a continuation character.
The tests are altered to reflect this fix.
2026-07-02 01:47:41 +00:00
8bf69a3076
release(crates): oxc v0.138.0 ( #23934 )
...
### 💥 BREAKING CHANGES
- 94fbacb#23876 ) (overlookmotel)
- 8de5122#23834 )
(overlookmotel)
- dc0ef38#23831 ) (overlookmotel)
- 88f4455#23781 ) (overlookmotel)
- 36009dd#23676 ) (overlookmotel)
- bd74f9d#23675 ) (overlookmotel)
### 🚀 Features
- 326fe25#23605 )
(Alexander Lichter)
- f2091b3#23875 ) (overlookmotel)
- cd1fd12#23785 ) (camc314)
- 785461b#23651 )
(overlookmotel)
- 05d1357#23650 )
(overlookmotel)
- 2580eda#23767 ) (overlookmotel)
- 6883fcf#23540 ) (Dunqing)
- fcbf993#23718 )
(overlookmotel)
- 989ddb7#23717 )
(overlookmotel)
- 9d1aa7f#23716 )
(overlookmotel)
### 🐛 Bug Fixes
- da0e5bf#23771 ) (Dunqing)
- 0b3021f#23873 ) (overlookmotel)
- 0ab64ec#23889 ) (overlookmotel)
- 8c07cad#23888 ) (overlookmotel)
- 3800f01#23891 ) (overlookmotel)
- 869ac20#23791 )
(camc314)
- d3e92d5#23790 ) (camc314)
- 025045d#23783 ) (overlookmotel)
- 7537c58#23766 ) (overlookmotel)
- 3f574f5#23745 ) (overlookmotel)
- 585760f#23721 ) (overlookmotel)
- 7231d55#23685 ) (overlookmotel)
### ⚡ Performance
- d5c916a#23927 ) (Lawrence Lin)
- e71609d#23924 ) (Lawrence Lin)
- e1f89ab#23846 )
(overlookmotel)
- 9f6ee3b#23761 ) (Boshen)
- 0b07c4c#23911 ) (Lawrence Lin)
- c5eef8b#23908 ) (Lawrence Lin)
- b4f5b4b#23912 ) (Lawrence Lin)
- 53d083f#23847 )
(overlookmotel)
- 3ea9304#23849 ) (overlookmotel)
- a6d8e45#23788 )
(camc314)
- e1886a0#23727 ) (overlookmotel)
- 5527bef#23720 )
(overlookmotel)
- 680ffbc#23711 )
(overlookmotel)
- 1c63c66#23712 )
(overlookmotel)
- 3855f0c#23710 )
(overlookmotel)
- d025887#23709 ) (overlookmotel)
- 10b96c6#23713 ) (overlookmotel)
### 📚 Documentation
- 3d61dea#23887 )
(overlookmotel)
- aa1ad74#23877 ) (overlookmotel)
- a4676db#23765 ) (overlookmotel)
- 419ec80#23674 ) (overlookmotel)
### 🛡️ Security
- 3cdd18f#23690 ) (renovate[bot])
Co-authored-by: Boshen <1430279+Boshen@users.noreply.github.com >
Co-authored-by: Cameron <cameron.clark@hey.com >
2026-06-29 20:11:00 +01:00
3d61dea7e2
docs(all): correct capitalization in comments ( #23887 )
...
Just fix capitalization in comments.
2026-06-28 12:13:18 +00:00
f2091b3846
feat(ast): unify old and new AstBuilders ( #23875 )
...
Part of #23043 .
Recent PRs have introduced a new `AstBuilder` type, and migrated all Oxc's crates over to it.
To allow downstream consumers to incrementally migrate from old `AstBuilder` to new one, unify the two implementations into a single `AstBuilder` type.
Remove the `builder_new` Cargo feature and instead add a new feature `disable_old_builder`. When enabled, this feature removes all the methods from `AstBuilder`, and makes `AstBuilder` non-`Copy`. Consumers should migrate, and then enable this feature to ensure later changes don't use the methods which are slated for removal.
Enable the `disable_old_builder` feature in all Oxc crates which use `AstBuilder` _in tests_. This ensures we don't go back to using the deprecated methods, while not forcing the feature on consumers (e.g. Rolldown) who use e.g. `oxc_transformer` but also use `AstBuilder` directly.
2026-06-27 20:37:38 +00:00
83b64d8508
refactor(ast): hide allocator field of new AstBuilder ( #23874 )
...
Part of #23043 .
Do not expose `allocator` field of new `AstBuilder`. It's available via `allocator` method provided by `GetAllocator` trait.
This gives us more flexibility in future.
2026-06-27 20:37:38 +00:00
dc0ef389c0
feat(transformer)!: switch to new AstBuilder ( #23831 )
...
Part of #23043 . Migrate `oxc_transformer` and `oxc_traverse` over to new `AstBuilder`.
This PR is a breaking change to users of `Traverse`, but I intend to rectify that in a later PR (before next crates release), so that these changes to `AstBuilder` are not a breaking change, and downstream projects can incrementally migrate over to the new `AstBuilder`.
2026-06-26 18:17:29 +00:00
88f4455c72
feat(str)!: Str and Ident methods take &GetAllocator ( #23781 )
...
Continuation of #23767 , #23756 , and #23755 .
Make all methods that construct `Str`s and `Ident`s take `&A where A: GetAllocator<'a>` instead of `&'a Allocator`.
2026-06-25 11:59:59 +00:00
e0c652bf89
refactor(all): use ArenaBox and ArenaVec in generated code ( #23749 )
...
Pure refactor.
#23747 changed all usage of `Vec` and `Box` to `ArenaVec` / `ArenaBox` in hand-written code. Do the same for generated code.
2026-06-24 01:21:42 +00:00
d1f18cda21
refactor(all): import arena Box and Vec as ArenaBox / ArenaVec ( #23747 )
...
Pure refactor.
Use `ArenaBox` and `ArenaVec` everywhere for the arena-allocated types from `oxc_allocator`, instead of plain `Box` and `Vec`.
This disambiguates when `Vec` is `oxc_allocator::Vec` and when it's `std::vec::Vec`, making code clearer to follow.
Previously it was easy to confuse the two, and such confusion led to UB in `Traverse` (fixed in #23745 ).
Ditto other arena types - `ArenaHashMap`, `ArenaHashSet`, `ArenaStringBuilder`.
The only exceptions are:
1. Inside `oxc_allocator` crate itself.
2. AST type definitions.
3. Generated code (migrated separately in #23749 ).
2026-06-24 01:21:41 +00:00
8c6481bbf9
refactor(allocator): export ArenaBox and ArenaVec aliases ( #23746 )
...
Pure refactor.
It's a common pattern in repo to import `Vec` and `Box` etc from `oxc_allocator` and alias them to `ArenaBox` / `ArenaVec`.
```rust
use oxc_allocator::{Box as ArenaBox, Vec as ArenaVec};
```
Make this pattern less verbose by re-exporting `Box` and `Vec` as these aliases from `oxc_allocator`.
Ditto other arena types: `ArenaHashMap`, `ArenaHashSet`, `ArenaStringBuilder`.
Use those aliases in all other crates to shorten code.
```rust
use oxc_allocator::{ArenaBox, ArenaVec};
```
2026-06-24 01:21:40 +00:00
3f574f5a4e
fix(traverse): fix unsoundness in Traverse walk functions ( #23745 )
...
`Box` in `walk.rs` referred to `std::boxed::Box` instead of `oxc_allocator::Box`.
`Box`es are temporarily dereferenced in walk functions before being cast back to pointers. This may be UB, as `std`'s `Box` contains a `Unique<T>` pointer which guarantees that it's the only pointer pointing to the `T` (same semantics as `&mut T`). But `Traverse` intentionally violates that invariant when looking back up the tree - it uses pointers rather than references everywhere precisely to avoid aliasing hazards.
I'm unclear whether `Unique` passes the "uniqueness" guarantee to LLVM at present. If it doesn't, I don't think this mistake could have caused miscompilation. But certainly `Unique` could (and probably will) do so in future, so this was an accident waiting to happen.
Fix this by using `oxc_allocator::Box` instead of `std::boxed::Box`.
2026-06-23 17:20:48 +00:00
36009ddf68
feat(allocator)!: GetAllocator::allocator take &self ( #23676 )
...
Make `GetAllocator::allocator` method take `&self`, instead of `self`. Alter `TakeIn::take_in` accordingly - now takes `&A` where`A:GetAllocator` (previously took owned `A`).
This requires changing every `take_in` / `take_in_box` call site.
However, this change also means that `GetAllocator` can be implemented on all types which hold an `&Allocator` e.g. `TraverseCtx`, which shortens the code everywhere.
- Before: `expr.take_in(ctx.ast)`
- After: `expr.take_in(ctx)`
Change all those call sites to this shorter version.
This matches the pattern that new `AstBuilder` is going to introduce (#23043 ), and clears the way for that change.
2026-06-21 00:13:24 +00:00
6d56d57535
release(crates): oxc v0.137.0 ( #23591 )
...
### 💥 BREAKING CHANGES
- 7a76cd3#23574 ) (overlookmotel)
- e7b6b68#23573 ) (overlookmotel)
### 🚀 Features
- 556cc6d#23571 )
(overlookmotel)
- 38c4b06#23378 )
(sapphi-red)
- 53509a8#23469 ) (Dunqing)
- 09762d9#22593 )
(Dunqing)
### 🐛 Bug Fixes
- 20375f9#23586 ) (Boshen)
- 31bfd9b#23483 ) (Dunqing)
- 837a395#23515 ) (Dunqing)
- e409fe0#23470 ) (Dunqing)
- ae02b4e#23457 )
(camc314)
### ⚡ Performance
- cf24329#23577 ) (Boshen)
- 4058a6a#23576 ) (Boshen)
- 053b0c1#23572 ) (overlookmotel)
- dfb52b6#23516 ) (Yunfei He)
- 970e09a#23467 ) (Yunfei He)
- 3170c0e#23352 ) (Boshen)
- d1fa6e0#23479 ) (Yunfei He)
- 3fa8051#23466 ) (Yunfei He)
- 488b382#23471 ) (Yunfei He)
- bcb3894#23197 ) (Dunqing)
### 📚 Documentation
- f68641e#23575 )
(overlookmotel)
Co-authored-by: Boshen <1430279+Boshen@users.noreply.github.com >
2026-06-18 17:31:57 +08:00
827248a7fb
release(crates): oxc v0.136.0 ( #23443 )
...
### 💥 BREAKING CHANGES
- 7a24911#23422 ) (Boshen)
- bb0ed44#23171 ) (Boshen)
### 🚀 Features
- 1490a0a#23202 ) (Boshen)
- 6c0bdf0#23190 ) (Dunqing)
- 47991bd#23174 )
(camc314)
- 1d3af58#23216 )
(camc314)
- 44313da#22313 ) (camc314)
- e5050c0#23205 )
(camc314)
- ec266bb#23201 ) (Boshen)
- e7374fe#23173 ) (camc314)
- a7c1c9b#23165 )
(camc314)
- d169fcd#23164 )
(camc314)
- 00244d8#23160 )
(camc314)
### 🐛 Bug Fixes
- 52d0c31#23231 ) (camc314)
- 2c28748#23222 ) (camc314)
- 8edd234#23203 )
(camc314)
- de38a3f#23176 ) (Boshen)
- f5721c2#23156 ) (Boshen)
- e89f81d#23147 ) (Boshen)
- 8a04149#22829 ) (Boshen)
### ⚡ Performance
- 2783295#23346 )
(Boshen)
- 231d5de#23347 )
(Boshen)
- e89729b#23265 ) (camc314)
- a6c11fa#23157 ) (Boshen)
- d74964c#23170 )
(camc314)
- f0fda4d#23159 ) (Boshen)
- a082180#23167 ) (camc314)
- 534f9c6#23153 ) (Boshen)
- b435c6a#23128 ) (Boshen)
- 7464dce#23124 ) (Boshen)
- 80a9a32#23083 )
(Boshen)
- da1a6c6#23094 ) (Boshen)
- b7b08ce#23079 ) (Boshen)
- e7e07a3#23076 )
(Boshen)
### 📚 Documentation
- d241add#23441 )
(camc314)
- 026f1ae#23440 )
(camc314)
- 09755ac#23439 )
(camc314)
- e6bdfd4#23313 )
(Dunqing)
- 65b6d7a#23257 )
(overlookmotel)
Co-authored-by: Boshen <1430279+Boshen@users.noreply.github.com >
2026-06-15 20:05:34 +08:00
e9b8fd595c
release(crates): oxc v0.135.0 ( #23117 )
...
### 💥 BREAKING CHANGES
- ee4dc73#23046 ) (overlookmotel)
- 4c35362#23047 )
(overlookmotel)
### 🚀 Features
- b846ab2#22942 ) (Boshen)
- 5b8dd68#22917 ) (camc314)
- 85efabf#22862 ) (Boshen)
### 🐛 Bug Fixes
- 556acdc#23112 )
(Boshen)
- 37169ff#23036 ) (Boshen)
- a4b1bf7#23038 ) (Boshen)
- cf53285#23035 ) (Boshen)
- 4e44969#23052 )
(overlookmotel)
- c543154#23030 ) (Boshen)
- 325c94f#23033 ) (Boshen)
- 95dd3a2#23032 ) (Boshen)
- 90180b8#23028 ) (Boshen)
- 6da876e#23029 ) (Boshen)
- 28467ce#23027 ) (Boshen)
- cb29926#23024 ) (Boshen)
- 62965ae#23025 ) (Boshen)
- 989230a#23022 ) (Boshen)
- 06f367c#23014 ) (Boshen)
- 184edef#23013 ) (Boshen)
- 4d722e0#23012 ) (Boshen)
- 597ed85#23008 ) (Boshen)
- 8b631bf#23010 ) (Boshen)
- c08407e#23009 ) (Boshen)
- 600cd6f#23007 ) (Boshen)
- 187e1a5#23006 ) (Boshen)
- 294c473#23004 ) (Boshen)
- 786d96f#23002 )
(Boshen)
- 1295882#23003 ) (Boshen)
- d727b6b#23001 ) (Boshen)
- 67dfa08#22997 ) (Boshen)
- 17e7cf3#22986 ) (Boshen)
- beb46d3#22941 )
(Boshen)
- 49e63f7#22898 ) (camc314)
- 8c93601#22900 ) (camc314)
### ⚡ Performance
- 7d89909#23071 ) (Boshen)
- bf872f0#23070 ) (Boshen)
- d19fc54#23069 ) (Boshen)
- 8eb5507#23068 ) (Boshen)
- 883dfc1#23063 ) (Boshen)
- b171153#23059 )
(Boshen)
- 56f21bd#23058 ) (Boshen)
- 68805ac#23056 ) (Boshen)
- 1f9d8eb#23053 ) (overlookmotel)
- 502b04d semantic: Move cold function redeclaration handling into
`#[cold]` function (#22973 ) (overlookmotel)
### 📚 Documentation
- 275d318#23102 ) (camc314)
Co-authored-by: Boshen <1430279+Boshen@users.noreply.github.com >
2026-06-08 22:17:46 +08:00
6c30f81eca
release(crates): oxc v0.134.0 ( #22882 )
...
### 🚀 Features
- 9c71f2e#22791 ) (camc314)
### 🐛 Bug Fixes
- cf5769c#22827 ) (Boshen)
- c360fb6#22848 ) (Boshen)
- cc60d8d#22852 ) (Boshen)
- 3d13e29#22850 ) (Boshen)
- 5152854#22849 ) (Boshen)
- 4f9afc5#22846 ) (Boshen)
- 2eafea6#22845 ) (Boshen)
- c645615#22843 )
(Boshen)
- 276b78b#22836 ) (Boshen)
- 842ed1c#22801 ) (Boshen)
### ⚡ Performance
- 7e3a567#22841 ) (Boshen)
- 9e741c2#22842 ) (Boshen)
- 9e496a7#22810 )
(camc314)
2026-06-01 17:27:01 +01:00
83328b65ce
release(crates): oxc v0.133.0 ( #22734 )
...
### 🚀 Features
- e857b0c#20370 )
(Boshen)
- 661132d#22719 ) (sapphi-red)
- ee659b6#22266 ) (Kyle Cannon)
### 🐛 Bug Fixes
- e1d064e#22716 ) (Cameron)
- 4ac0fca#22729 ) (Dunqing)
- 40ff611#22722 ) (Dunqing)
- 2f7b210#22720 ) (Dunqing)
- e184f74#22693 ) (camc314)
- 7baed9c#22508 ) (camc314)
- a9ad27e#22711 ) (Dunqing)
- 9ea4d64#22595 ) (Dunqing)
- 07afbb6#22589 ) (Dunqing)
- fa7c463#22689 )
(camc314)
- 26b9396#22623 ) (camc314)
- b284045#22684 )
(Boshen)
- dfa931d#22646 ) (Dunqing)
- 69a6ba6#22265 ) (Kyle Cannon)
- e421ef0#22640 ) (Dunqing)
- d61e1d7#22525 ) (Dunqing)
- 702b14e#22547 )
(Dunqing)
- 917da24#22566 ) (Dunqing)
- a069b1c#22551 ) (Dunqing)
### ⚡ Performance
- 2f623b0#22660 )
(camc314)
- 0d9553d#22668 ) (Dunqing)
- d721ad9#22658 ) (camc314)
- 0aff288#22657 )
(camc314)
- 4d5ddb1#22656 ) (camc314)
- e32acd8#22653 )
(camc314)
- 09fe178#22652 )
(camc314)
- 4b6add2#22663 )
(camc314)
- 82f9662#22662 )
(camc314)
- d7cd951#22650 ) (Boshen)
- 7b84314#22642 ) (camc314)
- 0345a31#22618 ) (camc314)
- 04d3065#22596 )
(Dunqing)
- 4f289f1#22599 ) (Dunqing)
- e862c15#22603 )
(Dunqing)
- 8ff8674#22616 ) (camc314)
- 7a4120e#22580 ) (Dunqing)
Co-authored-by: Dunqing <29533304+Dunqing@users.noreply.github.com >
2026-05-26 14:28:43 +08:00
63b129182d
release(crates): oxc v0.132.0 ( #22527 )
...
### 🐛 Bug Fixes
- 0f26de6#22234 ) (Alexander Lichter)
- c27a8cf#22401 ) (Dunqing)
- e431a0e#22517 )
(Boshen)
- e9ec7c6#22236 )
(Alexander Lichter)
- e6090e7#22501 ) (Dunqing)
- 931b7d6#22500 ) (Dunqing)
- b9615b2#22475 ) (zennnnnnn11)
- c73c159#22507 ) (camc314)
- ecfd3ca#22503 ) (camc314)
- 3ce3431#22451 ) (camc314)
### ⚡ Performance
- ce92c6c#22414 )
(Dunqing)
- 98be95c#22427 )
(Boshen)
- dbbc059#22409 ) (Boshen)
- 217d7d8#22441 )
(Dunqing)
- d782b78#22425 ) (Boshen)
2026-05-18 12:09:14 +01:00
564ebbf46f
release(crates): oxc v0.131.0 ( #22459 )
...
### 🚀 Features
- bc91a17#22432 )
(camc314)
### 🐛 Bug Fixes
- 5ac7e79#22349 ) (Dunqing)
- 4ab57eb#22124 ) (overlookmotel)
- 66d77eb#22388 ) (overlookmotel)
- b8fbc1f#22419 ) (camc314)
- 18edc2c#22400 ) (Dunqing)
- dda33de#22320 ) (camc314)
- 8e79de8#22361 )
(camc314)
- 0cba210#22360 ) (camc314)
- 67ab1c9#22355 ) (camc314)
- c3ceb4a#22347 ) (camc314)
### ⚡ Performance
- 73a9043#22403 )
(camc314)
- 8b2f4f9#22418 ) (camc314)
- 83679ea#22415 ) (Boshen)
- 2c7d781#22411 ) (Boshen)
- 618bc76#22406 ) (Boshen)
- 0b4e158#22374 )
(camc314)
- 5f3bdd0#22373 )
(camc314)
Co-authored-by: overlookmotel <557937+overlookmotel@users.noreply.github.com >
2026-05-15 15:38:24 +01:00
650417ffd0
release(crates): oxc v0.130.0 ( #22316 )
...
### 🚀 Features
- 66c9b01#22252 ) (Dunqing)
- ffe6475#22215 )
(camc314)
### 🐛 Bug Fixes
- d3d0b18#22247 ) (leaysgur)
- 4e880de#22284 ) (camc314)
- a7c3e22#22302 )
(camc314)
- 6a8852d#22304 ) (Dunqing)
- 5da9fda#22306 ) (Dunqing)
- b5d970f#22290 ) (camc314)
- bc54fd4#22241 ) (sapphi-red)
- 7a810c0#21787 )
(Dunqing)
- dd88726#21966 ) (Dunqing)
- 29a3cd7#22206 ) (Dunqing)
- 73b4f40#22221 )
(camc314)
- 0e13d17#22219 )
(camc314)
- 0c7c01c#21834 ) (Dunqing)
- a6aff7e#22200 ) (Dunqing)
- a099b03#22199 ) (Dunqing)
- 5753774#21841 )
(Gurupungav Narayanan)
- 2493bdd#22001 ) (Mark Dalgleish)
- 3b385e2#22188 ) (camc314)
- 9fa2122#22159 ) (camc314)
### 📚 Documentation
- a4a6892#22278 ) (overlookmotel)
- 9305373#22178 ) (camc314)
Co-authored-by: Cameron <cameron.clark@hey.com >
2026-05-11 16:02:22 +01:00
d3d0b18fde
fix(traverse): handle ChainElement::TSNonNullExpression in GatherNodeParts ( #22247 )
...
Fixes #22246 , transformer panics with `const x = a[b?.c!]?.["d"];` under es2020 target.
(I wasn't sure where to put the test, but I've confirmed that it works on my end for now.)
2026-05-11 09:37:46 +00:00
7e75f0875a
refactor(traverse): add spanned variants of BoundIdentifier::create_binding_* ( #22305 )
...
## Summary
Add `create_spanned_binding_identifier(span, ctx)` and `create_spanned_binding_pattern(span, ctx)` on `BoundIdentifier`, mirroring the existing `create_spanned_*` pattern used for references / expressions / assignment targets.
The existing `create_binding_identifier` / `create_binding_pattern` now delegate to the spanned variants with `SPAN`.
## Why
Needed by transforms that lower a class/function declaration to a `var` declarator and want the synthesized `BindingIdentifier` to keep the original `id.span`, so semantic re-analysis of the printed AST agrees with the transformer's symbol-table bookkeeping (`Symbol span mismatch` lines in `transform_conformance` snapshots).
First user lands in a follow-up PR for the explicit-resource-management transform.
## Test plan
- [x] `cargo build -p oxc_traverse`
- [x] `cargo clippy -p oxc_traverse`
2026-05-11 08:28:49 +00:00
ec00055e64
release(crates): oxc v0.129.0 ( #22108 )
...
### 💥 BREAKING CHANGES
- 0ffbe0d#21871 ) (overlookmotel)
### 🚀 Features
- 9593ec8#21932 ) (Ido Rosenthal)
### 🐛 Bug Fixes
- 429deac#21996 ) (NullVoxPopuli)
- e852911#21575 ) (Dunqing)
- e3399ec#21950 ) (Dunqing)
- c59c199#21831 ) (Dunqing)
- aaabde4#21670 )
(Dunqing)
### ⚡ Performance
- 0bf0cb9#22088 ) (overlookmotel)
### 📚 Documentation
- 62ec410#22093 ) (overlookmotel)
- 3e152c6#22092 ) (overlookmotel)
- e220855#21866 ) (overlookmotel)
---------
Co-authored-by: Boshen <1430279+Boshen@users.noreply.github.com >
Co-authored-by: Cameron Clark <cameron.clark@hey.com >
2026-05-05 09:59:50 +01:00
9951013ece
release(crates): oxc v0.128.0 ( #21837 )
...
### 💥 BREAKING CHANGES
- 502e804#21711 ) (overlookmotel)
- 5651539#21710 )
(overlookmotel)
- c44e280#21709 ) (overlookmotel)
- c5b3deb#21679 )
(overlookmotel)
### 🚀 Features
- b738a39#21773 )
(overlookmotel)
- 678767e#21653 )
(camc314)
- f091d77#21095 )
(Armano)
### 🐛 Bug Fixes
- 0d608c2#21645 )
(Dunqing)
- a889ea9#21722 ) (Dunqing)
- 674dfac#21777 ) (overlookmotel)
- f130cc0#21745 ) (overlookmotel)
- b9bf239#21739 )
(overlookmotel)
- d2b9389#21681 ) (camc314)
- 503dc86#21662 )
(Dunqing)
- c92bd3b#21578 ) (Dunqing)
- 0d80441#21619 ) (camc314)
### ⚡ Performance
- 9fa362e#21811 )
(overlookmotel)
- 0044392#21776 )
(overlookmotel)
- 7896bd0#21771 ) (overlookmotel)
- a5c562f#21750 ) (overlookmotel)
- 35bbe1f#21743 ) (overlookmotel)
- ffe229b#21732 ) (overlookmotel)
- 72fece5#21731 ) (overlookmotel)
- cab32ae#21707 ) (overlookmotel)
- b179688#21512 ) (Boshen)
- 2290f31#21659 ) (overlookmotel)
- 1b58029#21622 ) (overlookmotel)
- 3cf7cef#21510 )
(overlookmotel)
### 📚 Documentation
- ce65070#21800 ) (overlookmotel)
- 93b7dbd#21733 )
(overlookmotel)
- 295db8d#21717 ) (overlookmotel)
- 5c93af8#21706 ) (overlookmotel)
- e4cea25#19998 )
(루밀LuMir)
### 🛡️ Security
- d8076c9#21639 ) (renovate)
Co-authored-by: Boshen <1430279+Boshen@users.noreply.github.com >
2026-04-27 12:32:32 +01:00
502e804ffa
perf(ast)!: reduce size of TSTypePredicateName ( #21711 )
...
#21653 revealed that `TSTypePredicateName` has an unboxed variant `This`.
Before the introduction of `NodeId` fields, this was fine as `TSThisType` contained only a `Span` (8 bytes). But with `NodeId` field added, it's 16 bytes, which makes `TSTypePredicateName` larger too - 24 bytes.
Box `TSThisType` in this variant, bringing `TSTypePredicateName` back down to 16 bytes.
This also has the side-effect of making `TSTypePredicateName`'s `node_id`, `span`, and `span_mut` methods branchless.
2026-04-24 13:03:50 +00:00
oxc-guard