diff options
Diffstat (limited to 'src/check_expr.cpp')
| -rw-r--r-- | src/check_expr.cpp | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/check_expr.cpp b/src/check_expr.cpp index b7318ca1d..ac6f22e6d 100644 --- a/src/check_expr.cpp +++ b/src/check_expr.cpp @@ -4175,8 +4175,12 @@ bool check_builtin_procedure(CheckerContext *c, Operand *operand, Ast *call, i32 return false; } Type *t = o.type; - if (t == nullptr || t == t_invalid || is_type_polymorphic(operand->type)) { - error(ce->args[0], "Invalid argument for 'type_info_of'"); + if (t == nullptr || t == t_invalid || is_type_polymorphic(t)) { + if (is_type_polymorphic(t)) { + error(ce->args[0], "Invalid argument for 'type_info_of', unspecialized polymorphic type"); + } else { + error(ce->args[0], "Invalid argument for 'type_info_of'"); + } return false; } t = default_type(t); |