diff options
Diffstat (limited to 'vendor/vimeo/psalm/src/Psalm/Internal/Scope/CaseScope.php')
-rw-r--r-- | vendor/vimeo/psalm/src/Psalm/Internal/Scope/CaseScope.php | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/vendor/vimeo/psalm/src/Psalm/Internal/Scope/CaseScope.php b/vendor/vimeo/psalm/src/Psalm/Internal/Scope/CaseScope.php deleted file mode 100644 index a7ce48e..0000000 --- a/vendor/vimeo/psalm/src/Psalm/Internal/Scope/CaseScope.php +++ /dev/null @@ -1,32 +0,0 @@ -<?php - -namespace Psalm\Internal\Scope; - -use Psalm\Context; -use Psalm\Type\Union; - -/** - * @internal - */ -class CaseScope -{ - /** - * @var Context - */ - public $parent_context; - - /** - * @var array<string, Union>|null - */ - public $break_vars; - - public function __construct(Context $parent_context) - { - $this->parent_context = $parent_context; - } - - public function __destruct() - { - unset($this->parent_context); - } -} |