More precise spaceship operator type

ondrejmirtes · ondrejmirtes · commit 1a4f8b3e8659 · 2020-11-09T22:29:50.000+01:00
diff --git a/src/Analyser/MutatingScope.php b/src/Analyser/MutatingScope.php
@@ -1001,7 +1001,7 @@ private function resolveType(Expr $node): Type
 		}
 
 		if ($node instanceof Expr\BinaryOp\Spaceship) {
-			return new IntegerType();
+			return IntegerRangeType::fromInterval(-1, 1);
 		}
 
 		if ($node instanceof Expr\AssignOp\Coalesce) {

Original file line number	Diff line number	Diff line change
`@@ -1001,7 +1001,7 @@ private function resolveType(Expr $node): Type`
`1001`	`1001`	`}`
`1002`	`1002`
`1003`	`1003`	`if ($node instanceof Expr\BinaryOp\Spaceship) {`
`1004`		`- return new IntegerType();`
	`1004`	`+ return IntegerRangeType::fromInterval(-1, 1);`
`1005`	`1005`	`}`
`1006`	`1006`
`1007`	`1007`	`if ($node instanceof Expr\AssignOp\Coalesce) {`