sema: fix comparable constrait analysis

julelang · Jun 26, 2024 · 5f7b658 · 5f7b658
1 parent b7cf7a7
commit 5f7b658
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/std/jule/sema/constrait.jule b/std/jule/sema/constrait.jule
@@ -170,6 +170,13 @@ fn matchConstraint(&c: str, mut &g: &TypeKind): bool {
     | builtinConstraint.Immutable:
         ret !g.Mutable()
     | builtinConstraint.Comparable:
+        if g.Slc() != nil || g.Map() != nil || g.Fn() != nil {
+            ret false
+        }
+        let mut s = g.Struct()
+        if s != nil && !s.Comparable {
+            ret false
+        }
         ret true
     | builtinConstraint.Ordered:
         ret g.Ordered()