Merge pull request #24 from fmata/never

Handle "never" type as non float

src/FloatTypeHelper.php

@@ -6,6 +6,7 @@
 
 use PHPStan\Type\FloatType;
 use PHPStan\Type\MixedType;
+use PHPStan\Type\NeverType;
 use PHPStan\Type\Type;
 
 /** @internal class is only for internal tooling use: do not import it in your own projects */
@@ -17,6 +18,10 @@ public static function isFloat(Type $type): bool
             return false;
         }
 
+        if ($type instanceof NeverType) {
+            return false;
+        }
+
         return ! (new FloatType())->isSuperTypeOf($type)->no();
     }
 }

tests/asset/function.php

@@ -22,3 +22,11 @@ function doBar(): string
 {
 
 }
+
+/**
+ * @return never
+ */
+function withNever()
+{
+    throw new \RuntimeException();
+}

tests/asset/method.php

@@ -26,4 +26,11 @@ public function doBar(): string
 
     }
 
+    /**
+     * @return never
+     */
+    public function withNever()
+    {
+        throw new \RuntimeException();
+    }
 }