HIR - Conversion and typecheck fixes for 1.29

1 files changed, 15 insertions, 0 deletions

diff --git a/src/hir/from_ast.cpp b/src/hir/from_ast.cpp
index 5dbf9c03..9c8f34f6 100644
--- a/src/hir/from_ast.cpp
+++ b/src/hir/from_ast.cpp
@@ -1258,6 +1258,21 @@ namespace {
                         receiver = ::HIR::Function::Receiver::Box;
                     }
                 }
+                // TODO: for other types, support arbitary structs/paths.
+                // - The path must include Self as a (the only?) type param.
+                if( receiver == ::HIR::Function::Receiver::Free )
+                {
+                    if( pe.m_params.m_types.size() == 0 ) {
+                        ERROR(sp, E0000, "Unsupported receiver type - " << arg_self_ty);
+                    }
+                    if( pe.m_params.m_types.size() != 1 ) {
+                        TODO(sp, "Receiver types with more than one param - " << arg_self_ty);
+                    }
+                    if( pe.m_params.m_types[0] != self_type ) {
+                        ERROR(sp, E0000, "Unsupported receiver type - " << arg_self_ty);
+                    }
+                    receiver = ::HIR::Function::Receiver::Custom;
+                }
             )
         )
         else {