Update CS

build-cs/composer.json

@@ -2,7 +2,7 @@
 	"require-dev": {
 		"consistence-community/coding-standard": "^3.11.0",
 		"dealerdirect/phpcodesniffer-composer-installer": "^0.7.0",
-		"slevomat/coding-standard": "^7.2.0",
+		"slevomat/coding-standard": "^8.0.0",
 		"squizlabs/php_codesniffer": "^3.5.3"
 	},
 	"config": {

phpcs.xml

@@ -1,6 +1,6 @@
 <?xml version="1.0"?>
 <ruleset name="PHPStan">
-	<config name="php_version" value="70100"/>
+	<config name="php_version" value="70400"/>
 	<arg name="colors"/>
 	<arg name="extensions" value="php"/>
 	<arg name="encoding" value="utf-8"/>
@@ -40,17 +40,13 @@
 	</rule>
 	<rule ref="SlevomatCodingStandard.TypeHints.ParameterTypeHint">
 		<exclude name="SlevomatCodingStandard.TypeHints.ParameterTypeHint.MissingTraversableTypeHintSpecification"/>
-		<properties>
-			<property name="enableObjectTypeHint" value="true"/>
-		</properties>
 	</rule>
 	<rule ref="SlevomatCodingStandard.TypeHints.ParameterTypeHint.UselessAnnotation">
 		<severity>10</severity>
 	</rule>
 	<rule ref="SlevomatCodingStandard.TypeHints.PropertyTypeHint">
 		<exclude name="SlevomatCodingStandard.TypeHints.PropertyTypeHint.MissingTraversableTypeHintSpecification"/>
 		<properties>
-			<property name="enableNativeTypeHint" value="true"/>
 			<property name="enableUnionTypeHint" value="true"/>
 		</properties>
 	</rule>
@@ -60,9 +56,6 @@
 	<rule ref="SlevomatCodingStandard.TypeHints.ReturnTypeHint">
 		<exclude name="SlevomatCodingStandard.TypeHints.ReturnTypeHint.MissingTraversableTypeHintSpecification"/>
 		<exclude name="SlevomatCodingStandard.TypeHints.ReturnTypeHint.MissingAnyTypeHint"/>
-		<properties>
-			<property name="enableObjectTypeHint" value="true"/>
-		</properties>
 	</rule>
 	<rule ref="SlevomatCodingStandard.TypeHints.ReturnTypeHint.UselessAnnotation">
 		<severity>10</severity>

src/Type/Constant/ConstantBooleanType.php

@@ -4,6 +4,7 @@
 
 use PHPStan\Type\BooleanType;
 use PHPStan\Type\ConstantScalarType;
+use PHPStan\Type\GeneralizePrecision;
 use PHPStan\Type\MixedType;
 use PHPStan\Type\NeverType;
 use PHPStan\Type\StaticTypeFactory;
@@ -90,6 +91,11 @@ public function toFloat(): Type
 		return new ConstantFloatType((float) $this->value);
 	}
 
+	public function generalize(GeneralizePrecision $precision): Type
+	{
+		return new BooleanType();
+	}
+
 	/**
 	 * @param mixed[] $properties
 	 */

src/Type/Constant/ConstantFloatType.php

@@ -6,6 +6,7 @@
 use PHPStan\Type\CompoundType;
 use PHPStan\Type\ConstantScalarType;
 use PHPStan\Type\FloatType;
+use PHPStan\Type\GeneralizePrecision;
 use PHPStan\Type\Traits\ConstantNumericComparisonTypeTrait;
 use PHPStan\Type\Traits\ConstantScalarTypeTrait;
 use PHPStan\Type\Type;
@@ -82,6 +83,11 @@ public function toInteger(): Type
 		return new ConstantIntegerType((int) $this->value);
 	}
 
+	public function generalize(GeneralizePrecision $precision): Type
+	{
+		return new FloatType();
+	}
+
 	/**
 	 * @param mixed[] $properties
 	 */

src/Type/Constant/ConstantIntegerType.php

@@ -5,6 +5,7 @@
 use PHPStan\TrinaryLogic;
 use PHPStan\Type\CompoundType;
 use PHPStan\Type\ConstantScalarType;
+use PHPStan\Type\GeneralizePrecision;
 use PHPStan\Type\IntegerRangeType;
 use PHPStan\Type\IntegerType;
 use PHPStan\Type\Traits\ConstantNumericComparisonTypeTrait;
@@ -77,6 +78,11 @@ public function toString(): Type
 		return new ConstantStringType((string) $this->value);
 	}
 
+	public function generalize(GeneralizePrecision $precision): Type
+	{
+		return new IntegerType();
+	}
+
 	/**
 	 * @param mixed[] $properties
 	 */

src/Type/IntegerRangeType.php

@@ -285,7 +285,7 @@ public function equals(Type $type): bool
 
 	public function generalize(GeneralizePrecision $precision): Type
 	{
-		return new parent();
+		return new IntegerType();
 	}
 
 	public function isSmallerThan(Type $otherType): TrinaryLogic

src/Type/Traits/ConstantScalarTypeTrait.php

@@ -5,7 +5,6 @@
 use PHPStan\TrinaryLogic;
 use PHPStan\Type\CompoundType;
 use PHPStan\Type\ConstantScalarType;
-use PHPStan\Type\GeneralizePrecision;
 use PHPStan\Type\Type;
 
 trait ConstantScalarTypeTrait
@@ -72,9 +71,4 @@ public function isSmallerThanOrEqual(Type $otherType): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
-	public function generalize(GeneralizePrecision $precision): Type
-	{
-		return new parent();
-	}
-
 }