WIP: Task: Matching enum value should be referenced statically

Author: mhsdesign

src/TypeSystem/Resolver/Match/MatchTypeResolver.php

@@ -109,6 +109,10 @@ private function resolveTypeOfEnumMatch(MatchNode $matchNode, EnumInstanceType $
                         throw new \Error('@TODO Error: Cannot match enum with type of ' . $enumMemberType::class);
                     }
 
+                    if ($enumMemberType->isUnspecified()) {
+                        throw new \Error('@TODO Error: Matching enum value should be referenced statically');
+                    }
+
                     if (!$enumMemberType->enumStaticType->is($subjectEnumType->enumStaticType)) {
                         throw new \Error('@TODO Error: incompatible enum match: got ' . $enumMemberType->enumStaticType->enumName . ' expected ' . $subjectEnumType->enumStaticType->enumName);
                     }

test/Unit/TypeSystem/Resolver/Match/MatchTypeResolverTest.php

@@ -191,6 +191,15 @@ public function malformedEnumExamples(): iterable
             EOF,
             "@TODO Error: Cannot match enum with type of PackageFactory\ComponentEngine\TypeSystem\Type\StringType\StringType"
         ];
+
+        yield "Matching enum value should be referenced statically" => [
+            <<<'EOF'
+            match (someEnumValue) {
+                someEnumValue -> "a"
+            }
+            EOF,
+            '@TODO Error: Matching enum value should be referenced statically'
+        ];
     }
 
     /**