mirror/rea
1
0
Fork 0
mirror of https://github.com/morluto/rea synced 2026-10-27 14:42:18 -04:00
Code Issues Packages Projects Releases Wiki Activity

fix(javascript): preserve uncertainty in compound assignment results (#4342)

Browse Source 
* fix(javascript): preserve uncertainty in compound assignment results

* fix(javascript): retain callable logical assignment alternatives

* fix(javascript): read prior module export assignment values

* fix: keep mutable module export assignment candidates conservative

* fix: preserve mixed receiver values and wrapped assignment targets

* fix: carry mutable export uncertainty through copied values
This commit is contained in:
Liu Jie
2026-10-17 05:24:09 +13:00
committed by GitHub
parent abbdb46427
commit 17488bd639
4 changed files with 705 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/domain/javascript/javascriptSymbolicControlFlow.ts
+1
View File
@@ -9,6 +9,7 @@ export const symbolicLogicalRight = (
operator: t.LogicalExpression["operator"],
left: SymbolicValue,
): boolean | undefined => {
if (left.kind === "namespace" && left.runtimeValueUnknown) return undefined;
if (left.kind === "union") {
const choices = left.values.map((value) =>
symbolicLogicalRight(operator, value),