diff --git a/src/Parser.php b/src/Parser.php
index 7aeece98..7c1b4afc 100644
--- a/src/Parser.php
+++ b/src/Parser.php
@@ -1664,8 +1664,35 @@ private function parseBinaryExpressionOrHigher($precedence, $parentNode) {
             //
             // After we finish building the BinaryExpression, we rebuild the UnaryExpression so that it includes
             // the original operator, and the newly constructed exponentiation-expression as the operand.
-            $shouldOperatorTakePrecedenceOverUnary =
-                $token->kind === TokenKind::AsteriskAsteriskToken && $leftOperand instanceof UnaryExpression;
+            $shouldOperatorTakePrecedenceOverUnary = false;
+            switch ($token->kind) {
+                case TokenKind::AsteriskAsteriskToken:
+                    $shouldOperatorTakePrecedenceOverUnary = $leftOperand instanceof UnaryExpression;
+                    break;
+                case TokenKind::EqualsToken:
+                case TokenKind::AsteriskAsteriskEqualsToken:
+                case TokenKind::AsteriskEqualsToken:
+                case TokenKind::SlashEqualsToken:
+                case TokenKind::PercentEqualsToken:
+                case TokenKind::PlusEqualsToken:
+                case TokenKind::MinusEqualsToken:
+                case TokenKind::DotEqualsToken:
+                case TokenKind::LessThanLessThanEqualsToken:
+                case TokenKind::GreaterThanGreaterThanEqualsToken:
+                case TokenKind::AmpersandEqualsToken:
+                case TokenKind::CaretEqualsToken:
+                case TokenKind::BarEqualsToken:
+                case TokenKind::InstanceOfKeyword:
+                    // Workarounds for https://github.com/Microsoft/tolerant-php-parser/issues/19#issue-201714377
+                    // Parse `!$a = $b` as `!($a = $b)` - PHP constrains the Left Hand Side of an assignment to a variable. A unary operator (`@`, `!`, etc.) is not a variable.
+                    // Instanceof has similar constraints for the LHS.
+                    // So does `!$a += $b`
+                    // TODO: Any other operators?
+                    if ($leftOperand instanceof UnaryOpExpression) {
+                        $shouldOperatorTakePrecedenceOverUnary = true;
+                    }
+                    break;
+            }
 
             if ($shouldOperatorTakePrecedenceOverUnary) {
                 $unaryExpression = $leftOperand;
diff --git a/tests/cases/parser/lhsVariable1.php b/tests/cases/parser/lhsVariable1.php
new file mode 100644
index 00000000..1b6b58f4
--- /dev/null
+++ b/tests/cases/parser/lhsVariable1.php
@@ -0,0 +1,3 @@
+<?php
+
+echo ~$b = $c;
diff --git a/tests/cases/parser/lhsVariable1.php.diag b/tests/cases/parser/lhsVariable1.php.diag
new file mode 100644
index 00000000..0637a088
--- /dev/null
+++ b/tests/cases/parser/lhsVariable1.php.diag
@@ -0,0 +1 @@
+[]
\ No newline at end of file
diff --git a/tests/cases/parser/lhsVariable1.php.tree b/tests/cases/parser/lhsVariable1.php.tree
new file mode 100644
index 00000000..ddfebf4f
--- /dev/null
+++ b/tests/cases/parser/lhsVariable1.php.tree
@@ -0,0 +1,77 @@
+{
+    "SourceFileNode": {
+        "statementList": [
+            {
+                "InlineHtml": {
+                    "scriptSectionEndTag": null,
+                    "text": null,
+                    "scriptSectionStartTag": {
+                        "kind": "ScriptSectionStartTag",
+                        "textLength": 6
+                    }
+                }
+            },
+            {
+                "ExpressionStatement": {
+                    "expression": {
+                        "EchoExpression": {
+                            "echoKeyword": {
+                                "kind": "EchoKeyword",
+                                "textLength": 4
+                            },
+                            "expressions": {
+                                "ExpressionList": {
+                                    "children": [
+                                        {
+                                            "UnaryOpExpression": {
+                                                "operator": {
+                                                    "kind": "TildeToken",
+                                                    "textLength": 1
+                                                },
+                                                "operand": {
+                                                    "AssignmentExpression": {
+                                                        "leftOperand": {
+                                                            "Variable": {
+                                                                "dollar": null,
+                                                                "name": {
+                                                                    "kind": "VariableName",
+                                                                    "textLength": 2
+                                                                }
+                                                            }
+                                                        },
+                                                        "operator": {
+                                                            "kind": "EqualsToken",
+                                                            "textLength": 1
+                                                        },
+                                                        "byRef": null,
+                                                        "rightOperand": {
+                                                            "Variable": {
+                                                                "dollar": null,
+                                                                "name": {
+                                                                    "kind": "VariableName",
+                                                                    "textLength": 2
+                                                                }
+                                                            }
+                                                        }
+                                                    }
+                                                }
+                                            }
+                                        }
+                                    ]
+                                }
+                            }
+                        }
+                    },
+                    "semicolon": {
+                        "kind": "SemicolonToken",
+                        "textLength": 1
+                    }
+                }
+            }
+        ],
+        "endOfFileToken": {
+            "kind": "EndOfFileToken",
+            "textLength": 0
+        }
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/parser/lhsVariable2.php b/tests/cases/parser/lhsVariable2.php
new file mode 100644
index 00000000..9d9239d8
--- /dev/null
+++ b/tests/cases/parser/lhsVariable2.php
@@ -0,0 +1,3 @@
+<?php
+
+echo !$b += $c;
diff --git a/tests/cases/parser/lhsVariable2.php.diag b/tests/cases/parser/lhsVariable2.php.diag
new file mode 100644
index 00000000..0637a088
--- /dev/null
+++ b/tests/cases/parser/lhsVariable2.php.diag
@@ -0,0 +1 @@
+[]
\ No newline at end of file
diff --git a/tests/cases/parser/lhsVariable2.php.tree b/tests/cases/parser/lhsVariable2.php.tree
new file mode 100644
index 00000000..a96ff42e
--- /dev/null
+++ b/tests/cases/parser/lhsVariable2.php.tree
@@ -0,0 +1,76 @@
+{
+    "SourceFileNode": {
+        "statementList": [
+            {
+                "InlineHtml": {
+                    "scriptSectionEndTag": null,
+                    "text": null,
+                    "scriptSectionStartTag": {
+                        "kind": "ScriptSectionStartTag",
+                        "textLength": 6
+                    }
+                }
+            },
+            {
+                "ExpressionStatement": {
+                    "expression": {
+                        "EchoExpression": {
+                            "echoKeyword": {
+                                "kind": "EchoKeyword",
+                                "textLength": 4
+                            },
+                            "expressions": {
+                                "ExpressionList": {
+                                    "children": [
+                                        {
+                                            "UnaryOpExpression": {
+                                                "operator": {
+                                                    "kind": "ExclamationToken",
+                                                    "textLength": 1
+                                                },
+                                                "operand": {
+                                                    "BinaryExpression": {
+                                                        "leftOperand": {
+                                                            "Variable": {
+                                                                "dollar": null,
+                                                                "name": {
+                                                                    "kind": "VariableName",
+                                                                    "textLength": 2
+                                                                }
+                                                            }
+                                                        },
+                                                        "operator": {
+                                                            "kind": "PlusEqualsToken",
+                                                            "textLength": 2
+                                                        },
+                                                        "rightOperand": {
+                                                            "Variable": {
+                                                                "dollar": null,
+                                                                "name": {
+                                                                    "kind": "VariableName",
+                                                                    "textLength": 2
+                                                                }
+                                                            }
+                                                        }
+                                                    }
+                                                }
+                                            }
+                                        }
+                                    ]
+                                }
+                            }
+                        }
+                    },
+                    "semicolon": {
+                        "kind": "SemicolonToken",
+                        "textLength": 1
+                    }
+                }
+            }
+        ],
+        "endOfFileToken": {
+            "kind": "EndOfFileToken",
+            "textLength": 0
+        }
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/parser/lhsVariable3.php b/tests/cases/parser/lhsVariable3.php
new file mode 100644
index 00000000..89e108b2
--- /dev/null
+++ b/tests/cases/parser/lhsVariable3.php
@@ -0,0 +1,3 @@
+<?php
+
+echo !$b instanceof $c;
diff --git a/tests/cases/parser/lhsVariable3.php.diag b/tests/cases/parser/lhsVariable3.php.diag
new file mode 100644
index 00000000..0637a088
--- /dev/null
+++ b/tests/cases/parser/lhsVariable3.php.diag
@@ -0,0 +1 @@
+[]
\ No newline at end of file
diff --git a/tests/cases/parser/lhsVariable3.php.tree b/tests/cases/parser/lhsVariable3.php.tree
new file mode 100644
index 00000000..8b3aa6d6
--- /dev/null
+++ b/tests/cases/parser/lhsVariable3.php.tree
@@ -0,0 +1,76 @@
+{
+    "SourceFileNode": {
+        "statementList": [
+            {
+                "InlineHtml": {
+                    "scriptSectionEndTag": null,
+                    "text": null,
+                    "scriptSectionStartTag": {
+                        "kind": "ScriptSectionStartTag",
+                        "textLength": 6
+                    }
+                }
+            },
+            {
+                "ExpressionStatement": {
+                    "expression": {
+                        "EchoExpression": {
+                            "echoKeyword": {
+                                "kind": "EchoKeyword",
+                                "textLength": 4
+                            },
+                            "expressions": {
+                                "ExpressionList": {
+                                    "children": [
+                                        {
+                                            "UnaryOpExpression": {
+                                                "operator": {
+                                                    "kind": "ExclamationToken",
+                                                    "textLength": 1
+                                                },
+                                                "operand": {
+                                                    "BinaryExpression": {
+                                                        "leftOperand": {
+                                                            "Variable": {
+                                                                "dollar": null,
+                                                                "name": {
+                                                                    "kind": "VariableName",
+                                                                    "textLength": 2
+                                                                }
+                                                            }
+                                                        },
+                                                        "operator": {
+                                                            "kind": "InstanceOfKeyword",
+                                                            "textLength": 10
+                                                        },
+                                                        "rightOperand": {
+                                                            "Variable": {
+                                                                "dollar": null,
+                                                                "name": {
+                                                                    "kind": "VariableName",
+                                                                    "textLength": 2
+                                                                }
+                                                            }
+                                                        }
+                                                    }
+                                                }
+                                            }
+                                        }
+                                    ]
+                                }
+                            }
+                        }
+                    },
+                    "semicolon": {
+                        "kind": "SemicolonToken",
+                        "textLength": 1
+                    }
+                }
+            }
+        ],
+        "endOfFileToken": {
+            "kind": "EndOfFileToken",
+            "textLength": 0
+        }
+    }
+}
\ No newline at end of file
diff --git a/tests/cases/parser/lhsVariable4.php b/tests/cases/parser/lhsVariable4.php
new file mode 100644
index 00000000..9d53bf42
--- /dev/null
+++ b/tests/cases/parser/lhsVariable4.php
@@ -0,0 +1,3 @@
+<?php
+
+echo -$b ^= $c;
diff --git a/tests/cases/parser/lhsVariable4.php.diag b/tests/cases/parser/lhsVariable4.php.diag
new file mode 100644
index 00000000..0637a088
--- /dev/null
+++ b/tests/cases/parser/lhsVariable4.php.diag
@@ -0,0 +1 @@
+[]
\ No newline at end of file
diff --git a/tests/cases/parser/lhsVariable4.php.tree b/tests/cases/parser/lhsVariable4.php.tree
new file mode 100644
index 00000000..399bc3d8
--- /dev/null
+++ b/tests/cases/parser/lhsVariable4.php.tree
@@ -0,0 +1,76 @@
+{
+    "SourceFileNode": {
+        "statementList": [
+            {
+                "InlineHtml": {
+                    "scriptSectionEndTag": null,
+                    "text": null,
+                    "scriptSectionStartTag": {
+                        "kind": "ScriptSectionStartTag",
+                        "textLength": 6
+                    }
+                }
+            },
+            {
+                "ExpressionStatement": {
+                    "expression": {
+                        "EchoExpression": {
+                            "echoKeyword": {
+                                "kind": "EchoKeyword",
+                                "textLength": 4
+                            },
+                            "expressions": {
+                                "ExpressionList": {
+                                    "children": [
+                                        {
+                                            "UnaryOpExpression": {
+                                                "operator": {
+                                                    "kind": "MinusToken",
+                                                    "textLength": 1
+                                                },
+                                                "operand": {
+                                                    "BinaryExpression": {
+                                                        "leftOperand": {
+                                                            "Variable": {
+                                                                "dollar": null,
+                                                                "name": {
+                                                                    "kind": "VariableName",
+                                                                    "textLength": 2
+                                                                }
+                                                            }
+                                                        },
+                                                        "operator": {
+                                                            "kind": "CaretEqualsToken",
+                                                            "textLength": 2
+                                                        },
+                                                        "rightOperand": {
+                                                            "Variable": {
+                                                                "dollar": null,
+                                                                "name": {
+                                                                    "kind": "VariableName",
+                                                                    "textLength": 2
+                                                                }
+                                                            }
+                                                        }
+                                                    }
+                                                }
+                                            }
+                                        }
+                                    ]
+                                }
+                            }
+                        }
+                    },
+                    "semicolon": {
+                        "kind": "SemicolonToken",
+                        "textLength": 1
+                    }
+                }
+            }
+        ],
+        "endOfFileToken": {
+            "kind": "EndOfFileToken",
+            "textLength": 0
+        }
+    }
+}
\ No newline at end of file