From d4eb8d58e51897affa065117683697fdde420670 Mon Sep 17 00:00:00 2001
From: Feek <fiachra@squareup.com>
Date: Sun, 7 Jun 2020 00:23:54 -0700
Subject: [PATCH] fix: provide mixed for lower laravel versions

---
 src/Stubs/InteractsWithInput.stubphp  | 21 ++++++++++++++++
 tests/acceptance/RequestTypes.feature | 36 +++++++++++++++++++++++++++
 2 files changed, 57 insertions(+)
 create mode 100644 src/Stubs/InteractsWithInput.stubphp
 create mode 100644 tests/acceptance/RequestTypes.feature

diff --git a/src/Stubs/InteractsWithInput.stubphp b/src/Stubs/InteractsWithInput.stubphp
new file mode 100644
index 0000000..441069d
--- /dev/null
+++ b/src/Stubs/InteractsWithInput.stubphp
@@ -0,0 +1,21 @@
+<?php
+
+namespace Illuminate\Http\Concerns;
+
+use Illuminate\Http\UploadedFile;
+use Illuminate\Support\Arr;
+use Illuminate\Support\Str;
+use SplFileInfo;
+use stdClass;
+
+trait InteractsWithInput
+{
+    /**
+     * Retrieve an input item from the request.
+     *
+     * @param  string|null  $key
+     * @param  mixed  $default
+     * @return mixed
+     */
+    public function input($key = null, $default = null) { }
+}
diff --git a/tests/acceptance/RequestTypes.feature b/tests/acceptance/RequestTypes.feature
new file mode 100644
index 0000000..eb1da74
--- /dev/null
+++ b/tests/acceptance/RequestTypes.feature
@@ -0,0 +1,36 @@
+Feature: redirect
+  The global redirect helper will return the correct type depending on args
+
+  Background:
+    Given I have the following config
+      """
+      <?xml version="1.0"?>
+      <psalm totallyTyped="false">
+        <projectFiles>
+          <directory name="."/>
+          <ignoreFiles> <directory name="../../vendor"/> </ignoreFiles>
+        </projectFiles>
+        <plugins>
+          <pluginClass class="Psalm\LaravelPlugin\Plugin"/>
+        </plugins>
+      </psalm>
+      """
+    And I have the following code preamble
+    """
+    <?php declare(strict_types=1);
+
+     namespace Tests\Psalm\LaravelPlugin\Sandbox;
+
+     use \Illuminate\Http\Request;
+    """
+
+  Scenario: input returns various types
+    Given I have the following code
+    """
+    function test(Request $request): bool
+    {
+      return $request->input('foo', false);
+    }
+    """
+    When I run psalm
+    Then I see no errors