From 3bb35bde7fe1aa4bf21514735d14e002f0523790 Mon Sep 17 00:00:00 2001
From: feltroid Prime <96737978+feltroidprime@users.noreply.github.com>
Date: Tue, 26 Nov 2024 19:15:14 +0700
Subject: [PATCH] Faster __post_init__ in ScopedName dataclass.

---
 src/starkware/cairo/lang/compiler/scoped_name.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/starkware/cairo/lang/compiler/scoped_name.py b/src/starkware/cairo/lang/compiler/scoped_name.py
index 4e16e92a..301b080a 100644
--- a/src/starkware/cairo/lang/compiler/scoped_name.py
+++ b/src/starkware/cairo/lang/compiler/scoped_name.py
@@ -10,8 +10,9 @@ class ScopedName:
     path: Tuple[str, ...] = ()
 
     def __post_init__(self):
-        assert "" not in self.path, "Empty namespace is not supported."
-        assert all([self.SEPARATOR not in part for part in self.path])
+        for part in self.path:
+            if part == "" or self.SEPARATOR in part:
+                raise AssertionError
 
     @classmethod
     def from_string(cls, scope: str) -> "ScopedName":