fix(semantic): transform checker check reference flags (#5092)

This commit is contained in:
overlookmotel 2024-08-23 00:21:21 +00:00
parent eca6fdbffe
commit d5de97d6fe
4 changed files with 436 additions and 4 deletions

View file

@ -522,6 +522,14 @@ impl<'s> PostTransformChecker<'s> {
});
self.errors.push_mismatch("Reference symbol mismatch", reference_ids, symbol_names);
}
// Check flags match
let flags = self.get_pair(reference_ids, |data, reference_id| {
data.symbols.references[reference_id].flags()
});
if flags.is_mismatch() {
self.errors.push_mismatch("Reference flags mismatch", reference_ids, flags);
}
}
}

View file

@ -2,7 +2,7 @@ commit: d8086f14
semantic_typescript Summary:
AST Parsed : 6456/6456 (100.00%)
Positive Passed: 3375/6456 (52.28%)
Positive Passed: 3374/6456 (52.26%)
tasks/coverage/typescript/tests/cases/compiler/2dArrays.ts
semantic error: Symbol reference IDs mismatch:
after transform: SymbolId(0): [ReferenceId(1)]
@ -2209,6 +2209,11 @@ Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1), ScopeId(2)]
rebuilt : ScopeId(0): []
tasks/coverage/typescript/tests/cases/compiler/commentOnParenthesizedExpressionOpenParen1.ts
semantic error: Reference flags mismatch:
after transform: ReferenceId(0): ReferenceFlags(Read | Write)
rebuilt : ReferenceId(0): ReferenceFlags(Write)
tasks/coverage/typescript/tests/cases/compiler/commentOnSignature1.ts
semantic error: Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1), ScopeId(2), ScopeId(3), ScopeId(4)]
@ -9697,6 +9702,9 @@ rebuilt : ScopeId(0): ["A", "B"]
Scope children mismatch:
after transform: ScopeId(0): [ScopeId(1), ScopeId(2), ScopeId(3), ScopeId(5), ScopeId(7), ScopeId(8), ScopeId(10)]
rebuilt : ScopeId(0): [ScopeId(1), ScopeId(2)]
Reference flags mismatch:
after transform: ReferenceId(12): ReferenceFlags(Type)
rebuilt : ReferenceId(0): ReferenceFlags(Read)
tasks/coverage/typescript/tests/cases/compiler/indexedAccessNormalization.ts
semantic error: Bindings mismatch:
@ -10873,6 +10881,15 @@ rebuilt : ScopeId(0): [ScopeId(1), ScopeId(2), ScopeId(4), ScopeId(6), Sc
Symbol reference IDs mismatch:
after transform: SymbolId(0): [ReferenceId(0), ReferenceId(1), ReferenceId(2), ReferenceId(3)]
rebuilt : SymbolId(0): [ReferenceId(0), ReferenceId(1), ReferenceId(2)]
Reference flags mismatch:
after transform: ReferenceId(1): ReferenceFlags(Type)
rebuilt : ReferenceId(0): ReferenceFlags(Read)
Reference flags mismatch:
after transform: ReferenceId(2): ReferenceFlags(Type)
rebuilt : ReferenceId(1): ReferenceFlags(Read)
Reference flags mismatch:
after transform: ReferenceId(3): ReferenceFlags(Type)
rebuilt : ReferenceId(2): ReferenceFlags(Read)
tasks/coverage/typescript/tests/cases/compiler/interfaceImplementation5.ts
semantic error: Bindings mismatch:
@ -21047,6 +21064,9 @@ rebuilt : ScopeId(19): ["key", "obj"]
Bindings mismatch:
after transform: ScopeId(26): ["T", "a"]
rebuilt : ScopeId(21): ["a"]
Reference flags mismatch:
after transform: ReferenceId(7): ReferenceFlags(Type)
rebuilt : ReferenceId(2): ReferenceFlags(Read)
tasks/coverage/typescript/tests/cases/compiler/typedArrays.ts
semantic error: Bindings mismatch:
@ -23184,6 +23204,12 @@ rebuilt : SymbolId(2): []
Symbol reference IDs mismatch:
after transform: SymbolId(4): [ReferenceId(12)]
rebuilt : SymbolId(3): []
Reference flags mismatch:
after transform: ReferenceId(1): ReferenceFlags(Type)
rebuilt : ReferenceId(0): ReferenceFlags(Read)
Reference flags mismatch:
after transform: ReferenceId(3): ReferenceFlags(Type)
rebuilt : ReferenceId(1): ReferenceFlags(Read)
tasks/coverage/typescript/tests/cases/conformance/classes/classExpression.ts
semantic error: Semantic Collector failed after transform
@ -23462,6 +23488,9 @@ rebuilt : SymbolId(0): Span { start: 62, end: 63 }
Symbol redeclarations mismatch:
after transform: SymbolId(1): [Span { start: 62, end: 63 }]
rebuilt : SymbolId(0): []
Reference flags mismatch:
after transform: ReferenceId(1): ReferenceFlags(Type)
rebuilt : ReferenceId(0): ReferenceFlags(Read)
tasks/coverage/typescript/tests/cases/conformance/classes/propertyMemberDeclarations/accessorsOverrideProperty8.ts
semantic error: Bindings mismatch:

View file

@ -1,6 +1,6 @@
commit: 12619ffe
Passed: 385/953
Passed: 381/953
# All Passed:
* babel-preset-react
@ -1285,6 +1285,18 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| rebuilt : SymbolId(0): [ReferenceId(0), ReferenceId(1),
| ReferenceId(2), ReferenceId(3), ReferenceId(4), ReferenceId(5)]
x Reference flags mismatch:
| after transform: ReferenceId(4): ReferenceFlags(Write)
| rebuilt : ReferenceId(1): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(6): ReferenceFlags(Write)
| rebuilt : ReferenceId(3): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(8): ReferenceFlags(Write)
| rebuilt : ReferenceId(5): ReferenceFlags(Read | Write)
* logical-assignment/arrow-functions-transform/input.js
x Symbol reference IDs mismatch:
@ -1294,6 +1306,18 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| rebuilt : SymbolId(0): [ReferenceId(0), ReferenceId(1),
| ReferenceId(2), ReferenceId(3), ReferenceId(4), ReferenceId(5)]
x Reference flags mismatch:
| after transform: ReferenceId(4): ReferenceFlags(Write)
| rebuilt : ReferenceId(1): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(6): ReferenceFlags(Write)
| rebuilt : ReferenceId(3): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(8): ReferenceFlags(Write)
| rebuilt : ReferenceId(5): ReferenceFlags(Read | Write)
* logical-assignment/general-semantics/input.js
x Symbol reference IDs mismatch:
@ -1316,6 +1340,118 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| ReferenceId(136)]
| rebuilt : SymbolId(14): [ReferenceId(123), ReferenceId(127)]
x Reference flags mismatch:
| after transform: ReferenceId(98): ReferenceFlags(Write)
| rebuilt : ReferenceId(27): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(97): ReferenceFlags(Write)
| rebuilt : ReferenceId(29): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(100): ReferenceFlags(Write)
| rebuilt : ReferenceId(33): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(99): ReferenceFlags(Write)
| rebuilt : ReferenceId(35): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(102): ReferenceFlags(Write)
| rebuilt : ReferenceId(39): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(101): ReferenceFlags(Write)
| rebuilt : ReferenceId(41): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(104): ReferenceFlags(Write)
| rebuilt : ReferenceId(45): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(103): ReferenceFlags(Write)
| rebuilt : ReferenceId(47): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(107): ReferenceFlags(Write)
| rebuilt : ReferenceId(52): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(105): ReferenceFlags(Write)
| rebuilt : ReferenceId(55): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(110): ReferenceFlags(Write)
| rebuilt : ReferenceId(61): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(108): ReferenceFlags(Write)
| rebuilt : ReferenceId(64): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(113): ReferenceFlags(Write)
| rebuilt : ReferenceId(70): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(111): ReferenceFlags(Write)
| rebuilt : ReferenceId(73): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(116): ReferenceFlags(Write)
| rebuilt : ReferenceId(79): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(114): ReferenceFlags(Write)
| rebuilt : ReferenceId(82): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(118): ReferenceFlags(Write)
| rebuilt : ReferenceId(87): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(120): ReferenceFlags(Write)
| rebuilt : ReferenceId(89): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(119): ReferenceFlags(Write)
| rebuilt : ReferenceId(92): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(123): ReferenceFlags(Write)
| rebuilt : ReferenceId(99): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(125): ReferenceFlags(Write)
| rebuilt : ReferenceId(101): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(124): ReferenceFlags(Write)
| rebuilt : ReferenceId(104): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(128): ReferenceFlags(Write)
| rebuilt : ReferenceId(111): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(130): ReferenceFlags(Write)
| rebuilt : ReferenceId(113): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(129): ReferenceFlags(Write)
| rebuilt : ReferenceId(116): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(133): ReferenceFlags(Write)
| rebuilt : ReferenceId(123): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(135): ReferenceFlags(Write)
| rebuilt : ReferenceId(125): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(134): ReferenceFlags(Write)
| rebuilt : ReferenceId(128): ReferenceFlags(Read)
* logical-assignment/named-functions-transform/input.js
x Symbol reference IDs mismatch:
@ -1325,6 +1461,18 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| rebuilt : SymbolId(0): [ReferenceId(0), ReferenceId(1),
| ReferenceId(2), ReferenceId(3), ReferenceId(4), ReferenceId(5)]
x Reference flags mismatch:
| after transform: ReferenceId(4): ReferenceFlags(Write)
| rebuilt : ReferenceId(1): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(6): ReferenceFlags(Write)
| rebuilt : ReferenceId(3): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(8): ReferenceFlags(Write)
| rebuilt : ReferenceId(5): ReferenceFlags(Read | Write)
* logical-assignment/null-coalescing/input.js
x Symbol reference IDs mismatch:
@ -1337,6 +1485,94 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| ReferenceId(98)]
| rebuilt : SymbolId(14): [ReferenceId(88), ReferenceId(94)]
x Reference flags mismatch:
| after transform: ReferenceId(58): ReferenceFlags(Write)
| rebuilt : ReferenceId(6): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(62): ReferenceFlags(Write)
| rebuilt : ReferenceId(14): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(67): ReferenceFlags(Write)
| rebuilt : ReferenceId(26): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(65): ReferenceFlags(Write)
| rebuilt : ReferenceId(27): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(64): ReferenceFlags(Write)
| rebuilt : ReferenceId(31): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(72): ReferenceFlags(Write)
| rebuilt : ReferenceId(35): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(70): ReferenceFlags(Write)
| rebuilt : ReferenceId(36): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(69): ReferenceFlags(Write)
| rebuilt : ReferenceId(40): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(78): ReferenceFlags(Write)
| rebuilt : ReferenceId(46): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(76): ReferenceFlags(Write)
| rebuilt : ReferenceId(48): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(74): ReferenceFlags(Write)
| rebuilt : ReferenceId(53): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(84): ReferenceFlags(Write)
| rebuilt : ReferenceId(58): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(82): ReferenceFlags(Write)
| rebuilt : ReferenceId(60): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(80): ReferenceFlags(Write)
| rebuilt : ReferenceId(65): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(92): ReferenceFlags(Write)
| rebuilt : ReferenceId(72): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(87): ReferenceFlags(Write)
| rebuilt : ReferenceId(73): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(89): ReferenceFlags(Write)
| rebuilt : ReferenceId(75): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(88): ReferenceFlags(Write)
| rebuilt : ReferenceId(80): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(100): ReferenceFlags(Write)
| rebuilt : ReferenceId(87): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(95): ReferenceFlags(Write)
| rebuilt : ReferenceId(88): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(97): ReferenceFlags(Write)
| rebuilt : ReferenceId(90): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(96): ReferenceFlags(Write)
| rebuilt : ReferenceId(95): ReferenceFlags(Read)
* logical-assignment/null-coalescing-without-other/input.js
x Symbol reference IDs mismatch:
@ -1350,19 +1586,55 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| rebuilt : SymbolId(3): [ReferenceId(0), ReferenceId(1),
| ReferenceId(3), ReferenceId(6)]
x Reference flags mismatch:
| after transform: ReferenceId(4): ReferenceFlags(Write)
| rebuilt : ReferenceId(1): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(6): ReferenceFlags(Write)
| rebuilt : ReferenceId(2): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(5): ReferenceFlags(Write)
| rebuilt : ReferenceId(4): ReferenceFlags(Read)
x Reference flags mismatch:
| after transform: ReferenceId(8): ReferenceFlags(Write)
| rebuilt : ReferenceId(5): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(10): ReferenceFlags(Write)
| rebuilt : ReferenceId(7): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(9): ReferenceFlags(Write)
| rebuilt : ReferenceId(9): ReferenceFlags(Read)
# babel-plugin-transform-nullish-coalescing-operator (5/12)
# babel-plugin-transform-nullish-coalescing-operator (2/12)
* assumption-noDocumentAll/transform/input.js
x Reference flags mismatch:
| after transform: ReferenceId(2): ReferenceFlags(Write)
| rebuilt : ReferenceId(0): ReferenceFlags(Read | Write)
* assumption-noDocumentAll/transform-in-default-destructuring/input.js
x Reference flags mismatch:
| after transform: ReferenceId(2): ReferenceFlags(Write)
| rebuilt : ReferenceId(0): ReferenceFlags(Read | Write)
* assumption-noDocumentAll/transform-in-default-param/input.js
x Reference flags mismatch:
| after transform: ReferenceId(3): ReferenceFlags(Write)
| rebuilt : ReferenceId(0): ReferenceFlags(Read | Write)
* assumption-noDocumentAll/transform-in-function/input.js
x Reference flags mismatch:
| after transform: ReferenceId(2): ReferenceFlags(Write)
| rebuilt : ReferenceId(0): ReferenceFlags(Read | Write)
* assumption-noDocumentAll/transform-static-refs-in-default/input.js
@ -1371,7 +1643,28 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
* assumption-noDocumentAll/transform-static-refs-in-function/input.js
* nullish-coalescing/transform-in-default-destructuring/input.js
x Reference flags mismatch:
| after transform: ReferenceId(2): ReferenceFlags(Write)
| rebuilt : ReferenceId(0): ReferenceFlags(Read | Write)
* nullish-coalescing/transform-in-default-param/input.js
x Reference flags mismatch:
| after transform: ReferenceId(3): ReferenceFlags(Write)
| rebuilt : ReferenceId(0): ReferenceFlags(Read | Write)
* nullish-coalescing/transform-in-function/input.js
x Reference flags mismatch:
| after transform: ReferenceId(2): ReferenceFlags(Write)
| rebuilt : ReferenceId(0): ReferenceFlags(Read | Write)
* nullish-coalescing/transform-loose/input.js
x Reference flags mismatch:
| after transform: ReferenceId(2): ReferenceFlags(Write)
| rebuilt : ReferenceId(0): ReferenceFlags(Read | Write)
@ -1439,17 +1732,31 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
# babel-plugin-transform-exponentiation-operator (2/4)
# babel-plugin-transform-exponentiation-operator (1/4)
* exponentiation-operator/assignment/input.js
x Symbol reference IDs mismatch:
| after transform: SymbolId(0): [ReferenceId(0), ReferenceId(1),
| ReferenceId(2)]
| rebuilt : SymbolId(0): [ReferenceId(0), ReferenceId(2)]
x Reference flags mismatch:
| after transform: ReferenceId(2): ReferenceFlags(Write)
| rebuilt : ReferenceId(0): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(1): ReferenceFlags(Write)
| rebuilt : ReferenceId(2): ReferenceFlags(Read)
* regression/4349/input.js
* regression/4403/input.js
x Reference flags mismatch:
| after transform: ReferenceId(3): ReferenceFlags(Write)
| rebuilt : ReferenceId(0): ReferenceFlags(Read | Write)
# babel-plugin-transform-arrow-functions (0/6)
* assumption-newableArrowFunctions-false/basic/input.js
@ -2070,18 +2377,34 @@ preset-env: unknown field `shippedProposals`, expected `targets` or `bugfixes`
| after transform: ReferenceId(0): Some("x")
| rebuilt : ReferenceId(0): None
x Reference flags mismatch:
| after transform: ReferenceId(0): ReferenceFlags(Read)
| rebuilt : ReferenceId(0): ReferenceFlags(Read | Type)
x Reference symbol mismatch:
| after transform: ReferenceId(2): Some("E")
| rebuilt : ReferenceId(1): None
x Reference flags mismatch:
| after transform: ReferenceId(2): ReferenceFlags(Read)
| rebuilt : ReferenceId(1): ReferenceFlags(Read | Type)
x Reference symbol mismatch:
| after transform: ReferenceId(8): Some("x")
| rebuilt : ReferenceId(2): None
x Reference flags mismatch:
| after transform: ReferenceId(8): ReferenceFlags(Read)
| rebuilt : ReferenceId(2): ReferenceFlags(Read | Type)
x Reference symbol mismatch:
| after transform: ReferenceId(11): Some("E")
| rebuilt : ReferenceId(3): None
x Reference flags mismatch:
| after transform: ReferenceId(11): ReferenceFlags(Read)
| rebuilt : ReferenceId(3): ReferenceFlags(Read | Type)
* exports/default-function/input.ts
x Scope children mismatch:

