fix

Author: staabm

src/Type/Php/RegexGroupParser.php

@@ -365,7 +365,9 @@ private function walkGroupAst(
 			&& count($children) > 0
 		) {
 			$isNonEmpty = TrinaryLogic::createYes();
-			$isNonFalsy = TrinaryLogic::createYes();
+			if (!$inAlternation) {
+				$isNonFalsy = TrinaryLogic::createYes();
+			}
 		} elseif ($ast->getId() === '#quantification') {
 			[$min] = $this->getQuantificationRange($ast);
 

tests/PHPStan/Analyser/nsrt/preg_match_shapes.php

@@ -612,3 +612,16 @@ function (string $s): void {
 		assertType("array{string, non-empty-string}", $matches);
 	}
 };
+
+function (string $s): void {
+	if (preg_match('/Price: (a|0)/', $s, $matches)) {
+		assertType("array{string, non-empty-string}", $matches);
+	}
+};
+
+function (string $s): void {
+	if (preg_match('/Price: (aa|0)/', $s, $matches)) {
+		assertType("array{string, non-empty-string}", $matches);
+	}
+};
+