Emit a reasonable error if someone uses type in place where expressio…

…n is exprected
p4lang · Feb 12, 2024 · 92edc33 · 92edc33
1 parent 6cec6b4
commit 92edc33
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/frontends/p4/typeChecking/typeChecker.cpp b/frontends/p4/typeChecking/typeChecker.cpp
@@ -3052,6 +3052,9 @@ const IR::Node *TypeInference::postorder(IR::PathExpression *expression) {
         if (type != nullptr)
             // may be nullptr because typechecking may have failed
             type = cloneWithFreshTypeVariables(type->to<IR::Type_MethodBase>());
+    } else if (decl->is<IR::Type_Declaration>()) {
+        typeError("%1%: Type cannot be used here, expecting an expression.", expression);
+        return expression;
     }
 
     if (type == nullptr) {