add tests for hinted isequal (#205)

this is a bug found by @kaihsin

Author: Roger-luo

src/kirin/ir/attrs/types.py

@@ -481,13 +481,6 @@ def __init__(self, type: TypeAttribute, data: HintedData):
             type = type.type
         self.type = type
 
-    def is_equal(self, other: TypeAttribute) -> bool:
-        return (
-            isinstance(other, Hinted)
-            and self.data == other.data
-            and self.type.is_equal(other.type)
-        )
-
     def is_subseteq_fallback(self, other: TypeAttribute) -> bool:
         return self.type.is_subseteq(other)
 

test/dialects/test_pytypes.py

@@ -1,5 +1,6 @@
 import pytest
 
+from kirin.analysis import const
 from kirin.ir.attrs.types import (
     Int,
     Bool,
@@ -8,6 +9,7 @@
     Slice,
     Tuple,
     Union,
+    Hinted,
     String,
     Vararg,
     AnyType,
@@ -111,3 +113,9 @@ def test_generic_topbottom():
     assert t.meet(TypeAttribute.bottom()).is_subseteq(TypeAttribute.bottom())
     assert t.join(TypeAttribute.top()).is_equal(TypeAttribute.top())
     assert t.meet(TypeAttribute.top()).is_equal(t)
+
+
+def test_hinted():
+    assert Hinted(Int, const.Value(1)).is_equal(Int)
+    assert Hinted(Int, const.Value(1)).is_equal(Hinted(Int, const.Value(2)))
+    assert Hinted(Int, const.Value(1)).is_subseteq(Hinted(Int, const.Value(2)))