Enforce that only useful @param and @return annotations are used

This forbids the use of @param and @return annotations where PHP type declarations provide sufficient information.

Author: nicwortel

src/LEVIY/ruleset.xml

@@ -67,6 +67,7 @@
     <rule ref="SlevomatCodingStandard.TypeHints.TypeHintDeclaration">
         <properties>
             <property name="allAnnotationsAreUseful" value="true"/>
+            <property name="enableEachParameterAndReturnInspection" value="true"/>
         </properties>
     </rule>
 

tests/expected.log

@@ -30,26 +30,28 @@ PHPCBF CAN FIX THE 2 MARKED SNIFF VIOLATIONS AUTOMATICALLY
 
 FILE: tests/incorrect/type-hints.php
 ------------------------------------------------------------------------------------------------------------------------
-FOUND 11 ERRORS AFFECTING 8 LINES
+FOUND 13 ERRORS AFFECTING 10 LINES
 ------------------------------------------------------------------------------------------------------------------------
   9 | ERROR | [x] Function doesNotNeedDocumentationComment() does not need documentation comment.
- 13 | ERROR | [x] There must be no whitespace between parameter type hint nullability symbol and parameter type hint of
+ 16 | ERROR | [x] Function uselessReturnAnnotation() has useless @return annotation.
+ 23 | ERROR | [x] Function uselessParamAnnotation() has useless @param annotation for parameter $string.
+ 32 | ERROR | [x] There must be no whitespace between parameter type hint nullability symbol and parameter type hint of
     |       |     parameter $input.
- 17 | ERROR | [x] There must be exactly one space between return type hint colon and return type hint.
- 17 | ERROR | [x] There must be no whitespace between closing parenthesis and return type colon.
- 21 | ERROR | [ ] Function missingTypeHints() does not have parameter type hint nor @param annotation for its parameter
+ 36 | ERROR | [x] There must be exactly one space between return type hint colon and return type hint.
+ 36 | ERROR | [x] There must be no whitespace between closing parenthesis and return type colon.
+ 40 | ERROR | [ ] Function missingTypeHints() does not have parameter type hint nor @param annotation for its parameter
     |       |     $input.
- 21 | ERROR | [ ] Function missingTypeHints() does not have return type hint nor @return annotation for its return
+ 40 | ERROR | [ ] Function missingTypeHints() does not have return type hint nor @return annotation for its return
     |       |     value.
- 26 | ERROR | [ ] Function missingTraversableAnnotations() does not have @param annotation for its traversable
+ 45 | ERROR | [ ] Function missingTraversableAnnotations() does not have @param annotation for its traversable
     |       |     parameter $input.
- 26 | ERROR | [ ] Function missingTraversableAnnotations() does not have @return annotation for its traversable return
+ 45 | ERROR | [ ] Function missingTraversableAnnotations() does not have @return annotation for its traversable return
     |       |     value.
- 30 | ERROR | [x] Parameter $input has null default value, but is not marked as nullable.
- 35 | ERROR | [x] Expected "int" but found "integer" in @param annotation.
- 37 | ERROR | [x] Expected "bool" but found "boolean" in @return annotation.
+ 49 | ERROR | [x] Parameter $input has null default value, but is not marked as nullable.
+ 54 | ERROR | [x] Expected "int" but found "integer" in @param annotation.
+ 56 | ERROR | [x] Expected "bool" but found "boolean" in @return annotation.
 ------------------------------------------------------------------------------------------------------------------------
-PHPCBF CAN FIX THE 7 MARKED SNIFF VIOLATIONS AUTOMATICALLY
+PHPCBF CAN FIX THE 9 MARKED SNIFF VIOLATIONS AUTOMATICALLY
 ------------------------------------------------------------------------------------------------------------------------
 
 

tests/incorrect/type-hints.php

@@ -10,6 +10,25 @@ function doesNotNeedDocumentationComment(string $input): string
 {
 }
 
+/**
+ * @param int[] $numbers
+ *
+ * @return void
+ */
+function uselessReturnAnnotation(array $numbers): void
+{
+}
+
+/**
+ * @param string $string
+ * @param int[]  $numbers
+ *
+ * @return int[]
+ */
+function uselessParamAnnotation(string $string, array $numbers): array
+{
+}
+
 function wrongNullabilitySymbolSpacing(? string $input): string
 {
 }
@@ -34,8 +53,8 @@ function nullableDefaultValue(string $input = null): void
 /**
  * @param integer[] $input
  *
- * @return boolean
+ * @return boolean[]
  */
-function longDocBlockTypeHints(array $input): bool
+function longDocBlockTypeHints(array $input): array
 {
 }