1 files changed, 0 insertions, 242 deletions
diff --git a/vendor/vimeo/psalm/stubs/CoreImmutableClasses.phpstub b/vendor/vimeo/psalm/stubs/CoreImmutableClasses.phpstub
deleted file mode 100644
index 405f89b..0000000
--- a/vendor/vimeo/psalm/stubs/CoreImmutableClasses.phpstub
+++ /dev/null
@@ -1,242 +0,0 @@
-<?php
-
-/**
- * @psalm-immutable
- */
-class DateTimeImmutable implements DateTimeInterface
-{
-    public function __construct(string $datetime = "now", DateTimeZone $timezone = null) {}
-}
-
-/**
- * @psalm-immutable
- */
-class DateTimeZone
-{
-    public function __construct(string $timezone) {}
-}
-
-/**
- * @psalm-immutable
- *
- * @template-covariant Start of string|DateTimeInterface
- * @implements Traversable<int, DateTimeInterface>
- */
-class DatePeriod implements Traversable
-{
-    const EXCLUDE_START_DATE = 1;
-    /**
-     * @param Start $start
-     * @param (Start is string ? 0|self::EXCLUDE_START_DATE : DateInterval) $interval
-     * @param (Start is string ? never : DateTimeInterface|positive-int) $end
-     * @param (Start is string ? never : 0|self::EXCLUDE_START_DATE) $options
-     */
-    public function __construct($start, $interval = 0, $end = 1, $options = 0) {}
-}
-
-/**
- * @psalm-taint-specialize
- */
-interface Throwable
-{
-    /**
-     * @psalm-mutation-free
-     */
-    public function getMessage() : string;
-
-    /**
-     * @psalm-mutation-free
-     *
-     * @return int|string https://www.php.net/manual/en/throwable.getcode.php
-     */
-    public function getCode();
-
-    /**
-     * @psalm-mutation-free
-     */
-    public function getFile() : string;
-
-    /**
-     * @psalm-mutation-free
-     */
-    public function getLine() : int;
-
-    /**
-     * @psalm-mutation-free
-     * @return list<array{file?:string,line?:int,function?:string,class?:class-string,type?:'::'|'->',args?:array<mixed>}>
-     */
-    public function getTrace() : array;
-
-    /**
-     * @psalm-mutation-free
-     */
-    public function getPrevious() : ?Throwable;
-
-    /**
-     * @psalm-mutation-free
-     * @psalm-taint-source input
-     */
-    public function getTraceAsString() : string;
-
-    /**
-     * @return string
-     * @psalm-taint-source input
-     */
-    public function __toString();
-}
-
-/**
- * @psalm-taint-specialize
- */
-class Exception implements Throwable
-{
-    /**
-     * @var string
-     */
-    protected $message = '';
-
-    /**
-     * @var int
-     */
-    protected $code = 0;
-
-    /**
-     * @var string
-     */
-    protected $file = '';
-
-    /**
-     * @var int
-     */
-    protected $line = 0;
-
-    /**
-     * @psalm-external-mutation-free
-     * @param string $message
-     * @param int $code
-     * @param Throwable $previous
-     */
-    public function __construct($message = "", $code = 0, Throwable $previous = null) {}
-
-    /**
-     * @psalm-mutation-free
-     */
-    public final function getMessage() : string {}
-
-    /**
-     * @psalm-mutation-free
-     *
-     * @return int|string https://www.php.net/manual/en/throwable.getcode.php
-     */
-    public final function getCode() {}
-
-    /**
-     * @psalm-mutation-free
-     */
-    public final function getFile(): string {}
-
-    /**
-     * @psalm-mutation-free
-     */
-    public final function getLine(): int {}
-
-    /**
-     * @psalm-mutation-free
-     * @return list<array{file?:string,line?:int,function?:string,class?:class-string,type?:'::'|'->',args?:array<mixed>}>
-     */
-    public final function getTrace() : array {}
-
-    /**
-     * @psalm-mutation-free
-     */
-    public final function getPrevious() : ?Throwable {}
-
-    /**
-     * @psalm-mutation-free
-     * @psalm-taint-source input
-     */
-    public final function getTraceAsString() : string {}
-
-    /**
-     * @return string
-     * @psalm-taint-source input
-     */
-    public function __toString() {}
-}
-
-/**
- * @psalm-taint-specialize
- */
-class Error implements Throwable
-{
-    /**
-     * @var string
-     */
-    protected $message = '';
-
-    /**
-     * @var int
-     */
-    protected $code = 0;
-
-    /**
-     * @var string
-     */
-    protected $file = '';
-
-    /**
-     * @var int
-     */
-    protected $line = 0;
-
-    /**
-     * @psalm-external-mutation-free
-     * @param string $message
-     * @param int $code
-     * @param Throwable $previous
-     */
-    public function __construct($message = "", $code = 0, Throwable $previous = null) {}
-
-    /**
-     * @psalm-mutation-free
-     */
-    public final function getMessage() : string {}
-
-    /**
-     * @psalm-mutation-free
-     */
-    public final function getCode(): int {}
-
-    /**
-     * @psalm-mutation-free
-     */
-    public final function getFile(): string {}
-
-    /**
-     * @psalm-mutation-free
-     */
-    public final function getLine(): int{}
-
-    /**
-     * @psalm-mutation-free
-     * @return list<array{file?:string,line?:int,function?:string,class?:class-string,type?:'::'|'->',args?:array<mixed>}>
-     */
-    public final function getTrace() : array {}
-
-    /**
-     * @psalm-mutation-free
-     */
-    public final function getPrevious() : ?Throwable {}
-
-    /**
-     * @psalm-mutation-free
-     * @psalm-taint-source input
-     */
-    public final function getTraceAsString() : string {}
-
-    /**
-     * @return string
-     * @psalm-taint-source input
-     */
-    public function __toString() {}
-}