Do not report too-wide nested bool type in child class

Author: ondrejmirtes

src/Rules/TooWideTypehints/TooWideTypeCheck.php

@@ -466,7 +466,16 @@ private function narrowType(
 		$usedTypes = [];
 		foreach ($declaredType->getFiniteTypes() as $innerType) {
 			if ($innerType->isSuperTypeOf($actualReturnType)->no()) {
-				continue;
+				if (!$checkDescendantClass) {
+					continue;
+				}
+				if (
+					!$actualReturnType->isTrue()->yes()
+					&& !$actualReturnType->isFalse()->yes()
+					&& !$actualReturnType->isNull()->yes()
+				) {
+					continue;
+				}
 			}
 
 			$usedTypes[] = $innerType;

tests/PHPStan/Rules/TooWideTypehints/data/nested-too-wide-method-return-type.php

@@ -77,3 +77,31 @@ public function doFoo(): array
 	}
 
 }
+
+class ParentClassBool
+{
+
+	/**
+	 * @return array<array{bool}>
+	 */
+	public function doFoo(): array
+	{
+		return [];
+	}
+
+}
+
+class ChildClassTrue extends ParentClassBool
+{
+
+	/**
+	 * @return array<array{bool}>
+	 */
+	public function doFoo(): array
+	{
+		return [
+			[true],
+		];
+	}
+
+}