sema: caught genericed types for comptime::TypeOf function

julelang · Jun 30, 2024 · b558a8a · b558a8a
1 parent 83914ad
commit b558a8a
Showing 1 changed file with 14 additions and 3 deletions.
diff --git a/std/jule/sema/builtin.jule b/std/jule/sema/builtin.jule
@@ -844,12 +844,23 @@ fn builtinCallerStdComptimeTypeOf(mut &e: &Eval, mut &fc: &FnCallExpr, mut &_: &
         ret nil
     }
     let f = d.Kind.Fn()
-    if f != nil && f.IsBuiltin() {
-        e.pushErr(fc.Token, LogMsg.InvalidTypeForTypeOf, "<built-in fn>")
+    if f != nil {
+        if f.IsBuiltin() {
+            e.pushErr(fc.Args[0].Token, LogMsg.InvalidTypeForTypeOf, "<built-in fn>")
+            ret nil
+        }
+        if len(f.Generics) != len(f.Decl.Generics) {
+            e.pushErr(fc.Args[0].Token, LogMsg.HasGenerics)
+            ret nil
+        }
+    }
+    let s = d.Kind.Struct()
+    if s != nil && len(s.Generics) != len(s.Decl.Generics) {
+        e.pushErr(fc.Args[0].Token, LogMsg.HasGenerics)
         ret nil
     }
     if d.Kind.comptime() {
-        e.pushErr(fc.Token, LogMsg.InvalidTypeForTypeOf, d.Kind.Str())
+        e.pushErr(fc.Args[0].Token, LogMsg.InvalidTypeForTypeOf, d.Kind.Str())
         ret nil
     }
     ret buildComptimeTypeInfoData(e.s, d.Kind)