sema: catch ignore operatored sub ident expressions

julelang · Mar 5, 2024 · df65090 · df65090
1 parent 044cddf
commit df65090
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/std/jule/sema/eval.jule b/std/jule/sema/eval.jule
@@ -45,6 +45,7 @@ use lex for std::jule::lex::{
     is_bool,
     is_rune,
     is_raw_str,
+    is_ignore_ident,
 }
 use types for std::jule::types
 use strings for std::strings
@@ -2964,6 +2965,11 @@ impl Eval {
     }
 
     fn eval_obj_sub_ident(mut self, mut d: &Data, mut si: &SubIdentExpr): &Data {
+        if is_ignore_ident(si.ident.kind) {
+            self.push_err(si.ident, LogMsg.InvalidSyntax)
+            ret nil
+        }
+
         let mut kind = d.kind
         if d.kind.ptr() != nil {
             let ptr = d.kind.ptr()

diff --git a/std/jule/sema/sema.jule b/std/jule/sema/sema.jule
@@ -13,15 +13,12 @@ fn is_valid_model_for_ref(mut &m: ExprModel): bool {
     match type m {
     | &Var:
         ret true
-
     | &StructSubIdentExprModel:
         let mut model = (&StructSubIdentExprModel)(m)
         ret is_valid_model_for_ref(model.expr)
-
     | &TraitSubIdentExprModel:
         let mut model = (&TraitSubIdentExprModel)(m)
         ret is_valid_model_for_ref(model.expr)
-
     | &UnaryExprModel:
         let mut unary = (&UnaryExprModel)(m)
         if unary.op.kind != TokenKind.Star {