MethodSignatureRuleTest.php

<?php declare(strict_types = 1);

namespace PHPStan\Rules\Methods;

use PHPStan\Php\PhpVersion;
use PHPStan\Reflection\Php\PhpClassReflectionExtension;
use PHPStan\Rules\Rule;
use PHPStan\Testing\RuleTestCase;
use PHPUnit\Framework\Attributes\RequiresPhp;
use const PHP_VERSION_ID;

/**
 * @extends RuleTestCase<OverridingMethodRule>
 */
class MethodSignatureRuleTest extends RuleTestCase
{

	private bool $reportMaybes;

	private bool $reportStatic;

	private bool $reportMethodPurityOverride = false;

	protected function getRule(): Rule
	{
		$phpVersion = new PhpVersion(PHP_VERSION_ID);

		$phpClassReflectionExtension = self::getContainer()->getByType(PhpClassReflectionExtension::class);

		return new OverridingMethodRule(
			$phpVersion,
			new MethodSignatureRule(new ParentMethodHelper($phpClassReflectionExtension), $this->reportMaybes, $this->reportStatic, $this->reportMethodPurityOverride),
			true,
			new MethodParameterComparisonHelper($phpVersion),
			new MethodVisibilityComparisonHelper(),
			new MethodPrototypeFinder($phpVersion, $phpClassReflectionExtension),
			false,
		);
	}

	public function testReturnTypeRule(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse(
			[
				__DIR__ . '/data/method-signature.php',
			],
			[
				[
					'Parameter #1 $animal (MethodSignature\Dog) of method MethodSignature\SubClass::parameterTypeTest4() should be contravariant with parameter $animal (MethodSignature\Animal) of method MethodSignature\BaseClass::parameterTypeTest4()',
					298,
				],
				[
					'Parameter #1 $animal (MethodSignature\Dog) of method MethodSignature\SubClass::parameterTypeTest4() should be contravariant with parameter $animal (MethodSignature\Animal) of method MethodSignature\BaseInterface::parameterTypeTest4()',
					298,
				],
				[
					'Parameter #1 $animal (MethodSignature\Dog) of method MethodSignature\SubClass::parameterTypeTest5() should be compatible with parameter $animal (MethodSignature\Cat) of method MethodSignature\BaseClass::parameterTypeTest5()',
					305,
				],
				[
					'Parameter #1 $animal (MethodSignature\Dog) of method MethodSignature\SubClass::parameterTypeTest5() should be compatible with parameter $animal (MethodSignature\Cat) of method MethodSignature\BaseInterface::parameterTypeTest5()',
					305,
				],
				[
					'Return type (MethodSignature\Animal) of method MethodSignature\SubClass::returnTypeTest4() should be covariant with return type (MethodSignature\Dog) of method MethodSignature\BaseClass::returnTypeTest4()',
					351,
				],
				[
					'Return type (MethodSignature\Animal) of method MethodSignature\SubClass::returnTypeTest4() should be covariant with return type (MethodSignature\Dog) of method MethodSignature\BaseInterface::returnTypeTest4()',
					351,
				],
				[
					'Return type (MethodSignature\Cat) of method MethodSignature\SubClass::returnTypeTest5() should be compatible with return type (MethodSignature\Dog) of method MethodSignature\BaseClass::returnTypeTest5()',
					358,
				],
				[
					'Return type (MethodSignature\Cat) of method MethodSignature\SubClass::returnTypeTest5() should be compatible with return type (MethodSignature\Dog) of method MethodSignature\BaseInterface::returnTypeTest5()',
					358,
				],
				[
					'Parameter #1 $node (PhpParser\Node\Expr\StaticCall) of method MethodSignature\Rule::processNode() should be contravariant with parameter $node (PhpParser\Node) of method MethodSignature\GenericRule<PhpParser\Node>::processNode()',
					454,
				],
				[
					'Return type (array{foo: string, bar: string}) of method MethodSignature\ConstantArrayClass::foobar() should be compatible with return type (array{foo: string}) of method MethodSignature\ConstantArrayInterface::foobar()',
					476,
				],
			],
		);
	}

