Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/nextcloud/updater.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'vendor/vimeo/psalm/src/Psalm/Internal/Scope/CaseScope.php')
-rw-r--r--vendor/vimeo/psalm/src/Psalm/Internal/Scope/CaseScope.php32
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);
- }
-}