Fix BcMath\Number unary plus/minus/bitwise-not

src/Reflection/InitializerExprTypeResolver.php

@@ -993,6 +993,10 @@
 			return $this->getNeverType($leftType, $rightType);
 		}
 
+		if ((new ObjectType('BcMath\Number'))->isSuperTypeOf($leftType)->yes()) {
+			return new ErrorType();
+		}
+
 		$result = $this->getFiniteOrConstantScalarTypes($leftType, $rightType, static fn ($a, $b) => $a & $b);
 		if ($result instanceof Type) {
 			return $result;
@@ -1051,6 +1055,10 @@
 			return $this->getNeverType($leftType, $rightType);
 		}
 
+		if ((new ObjectType('BcMath\Number'))->isSuperTypeOf($leftType)->yes()) {
+			return new ErrorType();
+		}
+
 		$result = $this->getFiniteOrConstantScalarTypes($leftType, $rightType, static fn ($a, $b) => $a | $b);
 		if ($result instanceof Type) {
 			return $result;
@@ -1159,6 +1167,10 @@
 			return $this->getNeverType($leftType, $rightType);
 		}
 
+		if ((new ObjectType('BcMath\Number'))->isSuperTypeOf($leftType)->yes()) {
+			return new ErrorType();
+		}
+
 		$result = $this->getFiniteOrConstantScalarTypes($leftType, $rightType, static fn ($a, $b) => $a ^ $b);
 		if ($result instanceof Type) {
 			return $result;
@@ -1765,6 +1777,10 @@
 			return $this->getNeverType($leftType, $rightType);
 		}
 
+		if ((new ObjectType('BcMath\Number'))->isSuperTypeOf($leftType)->yes()) {
+			return new ErrorType();
+		}
+
 		$leftTypes = $leftType->getConstantScalarTypes();
 		$rightTypes = $rightType->getConstantScalarTypes();
 		$leftTypesCount = count($leftTypes);
@@ -1829,6 +1845,10 @@
 			return $this->getNeverType($leftType, $rightType);
 		}
 
+		if ((new ObjectType('BcMath\Number'))->isSuperTypeOf($leftType)->yes()) {
+			return new ErrorType();
+		}
+
 		$leftTypes = $leftType->getConstantScalarTypes();
 		$rightTypes = $rightType->getConstantScalarTypes();
 		$leftTypesCount = count($leftTypes);

src/Type/ObjectType.php

@@ -762,6 +762,10 @@ public function toNumber(): Type
 			]);
 		}
 
+		if ($this->isInstanceOf('BcMath\Number')->yes()) {
+			return new ObjectType('BcMath\Number');
+		}
+
 		return new ErrorType();
 	}
 

tests/PHPStan/Analyser/nsrt/bcmath-number.php

@@ -380,9 +380,9 @@ public function bcVsNever(Number $a): void
 	{
 		for ($b = 1; $b < count([]); $b++) {
 			assertType('*NEVER*', $a + $b);
-			assertType('*ERROR*', $a - $b); // Inconsistency: getPlusType handles never types right at the beginning, getMinusType doesn't.
-			assertType('*ERROR*', $a * $b);
-			assertType('*ERROR*', $a / $b);
+			assertType('*NEVER*', $a - $b);
+			assertType('*NEVER*', $a * $b);
+			assertType('*NEVER*', $a / $b);
 			assertType('*NEVER*', $a % $b);
 			assertType('non-empty-string&numeric-string', $a . $b);
 			assertType('*ERROR*', $a ** $b);
@@ -413,4 +413,11 @@ public function bcIncDec(Number $a): void
 		assertType('BcMath\Number', --$a);
 		assertType('BcMath\Number', $a--);
 	}
+
+	public function bcUnaryOp(Number $a): void
+	{
+		assertType('BcMath\Number', +$a);
+		assertType('BcMath\Number', -$a);
+		assertType('*ERROR*', ~$a);
+	}
 }

tests/PHPStan/Rules/Operators/InvalidUnaryOperationRuleTest.php

@@ -169,4 +169,15 @@ public function testUnion(): void
 		]);
 	}
 
+	#[RequiresPhp('>= 8.4')]
+	public function testBcMathNumber(): void
+	{
+		$this->analyse([__DIR__ . '/data/unary-bcmath-number.php'], [
+			[
+				'Unary operation "~" on BcMath\Number results in an error.',
+				16,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Operators/data/unary-bcmath-number.php

@@ -0,0 +1,17 @@
+<?php
+
+namespace BcMathNumberUnaryOperators;
+
+use BcMath\Number;
+
+function testUnaryPlus(Number $x): void {
+	+$x;
+}
+
+function testUnaryMinus(Number $x): void {
+	-$x;
+}
+
+function testBitwiseNot(Number $x): void {
+	~$x;
+}