	public function testReturnTypeRuleTrait(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse(
			[
				__DIR__ . '/data/method-signature-trait.php',
			],
			[
				[
					'Parameter #1 $animal (MethodSignature\Dog) of method MethodSignature\SubClassUsingTrait::parameterTypeTest4() should be contravariant with parameter $animal (MethodSignature\Animal) of method MethodSignature\BaseClass::parameterTypeTest4()',
					43,
				],
				[
					'Parameter #1 $animal (MethodSignature\Dog) of method MethodSignature\SubClassUsingTrait::parameterTypeTest4() should be contravariant with parameter $animal (MethodSignature\Animal) of method MethodSignature\BaseInterface::parameterTypeTest4()',
					43,
				],
				[
					'Parameter #1 $animal (MethodSignature\Dog) of method MethodSignature\SubClassUsingTrait::parameterTypeTest5() should be compatible with parameter $animal (MethodSignature\Cat) of method MethodSignature\BaseClass::parameterTypeTest5()',
					50,
				],
				[
					'Parameter #1 $animal (MethodSignature\Dog) of method MethodSignature\SubClassUsingTrait::parameterTypeTest5() should be compatible with parameter $animal (MethodSignature\Cat) of method MethodSignature\BaseInterface::parameterTypeTest5()',
					50,
				],
				[
					'Return type (MethodSignature\Animal) of method MethodSignature\SubClassUsingTrait::returnTypeTest4() should be covariant with return type (MethodSignature\Dog) of method MethodSignature\BaseClass::returnTypeTest4()',
					96,
				],
				[
					'Return type (MethodSignature\Animal) of method MethodSignature\SubClassUsingTrait::returnTypeTest4() should be covariant with return type (MethodSignature\Dog) of method MethodSignature\BaseInterface::returnTypeTest4()',
					96,
				],
				[
					'Return type (MethodSignature\Cat) of method MethodSignature\SubClassUsingTrait::returnTypeTest5() should be compatible with return type (MethodSignature\Dog) of method MethodSignature\BaseClass::returnTypeTest5()',
					103,
				],
				[
					'Return type (MethodSignature\Cat) of method MethodSignature\SubClassUsingTrait::returnTypeTest5() should be compatible with return type (MethodSignature\Dog) of method MethodSignature\BaseInterface::returnTypeTest5()',
					103,
				],
			],
		);
	}

	public function testReturnTypeRuleTraitWithoutMaybes(): void
	{
		$this->reportMaybes = false;
		$this->reportStatic = true;
		$this->analyse(
			[
				__DIR__ . '/data/method-signature-trait.php',
			],
			[
				[
					'Parameter #1 $animal (MethodSignature\Dog) of method MethodSignature\SubClassUsingTrait::parameterTypeTest5() should be compatible with parameter $animal (MethodSignature\Cat) of method MethodSignature\BaseClass::parameterTypeTest5()',
					50,
				],
				[
					'Parameter #1 $animal (MethodSignature\Dog) of method MethodSignature\SubClassUsingTrait::parameterTypeTest5() should be compatible with parameter $animal (MethodSignature\Cat) of method MethodSignature\BaseInterface::parameterTypeTest5()',
					50,
				],
				[
					'Return type (MethodSignature\Cat) of method MethodSignature\SubClassUsingTrait::returnTypeTest5() should be compatible with return type (MethodSignature\Dog) of method MethodSignature\BaseClass::returnTypeTest5()',
					103,
				],
				[
					'Return type (MethodSignature\Cat) of method MethodSignature\SubClassUsingTrait::returnTypeTest5() should be compatible with return type (MethodSignature\Dog) of method MethodSignature\BaseInterface::returnTypeTest5()',
					103,
				],
			],
		);
	}

	public function testReturnTypeRuleWithoutMaybes(): void
	{
		$this->reportMaybes = false;
		$this->reportStatic = true;
		$this->analyse(
			[
				__DIR__ . '/data/method-signature.php',
			],
			[
				[
					'Parameter #1 $animal (MethodSignature\Dog) of method MethodSignature\SubClass::parameterTypeTest5() should be compatible with parameter $animal (MethodSignature\Cat) of method MethodSignature\BaseClass::parameterTypeTest5()',
					305,
				],
				[
					'Parameter #1 $animal (MethodSignature\Dog) of method MethodSignature\SubClass::parameterTypeTest5() should be compatible with parameter $animal (MethodSignature\Cat) of method MethodSignature\BaseInterface::parameterTypeTest5()',
					305,
				],
				[
					'Return type (MethodSignature\Cat) of method MethodSignature\SubClass::returnTypeTest5() should be compatible with return type (MethodSignature\Dog) of method MethodSignature\BaseClass::returnTypeTest5()',
					358,
				],
				[
					'Return type (MethodSignature\Cat) of method MethodSignature\SubClass::returnTypeTest5() should be compatible with return type (MethodSignature\Dog) of method MethodSignature\BaseInterface::returnTypeTest5()',
					358,
				],
				[
					'Return type (array{foo: string, bar: string}) of method MethodSignature\ConstantArrayClass::foobar() should be compatible with return type (array{foo: string}) of method MethodSignature\ConstantArrayInterface::foobar()',
					476,
				],
			],
		);
	}

