dan/oxc
1
0
Fork 0
mirror of https://github.com/danbulant/oxc synced 2026-05-19 04:08:41 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix(semantic): transform checker check symbol flags (#5074)

Browse source
This commit is contained in:
overlookmotel 2024-08-22 15:08:45 +00:00
parent 78f135d686
commit 1b6b27a6de
6 changed files with 1053 additions and 35 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
crates/oxc_semantic/src/post_transform_checker.rs
View file

@ -422,24 +422,6 @@ impl<'s> PostTransformChecker<'s> {
}
fn check_symbols(&mut self) {
// Check whether symbols are valid
for symbol_id in self.rebuilt.ids.symbol_ids.iter().copied() {
if self.rebuilt.symbols.get_flags(symbol_id).is_empty() {
let name = self.rebuilt.symbols.get_name(symbol_id);
self.errors
.push(format!("Expect non-empty SymbolFlags for BindingIdentifier({name})"));
if !self
.rebuilt
.scopes
.has_binding(self.rebuilt.symbols.get_scope_id(symbol_id), name)
{
self.errors.push(format!(
"Cannot find BindingIdentifier({name}) in the Scope corresponding to the Symbol"
));
}
}
}
if self.get_static_pair(|data| data.ids.symbol_ids.len()).is_mismatch() {
self.errors.push("Symbols mismatch after transform");
return;
@ -455,11 +437,18 @@ impl<'s> PostTransformChecker<'s> {
.zip(self.rebuilt.ids.symbol_ids.iter().copied())
.map(Pair::from_tuple)
{
// Check names match
let symbol_names =
self.get_pair(symbol_ids, |data, symbol_id| data.symbols.names[symbol_id].clone());
if symbol_names.is_mismatch() {
self.errors.push_mismatch("Symbol mismatch", symbol_ids, symbol_names);
}
// Check flags match
let flags = self.get_pair(symbol_ids, |data, symbol_id| data.symbols.flags[symbol_id]);
if flags.is_mismatch() {
self.errors.push_mismatch("Symbol flags mismatch", symbol_ids, flags);
}
}
}

136
tasks/coverage/semantic_babel.snap
View file

@ -2,7 +2,7 @@ commit: 12619ffe
semantic_babel Summary:
AST Parsed : 2101/2101 (100.00%)
Positive Passed: 1790/2101 (85.20%)
Positive Passed: 1786/2101 (85.01%)
tasks/coverage/babel/packages/babel-parser/test/fixtures/annex-b/enabled/3.3-function-in-if-body/input.js
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1), ScopeId(2)]
@ -510,6 +510,9 @@ tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/enum/const/i
semantic error: Scope flags mismatch:
after transform: ScopeId(1): ScopeFlags(StrictMode)
rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(ConstEnum)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/enum/declare/input.ts
semantic error: Bindings mismatch:
@ -539,11 +542,17 @@ tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/enum/export/
semantic error: Scope flags mismatch:
after transform: ScopeId(1): ScopeFlags(StrictMode)
rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(Export | RegularEnum)
rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable | Export)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/enum/export-const/input.ts
semantic error: Scope flags mismatch:
after transform: ScopeId(1): ScopeFlags(StrictMode)
rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(Export | ConstEnum)
rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable | Export)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/enum/export-declare-const/input.ts
semantic error: Bindings mismatch:
@ -560,6 +569,9 @@ rebuilt : ScopeId(1): ["E"]
Scope flags mismatch:
after transform: ScopeId(1): ScopeFlags(StrictMode)
rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(RegularEnum)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/enum/members-reserved-words/input.ts
semantic error: Bindings mismatch:
@ -568,6 +580,9 @@ rebuilt : ScopeId(1): ["E"]
Scope flags mismatch:
after transform: ScopeId(1): ScopeFlags(StrictMode)
rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(RegularEnum)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/enum/members-strings/input.ts
semantic error: Bindings mismatch:
@ -576,6 +591,9 @@ rebuilt : ScopeId(1): ["E"]
Scope flags mismatch:
after transform: ScopeId(1): ScopeFlags(StrictMode)
rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(RegularEnum)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/enum/members-trailing-comma/input.ts
semantic error: Bindings mismatch:
@ -584,6 +602,9 @@ rebuilt : ScopeId(1): ["E"]
Scope flags mismatch:
after transform: ScopeId(1): ScopeFlags(StrictMode)
rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(RegularEnum)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/enum/members-trailing-comma-with-initializer/input.ts
semantic error: Bindings mismatch:
@ -592,6 +613,9 @@ rebuilt : ScopeId(1): ["E"]
Scope flags mismatch:
after transform: ScopeId(1): ScopeFlags(StrictMode)
rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(RegularEnum)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/estree-compat/shorthand-ambient-module/input.ts
semantic error: Bindings mismatch:
@ -643,6 +667,9 @@ rebuilt : ScopeId(0): [ScopeId(1), ScopeId(2), ScopeId(3)]
Scope flags mismatch:
after transform: ScopeId(3): ScopeFlags(StrictMode)
rebuilt : ScopeId(3): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(3): SymbolFlags(Export | RegularEnum)
rebuilt : SymbolId(3): SymbolFlags(BlockScopedVariable | Export)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/export/nested-same-name/input.ts
semantic error: Semantic Collector failed after transform
@ -1201,6 +1228,9 @@ rebuilt : ScopeId(0): [ScopeId(1)]
Scope flags mismatch:
after transform: ScopeId(2): ScopeFlags(StrictMode)
rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(1): SymbolFlags(Export | RegularEnum)
rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable | Export)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/regression/issue-7742/input.ts
semantic error: Bindings mismatch:
@ -1270,6 +1300,9 @@ tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/enum-b
semantic error: Scope flags mismatch:
after transform: ScopeId(2): ScopeFlags(StrictMode)
rebuilt : ScopeId(2): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(RegularEnum)
rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/export-declare-function-after/input.ts
semantic error: Scope children mismatch:
@ -1285,11 +1318,17 @@ tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/export
semantic error: Scope flags mismatch:
after transform: ScopeId(1): ScopeFlags(StrictMode)
rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(Export | RegularEnum)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable | Export)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/export-enum-before/input.ts
semantic error: Scope flags mismatch:
after transform: ScopeId(1): ScopeFlags(StrictMode)
rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(Export | RegularEnum)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable | Export)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/export-func-in-declare-module/input.ts
semantic error: Bindings mismatch:
@ -1372,11 +1411,17 @@ tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redecl
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1), ScopeId(2)]
rebuilt : ScopeId(0): [ScopeId(1)]
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(Class | Interface)
rebuilt : SymbolId(0): SymbolFlags(Class)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-const-type/input.ts
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1)]
rebuilt : ScopeId(0): []
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(BlockScopedVariable | ConstVariable | TypeAlias)
rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable | ConstVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-constenum-constenum/input.ts
semantic error: Scope flags mismatch:
@ -1385,6 +1430,9 @@ rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
Scope flags mismatch:
after transform: ScopeId(2): ScopeFlags(StrictMode)
rebuilt : ScopeId(2): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(ConstEnum)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-enum-enum/input.ts
semantic error: Scope flags mismatch:
@ -1393,16 +1441,25 @@ rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
Scope flags mismatch:
after transform: ScopeId(2): ScopeFlags(StrictMode)
rebuilt : ScopeId(2): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(RegularEnum)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-function-interface/input.ts
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1), ScopeId(2)]
rebuilt : ScopeId(0): [ScopeId(1)]
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(BlockScopedVariable | Function | Interface)
rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable | Function)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-function-type/input.ts
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1), ScopeId(2)]
rebuilt : ScopeId(0): [ScopeId(1)]
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(BlockScopedVariable | Function | TypeAlias)
rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable | Function)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-import-ambient-class/input.ts
semantic error: Bindings mismatch:
@ -1416,6 +1473,28 @@ tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redecl
semantic error: Semantic Collector failed after transform
Missing SymbolId: a
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-import-let/input.ts
semantic error: Symbol flags mismatch:
after transform: SymbolId(1): SymbolFlags(BlockScopedVariable | Import)
rebuilt : SymbolId(1): SymbolFlags(BlockScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(2): SymbolFlags(BlockScopedVariable | Import)
rebuilt : SymbolId(2): SymbolFlags(BlockScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(3): SymbolFlags(BlockScopedVariable | Import)
rebuilt : SymbolId(3): SymbolFlags(BlockScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-import-type-let/input.ts
semantic error: Symbol flags mismatch:
after transform: SymbolId(1): SymbolFlags(BlockScopedVariable | TypeImport)
rebuilt : SymbolId(1): SymbolFlags(BlockScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(2): SymbolFlags(BlockScopedVariable | TypeImport)
rebuilt : SymbolId(2): SymbolFlags(BlockScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(3): SymbolFlags(BlockScopedVariable | TypeImport)
rebuilt : SymbolId(3): SymbolFlags(BlockScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-import-type-type/input.ts
semantic error: Bindings mismatch:
after transform: ScopeId(0): ["Global", "a"]
@ -1424,6 +1503,28 @@ Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1)]
rebuilt : ScopeId(0): []
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-import-type-var/input.ts
semantic error: Symbol flags mismatch:
after transform: SymbolId(1): SymbolFlags(FunctionScopedVariable | TypeImport)
rebuilt : SymbolId(1): SymbolFlags(FunctionScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(2): SymbolFlags(FunctionScopedVariable | TypeImport)
rebuilt : SymbolId(2): SymbolFlags(FunctionScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(3): SymbolFlags(FunctionScopedVariable | TypeImport)
rebuilt : SymbolId(3): SymbolFlags(FunctionScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-import-var/input.ts
semantic error: Symbol flags mismatch:
after transform: SymbolId(1): SymbolFlags(FunctionScopedVariable | Import)
rebuilt : SymbolId(1): SymbolFlags(FunctionScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(2): SymbolFlags(FunctionScopedVariable | Import)
rebuilt : SymbolId(2): SymbolFlags(FunctionScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(3): SymbolFlags(FunctionScopedVariable | Import)
rebuilt : SymbolId(3): SymbolFlags(FunctionScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-in-different-module/input.ts
semantic error: Bindings mismatch:
after transform: ScopeId(0): ["T", "test", "test/submodule"]
@ -1452,11 +1553,17 @@ tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redecl
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1), ScopeId(2)]
rebuilt : ScopeId(0): [ScopeId(1)]
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(Class | Interface)
rebuilt : SymbolId(0): SymbolFlags(Class)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-interface-function/input.ts
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1), ScopeId(2)]
rebuilt : ScopeId(0): [ScopeId(1)]
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(BlockScopedVariable | Function | Interface)
rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable | Function)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-interface-interface/input.ts
semantic error: Bindings mismatch:
@ -1470,46 +1577,73 @@ tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redecl
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1)]
rebuilt : ScopeId(0): []
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(BlockScopedVariable | Interface)
rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-interface-var/input.ts
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1)]
rebuilt : ScopeId(0): []
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(FunctionScopedVariable | Interface)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-let-interface/input.ts
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1)]
rebuilt : ScopeId(0): []
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(BlockScopedVariable | Interface)
rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-let-type/input.ts
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1)]
rebuilt : ScopeId(0): []
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(BlockScopedVariable | TypeAlias)
rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-type-function/input.ts
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1), ScopeId(2)]
rebuilt : ScopeId(0): [ScopeId(1)]
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(BlockScopedVariable | Function | TypeAlias)
rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable | Function)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-type-let/input.ts
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1)]
rebuilt : ScopeId(0): []
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(BlockScopedVariable | TypeAlias)
rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-type-var/input.ts
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1)]
rebuilt : ScopeId(0): []
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(FunctionScopedVariable | TypeAlias)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-var-interface/input.ts
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1)]
rebuilt : ScopeId(0): []
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(FunctionScopedVariable | Interface)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/scope/redeclaration-var-type/input.ts
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1)]
rebuilt : ScopeId(0): []
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(FunctionScopedVariable | TypeAlias)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
tasks/coverage/babel/packages/babel-parser/test/fixtures/typescript/tsx/anonymous-function-generator/input.ts
semantic error: Bindings mismatch:

