zeroed value doesn't support type inferring at top level, because lack of type passing in current implementation, will do later

Author: wakaztahir

.idea/vcs.xml

@@ -372,13 +372,21 @@ void TopLevelLinkSignature::VisitIndexOperator(IndexOperator* value) {
     }
 }
 
-void TopLevelLinkSignature::TopLevelLinkSignature::VisitIsValue(IsValue* value) {
+void TopLevelLinkSignature::VisitIsValue(IsValue* value) {
     RecursiveVisitor<TopLevelLinkSignature>::VisitIsValue(value);
     if(!comptime_context) {
         diagnoser.error("cannot determine at runtime outside function body", value);
     }
 }
 
+void TopLevelLinkSignature::VisitZeroedValue(ZeroedValue* value) {
+    if (value->getType() == nullptr) {
+        diagnoser.error("couldn't infer type for zeroed value", value);
+        return;
+    }
+    RecursiveVisitor<TopLevelLinkSignature>::VisitZeroedValue(value);
+}
+
 void TopLevelLinkSignature::VisitLambdaFunction(LambdaFunction* value) {
     RecursiveVisitor<TopLevelLinkSignature>::VisitLambdaFunction(value);
     if(!comptime_context) {

compiler/symres/LinkSignature.cpp

@@ -174,6 +174,8 @@ class TopLevelLinkSignature : public RecursiveVisitor<TopLevelLinkSignature> {
 
     void VisitIsValue(IsValue* value);
 
+    void VisitZeroedValue(ZeroedValue* value);
+
     void VisitLambdaFunction(LambdaFunction* value);
 
     void VisitNegativeValue(NegativeValue* value);