Allow `check_expr_with_type_hint` to allow assignment of types to typeid without requiring `typeid_of`

1 files changed, 3 insertions, 1 deletions

diff --git a/src/check_expr.cpp b/src/check_expr.cpp
index b0012bfcc..63b275c99 100644
--- a/src/check_expr.cpp
+++ b/src/check_expr.cpp
@@ -7910,7 +7910,9 @@ void check_expr_with_type_hint(CheckerContext *c, Operand *o, Ast *e, Type *t) {
 		err_str = "used as a value";
 		break;
 	case Addressing_Type:
-		err_str = "is not an expression but a type";
+		if (t == nullptr || !is_type_typeid(t)) {
+			err_str = "is not an expression but a type";
+		}
 		break;
 	case Addressing_Builtin:
 		err_str = "must be called";