Remove more dead code

Author: ondrejmirtes

src/Reflection/MethodPrototypeReflection.php

@@ -17,7 +17,6 @@ public function __construct(
 		private bool $isPrivate,
 		private bool $isPublic,
 		private bool $isAbstract,
-		private bool $isFinal,
 		private bool $isInternal,
 		private array $variants,
 		private ?Type $tentativeReturnType,
@@ -55,11 +54,6 @@ public function isAbstract(): bool
 		return $this->isAbstract;
 	}
 
-	public function isFinal(): bool
-	{
-		return $this->isFinal;
-	}
-
 	public function isInternal(): bool
 	{
 		return $this->isInternal;

src/Reflection/Native/NativeMethodReflection.php

@@ -94,7 +94,6 @@ public function getPrototype(): ClassMemberReflection
 				$prototypeMethod->isPrivate(),
 				$prototypeMethod->isPublic(),
 				$prototypeMethod->isAbstract(),
-				$prototypeMethod->isFinal(),
 				$prototypeMethod->isInternal(),
 				$prototypeDeclaringClass->getNativeMethod($prototypeMethod->getName())->getVariants(),
 				$tentativeReturnType,

src/Reflection/Php/PhpMethodReflection.php

@@ -135,7 +135,6 @@ public function getPrototype(): ClassMemberReflection
 				$prototypeMethod->isPrivate(),
 				$prototypeMethod->isPublic(),
 				$prototypeMethod->isAbstract(),
-				$prototypeMethod->isFinal(),
 				$prototypeMethod->isInternal(),
 				$prototypeDeclaringClass->getNativeMethod($prototypeMethod->getName())->getVariants(),
 				$tentativeReturnType,

src/Type/GeneralizePrecision.php

@@ -40,11 +40,6 @@ public static function templateArgument(): self
 		return self::create(self::TEMPLATE_ARGUMENT);
 	}
 
-	public function isLessSpecific(): bool
-	{
-		return $this->value === self::LESS_SPECIFIC;
-	}
-
 	public function isMoreSpecific(): bool
 	{
 		return $this->value === self::MORE_SPECIFIC;

src/Type/SubtractableType.php

@@ -5,8 +5,6 @@
 interface SubtractableType extends Type
 {
 
-	public function subtract(Type $type): Type;
-
 	public function getTypeWithoutSubtractedType(): Type;
 
 	public function changeSubtractedType(?Type $subtractedType): Type;