View file

@ -266,6 +266,10 @@ Passed: 8/35
| after transform: ReferenceId(41): Some("_s6")
| rebuilt : ReferenceId(5): None
x Reference flags mismatch:
| after transform: ReferenceId(18): ReferenceFlags(Write)
| rebuilt : ReferenceId(31): ReferenceFlags(Read | Write)
x Reference symbol mismatch:
| after transform: ReferenceId(45): Some("_c")
| rebuilt : ReferenceId(45): None
@ -413,6 +417,22 @@ Passed: 8/35
| after transform: ReferenceId(32): Some("_s2")
| rebuilt : ReferenceId(1): None
x Reference flags mismatch:
| after transform: ReferenceId(18): ReferenceFlags(Write)
| rebuilt : ReferenceId(4): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(17): ReferenceFlags(Write)
| rebuilt : ReferenceId(7): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(22): ReferenceFlags(Write)
| rebuilt : ReferenceId(19): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(21): ReferenceFlags(Write)
| rebuilt : ReferenceId(22): ReferenceFlags(Read | Write)
x Reference symbol mismatch:
| after transform: ReferenceId(38): Some("_s3")
| rebuilt : ReferenceId(32): None
@ -551,6 +571,10 @@ Passed: 8/35
| ReferenceId(21)]
| rebuilt : SymbolId(7): [ReferenceId(12), ReferenceId(21)]
x Reference flags mismatch:
| after transform: ReferenceId(8): ReferenceFlags(Write)
| rebuilt : ReferenceId(3): ReferenceFlags(Read | Write)
x Reference symbol mismatch:
| after transform: ReferenceId(14): Some("_c")
| rebuilt : ReferenceId(14): None
@ -763,6 +787,30 @@ Passed: 8/35
| ReferenceId(33)]
| rebuilt : SymbolId(12): [ReferenceId(12), ReferenceId(33)]
x Reference flags mismatch:
| after transform: ReferenceId(5): ReferenceFlags(Write)
| rebuilt : ReferenceId(1): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(9): ReferenceFlags(Write)
| rebuilt : ReferenceId(6): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(8): ReferenceFlags(Write)
| rebuilt : ReferenceId(8): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(14): ReferenceFlags(Write)
| rebuilt : ReferenceId(12): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(13): ReferenceFlags(Write)
| rebuilt : ReferenceId(14): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(12): ReferenceFlags(Write)
| rebuilt : ReferenceId(16): ReferenceFlags(Read | Write)
x Reference symbol mismatch:
| after transform: ReferenceId(18): Some("_c")
| rebuilt : ReferenceId(18): None
@ -812,6 +860,18 @@ Passed: 8/35
| ReferenceId(11)]
| rebuilt : SymbolId(5): [ReferenceId(0), ReferenceId(11)]
x Reference flags mismatch:
| after transform: ReferenceId(4): ReferenceFlags(Write)
| rebuilt : ReferenceId(0): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(3): ReferenceFlags(Write)
| rebuilt : ReferenceId(2): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(2): ReferenceFlags(Write)
| rebuilt : ReferenceId(4): ReferenceFlags(Read | Write)
x Reference symbol mismatch:
| after transform: ReferenceId(6): Some("_c")
| rebuilt : ReferenceId(6): None
@ -841,6 +901,18 @@ Passed: 8/35
| ReferenceId(11)]
| rebuilt : SymbolId(6): [ReferenceId(0), ReferenceId(11)]
x Reference flags mismatch:
| after transform: ReferenceId(4): ReferenceFlags(Write)
| rebuilt : ReferenceId(0): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(3): ReferenceFlags(Write)
| rebuilt : ReferenceId(2): ReferenceFlags(Read | Write)
x Reference flags mismatch:
| after transform: ReferenceId(2): ReferenceFlags(Write)
| rebuilt : ReferenceId(4): ReferenceFlags(Read | Write)
x Reference symbol mismatch:
| after transform: ReferenceId(6): Some("_c")
| rebuilt : ReferenceId(6): None