24
tasks/coverage/semantic_misc.snap
View file

@ -85,6 +85,30 @@ rebuilt : ScopeId(8): ["H"]
Scope flags mismatch:
after transform: ScopeId(8): ScopeFlags(StrictMode)
rebuilt : ScopeId(8): ScopeFlags(StrictMode | Function)
Symbol flags mismatch:
after transform: SymbolId(0): SymbolFlags(RegularEnum)
rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(1): SymbolFlags(RegularEnum)
rebuilt : SymbolId(2): SymbolFlags(FunctionScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(2): SymbolFlags(RegularEnum)
rebuilt : SymbolId(4): SymbolFlags(FunctionScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(3): SymbolFlags(RegularEnum)
rebuilt : SymbolId(6): SymbolFlags(FunctionScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(4): SymbolFlags(RegularEnum)
rebuilt : SymbolId(8): SymbolFlags(FunctionScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(6): SymbolFlags(RegularEnum)
rebuilt : SymbolId(10): SymbolFlags(FunctionScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(8): SymbolFlags(RegularEnum)
rebuilt : SymbolId(12): SymbolFlags(FunctionScopedVariable)
Symbol flags mismatch:
after transform: SymbolId(10): SymbolFlags(RegularEnum)
rebuilt : SymbolId(14): SymbolFlags(FunctionScopedVariable)
tasks/coverage/misc/pass/swc-7187.ts
semantic error: Bindings mismatch:

717
tasks/coverage/semantic_typescript.snap
View file

File diff suppressed because it is too large Load diff

165
tasks/transform_conformance/babel.snap.md
View file

@ -1,6 +1,6 @@
commit: 12619ffe
Passed: 397/953
Passed: 395/953
# All Passed:
* babel-preset-react
@ -1326,6 +1326,11 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(2): Some(ScopeId(0))
| rebuilt : ScopeId(3): Some(ScopeId(2))
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(CatchVariable)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable |
| CatchVariable)
* optional-catch-bindings/try-catch-finally-no-binding/input.js
x Bindings mismatch:
@ -1348,6 +1353,11 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(2): Some(ScopeId(0))
| rebuilt : ScopeId(3): Some(ScopeId(2))
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(CatchVariable)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable |
| CatchVariable)
# babel-plugin-transform-exponentiation-operator (3/4)
@ -1355,7 +1365,7 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
# babel-plugin-transform-arrow-functions (1/6)
# babel-plugin-transform-arrow-functions (0/6)
* assumption-newableArrowFunctions-false/basic/input.js
x Bindings mismatch:
| after transform: ScopeId(1): ["f"]
@ -1373,17 +1383,46 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(6): ["_this2"]
| rebuilt : ScopeId(6): []
x Symbol flags mismatch:
| after transform: SymbolId(2): SymbolFlags(FunctionScopedVariable |
| ArrowFunction)
| rebuilt : SymbolId(3): SymbolFlags(FunctionScopedVariable)
* assumption-newableArrowFunctions-false/naming/input.js
x Symbol flags mismatch:
| after transform: SymbolId(1): SymbolFlags(BlockScopedVariable |
| ConstVariable | ArrowFunction)
| rebuilt : SymbolId(1): SymbolFlags(BlockScopedVariable |
| ConstVariable)
* assumption-newableArrowFunctions-false/self-referential/input.js
x Symbol flags mismatch:
| after transform: SymbolId(1): SymbolFlags(FunctionScopedVariable |
| ArrowFunction)
| rebuilt : SymbolId(1): SymbolFlags(FunctionScopedVariable)
* spec/newableArrowFunction-default/input.js
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(BlockScopedVariable |
| ArrowFunction)
| rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable)
* spec/newableArrowFunction-vs-spec-false/input.js
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(BlockScopedVariable |
| ArrowFunction)
| rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable)
* spec/newableArrowFunction-vs-spec-true/input.js
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(BlockScopedVariable |
| ArrowFunction)
| rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable)
@ -1415,12 +1454,16 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(1): ScopeFlags(StrictMode)
| rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(ConstEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
* opts/rewriteImportExtensions/input.ts
# babel-plugin-transform-typescript (51/151)
# babel-plugin-transform-typescript (50/151)
* class/accessor-allowDeclareFields-false/input.ts
x TS(18010): An accessibility modifier cannot be used with a private
| identifier.
@ -1502,12 +1545,20 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(1): ScopeFlags(StrictMode)
| rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
* enum/const/input.ts
x Scope flags mismatch:
| after transform: ScopeId(1): ScopeFlags(StrictMode)
| rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(ConstEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
* enum/constant-folding/input.ts
x Bindings mismatch:
@ -1519,6 +1570,10 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(1): ScopeFlags(StrictMode)
| rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
* enum/enum-merging-inner-references/input.ts
x Bindings mismatch:
@ -1537,6 +1592,10 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(2): ScopeFlags(StrictMode)
| rebuilt : ScopeId(2): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
* enum/enum-merging-inner-references-shadow/input.ts
x Bindings mismatch:
@ -1563,6 +1622,10 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(3): ScopeFlags(StrictMode)
| rebuilt : ScopeId(3): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(2): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(2): SymbolFlags(FunctionScopedVariable)
* enum/export/input.ts
x Bindings mismatch:
@ -1581,6 +1644,10 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(2): ScopeFlags(StrictMode)
| rebuilt : ScopeId(2): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(Export | RegularEnum)
| rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable | Export)
* enum/inferred/input.ts
x Bindings mismatch:
@ -1591,6 +1658,10 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(1): ScopeFlags(StrictMode)
| rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
* enum/inner-references/input.ts
x Bindings mismatch:
@ -1601,6 +1672,10 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(1): ScopeFlags(StrictMode)
| rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
* enum/mix-references/input.ts
x Semantic Collector failed after transform
@ -1650,6 +1725,10 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(1): ScopeFlags(StrictMode)
| rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
* enum/non-scoped/input.ts
x Bindings mismatch:
@ -1668,6 +1747,10 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(2): ScopeFlags(StrictMode)
| rebuilt : ScopeId(2): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
* enum/outer-references/input.ts
x Bindings mismatch:
@ -1687,12 +1770,24 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(2): ScopeFlags(StrictMode)
| rebuilt : ScopeId(2): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
x Symbol flags mismatch:
| after transform: SymbolId(4): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(2): SymbolFlags(FunctionScopedVariable)
* enum/scoped/input.ts
x Scope flags mismatch:
| after transform: ScopeId(2): ScopeFlags(StrictMode)
| rebuilt : ScopeId(2): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable)
* enum/string-value/input.ts
x Bindings mismatch:
@ -1703,6 +1798,10 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(1): ScopeFlags(StrictMode)
| rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
* enum/string-value-template/input.ts
x Bindings mismatch:
@ -1713,6 +1812,10 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(1): ScopeFlags(StrictMode)
| rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
* enum/string-values-computed/input.ts
x Bindings mismatch:
@ -1723,6 +1826,10 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(1): ScopeFlags(StrictMode)
| rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
* enum/ts5.0-const-foldable/input.ts
x Bindings mismatch:
@ -1741,12 +1848,25 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(2): ScopeFlags(StrictMode)
| rebuilt : ScopeId(2): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(2): SymbolFlags(ConstEnum)
| rebuilt : SymbolId(2): SymbolFlags(FunctionScopedVariable)
x Symbol flags mismatch:
| after transform: SymbolId(8): SymbolFlags(ConstEnum)
| rebuilt : SymbolId(6): SymbolFlags(FunctionScopedVariable)
* exports/declare-namespace/input.ts
x Scope children mismatch:
| after transform: ScopeId(0): [ScopeId(1), ScopeId(3)]
| rebuilt : ScopeId(0): [ScopeId(1)]
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(Export | Class | NameSpaceModule
| | Ambient)
| rebuilt : SymbolId(0): SymbolFlags(Export | Class)
* exports/declare-shadowed/input.ts
x Scope children mismatch:
@ -1789,6 +1909,14 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(16): ScopeFlags(StrictMode)
| rebuilt : ScopeId(4): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(10): SymbolFlags(Export | RegularEnum)
| rebuilt : SymbolId(1): SymbolFlags(FunctionScopedVariable | Export)
x Symbol flags mismatch:
| after transform: SymbolId(15): SymbolFlags(Export | RegularEnum)
| rebuilt : SymbolId(4): SymbolFlags(FunctionScopedVariable | Export)
x Reference mismatch:
| after transform: ReferenceId(0): Some("x")
| rebuilt : ReferenceId(0): None
@ -1817,6 +1945,10 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(1): ScopeFlags(StrictMode)
| rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(Export | ConstEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
* exports/export-import=/input.ts
x Semantic Collector failed after transform
@ -2016,6 +2148,10 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(1): ScopeFlags(StrictMode)
| rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(1): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(0): SymbolFlags(FunctionScopedVariable)
* imports/enum-value/input.ts
x Bindings mismatch:
@ -2026,6 +2162,10 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ScopeId(1): ScopeFlags(StrictMode)
| rebuilt : ScopeId(1): ScopeFlags(StrictMode | Function)
x Symbol flags mismatch:
| after transform: SymbolId(1): SymbolFlags(RegularEnum)
| rebuilt : SymbolId(1): SymbolFlags(FunctionScopedVariable)
* imports/import-removed-exceptions/input.ts
x Bindings mismatch:
@ -2040,6 +2180,18 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| rebuilt : ScopeId(0): []
* imports/import-type-func-with-duplicate-name/input.ts
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(BlockScopedVariable | Function
| | TypeImport)
| rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable | Function)
x Symbol flags mismatch:
| after transform: SymbolId(1): SymbolFlags(BlockScopedVariable | Function
| | TypeImport)
| rebuilt : SymbolId(1): SymbolFlags(BlockScopedVariable | Function)
* imports/import-type-not-removed/input.ts
x Bindings mismatch:
| after transform: ScopeId(0): ["A", "B"]
@ -2080,6 +2232,13 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
* imports/type-only-export-specifier-2/input.ts
x Symbol flags mismatch:
| after transform: SymbolId(1): SymbolFlags(Export | Import)
| rebuilt : SymbolId(1): SymbolFlags(Import)
x Symbol flags mismatch:
| after transform: SymbolId(2): SymbolFlags(Export | TypeImport)
| rebuilt : SymbolId(2): SymbolFlags(TypeImport)
* imports/type-only-import-specifier-1/input.ts

