diff options
| author | gingerBill <bill@gingerbill.org> | 2024-02-08 13:41:02 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2024-02-08 13:41:02 +0000 |
| commit | 59933b244ded0ab2476535b18875de95cd9f47bc (patch) | |
| tree | 532b205e9d433169fd07fd1d6d35539761e34ead /src/check_builtin.cpp | |
| parent | 42aca72d9f615b51b284b98e787dd6df8e7ba2d1 (diff) | |
Allow polymorphic checking with `intrinsics.type_is_subtype_of(Derived_Type, Poly_Type)`
Diffstat (limited to 'src/check_builtin.cpp')
| -rw-r--r-- | src/check_builtin.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/check_builtin.cpp b/src/check_builtin.cpp index e1cb43ec1..4e374add6 100644 --- a/src/check_builtin.cpp +++ b/src/check_builtin.cpp @@ -5686,7 +5686,7 @@ gb_internal bool check_builtin_procedure(CheckerContext *c, Operand *operand, As return false; } - operand->value = exact_value_bool(is_type_subtype_of(op_src.type, op_dst.type)); + operand->value = exact_value_bool(is_type_subtype_of_and_allow_polymorphic(op_src.type, op_dst.type)); operand->mode = Addressing_Constant; operand->type = t_untyped_bool; } break; |