diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/hir_typeck/expr_cs.cpp | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/src/hir_typeck/expr_cs.cpp b/src/hir_typeck/expr_cs.cpp index 350ac042..9cc1f1dd 100644 --- a/src/hir_typeck/expr_cs.cpp +++ b/src/hir_typeck/expr_cs.cpp @@ -1896,8 +1896,16 @@ namespace { DEBUG("- Ref " << &*node_ptr << " -> " << ty); node_ptr = NEWNODE(mv$(ty), span, _Borrow, bt, mv$(node_ptr) ); } break; - case ::HIR::Function::Receiver::Box: - TODO(sp, "Box method receiver calling - " << node.m_method_path); + case ::HIR::Function::Receiver::Box: { + // - Undo a deref (there must have been one?) and ensure that it leads to a Box<Self> + auto* deref_ptr = dynamic_cast< ::HIR::ExprNode_Deref*>(&*node_ptr); + ASSERT_BUG(sp, deref_ptr != nullptr, "Calling Box receiver method but no deref happened"); + node_ptr = mv$(deref_ptr->m_value); + DEBUG("- Undo deref " << deref_ptr << " -> " << node_ptr->m_res_type); + // TODO: Triple-check that the input to the above Deref was a Box (lang="owned_box") + //TU_IFLET(::HIR::TypeRef::Data, node_ptr->m_res_type.m_data, Path, e, + //) + } break; } } |