diff --git a/src/compiler/binder.ts b/src/compiler/binder.ts
index 396187ba09c..7cf4234b415 100644
--- a/src/compiler/binder.ts
+++ b/src/compiler/binder.ts
@@ -905,9 +905,6 @@ namespace ts {
         function isNarrowingBinaryExpression(expr: BinaryExpression) {
             switch (expr.operatorToken.kind) {
                 case SyntaxKind.EqualsToken:
-                case SyntaxKind.BarBarEqualsToken:
-                case SyntaxKind.AmpersandAmpersandEqualsToken:
-                case SyntaxKind.QuestionQuestionEqualsToken:
                     return containsNarrowableReference(expr.left);
                 case SyntaxKind.EqualsEqualsToken:
                 case SyntaxKind.ExclamationEqualsToken:
@@ -932,9 +929,6 @@ namespace ts {
                 case SyntaxKind.BinaryExpression:
                     switch ((<BinaryExpression>expr).operatorToken.kind) {
                         case SyntaxKind.EqualsToken:
-                        case SyntaxKind.BarBarEqualsToken:
-                        case SyntaxKind.AmpersandAmpersandEqualsToken:
-                        case SyntaxKind.QuestionQuestionEqualsToken:
                             return isNarrowableOperand((<BinaryExpression>expr).left);
                         case SyntaxKind.CommaToken:
                             return isNarrowableOperand((<BinaryExpression>expr).right);
diff --git a/tests/baselines/reference/logicalAssignment8(target=es2015).errors.txt b/tests/baselines/reference/logicalAssignment8(target=es2015).errors.txt
new file mode 100644
index 00000000000..82b49d50c3e
--- /dev/null
+++ b/tests/baselines/reference/logicalAssignment8(target=es2015).errors.txt
@@ -0,0 +1,19 @@
+tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts(12,5): error TS2532: Object is possibly 'undefined'.
+
+
+==== tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts (1 errors) ====
+    declare const bar: { value?: number[] } | undefined
+    
+    function foo1(results: number[] | undefined) {
+        (results ||= bar?.value ?? []).push(100);
+    }
+    
+    function foo2(results: number[] | undefined) {
+        (results ??= bar?.value ?? []).push(100);
+    }
+    
+    function foo3(results: number[] | undefined) {
+        (results &&= bar?.value ?? []).push(100);
+        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2532: Object is possibly 'undefined'.
+    }
\ No newline at end of file
diff --git a/tests/baselines/reference/logicalAssignment8(target=es2015).js b/tests/baselines/reference/logicalAssignment8(target=es2015).js
new file mode 100644
index 00000000000..3d32063651e
--- /dev/null
+++ b/tests/baselines/reference/logicalAssignment8(target=es2015).js
@@ -0,0 +1,29 @@
+//// [logicalAssignment8.ts]
+declare const bar: { value?: number[] } | undefined
+
+function foo1(results: number[] | undefined) {
+    (results ||= bar?.value ?? []).push(100);
+}
+
+function foo2(results: number[] | undefined) {
+    (results ??= bar?.value ?? []).push(100);
+}
+
+function foo3(results: number[] | undefined) {
+    (results &&= bar?.value ?? []).push(100);
+}
+
+//// [logicalAssignment8.js]
+"use strict";
+function foo1(results) {
+    var _a;
+    (results || (results = (_a = bar === null || bar === void 0 ? void 0 : bar.value) !== null && _a !== void 0 ? _a : [])).push(100);
+}
+function foo2(results) {
+    var _a;
+    (results !== null && results !== void 0 ? results : (results = (_a = bar === null || bar === void 0 ? void 0 : bar.value) !== null && _a !== void 0 ? _a : [])).push(100);
+}
+function foo3(results) {
+    var _a;
+    (results && (results = (_a = bar === null || bar === void 0 ? void 0 : bar.value) !== null && _a !== void 0 ? _a : [])).push(100);
+}
diff --git a/tests/baselines/reference/logicalAssignment8(target=es2015).symbols b/tests/baselines/reference/logicalAssignment8(target=es2015).symbols
new file mode 100644
index 00000000000..e92c95fa891
--- /dev/null
+++ b/tests/baselines/reference/logicalAssignment8(target=es2015).symbols
@@ -0,0 +1,43 @@
+=== tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts ===
+declare const bar: { value?: number[] } | undefined
+>bar : Symbol(bar, Decl(logicalAssignment8.ts, 0, 13))
+>value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+
+function foo1(results: number[] | undefined) {
+>foo1 : Symbol(foo1, Decl(logicalAssignment8.ts, 0, 51))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 2, 14))
+
+    (results ||= bar?.value ?? []).push(100);
+>(results ||= bar?.value ?? []).push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 2, 14))
+>bar?.value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>bar : Symbol(bar, Decl(logicalAssignment8.ts, 0, 13))
+>value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+}
+
+function foo2(results: number[] | undefined) {
+>foo2 : Symbol(foo2, Decl(logicalAssignment8.ts, 4, 1))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 6, 14))
+
+    (results ??= bar?.value ?? []).push(100);
+>(results ??= bar?.value ?? []).push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 6, 14))
+>bar?.value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>bar : Symbol(bar, Decl(logicalAssignment8.ts, 0, 13))
+>value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+}
+
+function foo3(results: number[] | undefined) {
+>foo3 : Symbol(foo3, Decl(logicalAssignment8.ts, 8, 1))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 10, 14))
+
+    (results &&= bar?.value ?? []).push(100);
+>(results &&= bar?.value ?? []).push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 10, 14))
+>bar?.value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>bar : Symbol(bar, Decl(logicalAssignment8.ts, 0, 13))
+>value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+}
diff --git a/tests/baselines/reference/logicalAssignment8(target=es2015).types b/tests/baselines/reference/logicalAssignment8(target=es2015).types
new file mode 100644
index 00000000000..5c9de4aecdb
--- /dev/null
+++ b/tests/baselines/reference/logicalAssignment8(target=es2015).types
@@ -0,0 +1,61 @@
+=== tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts ===
+declare const bar: { value?: number[] } | undefined
+>bar : { value?: number[] | undefined; } | undefined
+>value : number[] | undefined
+
+function foo1(results: number[] | undefined) {
+>foo1 : (results: number[] | undefined) => void
+>results : number[] | undefined
+
+    (results ||= bar?.value ?? []).push(100);
+>(results ||= bar?.value ?? []).push(100) : number
+>(results ||= bar?.value ?? []).push : (...items: number[]) => number
+>(results ||= bar?.value ?? []) : number[]
+>results ||= bar?.value ?? [] : number[]
+>results : number[] | undefined
+>bar?.value ?? [] : number[]
+>bar?.value : number[] | undefined
+>bar : { value?: number[] | undefined; } | undefined
+>value : number[] | undefined
+>[] : never[]
+>push : (...items: number[]) => number
+>100 : 100
+}
+
+function foo2(results: number[] | undefined) {
+>foo2 : (results: number[] | undefined) => void
+>results : number[] | undefined
+
+    (results ??= bar?.value ?? []).push(100);
+>(results ??= bar?.value ?? []).push(100) : number
+>(results ??= bar?.value ?? []).push : (...items: number[]) => number
+>(results ??= bar?.value ?? []) : number[]
+>results ??= bar?.value ?? [] : number[]
+>results : number[] | undefined
+>bar?.value ?? [] : number[]
+>bar?.value : number[] | undefined
+>bar : { value?: number[] | undefined; } | undefined
+>value : number[] | undefined
+>[] : never[]
+>push : (...items: number[]) => number
+>100 : 100
+}
+
+function foo3(results: number[] | undefined) {
+>foo3 : (results: number[] | undefined) => void
+>results : number[] | undefined
+
+    (results &&= bar?.value ?? []).push(100);
+>(results &&= bar?.value ?? []).push(100) : number
+>(results &&= bar?.value ?? []).push : (...items: number[]) => number
+>(results &&= bar?.value ?? []) : number[] | undefined
+>results &&= bar?.value ?? [] : number[] | undefined
+>results : number[] | undefined
+>bar?.value ?? [] : number[]
+>bar?.value : number[] | undefined
+>bar : { value?: number[] | undefined; } | undefined
+>value : number[] | undefined
+>[] : never[]
+>push : (...items: number[]) => number
+>100 : 100
+}
diff --git a/tests/baselines/reference/logicalAssignment8(target=es2020).errors.txt b/tests/baselines/reference/logicalAssignment8(target=es2020).errors.txt
new file mode 100644
index 00000000000..82b49d50c3e
--- /dev/null
+++ b/tests/baselines/reference/logicalAssignment8(target=es2020).errors.txt
@@ -0,0 +1,19 @@
+tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts(12,5): error TS2532: Object is possibly 'undefined'.
+
+
+==== tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts (1 errors) ====
+    declare const bar: { value?: number[] } | undefined
+    
+    function foo1(results: number[] | undefined) {
+        (results ||= bar?.value ?? []).push(100);
+    }
+    
+    function foo2(results: number[] | undefined) {
+        (results ??= bar?.value ?? []).push(100);
+    }
+    
+    function foo3(results: number[] | undefined) {
+        (results &&= bar?.value ?? []).push(100);
+        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2532: Object is possibly 'undefined'.
+    }
\ No newline at end of file
diff --git a/tests/baselines/reference/logicalAssignment8(target=es2020).js b/tests/baselines/reference/logicalAssignment8(target=es2020).js
new file mode 100644
index 00000000000..6d8a806979a
--- /dev/null
+++ b/tests/baselines/reference/logicalAssignment8(target=es2020).js
@@ -0,0 +1,26 @@
+//// [logicalAssignment8.ts]
+declare const bar: { value?: number[] } | undefined
+
+function foo1(results: number[] | undefined) {
+    (results ||= bar?.value ?? []).push(100);
+}
+
+function foo2(results: number[] | undefined) {
+    (results ??= bar?.value ?? []).push(100);
+}
+
+function foo3(results: number[] | undefined) {
+    (results &&= bar?.value ?? []).push(100);
+}
+
+//// [logicalAssignment8.js]
+"use strict";
+function foo1(results) {
+    (results || (results = bar?.value ?? [])).push(100);
+}
+function foo2(results) {
+    (results ?? (results = bar?.value ?? [])).push(100);
+}
+function foo3(results) {
+    (results && (results = bar?.value ?? [])).push(100);
+}
diff --git a/tests/baselines/reference/logicalAssignment8(target=es2020).symbols b/tests/baselines/reference/logicalAssignment8(target=es2020).symbols
new file mode 100644
index 00000000000..e92c95fa891
--- /dev/null
+++ b/tests/baselines/reference/logicalAssignment8(target=es2020).symbols
@@ -0,0 +1,43 @@
+=== tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts ===
+declare const bar: { value?: number[] } | undefined
+>bar : Symbol(bar, Decl(logicalAssignment8.ts, 0, 13))
+>value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+
+function foo1(results: number[] | undefined) {
+>foo1 : Symbol(foo1, Decl(logicalAssignment8.ts, 0, 51))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 2, 14))
+
+    (results ||= bar?.value ?? []).push(100);
+>(results ||= bar?.value ?? []).push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 2, 14))
+>bar?.value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>bar : Symbol(bar, Decl(logicalAssignment8.ts, 0, 13))
+>value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+}
+
+function foo2(results: number[] | undefined) {
+>foo2 : Symbol(foo2, Decl(logicalAssignment8.ts, 4, 1))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 6, 14))
+
+    (results ??= bar?.value ?? []).push(100);
+>(results ??= bar?.value ?? []).push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 6, 14))
+>bar?.value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>bar : Symbol(bar, Decl(logicalAssignment8.ts, 0, 13))
+>value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+}
+
+function foo3(results: number[] | undefined) {
+>foo3 : Symbol(foo3, Decl(logicalAssignment8.ts, 8, 1))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 10, 14))
+
+    (results &&= bar?.value ?? []).push(100);
+>(results &&= bar?.value ?? []).push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 10, 14))
+>bar?.value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>bar : Symbol(bar, Decl(logicalAssignment8.ts, 0, 13))
+>value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+}
diff --git a/tests/baselines/reference/logicalAssignment8(target=es2020).types b/tests/baselines/reference/logicalAssignment8(target=es2020).types
new file mode 100644
index 00000000000..5c9de4aecdb
--- /dev/null
+++ b/tests/baselines/reference/logicalAssignment8(target=es2020).types
@@ -0,0 +1,61 @@
+=== tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts ===
+declare const bar: { value?: number[] } | undefined
+>bar : { value?: number[] | undefined; } | undefined
+>value : number[] | undefined
+
+function foo1(results: number[] | undefined) {
+>foo1 : (results: number[] | undefined) => void
+>results : number[] | undefined
+
+    (results ||= bar?.value ?? []).push(100);
+>(results ||= bar?.value ?? []).push(100) : number
+>(results ||= bar?.value ?? []).push : (...items: number[]) => number
+>(results ||= bar?.value ?? []) : number[]
+>results ||= bar?.value ?? [] : number[]
+>results : number[] | undefined
+>bar?.value ?? [] : number[]
+>bar?.value : number[] | undefined
+>bar : { value?: number[] | undefined; } | undefined
+>value : number[] | undefined
+>[] : never[]
+>push : (...items: number[]) => number
+>100 : 100
+}
+
+function foo2(results: number[] | undefined) {
+>foo2 : (results: number[] | undefined) => void
+>results : number[] | undefined
+
+    (results ??= bar?.value ?? []).push(100);
+>(results ??= bar?.value ?? []).push(100) : number
+>(results ??= bar?.value ?? []).push : (...items: number[]) => number
+>(results ??= bar?.value ?? []) : number[]
+>results ??= bar?.value ?? [] : number[]
+>results : number[] | undefined
+>bar?.value ?? [] : number[]
+>bar?.value : number[] | undefined
+>bar : { value?: number[] | undefined; } | undefined
+>value : number[] | undefined
+>[] : never[]
+>push : (...items: number[]) => number
+>100 : 100
+}
+
+function foo3(results: number[] | undefined) {
+>foo3 : (results: number[] | undefined) => void
+>results : number[] | undefined
+
+    (results &&= bar?.value ?? []).push(100);
+>(results &&= bar?.value ?? []).push(100) : number
+>(results &&= bar?.value ?? []).push : (...items: number[]) => number
+>(results &&= bar?.value ?? []) : number[] | undefined
+>results &&= bar?.value ?? [] : number[] | undefined
+>results : number[] | undefined
+>bar?.value ?? [] : number[]
+>bar?.value : number[] | undefined
+>bar : { value?: number[] | undefined; } | undefined
+>value : number[] | undefined
+>[] : never[]
+>push : (...items: number[]) => number
+>100 : 100
+}
diff --git a/tests/baselines/reference/logicalAssignment8(target=esnext).errors.txt b/tests/baselines/reference/logicalAssignment8(target=esnext).errors.txt
new file mode 100644
index 00000000000..82b49d50c3e
--- /dev/null
+++ b/tests/baselines/reference/logicalAssignment8(target=esnext).errors.txt
@@ -0,0 +1,19 @@
+tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts(12,5): error TS2532: Object is possibly 'undefined'.
+
+
+==== tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts (1 errors) ====
+    declare const bar: { value?: number[] } | undefined
+    
+    function foo1(results: number[] | undefined) {
+        (results ||= bar?.value ?? []).push(100);
+    }
+    
+    function foo2(results: number[] | undefined) {
+        (results ??= bar?.value ?? []).push(100);
+    }
+    
+    function foo3(results: number[] | undefined) {
+        (results &&= bar?.value ?? []).push(100);
+        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2532: Object is possibly 'undefined'.
+    }
\ No newline at end of file
diff --git a/tests/baselines/reference/logicalAssignment8(target=esnext).js b/tests/baselines/reference/logicalAssignment8(target=esnext).js
new file mode 100644
index 00000000000..64c9fa99337
--- /dev/null
+++ b/tests/baselines/reference/logicalAssignment8(target=esnext).js
@@ -0,0 +1,26 @@
+//// [logicalAssignment8.ts]
+declare const bar: { value?: number[] } | undefined
+
+function foo1(results: number[] | undefined) {
+    (results ||= bar?.value ?? []).push(100);
+}
+
+function foo2(results: number[] | undefined) {
+    (results ??= bar?.value ?? []).push(100);
+}
+
+function foo3(results: number[] | undefined) {
+    (results &&= bar?.value ?? []).push(100);
+}
+
+//// [logicalAssignment8.js]
+"use strict";
+function foo1(results) {
+    (results ||= bar?.value ?? []).push(100);
+}
+function foo2(results) {
+    (results ??= bar?.value ?? []).push(100);
+}
+function foo3(results) {
+    (results &&= bar?.value ?? []).push(100);
+}
diff --git a/tests/baselines/reference/logicalAssignment8(target=esnext).symbols b/tests/baselines/reference/logicalAssignment8(target=esnext).symbols
new file mode 100644
index 00000000000..e92c95fa891
--- /dev/null
+++ b/tests/baselines/reference/logicalAssignment8(target=esnext).symbols
@@ -0,0 +1,43 @@
+=== tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts ===
+declare const bar: { value?: number[] } | undefined
+>bar : Symbol(bar, Decl(logicalAssignment8.ts, 0, 13))
+>value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+
+function foo1(results: number[] | undefined) {
+>foo1 : Symbol(foo1, Decl(logicalAssignment8.ts, 0, 51))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 2, 14))
+
+    (results ||= bar?.value ?? []).push(100);
+>(results ||= bar?.value ?? []).push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 2, 14))
+>bar?.value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>bar : Symbol(bar, Decl(logicalAssignment8.ts, 0, 13))
+>value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+}
+
+function foo2(results: number[] | undefined) {
+>foo2 : Symbol(foo2, Decl(logicalAssignment8.ts, 4, 1))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 6, 14))
+
+    (results ??= bar?.value ?? []).push(100);
+>(results ??= bar?.value ?? []).push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 6, 14))
+>bar?.value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>bar : Symbol(bar, Decl(logicalAssignment8.ts, 0, 13))
+>value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+}
+
+function foo3(results: number[] | undefined) {
+>foo3 : Symbol(foo3, Decl(logicalAssignment8.ts, 8, 1))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 10, 14))
+
+    (results &&= bar?.value ?? []).push(100);
+>(results &&= bar?.value ?? []).push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+>results : Symbol(results, Decl(logicalAssignment8.ts, 10, 14))
+>bar?.value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>bar : Symbol(bar, Decl(logicalAssignment8.ts, 0, 13))
+>value : Symbol(value, Decl(logicalAssignment8.ts, 0, 20))
+>push : Symbol(Array.push, Decl(lib.es5.d.ts, --, --))
+}
diff --git a/tests/baselines/reference/logicalAssignment8(target=esnext).types b/tests/baselines/reference/logicalAssignment8(target=esnext).types
new file mode 100644
index 00000000000..5c9de4aecdb
--- /dev/null
+++ b/tests/baselines/reference/logicalAssignment8(target=esnext).types
@@ -0,0 +1,61 @@
+=== tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts ===
+declare const bar: { value?: number[] } | undefined
+>bar : { value?: number[] | undefined; } | undefined
+>value : number[] | undefined
+
+function foo1(results: number[] | undefined) {
+>foo1 : (results: number[] | undefined) => void
+>results : number[] | undefined
+
+    (results ||= bar?.value ?? []).push(100);
+>(results ||= bar?.value ?? []).push(100) : number
+>(results ||= bar?.value ?? []).push : (...items: number[]) => number
+>(results ||= bar?.value ?? []) : number[]
+>results ||= bar?.value ?? [] : number[]
+>results : number[] | undefined
+>bar?.value ?? [] : number[]
+>bar?.value : number[] | undefined
+>bar : { value?: number[] | undefined; } | undefined
+>value : number[] | undefined
+>[] : never[]
+>push : (...items: number[]) => number
+>100 : 100
+}
+
+function foo2(results: number[] | undefined) {
+>foo2 : (results: number[] | undefined) => void
+>results : number[] | undefined
+
+    (results ??= bar?.value ?? []).push(100);
+>(results ??= bar?.value ?? []).push(100) : number
+>(results ??= bar?.value ?? []).push : (...items: number[]) => number
+>(results ??= bar?.value ?? []) : number[]
+>results ??= bar?.value ?? [] : number[]
+>results : number[] | undefined
+>bar?.value ?? [] : number[]
+>bar?.value : number[] | undefined
+>bar : { value?: number[] | undefined; } | undefined
+>value : number[] | undefined
+>[] : never[]
+>push : (...items: number[]) => number
+>100 : 100
+}
+
+function foo3(results: number[] | undefined) {
+>foo3 : (results: number[] | undefined) => void
+>results : number[] | undefined
+
+    (results &&= bar?.value ?? []).push(100);
+>(results &&= bar?.value ?? []).push(100) : number
+>(results &&= bar?.value ?? []).push : (...items: number[]) => number
+>(results &&= bar?.value ?? []) : number[] | undefined
+>results &&= bar?.value ?? [] : number[] | undefined
+>results : number[] | undefined
+>bar?.value ?? [] : number[]
+>bar?.value : number[] | undefined
+>bar : { value?: number[] | undefined; } | undefined
+>value : number[] | undefined
+>[] : never[]
+>push : (...items: number[]) => number
+>100 : 100
+}
diff --git a/tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts b/tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts
new file mode 100644
index 00000000000..15fe3b74b5e
--- /dev/null
+++ b/tests/cases/conformance/esnext/logicalAssignment/logicalAssignment8.ts
@@ -0,0 +1,16 @@
+// @strict: true
+// @target: esnext, es2020, es2015
+
+declare const bar: { value?: number[] } | undefined
+
+function foo1(results: number[] | undefined) {
+    (results ||= bar?.value ?? []).push(100);
+}
+
+function foo2(results: number[] | undefined) {
+    (results ??= bar?.value ?? []).push(100);
+}
+
+function foo3(results: number[] | undefined) {
+    (results &&= bar?.value ?? []).push(100);
+}
\ No newline at end of file