sema: fix type inference analysis of untyped slice literals

julelang · Jan 22, 2025 · efb83ee · efb83ee
1 parent b8794b8
commit efb83ee
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 8 deletions.
diff --git a/std/jule/sema/eval.jule b/std/jule/sema/eval.jule
@@ -941,14 +941,14 @@ impl eval {
 		if firstElem == nil {
 			ret nil
 		}
+		if self.s.checkDataForTypeInference(firstElem, firstExpr.Token) {
+			// Check mutability for first element.
+			const destIsRef = false
+			self.s.checkValidityForInitExpr(self.target.mutable, destIsRef,
+				firstElem.Type, firstElem, firstExpr.Token)
 
-		// Check mutability for first element.
-		const destIsRef = false
-		self.s.checkValidityForInitExpr(self.target.mutable, destIsRef,
-			firstElem.Type, firstElem, firstExpr.Token)
-
-		v = self.evalExpSlice(s, firstElem.Type, firstElem)
-
+			v = self.evalExpSlice(s, firstElem.Type, firstElem)
+		}
 		self.prefix = prefix
 		ret v
 	}

diff --git a/std/jule/sema/sema.jule b/std/jule/sema/sema.jule
@@ -2095,14 +2095,19 @@ impl sema {
 		}
 	}
 
-	fn checkDataForTypeInference(mut self, &v: &Value, &errToken: &token::Token) {
+	fn checkDataForTypeInference(mut self, &v: &Value, &errToken: &token::Token): bool {
 		match {
 		| v.IsNil():
 			self.pushErr(errToken, build::LogMsg.NilForTypeInference)
+			ret false
 		| v.IsVoid():
 			self.pushErr(errToken, build::LogMsg.VoidForTypeInference)
+			ret false
 		| v.Type.Variadic:
 			self.pushErr(errToken, build::LogMsg.InvalidExprForTypeInference)
+			ret false
+		|:
+			ret true
 		}
 	}