Temporary "accepts" tips about too-wide nested types

Author: ondrejmirtes

src/Rules/TooWideTypehints/TooWideTypeCheck.php

@@ -128,6 +128,7 @@ public function checkProperty(
 					$narrowedPhpDocType->describe(VerbosityLevel::getRecommendedLevelByType($narrowedPhpDocType)),
 				))->identifier('property.nestedUnusedType')
 					->line($node->getStartLine())
+					->acceptsReasonsTip($narrowedPhpDocType->accepts($phpDocPropertyType, true)->reasons)
 					->build(),
 			];
 		}
@@ -249,6 +250,7 @@ public function checkFunctionReturnType(
 					$narrowedPhpDocType->describe(VerbosityLevel::getRecommendedLevelByType($narrowedPhpDocType)),
 				))->identifier('return.nestedUnusedType')
 					->line($node->getStartLine())
+					->acceptsReasonsTip($narrowedPhpDocType->accepts($phpDocFunctionReturnType, true)->reasons)
 					->build(),
 			];
 		}
@@ -310,6 +312,7 @@ public function checkParameterOutType(
 					$narrowedType->describe(VerbosityLevel::getRecommendedLevelByType($narrowedType)),
 				))->identifier(sprintf('%s.nestedUnusedType', $identifierPart))
 					->line($startLine)
+					->acceptsReasonsTip($narrowedType->accepts($parameterOutType, true)->reasons)
 					->build(),
 			];
 		}

tests/PHPStan/Rules/TooWideTypehints/TooWideFunctionParameterOutTypeRuleTest.php

@@ -45,6 +45,7 @@ public function testNestedTooWideType(): void
 			[
 				'PHPDoc tag @param-out type array<array{int, bool}> of function NestedTooWideFunctionParameterOutType\doFoo() can be narrowed to array<array{int, false}>.',
 				9,
+				'Offset 1 (false) does not accept type bool.',
 			],
 		]);
 	}

tests/PHPStan/Rules/TooWideTypehints/TooWideFunctionReturnTypehintRuleTest.php

@@ -122,6 +122,7 @@ public function testNestedTooWideType(): void
 			[
 				'Return type array<array{int, bool}> of function NestedTooWideFunctionReturnType\dataProvider() can be narrowed to array<array{int, false}>.',
 				8,
+				'Offset 1 (false) does not accept type bool.',
 			],
 		]);
 	}

tests/PHPStan/Rules/TooWideTypehints/TooWideMethodParameterOutTypeRuleTest.php

@@ -139,6 +139,7 @@ public function testNestedTooWideType(): void
 			[
 				'PHPDoc tag @param-out type array<array{int, bool}> of method NestedTooWideMethodParameterOutType\Foo::doFoo() can be narrowed to array<array{int, false}>.',
 				12,
+				'Offset 1 (false) does not accept type bool.',
 			],
 		]);
 	}

tests/PHPStan/Rules/TooWideTypehints/TooWideMethodReturnTypehintRuleTest.php

@@ -283,10 +283,12 @@ public function testNestedTooWideType(): void
 			[
 				'Return type array<array{int, bool}> of method NestedTooWideMethodReturnType\Foo::dataProvider() can be narrowed to array<array{int, false}>.',
 				11,
+				'Offset 1 (false) does not accept type bool.',
 			],
 			[
 				'Return type array<array{int|null}> of method NestedTooWideMethodReturnType\Foo::dataProvider2() can be narrowed to array<array{int}>.',
 				28,
+				'Offset 0 (int) does not accept type int|null.',
 			],
 		]);
 	}

tests/PHPStan/Rules/TooWideTypehints/TooWidePropertyTypeRuleTest.php

@@ -118,6 +118,7 @@ public function testNestedTooWideType(): void
 			[
 				'Type array<array{int, bool}> of property NestedTooWidePropertyType\Foo::$a can be narrowed to array<array{int, false}>.',
 				9,
+				'Offset 1 (false) does not accept type bool.',
 			],
 		]);
 	}