	public function testRuleWithoutStaticMethods(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = false;
		$this->analyse([__DIR__ . '/data/method-signature-static.php'], []);
	}

	public function testRuleWithStaticMethods(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/method-signature-static.php'], [
			[
				'Parameter #1 $value (string) of method MethodSignature\Bar::doFoo() should be compatible with parameter $value (int) of method MethodSignature\Foo::doFoo()',
				24,
			],
		]);
	}

	public function testBug2950(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-2950.php'], []);
	}

	public function testBug3997(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-3997.php'], [
			[
				'Return type (int) of method Bug3997\Baz::count() should be covariant with return type (int<0, max>) of method Countable::count()',
				35,
			],
			[
				'Return type (int) of method Bug3997\Lorem::count() should be covariant with return type (int<0, max>) of method Countable::count()',
				49,
			],
			[
				'Return type (string) of method Bug3997\Ipsum::count() should be compatible with return type (int<0, max>) of method Countable::count()',
				63,
			],
		]);
	}

	public function testBug4003(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-4003.php'], [
			[
				'Return type (string) of method Bug4003\Baz::foo() should be compatible with return type (int) of method Bug4003\Boo::foo()',
				15,
			],
			[
				'Parameter #1 $test (string) of method Bug4003\Ipsum::doFoo() should be compatible with parameter $test (int) of method Bug4003\Lorem::doFoo()',
				38,
			],
		]);
	}

	public function testBug4017(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-4017.php'], []);
	}

	public function testBug4017Two(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-4017_2.php'], [
			[
				'Parameter #1 $a (Bug4017_2\Foo) of method Bug4017_2\Lorem::doFoo() should be compatible with parameter $a (stdClass) of method Bug4017_2\Bar<stdClass>::doFoo()',
				51,
			],
		]);
	}

	public function testBug4017Three(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-4017_3.php'], [
			[
				'Parameter #1 $a (T of stdClass) of method Bug4017_3\Lorem::doFoo() should be compatible with parameter $a (Bug4017_3\Foo) of method Bug4017_3\Bar::doFoo()',
				45,
			],
		]);
	}

	public function testBug4023(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-4023.php'], []);
	}

	public function testBug4006(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-4006.php'], []);
	}

	public function testBug4084(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-4084.php'], []);
	}

	public function testBug3523(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-3523.php'], [
			[
				'Return type (Bug3523\Baz) of method Bug3523\Baz::deserialize() should be covariant with return type (static(Bug3523\FooInterface)) of method Bug3523\FooInterface::deserialize()',
				40,
			],
		]);
	}

	public function testBug4707(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-4707.php'], [
			[
				'Return type (list<Bug4707\Row2>) of method Bug4707\Block2::getChildren() should be compatible with return type (list<Bug4707\ChildNodeInterface<static(Bug4707\ParentNodeInterface)>>) of method Bug4707\ParentNodeInterface::getChildren()',
				38,
			],
		]);
	}

	public function testBug4707Covariant(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-4707-covariant.php'], [
			[
				'Return type (list<Bug4707Covariant\Row2>) of method Bug4707Covariant\Block2::getChildren() should be covariant with return type (list<Bug4707Covariant\ChildNodeInterface<static(Bug4707Covariant\ParentNodeInterface)>>) of method Bug4707Covariant\ParentNodeInterface::getChildren()',
				38,
			],
		]);
	}

	public function testBug4707Two(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-4707-two.php'], []);
	}

	public function testBug4729(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-4729.php'], []);
	}

	public function testBug4854(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-4854.php'], []);
	}

	public function testMemcachePoolGet(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/memcache-pool-get.php'], []);
	}

	public function testOverridenMethodWithConditionalReturnType(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/overriden-method-with-conditional-return-type.php'], [
			[
				'Return type (($p is int ? stdClass : string)) of method OverridenMethodWithConditionalReturnType\Bar2::doFoo() should be compatible with return type (($p is int ? int : string)) of method OverridenMethodWithConditionalReturnType\Foo::doFoo()',
				37,
			],
		]);
	}

	#[RequiresPhp('>= 8.1.0')]
	public function testBug7652(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-7652.php'], [
			[
				'Return type mixed of method Bug7652\Options::offsetGet() is not covariant with tentative return type mixed of method ArrayAccess<key-of<TArray of array>,value-of<TArray of array>>::offsetGet().',
				23,
				'Make it covariant, or use the #[\ReturnTypeWillChange] attribute to temporarily suppress the error.',
			],
			[
				'Parameter #1 $offset (TOffset of key-of<TArray of array>) of method Bug7652\Options::offsetSet() should be contravariant with parameter $offset (key-of<array>|null) of method ArrayAccess<key-of<TArray of array>,value-of<TArray of array>>::offsetSet()',
				30,
			],
		]);
	}

	public function testBug7103(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-7103.php'], []);
	}

	public function testListReturnTypeCovariance(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/list-return-type-covariance.php'], [
			[
				'Return type (array<int, string>) of method ListReturnTypeCovariance\ListChild::returnsList() should be covariant with return type (list<string>) of method ListReturnTypeCovariance\ListParent::returnsList()',
				17,
			],
		]);
	}

	public function testRuleError(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/rule-error-signature.php'], [
			[
				'Return type (array<PHPStan\Rules\RuleError|string>) of method RuleErrorSignature\Baz::processNode() should be covariant with return type (list<PHPStan\Rules\IdentifierRuleError>) of method PHPStan\Rules\Rule<PhpParser\Node>::processNode()',
				64,
				'Rules can no longer return plain strings. See: https://phpstan.org/blog/using-rule-error-builder',
			],
			[
				'Return type (array<string>) of method RuleErrorSignature\Lorem::processNode() should be compatible with return type (list<PHPStan\Rules\IdentifierRuleError>) of method PHPStan\Rules\Rule<PhpParser\Node>::processNode()',
				85,
				'Rules can no longer return plain strings. See: https://phpstan.org/blog/using-rule-error-builder',
			],
			[
				'Return type (array<PHPStan\Rules\RuleError>) of method RuleErrorSignature\Ipsum::processNode() should be covariant with return type (list<PHPStan\Rules\IdentifierRuleError>) of method PHPStan\Rules\Rule<PhpParser\Node>::processNode()',
				106,
				'Errors are missing identifiers. See: https://phpstan.org/blog/using-rule-error-builder',
			],
			[
				'Return type (array<PHPStan\Rules\IdentifierRuleError>) of method RuleErrorSignature\Dolor::processNode() should be covariant with return type (list<PHPStan\Rules\IdentifierRuleError>) of method PHPStan\Rules\Rule<PhpParser\Node>::processNode()',
				127,
				'Return type must be a list. See: https://phpstan.org/blog/using-rule-error-builder',
			],
		]);
	}

	public function testBug9905(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-9905.php'], []);
	}

	#[RequiresPhp('>= 8.0.0')]
	public function testTraits(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;

		$this->analyse([__DIR__ . '/data/overriding-trait-methods-phpdoc.php'], [
			[
				'Parameter #1 $i (non-empty-string) of method OverridingTraitMethodsPhpDoc\Bar::doBar() should be contravariant with parameter $i (string) of method OverridingTraitMethodsPhpDoc\Foo::doBar()',
				33,
			],
		]);
	}

	#[RequiresPhp('>= 8.0.0')]
	public function testBug10166(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;

		$this->analyse([__DIR__ . '/data/bug-10166.php'], [
			[
				'Return type Bug10166\ReturnTypeClass2|null of method Bug10166\ReturnTypeClass2::createSelf() is not covariant with return type Bug10166\ReturnTypeClass2 of method Bug10166\ReturnTypeTrait::createSelf().',
				23,
			],
		]);
	}

	#[RequiresPhp('>= 8.0.0')]
	public function testBug10184(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;

		$this->analyse([__DIR__ . '/data/bug-10184.php'], []);
	}

	public function testBug10208(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;

		$this->analyse([__DIR__ . '/data/bug-10208.php'], []);
	}

	public function testBug6462(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;

		$this->analyse([__DIR__ . '/data/bug-6462.php'], []);
	}

	public function testBug4396(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;

		$this->analyse([__DIR__ . '/data/bug-4396.php'], []);
	}

	public function testBug3580(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;

		$this->analyse([__DIR__ . '/data/bug-3580.php'], []);
	}

	#[RequiresPhp('>= 8.0.0')]
	public function testOverridenAbstractTraitMethodPhpDoc(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/overriden-abstract-trait-method-phpdoc.php'], []);
	}

	public function testGenericStaticType(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/method-signature-generic-static-type.php'], []);
	}

	#[RequiresPhp('>= 8.0.0')]
	public function testBug10240(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-10240.php'], []);
	}

	#[RequiresPhp('>= 8.0.0')]
	public function testBug10488(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-10488.php'], []);
	}

	#[RequiresPhp('>= 8.0.0')]
	public function testBug12073(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-12073.php'], []);
	}

	public function testBug14320(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-14320.php'], []);
	}

	public function testBug14563(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->reportMethodPurityOverride = true;
		$this->analyse([__DIR__ . '/data/bug-14563.php'], [
			[
				'Impure method Bug14563\ChildImpureOverridesPure::pure() overrides pure method Bug14563\Foo::pure().',
				31,
			],
			[
				'Impure method Bug14563\ImpureImplementation::pureMethod() overrides pure method Bug14563\PureInterface::pureMethod().',
				93,
			],
			[
				'Impure method Bug14563\ImpureChildOfAllMethodsPure::method() overrides pure method Bug14563\AllMethodsPureParent::method().',
				126,
			],
			[
				'Impure method Bug14563\ChildImpureOverridesPureExtended::pure() overrides pure method Bug14563\Foo::pure().',
				137,
			],
			[
				'Impure method Bug14563\GrandchildImpureOverridesPure::pure() overrides pure method Bug14563\ChildPureOverridesPure::pure().',
				148,
			],
			[
				'Impure method Bug14563\ImpureMultipleInterfaces::sharedMethod() overrides pure method Bug14563\PureInterfaceA::sharedMethod().',
				186,
			],
			[
				'Impure method Bug14563\ImpureMultipleInterfaces::sharedMethod() overrides pure method Bug14563\PureInterfaceB::sharedMethod().',
				186,
			],
			[
				'Impure method Bug14563\ChildImpureOverridesPureVoid::pureVoid() overrides pure method Bug14563\VoidFoo::pureVoid().',
				211,
			],
			[
				'Impure method Bug14563\StaticChildImpureOverridesPure::pure() overrides pure method Bug14563\StaticFoo::pure().',
				284,
			],
			[
				'Impure method Bug14563\StaticImpureImplementation::pureMethod() overrides pure method Bug14563\StaticPureInterface::pureMethod().',
				335,
			],
		]);
	}

	#[RequiresPhp('>= 8.0.0')]
	public function testBug14563Trait(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->reportMethodPurityOverride = true;
		$this->analyse([__DIR__ . '/data/bug-14563-trait.php'], [
			[
				'Impure method Bug14563Trait\ImpureTraitUser::pureTraitMethod() overrides pure method Bug14563Trait\PureTrait::pureTraitMethod().',
				19,
			],
		]);
	}

	#[RequiresPhp('>= 8.0.0')]
	public function testBug10942(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-10942.php'], []);
	}

	public function testPureUnlessCallableIsImpureOverride(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->reportMethodPurityOverride = true;
		$this->analyse([__DIR__ . '/data/method-signature-pure-unless-callable.php'], [
			[
				'Impure method MethodSignaturePureUnlessCallable\ImpureChild::run() overrides method MethodSignaturePureUnlessCallable\PureUnlessParent::run() marked @pure-unless-callable-is-impure.',
				21,
			],
		]);
	}

	public function testPureUnlessParameterPassedOverride(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->reportMethodPurityOverride = true;
		$this->analyse([__DIR__ . '/data/method-signature-pure-unless-parameter-passed.php'], [
			[
				'Impure method MethodSignaturePureUnlessParameterPassed\ImpureChild::replace() overrides method MethodSignaturePureUnlessParameterPassed\PureUnlessParent::replace() marked @pure-unless-parameter-passed.',
				22,
			],
			[
				'Impure method MethodSignaturePureUnlessParameterPassed\AllMethodsImpureChild::replace() overrides method MethodSignaturePureUnlessParameterPassed\PureUnlessParent::replace() marked @pure-unless-parameter-passed.',
				76,
			],
		]);
	}

	public function testBug15128(): void
	{
		$this->reportMaybes = true;
		$this->reportStatic = true;
		$this->analyse([__DIR__ . '/data/bug-15128.php'], []);
	}

}