21
tasks/transform_conformance/oxc.snap.md
View file

@ -28,6 +28,11 @@ Passed: 8/35
| after transform: ScopeId(2): Some(ScopeId(0))
| rebuilt : ScopeId(3): Some(ScopeId(2))
x Symbol flags mismatch:
| after transform: SymbolId(1): SymbolFlags(CatchVariable)
| rebuilt : SymbolId(1): SymbolFlags(FunctionScopedVariable |
| CatchVariable)
# babel-plugin-transform-typescript (2/7)
@ -128,6 +133,22 @@ Passed: 8/35
| after transform: ScopeId(0): [ScopeId(1), ScopeId(2)]
| rebuilt : ScopeId(0): []
x Symbol flags mismatch:
| after transform: SymbolId(0): SymbolFlags(BlockScopedVariable |
| ConstVariable | Export | Import)
| rebuilt : SymbolId(0): SymbolFlags(BlockScopedVariable |
| ConstVariable | Export)
x Symbol flags mismatch:
| after transform: SymbolId(1): SymbolFlags(Export | Import | TypeAlias)
| rebuilt : SymbolId(1): SymbolFlags(Export | Import)
x Symbol flags mismatch:
| after transform: SymbolId(2): SymbolFlags(BlockScopedVariable |
| ConstVariable | Export | Import | TypeAlias)
| rebuilt : SymbolId(2): SymbolFlags(BlockScopedVariable |
| ConstVariable | Export)
# babel-plugin-transform-react-jsx (6/27)