diff options
Diffstat (limited to 'src/check_expr.cpp')
| -rw-r--r-- | src/check_expr.cpp | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/check_expr.cpp b/src/check_expr.cpp index 6b2a07a86..61bf9eeca 100644 --- a/src/check_expr.cpp +++ b/src/check_expr.cpp @@ -1911,6 +1911,13 @@ bool check_is_castable_to(CheckerContext *c, Operand *operand, Type *y) { return true; } + if (is_type_opaque(src)) { + return are_types_identical(dst, src->Opaque.elem); + } + if (is_type_opaque(dst)) { + return are_types_identical(dst->Opaque.elem, src); + } + return false; } @@ -6602,6 +6609,11 @@ gbString write_expr_to_string(gbString str, Ast *node) { str = write_expr_to_string(str, ht->type); case_end; + case_ast_node(ht, OpaqueType, node); + str = gb_string_appendc(str, "opaque "); + str = write_expr_to_string(str, ht->type); + case_end; + case_ast_node(pt, PolyType, node); str = gb_string_append_rune(str, '$'); str = write_expr_to_string(str, pt->type); |