diff --git a/crates/oxc_semantic/src/post_transform_checker.rs b/crates/oxc_semantic/src/post_transform_checker.rs
index 52f0b69a26642..6aec9d0951fd6 100644
--- a/crates/oxc_semantic/src/post_transform_checker.rs
+++ b/crates/oxc_semantic/src/post_transform_checker.rs
@@ -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);
+            }
         }
     }
 
diff --git a/tasks/coverage/semantic_typescript.snap b/tasks/coverage/semantic_typescript.snap
index 5e6ea53eca955..565411a1efd92 100644
--- a/tasks/coverage/semantic_typescript.snap
+++ b/tasks/coverage/semantic_typescript.snap
@@ -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:
diff --git a/tasks/transform_conformance/babel.snap.md b/tasks/transform_conformance/babel.snap.md
index 0f0a830f684cd..70044dffed054 100644
--- a/tasks/transform_conformance/babel.snap.md
+++ b/tasks/transform_conformance/babel.snap.md
@@ -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)
 
-# babel-plugin-transform-nullish-coalescing-operator (5/12)
+  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 (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:
diff --git a/tasks/transform_conformance/oxc.snap.md b/tasks/transform_conformance/oxc.snap.md
index c028f4a8f6235..ec88daeaee81d 100644
--- a/tasks/transform_conformance/oxc.snap.md
+++ b/tasks/transform_conformance/oxc.snap.md
@@ -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