Add throw_if and throw_unless extensions

extension.neon

@@ -184,13 +184,31 @@ services:
         tags:
             - phpstan.typeSpecifier.functionTypeSpecifyingExtension
         arguments:
+            methodName: 'abort'
             negate: false
 
     -
         class: NunoMaduro\Larastan\Types\AbortIfFunctionTypeSpecifyingExtension
         tags:
             - phpstan.typeSpecifier.functionTypeSpecifyingExtension
         arguments:
+            methodName: 'abort'
+            negate: true
+
+    -
+        class: NunoMaduro\Larastan\Types\AbortIfFunctionTypeSpecifyingExtension
+        tags:
+            - phpstan.typeSpecifier.functionTypeSpecifyingExtension
+        arguments:
+            methodName: throw
+            negate: false
+
+    -
+        class: NunoMaduro\Larastan\Types\AbortIfFunctionTypeSpecifyingExtension
+        tags:
+            - phpstan.typeSpecifier.functionTypeSpecifyingExtension
+        arguments:
+            methodName: throw
             negate: true
 
     -

src/Types/AbortIfFunctionTypeSpecifyingExtension.php

@@ -30,19 +30,21 @@ final class AbortIfFunctionTypeSpecifyingExtension implements FunctionTypeSpecif
     /** @var bool */
     protected $negate;
 
-    public function __construct(bool $negate)
+    /** @var string */
+    protected $methodName;
+
+    public function __construct(bool $negate, string $methodName)
     {
         $this->negate = $negate;
+        $this->methodName = $methodName.'_'.($negate === false ? 'if' : 'unless');
     }
 
     public function isFunctionSupported(
         FunctionReflection $functionReflection,
         FuncCall $node,
         TypeSpecifierContext $context
     ): bool {
-        $methodName = $this->negate === false ? 'abort_if' : 'abort_unless';
-
-        return $functionReflection->getName() === $methodName && $context->null();
+        return $functionReflection->getName() === $this->methodName && $context->null();
     }
 
     public function specifyTypes(

tests/Features/Types/ThrowIf.php

@@ -0,0 +1,33 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Tests\Features\Types;
+
+use Illuminate\Validation\ValidationException;
+
+class ThrowIf
+{
+    public function testThrowIfTryCatch(?int $foo): ?int
+    {
+        try {
+            throw_if(! $foo, ValidationException::withMessages(['$foo is null']));
+        } catch (\Exception $e) {
+
+        }
+
+        // Should still be nullable because we don't know if the exception was caught.
+        return $foo;
+    }
+
+    /**
+     * @param int|string $foo
+     * @return int
+     */
+    public function testThrowIfWithTypeCheck($foo = 5): int
+    {
+        throw_if(is_string($foo), new \Exception('$foo is a string'));
+
+        return $foo;
+    }
+}

tests/Features/Types/ThrowUnless.php

@@ -0,0 +1,28 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Tests\Features\Types;
+
+use Illuminate\Validation\ValidationException;
+
+class ThrowUnless
+{
+    public function testThrowUnless(?int $foo): int
+    {
+        throw_unless(! is_null($foo), ValidationException::withMessages(['$foo is null']));
+
+        return $foo;
+    }
+
+    /**
+     * @param int|string $foo
+     * @return int
+     */
+    public function testThrowUnlessWithTypeCheck($foo = 5): int
+    {
+        throw_unless(! is_string($foo), new \Exception('$foo is a string'));
+
+        return $foo;
+    }
+}