diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOpAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOpAnalyzer.php index c3b2c21a3ee..2ff13af0866 100644 --- a/src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOpAnalyzer.php +++ b/src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOpAnalyzer.php @@ -574,8 +574,8 @@ function ($c) { if ($stmt_left_type && $stmt_right_type - && $stmt_left_type->getId() === 'non-empty-string' - && $stmt_right_type->getId() === 'non-empty-string' + && ($stmt_left_type->getId() === 'non-empty-string' + || $stmt_right_type->getId() === 'non-empty-string') ) { $stmt_type = new Type\Union([new Type\Atomic\TNonEmptyString()]); } else {