Resolve+Typecheck - Fix trait default parameters

1 files changed, 23 insertions, 0 deletions

diff --git a/src/resolve/absolute.cpp b/src/resolve/absolute.cpp
index ee5d6b36..1c725718 100644
--- a/src/resolve/absolute.cpp
+++ b/src/resolve/absolute.cpp
@@ -818,6 +818,13 @@ namespace {
                 if( !n.args().is_empty() ) {
                     trait_path.nodes().back().args() = mv$(n.args());
                 }
+                else {
+                    for(const auto& typ : e.m_params.m_types)
+                    {
+                        (void)typ;
+                        trait_path.nodes().back().args().m_types.push_back( ::TypeRef() );
+                    }
+                }
                 trait_path.bind( ::AST::PathBinding::make_Trait({nullptr, &e}) );
                 
                 ::AST::Path new_path;
@@ -1077,6 +1084,22 @@ void Resolve_Absolute_Path_BindAbsolute(Context& context, const Span& sp, Contex
                 if( !n.args().is_empty() ) {
                     trait_path.nodes().back().args() = mv$(n.args());
                 }
+                else {
+                    if( e.trait_ ) {
+                        for(const auto& typ : e.trait_->params().ty_params())
+                        {
+                            (void)typ;
+                            trait_path.nodes().back().args().m_types.push_back( ::TypeRef() );
+                        }
+                    }
+                    else {
+                        for(const auto& typ : e.hir->m_params.m_types)
+                        {
+                            (void)typ;
+                            trait_path.nodes().back().args().m_types.push_back( ::TypeRef() );
+                        }
+                    }
+                }
                 // TODO: If the named item can't be found in the trait, fall back to it being a type binding
                 // - What if this item is from a nested trait?
                 ::AST::Path new_path;