From b7c99eec42160f687f4a56c1cb96152703931832 Mon Sep 17 00:00:00 2001
From: bQUARKz <bquarkz@gmail.com>
Date: Tue, 10 Mar 2026 08:46:41 +0000
Subject: [PATCH] refactoring and reducing complexity

---
 .../java/p/studio/compiler/pbs/semantics/PbsFlowTypeOps.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prometeu-compiler/frontends/prometeu-frontend-pbs/src/main/java/p/studio/compiler/pbs/semantics/PbsFlowTypeOps.java b/prometeu-compiler/frontends/prometeu-frontend-pbs/src/main/java/p/studio/compiler/pbs/semantics/PbsFlowTypeOps.java
index 23e8b4a2..b15e695f 100644
--- a/prometeu-compiler/frontends/prometeu-frontend-pbs/src/main/java/p/studio/compiler/pbs/semantics/PbsFlowTypeOps.java
+++ b/prometeu-compiler/frontends/prometeu-frontend-pbs/src/main/java/p/studio/compiler/pbs/semantics/PbsFlowTypeOps.java
@@ -51,7 +51,7 @@ final class PbsFlowTypeOps {
             case OPTIONAL -> compatible(actual.inner(), expected.inner());
             case RESULT -> compatible(actual.errorType(), expected.errorType()) && compatible(actual.inner(), expected.inner());
             case TUPLE -> tupleCompatible(actual, expected);
-            case UNKNOWN -> true;
+            default -> throw new IllegalStateException("Unexpected value: " + actual.kind());
         };
     }