@flarum/cli 2.0.0-beta.8 → 3.0.0

package/php-subsystem/vendor/nikic/php-parser/lib/PhpParser/PrettyPrinter/Standard.php

@@ -13,11 +13,10 @@ use PhpParser\Node\Scalar\MagicConst;
 use PhpParser\Node\Stmt;
 use PhpParser\PrettyPrinterAbstract;
 
-class Standard extends PrettyPrinterAbstract
-{
+class Standard extends PrettyPrinterAbstract {
     // Special nodes
 
-    protected function pParam(Node\Param $node) {
+    protected function pParam(Node\Param $node): string {
         return $this->pAttrGroups($node->attrGroups, true)
              . $this->pModifiers($node->flags)
              . ($node->type ? $this->p($node->type) . ' ' : '')
@@ -27,152 +26,180 @@ class Standard extends PrettyPrinterAbstract
              . ($node->default ? ' = ' . $this->p($node->default) : '');
     }
 
-    protected function pArg(Node\Arg $node) {
+    protected function pArg(Node\Arg $node): string {
         return ($node->name ? $node->name->toString() . ': ' : '')
              . ($node->byRef ? '&' : '') . ($node->unpack ? '...' : '')
              . $this->p($node->value);
     }
 
-    protected function pConst(Node\Const_ $node) {
+    protected function pVariadicPlaceholder(Node\VariadicPlaceholder $node): string {
+        return '...';
+    }
+
+    protected function pConst(Node\Const_ $node): string {
         return $node->name . ' = ' . $this->p($node->value);
     }
 
-    protected function pNullableType(Node\NullableType $node) {
+    protected function pNullableType(Node\NullableType $node): string {
         return '?' . $this->p($node->type);
     }
 
-    protected function pUnionType(Node\UnionType $node) {
-        return $this->pImplode($node->types, '|');
+    protected function pUnionType(Node\UnionType $node): string {
+        $types = [];
+        foreach ($node->types as $typeNode) {
+            if ($typeNode instanceof Node\IntersectionType) {
+                $types[] = '('. $this->p($typeNode) . ')';
+                continue;
+            }
+            $types[] = $this->p($typeNode);
+        }
+        return implode('|', $types);
     }
 
-    protected function pIdentifier(Node\Identifier $node) {
+    protected function pIntersectionType(Node\IntersectionType $node): string {
+        return $this->pImplode($node->types, '&');
+    }
+
+    protected function pIdentifier(Node\Identifier $node): string {
         return $node->name;
     }
 
-    protected function pVarLikeIdentifier(Node\VarLikeIdentifier $node) {
+    protected function pVarLikeIdentifier(Node\VarLikeIdentifier $node): string {
         return '$' . $node->name;
     }
 
-    protected function pAttribute(Node\Attribute $node) {
+    protected function pAttribute(Node\Attribute $node): string {
         return $this->p($node->name)
              . ($node->args ? '(' . $this->pCommaSeparated($node->args) . ')' : '');
     }
 
-    protected function pAttributeGroup(Node\AttributeGroup $node) {
+    protected function pAttributeGroup(Node\AttributeGroup $node): string {
         return '#[' . $this->pCommaSeparated($node->attrs) . ']';
     }
 
     // Names
 
-    protected function pName(Name $node) {
-        return implode('\\', $node->parts);
+    protected function pName(Name $node): string {
+        return $node->name;
     }
 
-    protected function pName_FullyQualified(Name\FullyQualified $node) {
-        return '\\' . implode('\\', $node->parts);
+    protected function pName_FullyQualified(Name\FullyQualified $node): string {
+        return '\\' . $node->name;
     }
 
-    protected function pName_Relative(Name\Relative $node) {
-        return 'namespace\\' . implode('\\', $node->parts);
+    protected function pName_Relative(Name\Relative $node): string {
+        return 'namespace\\' . $node->name;
     }
 
     // Magic Constants
 
-    protected function pScalar_MagicConst_Class(MagicConst\Class_ $node) {
+    protected function pScalar_MagicConst_Class(MagicConst\Class_ $node): string {
         return '__CLASS__';
     }
 
-    protected function pScalar_MagicConst_Dir(MagicConst\Dir $node) {
+    protected function pScalar_MagicConst_Dir(MagicConst\Dir $node): string {
         return '__DIR__';
     }
 
-    protected function pScalar_MagicConst_File(MagicConst\File $node) {
+    protected function pScalar_MagicConst_File(MagicConst\File $node): string {
         return '__FILE__';
     }
 
-    protected function pScalar_MagicConst_Function(MagicConst\Function_ $node) {
+    protected function pScalar_MagicConst_Function(MagicConst\Function_ $node): string {
         return '__FUNCTION__';
     }
 
-    protected function pScalar_MagicConst_Line(MagicConst\Line $node) {
+    protected function pScalar_MagicConst_Line(MagicConst\Line $node): string {
         return '__LINE__';
     }
 
-    protected function pScalar_MagicConst_Method(MagicConst\Method $node) {
+    protected function pScalar_MagicConst_Method(MagicConst\Method $node): string {
         return '__METHOD__';
     }
 
-    protected function pScalar_MagicConst_Namespace(MagicConst\Namespace_ $node) {
+    protected function pScalar_MagicConst_Namespace(MagicConst\Namespace_ $node): string {
         return '__NAMESPACE__';
     }
 
-    protected function pScalar_MagicConst_Trait(MagicConst\Trait_ $node) {
+    protected function pScalar_MagicConst_Trait(MagicConst\Trait_ $node): string {
         return '__TRAIT__';
     }
 
     // Scalars
 
-    protected function pScalar_String(Scalar\String_ $node) {
+    private function indentString(string $str): string {
+        return str_replace("\n", $this->nl, $str);
+    }
+
+    protected function pScalar_String(Scalar\String_ $node): string {
         $kind = $node->getAttribute('kind', Scalar\String_::KIND_SINGLE_QUOTED);
         switch ($kind) {
             case Scalar\String_::KIND_NOWDOC:
                 $label = $node->getAttribute('docLabel');
                 if ($label && !$this->containsEndLabel($node->value, $label)) {
+                    $shouldIdent = $this->phpVersion->supportsFlexibleHeredoc();
+                    $nl = $shouldIdent ? $this->nl : $this->newline;
                     if ($node->value === '') {
-                        return "<<<'$label'\n$label" . $this->docStringEndToken;
+                        return "<<<'$label'$nl$label{$this->docStringEndToken}";
                     }
 
-                    return "<<<'$label'\n$node->value\n$label"
-                         . $this->docStringEndToken;
+                    // Make sure trailing \r is not combined with following \n into CRLF.
+                    if ($node->value[strlen($node->value) - 1] !== "\r") {
+                        $value = $shouldIdent ? $this->indentString($node->value) : $node->value;
+                        return "<<<'$label'$nl$value$nl$label{$this->docStringEndToken}";
+                    }
                 }
                 /* break missing intentionally */
+                // no break
             case Scalar\String_::KIND_SINGLE_QUOTED:
                 return $this->pSingleQuotedString($node->value);
             case Scalar\String_::KIND_HEREDOC:
                 $label = $node->getAttribute('docLabel');
-                if ($label && !$this->containsEndLabel($node->value, $label)) {
-                    if ($node->value === '') {
-                        return "<<<$label\n$label" . $this->docStringEndToken;
+                $escaped = $this->escapeString($node->value, null);
+                if ($label && !$this->containsEndLabel($escaped, $label)) {
+                    $nl = $this->phpVersion->supportsFlexibleHeredoc() ? $this->nl : $this->newline;
+                    if ($escaped === '') {
+                        return "<<<$label$nl$label{$this->docStringEndToken}";
                     }
 
-                    $escaped = $this->escapeString($node->value, null);
-                    return "<<<$label\n" . $escaped . "\n$label"
-                         . $this->docStringEndToken;
+                    return "<<<$label$nl$escaped$nl$label{$this->docStringEndToken}";
                 }
-            /* break missing intentionally */
+                /* break missing intentionally */
+                // no break
             case Scalar\String_::KIND_DOUBLE_QUOTED:
                 return '"' . $this->escapeString($node->value, '"') . '"';
         }
         throw new \Exception('Invalid string kind');
     }
 
-    protected function pScalar_Encapsed(Scalar\Encapsed $node) {
+    protected function pScalar_InterpolatedString(Scalar\InterpolatedString $node): string {
         if ($node->getAttribute('kind') === Scalar\String_::KIND_HEREDOC) {
             $label = $node->getAttribute('docLabel');
             if ($label && !$this->encapsedContainsEndLabel($node->parts, $label)) {
+                $nl = $this->phpVersion->supportsFlexibleHeredoc() ? $this->nl : $this->newline;
                 if (count($node->parts) === 1
-                    && $node->parts[0] instanceof Scalar\EncapsedStringPart
+                    && $node->parts[0] instanceof Node\InterpolatedStringPart
                     && $node->parts[0]->value === ''
                 ) {
-                    return "<<<$label\n$label" . $this->docStringEndToken;
+                    return "<<<$label$nl$label{$this->docStringEndToken}";
                 }
 
-                return "<<<$label\n" . $this->pEncapsList($node->parts, null) . "\n$label"
-                     . $this->docStringEndToken;
+                return "<<<$label$nl" . $this->pEncapsList($node->parts, null)
+                     . "$nl$label{$this->docStringEndToken}";
             }
         }
         return '"' . $this->pEncapsList($node->parts, '"') . '"';
     }
 
-    protected function pScalar_LNumber(Scalar\LNumber $node) {
-        if ($node->value === -\PHP_INT_MAX-1) {
+    protected function pScalar_Int(Scalar\Int_ $node): string {
+        if ($node->value === -\PHP_INT_MAX - 1) {
             // PHP_INT_MIN cannot be represented as a literal,
             // because the sign is not part of the literal
             return '(-' . \PHP_INT_MAX . '-1)';
         }
 
-        $kind = $node->getAttribute('kind', Scalar\LNumber::KIND_DEC);
-        if (Scalar\LNumber::KIND_DEC === $kind) {
+        $kind = $node->getAttribute('kind', Scalar\Int_::KIND_DEC);
+        if (Scalar\Int_::KIND_DEC === $kind) {
             return (string) $node->value;
         }
 
@@ -184,22 +211,23 @@ class Standard extends PrettyPrinterAbstract
             $str = (string) $node->value;
         }
         switch ($kind) {
-            case Scalar\LNumber::KIND_BIN:
+            case Scalar\Int_::KIND_BIN:
                 return $sign . '0b' . base_convert($str, 10, 2);
-            case Scalar\LNumber::KIND_OCT:
+            case Scalar\Int_::KIND_OCT:
                 return $sign . '0' . base_convert($str, 10, 8);
-            case Scalar\LNumber::KIND_HEX:
+            case Scalar\Int_::KIND_HEX:
                 return $sign . '0x' . base_convert($str, 10, 16);
         }
         throw new \Exception('Invalid number kind');
     }
 
-    protected function pScalar_DNumber(Scalar\DNumber $node) {
+    protected function pScalar_Float(Scalar\Float_ $node): string {
         if (!is_finite($node->value)) {
             if ($node->value === \INF) {
-                return '\INF';
-            } elseif ($node->value === -\INF) {
-                return '-\INF';
+                return '1.0E+1000';
+            }
+            if ($node->value === -\INF) {
+                return '-1.0E+1000';
             } else {
                 return '\NAN';
             }
@@ -207,7 +235,7 @@ class Standard extends PrettyPrinterAbstract
 
         // Try to find a short full-precision representation
         $stringValue = sprintf('%.16G', $node->value);
-        if ($node->value !== (double) $stringValue) {
+        if ($node->value !== (float) $stringValue) {
             $stringValue = sprintf('%.17G', $node->value);
         }
 
@@ -220,300 +248,289 @@ class Standard extends PrettyPrinterAbstract
         return preg_match('/^-?[0-9]+$/', $stringValue) ? $stringValue . '.0' : $stringValue;
     }
 
-    protected function pScalar_EncapsedStringPart(Scalar\EncapsedStringPart $node) {
-        throw new \LogicException('Cannot directly print EncapsedStringPart');
-    }
-
     // Assignments
 
-    protected function pExpr_Assign(Expr\Assign $node) {
-        return $this->pInfixOp(Expr\Assign::class, $node->var, ' = ', $node->expr);
+    protected function pExpr_Assign(Expr\Assign $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Expr\Assign::class, $this->p($node->var) . ' = ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_AssignRef(Expr\AssignRef $node) {
-        return $this->pInfixOp(Expr\AssignRef::class, $node->var, ' =& ', $node->expr);
+    protected function pExpr_AssignRef(Expr\AssignRef $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Expr\AssignRef::class, $this->p($node->var) . ' =& ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_AssignOp_Plus(AssignOp\Plus $node) {
-        return $this->pInfixOp(AssignOp\Plus::class, $node->var, ' += ', $node->expr);
+    protected function pExpr_AssignOp_Plus(AssignOp\Plus $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(AssignOp\Plus::class, $this->p($node->var) . ' += ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_AssignOp_Minus(AssignOp\Minus $node) {
-        return $this->pInfixOp(AssignOp\Minus::class, $node->var, ' -= ', $node->expr);
+    protected function pExpr_AssignOp_Minus(AssignOp\Minus $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(AssignOp\Minus::class, $this->p($node->var) . ' -= ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_AssignOp_Mul(AssignOp\Mul $node) {
-        return $this->pInfixOp(AssignOp\Mul::class, $node->var, ' *= ', $node->expr);
+    protected function pExpr_AssignOp_Mul(AssignOp\Mul $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(AssignOp\Mul::class, $this->p($node->var) . ' *= ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_AssignOp_Div(AssignOp\Div $node) {
-        return $this->pInfixOp(AssignOp\Div::class, $node->var, ' /= ', $node->expr);
+    protected function pExpr_AssignOp_Div(AssignOp\Div $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(AssignOp\Div::class, $this->p($node->var) . ' /= ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_AssignOp_Concat(AssignOp\Concat $node) {
-        return $this->pInfixOp(AssignOp\Concat::class, $node->var, ' .= ', $node->expr);
+    protected function pExpr_AssignOp_Concat(AssignOp\Concat $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(AssignOp\Concat::class, $this->p($node->var) . ' .= ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_AssignOp_Mod(AssignOp\Mod $node) {
-        return $this->pInfixOp(AssignOp\Mod::class, $node->var, ' %= ', $node->expr);
+    protected function pExpr_AssignOp_Mod(AssignOp\Mod $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(AssignOp\Mod::class, $this->p($node->var) . ' %= ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_AssignOp_BitwiseAnd(AssignOp\BitwiseAnd $node) {
-        return $this->pInfixOp(AssignOp\BitwiseAnd::class, $node->var, ' &= ', $node->expr);
+    protected function pExpr_AssignOp_BitwiseAnd(AssignOp\BitwiseAnd $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(AssignOp\BitwiseAnd::class, $this->p($node->var) . ' &= ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_AssignOp_BitwiseOr(AssignOp\BitwiseOr $node) {
-        return $this->pInfixOp(AssignOp\BitwiseOr::class, $node->var, ' |= ', $node->expr);
+    protected function pExpr_AssignOp_BitwiseOr(AssignOp\BitwiseOr $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(AssignOp\BitwiseOr::class, $this->p($node->var) . ' |= ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_AssignOp_BitwiseXor(AssignOp\BitwiseXor $node) {
-        return $this->pInfixOp(AssignOp\BitwiseXor::class, $node->var, ' ^= ', $node->expr);
+    protected function pExpr_AssignOp_BitwiseXor(AssignOp\BitwiseXor $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(AssignOp\BitwiseXor::class, $this->p($node->var) . ' ^= ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_AssignOp_ShiftLeft(AssignOp\ShiftLeft $node) {
-        return $this->pInfixOp(AssignOp\ShiftLeft::class, $node->var, ' <<= ', $node->expr);
+    protected function pExpr_AssignOp_ShiftLeft(AssignOp\ShiftLeft $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(AssignOp\ShiftLeft::class, $this->p($node->var) . ' <<= ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_AssignOp_ShiftRight(AssignOp\ShiftRight $node) {
-        return $this->pInfixOp(AssignOp\ShiftRight::class, $node->var, ' >>= ', $node->expr);
+    protected function pExpr_AssignOp_ShiftRight(AssignOp\ShiftRight $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(AssignOp\ShiftRight::class, $this->p($node->var) . ' >>= ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_AssignOp_Pow(AssignOp\Pow $node) {
-        return $this->pInfixOp(AssignOp\Pow::class, $node->var, ' **= ', $node->expr);
+    protected function pExpr_AssignOp_Pow(AssignOp\Pow $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(AssignOp\Pow::class, $this->p($node->var) . ' **= ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_AssignOp_Coalesce(AssignOp\Coalesce $node) {
-        return $this->pInfixOp(AssignOp\Coalesce::class, $node->var, ' ??= ', $node->expr);
+    protected function pExpr_AssignOp_Coalesce(AssignOp\Coalesce $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(AssignOp\Coalesce::class, $this->p($node->var) . ' ??= ', $node->expr, $precedence, $lhsPrecedence);
     }
 
     // Binary expressions
 
-    protected function pExpr_BinaryOp_Plus(BinaryOp\Plus $node) {
-        return $this->pInfixOp(BinaryOp\Plus::class, $node->left, ' + ', $node->right);
+    protected function pExpr_BinaryOp_Plus(BinaryOp\Plus $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\Plus::class, $node->left, ' + ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_Minus(BinaryOp\Minus $node) {
-        return $this->pInfixOp(BinaryOp\Minus::class, $node->left, ' - ', $node->right);
+    protected function pExpr_BinaryOp_Minus(BinaryOp\Minus $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\Minus::class, $node->left, ' - ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_Mul(BinaryOp\Mul $node) {
-        return $this->pInfixOp(BinaryOp\Mul::class, $node->left, ' * ', $node->right);
+    protected function pExpr_BinaryOp_Mul(BinaryOp\Mul $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\Mul::class, $node->left, ' * ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_Div(BinaryOp\Div $node) {
-        return $this->pInfixOp(BinaryOp\Div::class, $node->left, ' / ', $node->right);
+    protected function pExpr_BinaryOp_Div(BinaryOp\Div $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\Div::class, $node->left, ' / ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_Concat(BinaryOp\Concat $node) {
-        return $this->pInfixOp(BinaryOp\Concat::class, $node->left, ' . ', $node->right);
+    protected function pExpr_BinaryOp_Concat(BinaryOp\Concat $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\Concat::class, $node->left, ' . ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_Mod(BinaryOp\Mod $node) {
-        return $this->pInfixOp(BinaryOp\Mod::class, $node->left, ' % ', $node->right);
+    protected function pExpr_BinaryOp_Mod(BinaryOp\Mod $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\Mod::class, $node->left, ' % ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_BooleanAnd(BinaryOp\BooleanAnd $node) {
-        return $this->pInfixOp(BinaryOp\BooleanAnd::class, $node->left, ' && ', $node->right);
+    protected function pExpr_BinaryOp_BooleanAnd(BinaryOp\BooleanAnd $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\BooleanAnd::class, $node->left, ' && ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_BooleanOr(BinaryOp\BooleanOr $node) {
-        return $this->pInfixOp(BinaryOp\BooleanOr::class, $node->left, ' || ', $node->right);
+    protected function pExpr_BinaryOp_BooleanOr(BinaryOp\BooleanOr $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\BooleanOr::class, $node->left, ' || ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_BitwiseAnd(BinaryOp\BitwiseAnd $node) {
-        return $this->pInfixOp(BinaryOp\BitwiseAnd::class, $node->left, ' & ', $node->right);
+    protected function pExpr_BinaryOp_BitwiseAnd(BinaryOp\BitwiseAnd $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\BitwiseAnd::class, $node->left, ' & ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_BitwiseOr(BinaryOp\BitwiseOr $node) {
-        return $this->pInfixOp(BinaryOp\BitwiseOr::class, $node->left, ' | ', $node->right);
+    protected function pExpr_BinaryOp_BitwiseOr(BinaryOp\BitwiseOr $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\BitwiseOr::class, $node->left, ' | ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_BitwiseXor(BinaryOp\BitwiseXor $node) {
-        return $this->pInfixOp(BinaryOp\BitwiseXor::class, $node->left, ' ^ ', $node->right);
+    protected function pExpr_BinaryOp_BitwiseXor(BinaryOp\BitwiseXor $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\BitwiseXor::class, $node->left, ' ^ ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_ShiftLeft(BinaryOp\ShiftLeft $node) {
-        return $this->pInfixOp(BinaryOp\ShiftLeft::class, $node->left, ' << ', $node->right);
+    protected function pExpr_BinaryOp_ShiftLeft(BinaryOp\ShiftLeft $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\ShiftLeft::class, $node->left, ' << ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_ShiftRight(BinaryOp\ShiftRight $node) {
-        return $this->pInfixOp(BinaryOp\ShiftRight::class, $node->left, ' >> ', $node->right);
+    protected function pExpr_BinaryOp_ShiftRight(BinaryOp\ShiftRight $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\ShiftRight::class, $node->left, ' >> ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_Pow(BinaryOp\Pow $node) {
-        return $this->pInfixOp(BinaryOp\Pow::class, $node->left, ' ** ', $node->right);
+    protected function pExpr_BinaryOp_Pow(BinaryOp\Pow $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\Pow::class, $node->left, ' ** ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_LogicalAnd(BinaryOp\LogicalAnd $node) {
-        return $this->pInfixOp(BinaryOp\LogicalAnd::class, $node->left, ' and ', $node->right);
+    protected function pExpr_BinaryOp_LogicalAnd(BinaryOp\LogicalAnd $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\LogicalAnd::class, $node->left, ' and ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_LogicalOr(BinaryOp\LogicalOr $node) {
-        return $this->pInfixOp(BinaryOp\LogicalOr::class, $node->left, ' or ', $node->right);
+    protected function pExpr_BinaryOp_LogicalOr(BinaryOp\LogicalOr $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\LogicalOr::class, $node->left, ' or ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_LogicalXor(BinaryOp\LogicalXor $node) {
-        return $this->pInfixOp(BinaryOp\LogicalXor::class, $node->left, ' xor ', $node->right);
+    protected function pExpr_BinaryOp_LogicalXor(BinaryOp\LogicalXor $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\LogicalXor::class, $node->left, ' xor ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_Equal(BinaryOp\Equal $node) {
-        return $this->pInfixOp(BinaryOp\Equal::class, $node->left, ' == ', $node->right);
+    protected function pExpr_BinaryOp_Equal(BinaryOp\Equal $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\Equal::class, $node->left, ' == ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_NotEqual(BinaryOp\NotEqual $node) {
-        return $this->pInfixOp(BinaryOp\NotEqual::class, $node->left, ' != ', $node->right);
+    protected function pExpr_BinaryOp_NotEqual(BinaryOp\NotEqual $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\NotEqual::class, $node->left, ' != ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_Identical(BinaryOp\Identical $node) {
-        return $this->pInfixOp(BinaryOp\Identical::class, $node->left, ' === ', $node->right);
+    protected function pExpr_BinaryOp_Identical(BinaryOp\Identical $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\Identical::class, $node->left, ' === ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_NotIdentical(BinaryOp\NotIdentical $node) {
-        return $this->pInfixOp(BinaryOp\NotIdentical::class, $node->left, ' !== ', $node->right);
+    protected function pExpr_BinaryOp_NotIdentical(BinaryOp\NotIdentical $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\NotIdentical::class, $node->left, ' !== ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_Spaceship(BinaryOp\Spaceship $node) {
-        return $this->pInfixOp(BinaryOp\Spaceship::class, $node->left, ' <=> ', $node->right);
+    protected function pExpr_BinaryOp_Spaceship(BinaryOp\Spaceship $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\Spaceship::class, $node->left, ' <=> ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_Greater(BinaryOp\Greater $node) {
-        return $this->pInfixOp(BinaryOp\Greater::class, $node->left, ' > ', $node->right);
+    protected function pExpr_BinaryOp_Greater(BinaryOp\Greater $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\Greater::class, $node->left, ' > ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_GreaterOrEqual(BinaryOp\GreaterOrEqual $node) {
-        return $this->pInfixOp(BinaryOp\GreaterOrEqual::class, $node->left, ' >= ', $node->right);
+    protected function pExpr_BinaryOp_GreaterOrEqual(BinaryOp\GreaterOrEqual $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\GreaterOrEqual::class, $node->left, ' >= ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_Smaller(BinaryOp\Smaller $node) {
-        return $this->pInfixOp(BinaryOp\Smaller::class, $node->left, ' < ', $node->right);
+    protected function pExpr_BinaryOp_Smaller(BinaryOp\Smaller $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\Smaller::class, $node->left, ' < ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_SmallerOrEqual(BinaryOp\SmallerOrEqual $node) {
-        return $this->pInfixOp(BinaryOp\SmallerOrEqual::class, $node->left, ' <= ', $node->right);
+    protected function pExpr_BinaryOp_SmallerOrEqual(BinaryOp\SmallerOrEqual $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\SmallerOrEqual::class, $node->left, ' <= ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BinaryOp_Coalesce(BinaryOp\Coalesce $node) {
-        return $this->pInfixOp(BinaryOp\Coalesce::class, $node->left, ' ?? ', $node->right);
+    protected function pExpr_BinaryOp_Coalesce(BinaryOp\Coalesce $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pInfixOp(BinaryOp\Coalesce::class, $node->left, ' ?? ', $node->right, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_Instanceof(Expr\Instanceof_ $node) {
-        list($precedence, $associativity) = $this->precedenceMap[Expr\Instanceof_::class];
-        return $this->pPrec($node->expr, $precedence, $associativity, -1)
-             . ' instanceof '
-             . $this->pNewVariable($node->class);
+    protected function pExpr_Instanceof(Expr\Instanceof_ $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPostfixOp(
+            Expr\Instanceof_::class, $node->expr,
+            ' instanceof ' . $this->pNewOperand($node->class),
+            $precedence, $lhsPrecedence);
     }
 
     // Unary expressions
 
-    protected function pExpr_BooleanNot(Expr\BooleanNot $node) {
-        return $this->pPrefixOp(Expr\BooleanNot::class, '!', $node->expr);
+    protected function pExpr_BooleanNot(Expr\BooleanNot $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Expr\BooleanNot::class, '!', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_BitwiseNot(Expr\BitwiseNot $node) {
-        return $this->pPrefixOp(Expr\BitwiseNot::class, '~', $node->expr);
+    protected function pExpr_BitwiseNot(Expr\BitwiseNot $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Expr\BitwiseNot::class, '~', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_UnaryMinus(Expr\UnaryMinus $node) {
-        if ($node->expr instanceof Expr\UnaryMinus || $node->expr instanceof Expr\PreDec) {
-            // Enforce -(-$expr) instead of --$expr
-            return '-(' . $this->p($node->expr) . ')';
-        }
-        return $this->pPrefixOp(Expr\UnaryMinus::class, '-', $node->expr);
+    protected function pExpr_UnaryMinus(Expr\UnaryMinus $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Expr\UnaryMinus::class, '-', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_UnaryPlus(Expr\UnaryPlus $node) {
-        if ($node->expr instanceof Expr\UnaryPlus || $node->expr instanceof Expr\PreInc) {
-            // Enforce +(+$expr) instead of ++$expr
-            return '+(' . $this->p($node->expr) . ')';
-        }
-        return $this->pPrefixOp(Expr\UnaryPlus::class, '+', $node->expr);
+    protected function pExpr_UnaryPlus(Expr\UnaryPlus $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Expr\UnaryPlus::class, '+', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_PreInc(Expr\PreInc $node) {
-        return $this->pPrefixOp(Expr\PreInc::class, '++', $node->var);
+    protected function pExpr_PreInc(Expr\PreInc $node): string {
+        return '++' . $this->p($node->var);
     }
 
-    protected function pExpr_PreDec(Expr\PreDec $node) {
-        return $this->pPrefixOp(Expr\PreDec::class, '--', $node->var);
+    protected function pExpr_PreDec(Expr\PreDec $node): string {
+        return '--' . $this->p($node->var);
     }
 
-    protected function pExpr_PostInc(Expr\PostInc $node) {
-        return $this->pPostfixOp(Expr\PostInc::class, $node->var, '++');
+    protected function pExpr_PostInc(Expr\PostInc $node): string {
+        return $this->p($node->var) . '++';
     }
 
-    protected function pExpr_PostDec(Expr\PostDec $node) {
-        return $this->pPostfixOp(Expr\PostDec::class, $node->var, '--');
+    protected function pExpr_PostDec(Expr\PostDec $node): string {
+        return $this->p($node->var) . '--';
     }
 
-    protected function pExpr_ErrorSuppress(Expr\ErrorSuppress $node) {
-        return $this->pPrefixOp(Expr\ErrorSuppress::class, '@', $node->expr);
+    protected function pExpr_ErrorSuppress(Expr\ErrorSuppress $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Expr\ErrorSuppress::class, '@', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_YieldFrom(Expr\YieldFrom $node) {
-        return $this->pPrefixOp(Expr\YieldFrom::class, 'yield from ', $node->expr);
+    protected function pExpr_YieldFrom(Expr\YieldFrom $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Expr\YieldFrom::class, 'yield from ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_Print(Expr\Print_ $node) {
-        return $this->pPrefixOp(Expr\Print_::class, 'print ', $node->expr);
+    protected function pExpr_Print(Expr\Print_ $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Expr\Print_::class, 'print ', $node->expr, $precedence, $lhsPrecedence);
     }
 
     // Casts
 
-    protected function pExpr_Cast_Int(Cast\Int_ $node) {
-        return $this->pPrefixOp(Cast\Int_::class, '(int) ', $node->expr);
+    protected function pExpr_Cast_Int(Cast\Int_ $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Cast\Int_::class, '(int) ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_Cast_Double(Cast\Double $node) {
+    protected function pExpr_Cast_Double(Cast\Double $node, int $precedence, int $lhsPrecedence): string {
         $kind = $node->getAttribute('kind', Cast\Double::KIND_DOUBLE);
         if ($kind === Cast\Double::KIND_DOUBLE) {
             $cast = '(double)';
         } elseif ($kind === Cast\Double::KIND_FLOAT) {
             $cast = '(float)';
-        } elseif ($kind === Cast\Double::KIND_REAL) {
+        } else {
+            assert($kind === Cast\Double::KIND_REAL);
             $cast = '(real)';
         }
-        return $this->pPrefixOp(Cast\Double::class, $cast . ' ', $node->expr);
+        return $this->pPrefixOp(Cast\Double::class, $cast . ' ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_Cast_String(Cast\String_ $node) {
-        return $this->pPrefixOp(Cast\String_::class, '(string) ', $node->expr);
+    protected function pExpr_Cast_String(Cast\String_ $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Cast\String_::class, '(string) ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_Cast_Array(Cast\Array_ $node) {
-        return $this->pPrefixOp(Cast\Array_::class, '(array) ', $node->expr);
+    protected function pExpr_Cast_Array(Cast\Array_ $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Cast\Array_::class, '(array) ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_Cast_Object(Cast\Object_ $node) {
-        return $this->pPrefixOp(Cast\Object_::class, '(object) ', $node->expr);
+    protected function pExpr_Cast_Object(Cast\Object_ $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Cast\Object_::class, '(object) ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_Cast_Bool(Cast\Bool_ $node) {
-        return $this->pPrefixOp(Cast\Bool_::class, '(bool) ', $node->expr);
+    protected function pExpr_Cast_Bool(Cast\Bool_ $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Cast\Bool_::class, '(bool) ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_Cast_Unset(Cast\Unset_ $node) {
-        return $this->pPrefixOp(Cast\Unset_::class, '(unset) ', $node->expr);
+    protected function pExpr_Cast_Unset(Cast\Unset_ $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Cast\Unset_::class, '(unset) ', $node->expr, $precedence, $lhsPrecedence);
     }
 
     // Function calls and similar constructs
 
-    protected function pExpr_FuncCall(Expr\FuncCall $node) {
+    protected function pExpr_FuncCall(Expr\FuncCall $node): string {
         return $this->pCallLhs($node->name)
              . '(' . $this->pMaybeMultiline($node->args) . ')';
     }
 
-    protected function pExpr_MethodCall(Expr\MethodCall $node) {
+    protected function pExpr_MethodCall(Expr\MethodCall $node): string {
         return $this->pDereferenceLhs($node->var) . '->' . $this->pObjectProperty($node->name)
              . '(' . $this->pMaybeMultiline($node->args) . ')';
     }
 
-    protected function pExpr_NullsafeMethodCall(Expr\NullsafeMethodCall $node) {
+    protected function pExpr_NullsafeMethodCall(Expr\NullsafeMethodCall $node): string {
         return $this->pDereferenceLhs($node->var) . '?->' . $this->pObjectProperty($node->name)
             . '(' . $this->pMaybeMultiline($node->args) . ')';
     }
 
-    protected function pExpr_StaticCall(Expr\StaticCall $node) {
-        return $this->pDereferenceLhs($node->class) . '::'
+    protected function pExpr_StaticCall(Expr\StaticCall $node): string {
+        return $this->pStaticDereferenceLhs($node->class) . '::'
              . ($node->name instanceof Expr
                 ? ($node->name instanceof Expr\Variable
                    ? $this->p($node->name)
@@ -522,19 +539,19 @@ class Standard extends PrettyPrinterAbstract
              . '(' . $this->pMaybeMultiline($node->args) . ')';
     }
 
-    protected function pExpr_Empty(Expr\Empty_ $node) {
+    protected function pExpr_Empty(Expr\Empty_ $node): string {
         return 'empty(' . $this->p($node->expr) . ')';
     }
 
-    protected function pExpr_Isset(Expr\Isset_ $node) {
+    protected function pExpr_Isset(Expr\Isset_ $node): string {
         return 'isset(' . $this->pCommaSeparated($node->vars) . ')';
     }
 
-    protected function pExpr_Eval(Expr\Eval_ $node) {
+    protected function pExpr_Eval(Expr\Eval_ $node): string {
         return 'eval(' . $this->p($node->expr) . ')';
     }
 
-    protected function pExpr_Include(Expr\Include_ $node) {
+    protected function pExpr_Include(Expr\Include_ $node, int $precedence, int $lhsPrecedence): string {
         static $map = [
             Expr\Include_::TYPE_INCLUDE      => 'include',
             Expr\Include_::TYPE_INCLUDE_ONCE => 'include_once',
@@ -542,20 +559,26 @@ class Standard extends PrettyPrinterAbstract
             Expr\Include_::TYPE_REQUIRE_ONCE => 'require_once',
         ];
 
-        return $map[$node->type] . ' ' . $this->p($node->expr);
+        return $this->pPrefixOp(Expr\Include_::class, $map[$node->type] . ' ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_List(Expr\List_ $node) {
-        return 'list(' . $this->pCommaSeparated($node->items) . ')';
+    protected function pExpr_List(Expr\List_ $node): string {
+        $syntax = $node->getAttribute('kind',
+            $this->phpVersion->supportsShortArrayDestructuring() ? Expr\List_::KIND_ARRAY : Expr\List_::KIND_LIST);
+        if ($syntax === Expr\List_::KIND_ARRAY) {
+            return '[' . $this->pMaybeMultiline($node->items, true) . ']';
+        } else {
+            return 'list(' . $this->pMaybeMultiline($node->items, true) . ')';
+        }
     }
 
     // Other
 
-    protected function pExpr_Error(Expr\Error $node) {
+    protected function pExpr_Error(Expr\Error $node): string {
         throw new \LogicException('Cannot pretty-print AST with Error nodes');
     }
 
-    protected function pExpr_Variable(Expr\Variable $node) {
+    protected function pExpr_Variable(Expr\Variable $node): string {
         if ($node->name instanceof Expr) {
             return '${' . $this->p($node->name) . '}';
         } else {
@@ -563,9 +586,9 @@ class Standard extends PrettyPrinterAbstract
         }
     }
 
-    protected function pExpr_Array(Expr\Array_ $node) {
+    protected function pExpr_Array(Expr\Array_ $node): string {
         $syntax = $node->getAttribute('kind',
-            $this->options['shortArraySyntax'] ? Expr\Array_::KIND_SHORT : Expr\Array_::KIND_LONG);
+            $this->shortArraySyntax ? Expr\Array_::KIND_SHORT : Expr\Array_::KIND_LONG);
         if ($syntax === Expr\Array_::KIND_SHORT) {
             return '[' . $this->pMaybeMultiline($node->items, true) . ']';
         } else {
@@ -573,124 +596,152 @@ class Standard extends PrettyPrinterAbstract
         }
     }
 
-    protected function pExpr_ArrayItem(Expr\ArrayItem $node) {
-        return (null !== $node->key ? $this->p($node->key) . ' => ' : '')
+    protected function pKey(?Node $node): string {
+        if ($node === null) {
+            return '';
+        }
+
+        // => is not really an operator and does not typically participate in precedence resolution.
+        // However, there is an exception if yield expressions with keys are involved:
+        // [yield $a => $b] is interpreted as [(yield $a => $b)], so we need to ensure that
+        // [(yield $a) => $b] is printed with parentheses. We approximate this by lowering the LHS
+        // precedence to that of yield (which will also print unnecessary parentheses for rare low
+        // precedence unary operators like include).
+        $yieldPrecedence = $this->precedenceMap[Expr\Yield_::class][0];
+        return $this->p($node, self::MAX_PRECEDENCE, $yieldPrecedence) . ' => ';
+    }
+
+    protected function pArrayItem(Node\ArrayItem $node): string {
+        return $this->pKey($node->key)
              . ($node->byRef ? '&' : '')
              . ($node->unpack ? '...' : '')
              . $this->p($node->value);
     }
 
-    protected function pExpr_ArrayDimFetch(Expr\ArrayDimFetch $node) {
+    protected function pExpr_ArrayDimFetch(Expr\ArrayDimFetch $node): string {
         return $this->pDereferenceLhs($node->var)
              . '[' . (null !== $node->dim ? $this->p($node->dim) : '') . ']';
     }
 
-    protected function pExpr_ConstFetch(Expr\ConstFetch $node) {
+    protected function pExpr_ConstFetch(Expr\ConstFetch $node): string {
         return $this->p($node->name);
     }
 
-    protected function pExpr_ClassConstFetch(Expr\ClassConstFetch $node) {
-        return $this->pDereferenceLhs($node->class) . '::' . $this->p($node->name);
+    protected function pExpr_ClassConstFetch(Expr\ClassConstFetch $node): string {
+        return $this->pStaticDereferenceLhs($node->class) . '::' . $this->pObjectProperty($node->name);
     }
 
-    protected function pExpr_PropertyFetch(Expr\PropertyFetch $node) {
+    protected function pExpr_PropertyFetch(Expr\PropertyFetch $node): string {
         return $this->pDereferenceLhs($node->var) . '->' . $this->pObjectProperty($node->name);
     }
 
-    protected function pExpr_NullsafePropertyFetch(Expr\NullsafePropertyFetch $node) {
+    protected function pExpr_NullsafePropertyFetch(Expr\NullsafePropertyFetch $node): string {
         return $this->pDereferenceLhs($node->var) . '?->' . $this->pObjectProperty($node->name);
     }
 
-    protected function pExpr_StaticPropertyFetch(Expr\StaticPropertyFetch $node) {
-        return $this->pDereferenceLhs($node->class) . '::$' . $this->pObjectProperty($node->name);
+    protected function pExpr_StaticPropertyFetch(Expr\StaticPropertyFetch $node): string {
+        return $this->pStaticDereferenceLhs($node->class) . '::$' . $this->pObjectProperty($node->name);
     }
 
-    protected function pExpr_ShellExec(Expr\ShellExec $node) {
+    protected function pExpr_ShellExec(Expr\ShellExec $node): string {
         return '`' . $this->pEncapsList($node->parts, '`') . '`';
     }
 
-    protected function pExpr_Closure(Expr\Closure $node) {
+    protected function pExpr_Closure(Expr\Closure $node): string {
         return $this->pAttrGroups($node->attrGroups, true)
-             . ($node->static ? 'static ' : '')
+             . $this->pStatic($node->static)
              . 'function ' . ($node->byRef ? '&' : '')
-             . '(' . $this->pCommaSeparated($node->params) . ')'
-             . (!empty($node->uses) ? ' use(' . $this->pCommaSeparated($node->uses) . ')' : '')
-             . (null !== $node->returnType ? ' : ' . $this->p($node->returnType) : '')
+             . '(' . $this->pMaybeMultiline($node->params, $this->phpVersion->supportsTrailingCommaInParamList()) . ')'
+             . (!empty($node->uses) ? ' use (' . $this->pCommaSeparated($node->uses) . ')' : '')
+             . (null !== $node->returnType ? ': ' . $this->p($node->returnType) : '')
              . ' {' . $this->pStmts($node->stmts) . $this->nl . '}';
     }
 
-    protected function pExpr_Match(Expr\Match_ $node) {
+    protected function pExpr_Match(Expr\Match_ $node): string {
         return 'match (' . $this->p($node->cond) . ') {'
             . $this->pCommaSeparatedMultiline($node->arms, true)
             . $this->nl
             . '}';
     }
 
-    protected function pMatchArm(Node\MatchArm $node) {
-        return ($node->conds ? $this->pCommaSeparated($node->conds) : 'default')
-            . ' => ' . $this->p($node->body);
+    protected function pMatchArm(Node\MatchArm $node): string {
+        $result = '';
+        if ($node->conds) {
+            for ($i = 0, $c = \count($node->conds); $i + 1 < $c; $i++) {
+                $result .= $this->p($node->conds[$i]) . ', ';
+            }
+            $result .= $this->pKey($node->conds[$i]);
+        } else {
+            $result = 'default => ';
+        }
+        return $result . $this->p($node->body);
     }
 
-    protected function pExpr_ArrowFunction(Expr\ArrowFunction $node) {
-        return $this->pAttrGroups($node->attrGroups, true)
-            . ($node->static ? 'static ' : '')
+    protected function pExpr_ArrowFunction(Expr\ArrowFunction $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(
+            Expr\ArrowFunction::class,
+            $this->pAttrGroups($node->attrGroups, true)
+            . $this->pStatic($node->static)
             . 'fn' . ($node->byRef ? '&' : '')
-            . '(' . $this->pCommaSeparated($node->params) . ')'
+            . '(' . $this->pMaybeMultiline($node->params, $this->phpVersion->supportsTrailingCommaInParamList()) . ')'
             . (null !== $node->returnType ? ': ' . $this->p($node->returnType) : '')
-            . ' => '
-            . $this->p($node->expr);
+            . ' => ',
+            $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_ClosureUse(Expr\ClosureUse $node) {
+    protected function pClosureUse(Node\ClosureUse $node): string {
         return ($node->byRef ? '&' : '') . $this->p($node->var);
     }
 
-    protected function pExpr_New(Expr\New_ $node) {
+    protected function pExpr_New(Expr\New_ $node): string {
         if ($node->class instanceof Stmt\Class_) {
             $args = $node->args ? '(' . $this->pMaybeMultiline($node->args) . ')' : '';
             return 'new ' . $this->pClassCommon($node->class, $args);
         }
-        return 'new ' . $this->pNewVariable($node->class)
+        return 'new ' . $this->pNewOperand($node->class)
             . '(' . $this->pMaybeMultiline($node->args) . ')';
     }
 
-    protected function pExpr_Clone(Expr\Clone_ $node) {
-        return 'clone ' . $this->p($node->expr);
+    protected function pExpr_Clone(Expr\Clone_ $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Expr\Clone_::class, 'clone ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_Ternary(Expr\Ternary $node) {
+    protected function pExpr_Ternary(Expr\Ternary $node, int $precedence, int $lhsPrecedence): string {
         // a bit of cheating: we treat the ternary as a binary op where the ?...: part is the operator.
         // this is okay because the part between ? and : never needs parentheses.
         return $this->pInfixOp(Expr\Ternary::class,
-            $node->cond, ' ?' . (null !== $node->if ? ' ' . $this->p($node->if) . ' ' : '') . ': ', $node->else
+            $node->cond, ' ?' . (null !== $node->if ? ' ' . $this->p($node->if) . ' ' : '') . ': ', $node->else,
+            $precedence, $lhsPrecedence
         );
     }
 
-    protected function pExpr_Exit(Expr\Exit_ $node) {
+    protected function pExpr_Exit(Expr\Exit_ $node): string {
         $kind = $node->getAttribute('kind', Expr\Exit_::KIND_DIE);
         return ($kind === Expr\Exit_::KIND_EXIT ? 'exit' : 'die')
              . (null !== $node->expr ? '(' . $this->p($node->expr) . ')' : '');
     }
 
-    protected function pExpr_Throw(Expr\Throw_ $node) {
-        return 'throw ' . $this->p($node->expr);
+    protected function pExpr_Throw(Expr\Throw_ $node, int $precedence, int $lhsPrecedence): string {
+        return $this->pPrefixOp(Expr\Throw_::class, 'throw ', $node->expr, $precedence, $lhsPrecedence);
     }
 
-    protected function pExpr_Yield(Expr\Yield_ $node) {
+    protected function pExpr_Yield(Expr\Yield_ $node, int $precedence, int $lhsPrecedence): string {
         if ($node->value === null) {
-            return 'yield';
+            $opPrecedence = $this->precedenceMap[Expr\Yield_::class][0];
+            return $opPrecedence >= $lhsPrecedence ? '(yield)' : 'yield';
         } else {
-            // this is a bit ugly, but currently there is no way to detect whether the parentheses are necessary
-            return '(yield '
-                 . ($node->key !== null ? $this->p($node->key) . ' => ' : '')
-                 . $this->p($node->value)
-                 . ')';
+            if (!$this->phpVersion->supportsYieldWithoutParentheses()) {
+                return '(yield ' . $this->pKey($node->key) . $this->p($node->value) . ')';
+            }
+            return $this->pPrefixOp(
+                Expr\Yield_::class, 'yield ' . $this->pKey($node->key),
+                $node->value, $precedence, $lhsPrecedence);
         }
     }
 
     // Declarations
 
-    protected function pStmt_Namespace(Stmt\Namespace_ $node) {
+    protected function pStmt_Namespace(Stmt\Namespace_ $node): string {
         if ($this->canUseSemicolonNamespaces) {
             return 'namespace ' . $this->p($node->name) . ';'
                  . $this->nl . $this->pStmts($node->stmts, false);
@@ -700,146 +751,153 @@ class Standard extends PrettyPrinterAbstract
         }
     }
 
-    protected function pStmt_Use(Stmt\Use_ $node) {
+    protected function pStmt_Use(Stmt\Use_ $node): string {
         return 'use ' . $this->pUseType($node->type)
              . $this->pCommaSeparated($node->uses) . ';';
     }
 
-    protected function pStmt_GroupUse(Stmt\GroupUse $node) {
+    protected function pStmt_GroupUse(Stmt\GroupUse $node): string {
         return 'use ' . $this->pUseType($node->type) . $this->pName($node->prefix)
              . '\{' . $this->pCommaSeparated($node->uses) . '};';
     }
 
-    protected function pStmt_UseUse(Stmt\UseUse $node) {
+    protected function pUseItem(Node\UseItem $node): string {
         return $this->pUseType($node->type) . $this->p($node->name)
              . (null !== $node->alias ? ' as ' . $node->alias : '');
     }
 
-    protected function pUseType($type) {
+    protected function pUseType(int $type): string {
         return $type === Stmt\Use_::TYPE_FUNCTION ? 'function '
             : ($type === Stmt\Use_::TYPE_CONSTANT ? 'const ' : '');
     }
 
-    protected function pStmt_Interface(Stmt\Interface_ $node) {
+    protected function pStmt_Interface(Stmt\Interface_ $node): string {
         return $this->pAttrGroups($node->attrGroups)
              . 'interface ' . $node->name
              . (!empty($node->extends) ? ' extends ' . $this->pCommaSeparated($node->extends) : '')
              . $this->nl . '{' . $this->pStmts($node->stmts) . $this->nl . '}';
     }
 
-    protected function pStmt_Enum(Stmt\Enum_ $node) {
+    protected function pStmt_Enum(Stmt\Enum_ $node): string {
         return $this->pAttrGroups($node->attrGroups)
              . 'enum ' . $node->name
+             . ($node->scalarType ? ' : ' . $this->p($node->scalarType) : '')
              . (!empty($node->implements) ? ' implements ' . $this->pCommaSeparated($node->implements) : '')
              . $this->nl . '{' . $this->pStmts($node->stmts) . $this->nl . '}';
     }
 
-    protected function pStmt_Class(Stmt\Class_ $node) {
+    protected function pStmt_Class(Stmt\Class_ $node): string {
         return $this->pClassCommon($node, ' ' . $node->name);
     }
 
-    protected function pStmt_Trait(Stmt\Trait_ $node) {
+    protected function pStmt_Trait(Stmt\Trait_ $node): string {
         return $this->pAttrGroups($node->attrGroups)
              . 'trait ' . $node->name
              . $this->nl . '{' . $this->pStmts($node->stmts) . $this->nl . '}';
     }
 
-    protected function pStmt_EnumCase(Stmt\EnumCase $node) {
+    protected function pStmt_EnumCase(Stmt\EnumCase $node): string {
         return $this->pAttrGroups($node->attrGroups)
              . 'case ' . $node->name
              . ($node->expr ? ' = ' . $this->p($node->expr) : '')
              . ';';
     }
 
-    protected function pStmt_TraitUse(Stmt\TraitUse $node) {
+    protected function pStmt_TraitUse(Stmt\TraitUse $node): string {
         return 'use ' . $this->pCommaSeparated($node->traits)
              . (empty($node->adaptations)
                 ? ';'
                 : ' {' . $this->pStmts($node->adaptations) . $this->nl . '}');
     }
 
-    protected function pStmt_TraitUseAdaptation_Precedence(Stmt\TraitUseAdaptation\Precedence $node) {
+    protected function pStmt_TraitUseAdaptation_Precedence(Stmt\TraitUseAdaptation\Precedence $node): string {
         return $this->p($node->trait) . '::' . $node->method
              . ' insteadof ' . $this->pCommaSeparated($node->insteadof) . ';';
     }
 
-    protected function pStmt_TraitUseAdaptation_Alias(Stmt\TraitUseAdaptation\Alias $node) {
+    protected function pStmt_TraitUseAdaptation_Alias(Stmt\TraitUseAdaptation\Alias $node): string {
         return (null !== $node->trait ? $this->p($node->trait) . '::' : '')
              . $node->method . ' as'
              . (null !== $node->newModifier ? ' ' . rtrim($this->pModifiers($node->newModifier), ' ') : '')
-             . (null !== $node->newName     ? ' ' . $node->newName                        : '')
+             . (null !== $node->newName ? ' ' . $node->newName : '')
              . ';';
     }
 
-    protected function pStmt_Property(Stmt\Property $node) {
+    protected function pStmt_Property(Stmt\Property $node): string {
         return $this->pAttrGroups($node->attrGroups)
             . (0 === $node->flags ? 'var ' : $this->pModifiers($node->flags))
             . ($node->type ? $this->p($node->type) . ' ' : '')
             . $this->pCommaSeparated($node->props) . ';';
     }
 
-    protected function pStmt_PropertyProperty(Stmt\PropertyProperty $node) {
+    protected function pPropertyItem(Node\PropertyItem $node): string {
         return '$' . $node->name
              . (null !== $node->default ? ' = ' . $this->p($node->default) : '');
     }
 
-    protected function pStmt_ClassMethod(Stmt\ClassMethod $node) {
+    protected function pStmt_ClassMethod(Stmt\ClassMethod $node): string {
         return $this->pAttrGroups($node->attrGroups)
              . $this->pModifiers($node->flags)
              . 'function ' . ($node->byRef ? '&' : '') . $node->name
-             . '(' . $this->pMaybeMultiline($node->params) . ')'
-             . (null !== $node->returnType ? ' : ' . $this->p($node->returnType) : '')
+             . '(' . $this->pMaybeMultiline($node->params, $this->phpVersion->supportsTrailingCommaInParamList()) . ')'
+             . (null !== $node->returnType ? ': ' . $this->p($node->returnType) : '')
              . (null !== $node->stmts
                 ? $this->nl . '{' . $this->pStmts($node->stmts) . $this->nl . '}'
                 : ';');
     }
 
-    protected function pStmt_ClassConst(Stmt\ClassConst $node) {
+    protected function pStmt_ClassConst(Stmt\ClassConst $node): string {
         return $this->pAttrGroups($node->attrGroups)
              . $this->pModifiers($node->flags)
-             . 'const ' . $this->pCommaSeparated($node->consts) . ';';
+             . 'const '
+             . (null !== $node->type ? $this->p($node->type) . ' ' : '')
+             . $this->pCommaSeparated($node->consts) . ';';
     }
 
-    protected function pStmt_Function(Stmt\Function_ $node) {
+    protected function pStmt_Function(Stmt\Function_ $node): string {
         return $this->pAttrGroups($node->attrGroups)
              . 'function ' . ($node->byRef ? '&' : '') . $node->name
-             . '(' . $this->pCommaSeparated($node->params) . ')'
-             . (null !== $node->returnType ? ' : ' . $this->p($node->returnType) : '')
+             . '(' . $this->pMaybeMultiline($node->params, $this->phpVersion->supportsTrailingCommaInParamList()) . ')'
+             . (null !== $node->returnType ? ': ' . $this->p($node->returnType) : '')
              . $this->nl . '{' . $this->pStmts($node->stmts) . $this->nl . '}';
     }
 
-    protected function pStmt_Const(Stmt\Const_ $node) {
+    protected function pStmt_Const(Stmt\Const_ $node): string {
         return 'const ' . $this->pCommaSeparated($node->consts) . ';';
     }
 
-    protected function pStmt_Declare(Stmt\Declare_ $node) {
+    protected function pStmt_Declare(Stmt\Declare_ $node): string {
         return 'declare (' . $this->pCommaSeparated($node->declares) . ')'
              . (null !== $node->stmts ? ' {' . $this->pStmts($node->stmts) . $this->nl . '}' : ';');
     }
 
-    protected function pStmt_DeclareDeclare(Stmt\DeclareDeclare $node) {
+    protected function pDeclareItem(Node\DeclareItem $node): string {
         return $node->key . '=' . $this->p($node->value);
     }
 
     // Control flow
 
-    protected function pStmt_If(Stmt\If_ $node) {
+    protected function pStmt_If(Stmt\If_ $node): string {
         return 'if (' . $this->p($node->cond) . ') {'
              . $this->pStmts($node->stmts) . $this->nl . '}'
              . ($node->elseifs ? ' ' . $this->pImplode($node->elseifs, ' ') : '')
              . (null !== $node->else ? ' ' . $this->p($node->else) : '');
     }
 
-    protected function pStmt_ElseIf(Stmt\ElseIf_ $node) {
+    protected function pStmt_ElseIf(Stmt\ElseIf_ $node): string {
         return 'elseif (' . $this->p($node->cond) . ') {'
              . $this->pStmts($node->stmts) . $this->nl . '}';
     }
 
-    protected function pStmt_Else(Stmt\Else_ $node) {
+    protected function pStmt_Else(Stmt\Else_ $node): string {
+        if (\count($node->stmts) === 1 && $node->stmts[0] instanceof Stmt\If_) {
+            // Print as "else if" rather than "else { if }"
+            return 'else ' . $this->p($node->stmts[0]);
+        }
         return 'else {' . $this->pStmts($node->stmts) . $this->nl . '}';
     }
 
-    protected function pStmt_For(Stmt\For_ $node) {
+    protected function pStmt_For(Stmt\For_ $node): string {
         return 'for ('
              . $this->pCommaSeparated($node->init) . ';' . (!empty($node->cond) ? ' ' : '')
              . $this->pCommaSeparated($node->cond) . ';' . (!empty($node->loop) ? ' ' : '')
@@ -847,116 +905,116 @@ class Standard extends PrettyPrinterAbstract
              . ') {' . $this->pStmts($node->stmts) . $this->nl . '}';
     }
 
-    protected function pStmt_Foreach(Stmt\Foreach_ $node) {
+    protected function pStmt_Foreach(Stmt\Foreach_ $node): string {
         return 'foreach (' . $this->p($node->expr) . ' as '
              . (null !== $node->keyVar ? $this->p($node->keyVar) . ' => ' : '')
              . ($node->byRef ? '&' : '') . $this->p($node->valueVar) . ') {'
              . $this->pStmts($node->stmts) . $this->nl . '}';
     }
 
-    protected function pStmt_While(Stmt\While_ $node) {
+    protected function pStmt_While(Stmt\While_ $node): string {
         return 'while (' . $this->p($node->cond) . ') {'
              . $this->pStmts($node->stmts) . $this->nl . '}';
     }
 
-    protected function pStmt_Do(Stmt\Do_ $node) {
+    protected function pStmt_Do(Stmt\Do_ $node): string {
         return 'do {' . $this->pStmts($node->stmts) . $this->nl
              . '} while (' . $this->p($node->cond) . ');';
     }
 
-    protected function pStmt_Switch(Stmt\Switch_ $node) {
+    protected function pStmt_Switch(Stmt\Switch_ $node): string {
         return 'switch (' . $this->p($node->cond) . ') {'
              . $this->pStmts($node->cases) . $this->nl . '}';
     }
 
-    protected function pStmt_Case(Stmt\Case_ $node) {
+    protected function pStmt_Case(Stmt\Case_ $node): string {
         return (null !== $node->cond ? 'case ' . $this->p($node->cond) : 'default') . ':'
              . $this->pStmts($node->stmts);
     }
 
-    protected function pStmt_TryCatch(Stmt\TryCatch $node) {
+    protected function pStmt_TryCatch(Stmt\TryCatch $node): string {
         return 'try {' . $this->pStmts($node->stmts) . $this->nl . '}'
              . ($node->catches ? ' ' . $this->pImplode($node->catches, ' ') : '')
              . ($node->finally !== null ? ' ' . $this->p($node->finally) : '');
     }
 
-    protected function pStmt_Catch(Stmt\Catch_ $node) {
+    protected function pStmt_Catch(Stmt\Catch_ $node): string {
         return 'catch (' . $this->pImplode($node->types, '|')
              . ($node->var !== null ? ' ' . $this->p($node->var) : '')
              . ') {' . $this->pStmts($node->stmts) . $this->nl . '}';
     }
 
-    protected function pStmt_Finally(Stmt\Finally_ $node) {
+    protected function pStmt_Finally(Stmt\Finally_ $node): string {
         return 'finally {' . $this->pStmts($node->stmts) . $this->nl . '}';
     }
 
-    protected function pStmt_Break(Stmt\Break_ $node) {
+    protected function pStmt_Break(Stmt\Break_ $node): string {
         return 'break' . ($node->num !== null ? ' ' . $this->p($node->num) : '') . ';';
     }
 
-    protected function pStmt_Continue(Stmt\Continue_ $node) {
+    protected function pStmt_Continue(Stmt\Continue_ $node): string {
         return 'continue' . ($node->num !== null ? ' ' . $this->p($node->num) : '') . ';';
     }
 
-    protected function pStmt_Return(Stmt\Return_ $node) {
+    protected function pStmt_Return(Stmt\Return_ $node): string {
         return 'return' . (null !== $node->expr ? ' ' . $this->p($node->expr) : '') . ';';
     }
 
-    protected function pStmt_Throw(Stmt\Throw_ $node) {
-        return 'throw ' . $this->p($node->expr) . ';';
-    }
-
-    protected function pStmt_Label(Stmt\Label $node) {
+    protected function pStmt_Label(Stmt\Label $node): string {
         return $node->name . ':';
     }
 
-    protected function pStmt_Goto(Stmt\Goto_ $node) {
+    protected function pStmt_Goto(Stmt\Goto_ $node): string {
         return 'goto ' . $node->name . ';';
     }
 
     // Other
 
-    protected function pStmt_Expression(Stmt\Expression $node) {
+    protected function pStmt_Expression(Stmt\Expression $node): string {
         return $this->p($node->expr) . ';';
     }
 
-    protected function pStmt_Echo(Stmt\Echo_ $node) {
+    protected function pStmt_Echo(Stmt\Echo_ $node): string {
         return 'echo ' . $this->pCommaSeparated($node->exprs) . ';';
     }
 
-    protected function pStmt_Static(Stmt\Static_ $node) {
+    protected function pStmt_Static(Stmt\Static_ $node): string {
         return 'static ' . $this->pCommaSeparated($node->vars) . ';';
     }
 
-    protected function pStmt_Global(Stmt\Global_ $node) {
+    protected function pStmt_Global(Stmt\Global_ $node): string {
         return 'global ' . $this->pCommaSeparated($node->vars) . ';';
     }
 
-    protected function pStmt_StaticVar(Stmt\StaticVar $node) {
+    protected function pStaticVar(Node\StaticVar $node): string {
         return $this->p($node->var)
              . (null !== $node->default ? ' = ' . $this->p($node->default) : '');
     }
 
-    protected function pStmt_Unset(Stmt\Unset_ $node) {
+    protected function pStmt_Unset(Stmt\Unset_ $node): string {
         return 'unset(' . $this->pCommaSeparated($node->vars) . ');';
     }
 
-    protected function pStmt_InlineHTML(Stmt\InlineHTML $node) {
-        $newline = $node->getAttribute('hasLeadingNewline', true) ? "\n" : '';
+    protected function pStmt_InlineHTML(Stmt\InlineHTML $node): string {
+        $newline = $node->getAttribute('hasLeadingNewline', true) ? $this->newline : '';
         return '?>' . $newline . $node->value . '<?php ';
     }
 
-    protected function pStmt_HaltCompiler(Stmt\HaltCompiler $node) {
+    protected function pStmt_HaltCompiler(Stmt\HaltCompiler $node): string {
         return '__halt_compiler();' . $node->remaining;
     }
 
-    protected function pStmt_Nop(Stmt\Nop $node) {
+    protected function pStmt_Nop(Stmt\Nop $node): string {
         return '';
     }
 
+    protected function pStmt_Block(Stmt\Block $node): string {
+        return '{' . $this->pStmts($node->stmts) . $this->nl . '}';
+    }
+
     // Helpers
 
-    protected function pClassCommon(Stmt\Class_ $node, $afterClassToken) {
+    protected function pClassCommon(Stmt\Class_ $node, string $afterClassToken): string {
         return $this->pAttrGroups($node->attrGroups, $node->name === null)
             . $this->pModifiers($node->flags)
             . 'class' . $afterClassToken
@@ -965,18 +1023,20 @@ class Standard extends PrettyPrinterAbstract
             . $this->nl . '{' . $this->pStmts($node->stmts) . $this->nl . '}';
     }
 
-    protected function pObjectProperty($node) {
+    protected function pObjectProperty(Node $node): string {
         if ($node instanceof Expr) {
             return '{' . $this->p($node) . '}';
         } else {
-            return $node;
+            assert($node instanceof Node\Identifier);
+            return $node->name;
         }
     }
 
-    protected function pEncapsList(array $encapsList, $quote) {
+    /** @param (Expr|Node\InterpolatedStringPart)[] $encapsList */
+    protected function pEncapsList(array $encapsList, ?string $quote): string {
         $return = '';
         foreach ($encapsList as $element) {
-            if ($element instanceof Scalar\EncapsedStringPart) {
+            if ($element instanceof Node\InterpolatedStringPart) {
                 $return .= $this->escapeString($element->value, $quote);
             } else {
                 $return .= '{' . $this->p($element) . '}';
@@ -986,14 +1046,25 @@ class Standard extends PrettyPrinterAbstract
         return $return;
     }
 
-    protected function pSingleQuotedString(string $string) {
-        return '\'' . addcslashes($string, '\'\\') . '\'';
+    protected function pSingleQuotedString(string $string): string {
+        // It is idiomatic to only escape backslashes when necessary, i.e. when followed by ', \ or
+        // the end of the string ('Foo\Bar' instead of 'Foo\\Bar'). However, we also don't want to
+        // produce an odd number of backslashes, so '\\\\a' should not get rendered as '\\\a', even
+        // though that would be legal.
+        $regex = '/\'|\\\\(?=[\'\\\\]|$)|(?<=\\\\)\\\\/';
+        return '\'' . preg_replace($regex, '\\\\$0', $string) . '\'';
     }
 
-    protected function escapeString($string, $quote) {
+    protected function escapeString(string $string, ?string $quote): string {
         if (null === $quote) {
             // For doc strings, don't escape newlines
             $escaped = addcslashes($string, "\t\f\v$\\");
+            // But do escape isolated \r. Combined with the terminating newline, it might get
+            // interpreted as \r\n and dropped from the string contents.
+            $escaped = preg_replace('/\r(?!\n)/', '\\r', $escaped);
+            if ($this->phpVersion->supportsFlexibleHeredoc()) {
+                $escaped = $this->indentString($escaped);
+            }
         } else {
             $escaped = addcslashes($string, "\n\r\t\f\v$" . $quote . "\\");
         }
@@ -1015,26 +1086,24 @@ class Standard extends PrettyPrinterAbstract
             | (?<=[\xF0-\xF4])[\x80-\xBF](?![\x80-\xBF]{2}) # Short 4 byte sequence
             | (?<=[\xF0-\xF4][\x80-\xBF])[\x80-\xBF](?![\x80-\xBF]) # Short 4 byte sequence (2)
         )/x';
-        return preg_replace_callback($regex, function ($matches) {
+        return preg_replace_callback($regex, function ($matches): string {
             assert(strlen($matches[0]) === 1);
-            $hex = dechex(ord($matches[0]));;
+            $hex = dechex(ord($matches[0]));
             return '\\x' . str_pad($hex, 2, '0', \STR_PAD_LEFT);
         }, $escaped);
     }
 
-    protected function containsEndLabel($string, $label, $atStart = true, $atEnd = true) {
-        $start = $atStart ? '(?:^|[\r\n])' : '[\r\n]';
-        $end = $atEnd ? '(?:$|[;\r\n])' : '[;\r\n]';
+    protected function containsEndLabel(string $string, string $label, bool $atStart = true): bool {
+        $start = $atStart ? '(?:^|[\r\n])[ \t]*' : '[\r\n][ \t]*';
         return false !== strpos($string, $label)
-            && preg_match('/' . $start . $label . $end . '/', $string);
+            && preg_match('/' . $start . $label . '(?:$|[^_A-Za-z0-9\x80-\xff])/', $string);
     }
 
-    protected function encapsedContainsEndLabel(array $parts, $label) {
+    /** @param (Expr|Node\InterpolatedStringPart)[] $parts */
+    protected function encapsedContainsEndLabel(array $parts, string $label): bool {
         foreach ($parts as $i => $part) {
-            $atStart = $i === 0;
-            $atEnd = $i === count($parts) - 1;
-            if ($part instanceof Scalar\EncapsedStringPart
-                && $this->containsEndLabel($part->value, $label, $atStart, $atEnd)
+            if ($part instanceof Node\InterpolatedStringPart
+                && $this->containsEndLabel($this->escapeString($part->value, null), $label, $i === 0)
             ) {
                 return true;
             }
@@ -1042,32 +1111,42 @@ class Standard extends PrettyPrinterAbstract
         return false;
     }
 
-    protected function pDereferenceLhs(Node $node) {
+    protected function pDereferenceLhs(Node $node): string {
         if (!$this->dereferenceLhsRequiresParens($node)) {
             return $this->p($node);
-        } else  {
+        } else {
+            return '(' . $this->p($node) . ')';
+        }
+    }
+
+    protected function pStaticDereferenceLhs(Node $node): string {
+        if (!$this->staticDereferenceLhsRequiresParens($node)) {
+            return $this->p($node);
+        } else {
             return '(' . $this->p($node) . ')';
         }
     }
 
-    protected function pCallLhs(Node $node) {
+    protected function pCallLhs(Node $node): string {
         if (!$this->callLhsRequiresParens($node)) {
             return $this->p($node);
-        } else  {
+        } else {
             return '(' . $this->p($node) . ')';
         }
     }
 
-    protected function pNewVariable(Node $node) {
-        // TODO: This is not fully accurate.
-        return $this->pDereferenceLhs($node);
+    protected function pNewOperand(Node $node): string {
+        if (!$this->newOperandRequiresParens($node)) {
+            return $this->p($node);
+        } else {
+            return '(' . $this->p($node) . ')';
+        }
     }
 
     /**
      * @param Node[] $nodes
-     * @return bool
      */
-    protected function hasNodeWithComments(array $nodes) {
+    protected function hasNodeWithComments(array $nodes): bool {
         foreach ($nodes as $node) {
             if ($node && $node->getComments()) {
                 return true;
@@ -1076,7 +1155,8 @@ class Standard extends PrettyPrinterAbstract
         return false;
     }
 
-    protected function pMaybeMultiline(array $nodes, bool $trailingComma = false) {
+    /** @param Node[] $nodes */
+    protected function pMaybeMultiline(array $nodes, bool $trailingComma = false): string {
         if (!$this->hasNodeWithComments($nodes)) {
             return $this->pCommaSeparated($nodes);
         } else {
@@ -1084,6 +1164,7 @@ class Standard extends PrettyPrinterAbstract
         }
     }
 
+    /** @param Node\AttributeGroup[] $nodes */
     protected function pAttrGroups(array $nodes, bool $inline = false): string {
         $result = '';
         $sep = $inline ? ' ' : $this->nl;