summaryrefslogtreecommitdiff
path: root/src/resolve
diff options
context:
space:
mode:
authorJohn Hodge <tpg@mutabah.net>2016-05-29 12:12:49 +0800
committerJohn Hodge <tpg@mutabah.net>2016-05-29 12:12:49 +0800
commitf6b5e16db50450be409330e6dddfb218c8b5afb7 (patch)
treea177f95bd8562ad3cdd28baf223c50368a6b05f1 /src/resolve
parenta8d2de3db9d9f92013d0ac6e52319b55590efea4 (diff)
downloadmrust-f6b5e16db50450be409330e6dddfb218c8b5afb7.tar.gz
HIR Typecheck - Fiddling
Diffstat (limited to 'src/resolve')
-rw-r--r--src/resolve/absolute.cpp3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/resolve/absolute.cpp b/src/resolve/absolute.cpp
index ca7b0dfc..5137aca6 100644
--- a/src/resolve/absolute.cpp
+++ b/src/resolve/absolute.cpp
@@ -768,6 +768,9 @@ void Resolve_Absolute_Path(/*const*/ Context& context, const Span& sp, Context::
Resolve_Absolute_Path_BindUFCS(context, sp, mode, path);
)
)
+
+ // TODO: Expand default type parameters?
+ // - Helps with cases like PartialOrd<Self>, but hinders when the default is a hint (in expressions)
}
void Resolve_Absolute_Type(Context& context, TypeRef& type)