More non-regression tests

Author: VincentLanglet

tests/PHPStan/Rules/Methods/OverridingMethodRuleTest.php

@@ -814,6 +814,18 @@ public function testBug11067(): void
 		]);
 	}
 
+	public function testBug12272(): void
+	{
+		$this->phpVersionId = PHP_VERSION_ID;
+		$this->analyse([__DIR__ . '/data/bug-12272.php'], []);
+	}
+
+	public function testBug12830(): void
+	{
+		$this->phpVersionId = PHP_VERSION_ID;
+		$this->analyse([__DIR__ . '/data/bug-12830.php'], []);
+	}
+
 	public function testBug9524(): void
 	{
 		$this->phpVersionId = PHP_VERSION_ID;

tests/PHPStan/Rules/Methods/data/bug-12272.php

@@ -0,0 +1,32 @@
+<?php
+
+namespace Bug12272;
+
+interface ExceptionContract
+{
+	public function __construct(string $message);
+}
+
+class BaseException extends Exception implements ExceptionContract
+{
+	public function __construct(string $message, ?Throwable $previous = null)
+	{
+		parent::__construct($message, 0, $previous);
+	}
+}
+
+class SomeException extends BaseException
+{
+}
+
+class SpecificException extends SomeException
+{
+	public function __construct(string $message, int $code = 0)
+	{
+		if ($code) {
+			echo 1;
+		}
+
+		parent::__construct($message);
+	}
+}

tests/PHPStan/Rules/Methods/data/bug-12830.php

@@ -0,0 +1,36 @@
+<?php declare(strict_types=1);
+
+namespace Bug12830;
+
+interface I
+{
+	public function __construct(string $mustBeString);
+}
+
+class A implements I
+{
+	public string $MustBeString;
+	public int $CanBeInt;
+
+	public function __construct(string $mustBeString, int $canBeInt = -1)
+	{
+		$this->MustBeString = $mustBeString;
+		$this->CanBeInt = $canBeInt;
+	}
+}
+
+class B extends A
+{
+	public bool $CanBeBool;
+
+	public function __construct(string $mustBeString, bool $canBeBool = false)
+	{
+		$this->MustBeString = $mustBeString;
+		$this->CanBeBool = $canBeBool;
+	}
+}
+
+var_dump([
+	new A('A', 1),
+	new B('B', true),
+]);