implement isInteger() on Type

src/Reflection/InitializerExprTypeResolver.php

@@ -1507,7 +1507,7 @@ private function resolveCommonMath(Expr\BinaryOp $expr, Type $leftType, Type $ri
 
 		$resultType = TypeCombinator::union($leftNumberType, $rightNumberType);
 		if ($expr instanceof Expr\BinaryOp\Div) {
-			if ($types instanceof MixedType || $resultType instanceof IntegerType) {
+			if ($types instanceof MixedType || $resultType->isInteger()->yes()) {
 				return new BenevolentUnionType([new IntegerType(), new FloatType()]);
 			}
 
@@ -1925,7 +1925,7 @@ public function getBitwiseNotType(Expr $expr, callable $getTypeCallback): Type
 
 				return TypeCombinator::intersect(...$accessories);
 			}
-			if ($type instanceof IntegerType || $type instanceof FloatType) {
+			if ($type->isInteger()->yes() || $type instanceof FloatType) {
 				return new IntegerType(); //no const types here, result depends on PHP_INT_SIZE
 			}
 			return new ErrorType();

src/Type/Accessory/AccessoryArrayListType.php

@@ -252,6 +252,11 @@ public function isList(): TrinaryLogic
 		return TrinaryLogic::createYes();
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/AccessoryLiteralStringType.php

@@ -166,6 +166,11 @@ public function toArrayKey(): Type
 		return $this;
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

src/Type/Accessory/AccessoryNonEmptyStringType.php

@@ -166,6 +166,11 @@ public function toArrayKey(): Type
 		return $this;
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

src/Type/Accessory/AccessoryNonFalsyStringType.php

@@ -166,6 +166,11 @@ public function toArrayKey(): Type
 		return $this;
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

src/Type/Accessory/AccessoryNumericStringType.php

@@ -169,6 +169,11 @@ public function toArrayKey(): Type
 		return new IntegerType();
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

src/Type/Accessory/HasOffsetType.php

@@ -169,6 +169,11 @@ public function isList(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createMaybe();

src/Type/Accessory/HasOffsetValueType.php

@@ -220,6 +220,11 @@ public function isList(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createMaybe();

src/Type/Accessory/NonEmptyArrayType.php

@@ -237,6 +237,11 @@ public function isList(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Accessory/OversizedArrayType.php

@@ -236,6 +236,11 @@ public function isList(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/ArrayType.php

@@ -260,6 +260,11 @@ public function isList(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/CallableType.php

@@ -322,6 +322,11 @@ public function isOversizedArray(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createMaybe();

src/Type/ClosureType.php

@@ -391,6 +391,11 @@ public function traverse(callable $cb): Type
 		);
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/FloatType.php

@@ -48,7 +48,7 @@ public function getReferencedClasses(): array
 
 	public function accepts(Type $type, bool $strictTypes): TrinaryLogic
 	{
-		if ($type instanceof self || $type instanceof IntegerType) {
+		if ($type instanceof self || $type->isInteger()->yes()) {
 			return TrinaryLogic::createYes();
 		}
 
@@ -121,6 +121,11 @@ public function toArrayKey(): Type
 		return new IntegerType();
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/IntegerType.php

@@ -2,6 +2,7 @@
 
 namespace PHPStan\Type;
 
+use PHPStan\TrinaryLogic;
 use PHPStan\Type\Accessory\AccessoryNumericStringType;
 use PHPStan\Type\Constant\ConstantArrayType;
 use PHPStan\Type\Constant\ConstantIntegerType;
@@ -87,6 +88,11 @@ public function toArrayKey(): Type
 		return $this;
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createYes();
+	}
+
 	public function tryRemove(Type $typeToRemove): ?Type
 	{
 		if ($typeToRemove instanceof IntegerRangeType || $typeToRemove instanceof ConstantIntegerType) {

src/Type/IntersectionType.php

@@ -608,6 +608,11 @@ public function isSmallerThanOrEqual(Type $otherType): TrinaryLogic
 		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isSmallerThanOrEqual($otherType));
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isInteger());
+	}
+
 	public function isGreaterThan(Type $otherType): TrinaryLogic
 	{
 		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $otherType->isSmallerThan($type));

src/Type/IterableType.php

@@ -260,6 +260,11 @@ public function getLastIterableValueType(): Type
 		return $this->getItemType();
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/JustNullableTypeTrait.php

@@ -52,6 +52,11 @@ public function traverse(callable $cb): Type
 		return $this;
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/MixedType.php

@@ -602,6 +602,17 @@ public function isList(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		if ($this->subtractedType !== null) {
+			if ($this->subtractedType->isSuperTypeOf(new IntegerType())->yes()) {
+				return TrinaryLogic::createNo();
+			}
+		}
+
+		return TrinaryLogic::createMaybe();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		if ($this->subtractedType !== null) {

src/Type/NeverType.php

@@ -333,6 +333,11 @@ public function traverse(callable $cb): Type
 		return $this;
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/NullType.php

@@ -177,6 +177,11 @@ public function traverse(callable $cb): Type
 		return $this;
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/ObjectType.php

@@ -833,6 +833,11 @@ public function getLastIterableValueType(): Type
 		return $this->getIterableValueType();
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Php/BcMathStringOrNullReturnTypeExtension.php

@@ -61,7 +61,7 @@ public function getTypeFromFunctionCall(FunctionReflection $functionReflection,
 		}
 
 		$secondArgument = $scope->getType($functionCall->getArgs()[1]->value);
-		$secondArgumentIsNumeric = ($secondArgument instanceof ConstantScalarType && is_numeric($secondArgument->getValue())) || $secondArgument instanceof IntegerType;
+		$secondArgumentIsNumeric = ($secondArgument instanceof ConstantScalarType && is_numeric($secondArgument->getValue())) || $secondArgument->isInteger()->yes();
 
 		if ($secondArgument instanceof ConstantScalarType && ($this->isZero($secondArgument->getValue()) || !$secondArgumentIsNumeric)) {
 			if ($this->phpVersion->throwsTypeErrorForInternalFunctions()) {

src/Type/Php/FilterVarDynamicReturnTypeExtension.php

@@ -206,7 +206,7 @@ public function getTypeFromFunctionCall(
 	private function determineExactType(Type $in, int $filterValue, Type $defaultType, ?Arg $flagsArg, Scope $scope): ?Type
 	{
 		if (($filterValue === $this->getConstant('FILTER_VALIDATE_BOOLEAN') && $in instanceof BooleanType)
-			|| ($filterValue === $this->getConstant('FILTER_VALIDATE_INT') && $in instanceof IntegerType)
+			|| ($filterValue === $this->getConstant('FILTER_VALIDATE_INT') && $in->isInteger()->yes())
 			|| ($filterValue === $this->getConstant('FILTER_VALIDATE_FLOAT') && $in instanceof FloatType)) {
 			return $in;
 		}
@@ -229,7 +229,7 @@ private function determineExactType(Type $in, int $filterValue, Type $defaultTyp
 			return preg_match('/\A[+-]?(?:0|[1-9][0-9]*)\z/', $value) === 1 ? $in->toInteger() : $defaultType;
 		}
 
-		if ($filterValue === $this->getConstant('FILTER_VALIDATE_FLOAT') && $in instanceof IntegerType) {
+		if ($filterValue === $this->getConstant('FILTER_VALIDATE_FLOAT') && $in->isInteger()->yes()) {
 			return $in->toFloat();
 		}
 

src/Type/StaticType.php

@@ -426,6 +426,11 @@ public function isList(): TrinaryLogic
 		return $this->getStaticObjectType()->isList();
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return $this->getStaticObjectType()->isInteger();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return $this->getStaticObjectType()->isString();

src/Type/StrictMixedType.php

@@ -152,6 +152,11 @@ public function getIterableValueType(): Type
 		return $this;
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/StringType.php

@@ -144,6 +144,11 @@ public function toArrayKey(): Type
 		return $this;
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

src/Type/Traits/LateResolvableTypeTrait.php

@@ -310,6 +310,11 @@ public function isSmallerThanOrEqual(Type $otherType): TrinaryLogic
 		return $this->resolve()->isSmallerThanOrEqual($otherType);
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return $this->resolve()->isInteger();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return $this->resolve()->isString();

src/Type/Traits/ObjectTypeTrait.php

@@ -101,6 +101,11 @@ public function isCloneable(): TrinaryLogic
 		return TrinaryLogic::createYes();
 	}
 
+	public function isInteger(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isString(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/Type.php

@@ -141,6 +141,8 @@ public function isSmallerThan(Type $otherType): TrinaryLogic;
 
 	public function isSmallerThanOrEqual(Type $otherType): TrinaryLogic;
 
+	public function isInteger(): TrinaryLogic;
+
 	public function isString(): TrinaryLogic;
 
 	public function isNumericString(): TrinaryLogic;