Upgrading to PHPStan 0.12

This PR upgrades the code to PHPStan 0.12.
Because the new level 6 of PHPStan is about checking type hints, all the type-hint related rules of this package are now useless.
This PR therefore removes all those rules.

composer.json

@@ -11,7 +11,7 @@
     ],
     "require": {
         "php": "^7.1",
-        "phpstan/phpstan": "^0.11.7"
+        "phpstan/phpstan": "^0.12"
     },
     "require-dev": {
         "phpunit/phpunit": "^7.1",
@@ -24,19 +24,18 @@
     },
     "autoload-dev": {
         "classmap": [
-            "tests/Rules/Exceptions/data/",
-            "tests/Rules/TypeHints/data/"
+            "tests/Rules/Exceptions/data/"
         ],
         "psr-4": {
             "TheCodingMachine\\PHPStan\\": "tests/"
         }
     },
     "scripts": {
-        "phpstan": "phpstan analyse src -c phpstan.neon --level=5 --no-progress -vvv"
+        "phpstan": "phpstan analyse src -c phpstan.neon --level=6 --no-progress -vvv"
     },
     "extra": {
         "branch-alias": {
-            "dev-master": "0.10-dev"
+            "dev-master": "0.12-dev"
         },
         "phpstan": {
             "includes": [

phpstan-strict-rules.neon

@@ -15,14 +15,6 @@ services:
     class: TheCodingMachine\PHPStan\Rules\Exceptions\MustRethrowRule
     tags:
       - phpstan.rules.rule
-  -
-    class: TheCodingMachine\PHPStan\Rules\TypeHints\MissingTypeHintInFunctionRule
-    tags:
-      - phpstan.rules.rule
-  -
-    class: TheCodingMachine\PHPStan\Rules\TypeHints\MissingTypeHintInMethodRule
-    tags:
-      - phpstan.rules.rule
   -
     class: TheCodingMachine\PHPStan\Rules\Superglobals\NoSuperglobalsRule
     tags:

phpstan.neon

@@ -1,5 +1,2 @@
-parameters:
-    ignoreErrors:
-     - '#Access to an undefined property PhpParser\\Node\\FunctionLike::\$name.#'
 includes:
     - phpstan-strict-rules.neon

src/Rules/Conditionals/SwitchMustContainDefaultRule.php

@@ -13,6 +13,8 @@
 
 /**
  * A switch statement must always contain a "default" statement.
+ *
+ * @implements Rule<Switch_>
  */
 class SwitchMustContainDefaultRule implements Rule
 {

src/Rules/Exceptions/DoNotThrowExceptionBaseClassRule.php

@@ -11,6 +11,8 @@
 /**
  * This rule checks that the base \Exception class is never thrown. Instead, developers should subclass the \Exception
  * base class and throw the sub-type.
+ *
+ * @implements Rule<Node\Stmt\Throw_>
  */
 class DoNotThrowExceptionBaseClassRule implements Rule
 {

src/Rules/Exceptions/EmptyExceptionRule.php

@@ -10,6 +10,9 @@
 use PHPStan\Rules\Rule;
 use function strpos;
 
+/**
+ * @implements Rule<Catch_>
+ */
 class EmptyExceptionRule implements Rule
 {
     public function getNodeType(): string

src/Rules/Exceptions/MustRethrowRule.php

@@ -19,6 +19,8 @@
 /**
  * When catching \Exception, \RuntimeException or \Throwable, the exception MUST be thrown again
  * (unless you are developing an exception handler...)
+ *
+ * @implements Rule<Catch_>
  */
 class MustRethrowRule implements Rule
 {
@@ -49,13 +51,17 @@ public function processNode(Node $node, Scope $scope): array
 
         // Let's visit and find a throw.
         $visitor = new class() extends NodeVisitorAbstract {
+            /**
+             * @var bool
+             */
             private $throwFound = false;
 
             public function leaveNode(Node $node)
             {
                 if ($node instanceof Node\Stmt\Throw_) {
                     $this->throwFound = true;
                 }
+                return null;
             }
 
             /**

src/Rules/Exceptions/ThrowMustBundlePreviousExceptionRule.php

@@ -14,6 +14,8 @@
 /**
  * When throwing into a catch block, checks that the previous exception is passed to the new "throw" clause
  * (the initial stack trace must not be lost).
+ *
+ * @implements Rule<Catch_>
  */
 class ThrowMustBundlePreviousExceptionRule implements Rule
 {
@@ -34,7 +36,13 @@ public function processNode(Node $node, Scope $scope): array
              * @var string
              */
             private $catchedVariableName;
+            /**
+             * @var int
+             */
             private $exceptionUsedCount = 0;
+            /**
+             * @var Node\Stmt\Throw_[]
+             */
             private $unusedThrows = [];
 
             public function __construct(string $catchedVariableName)
@@ -48,6 +56,7 @@ public function leaveNode(Node $node)
                     if ($node->name === $this->catchedVariableName) {
                         $this->exceptionUsedCount++;
                     }
+                    return null;
                 }
 
                 // If the variable is used in the context of a method call (like $e->getMessage()), the exception is not passed as a "previous exception".
@@ -60,6 +69,7 @@ public function leaveNode(Node $node)
                 if ($node instanceof Node\Stmt\Throw_ && $this->exceptionUsedCount === 0) {
                     $this->unusedThrows[] = $node;
                 }
+                return null;
             }
 
             /**

src/Rules/Superglobals/NoSuperglobalsRule.php

@@ -13,6 +13,8 @@
 
 /**
  * This rule checks that no superglobals are used in code.
+ *
+ * @implements Rule<Node\Expr\Variable>
  */
 class NoSuperglobalsRule implements Rule
 {