From 43366c9e53791255159adbb2b391dd96749f9553 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Sun, 1 Oct 2017 11:06:23 +0800 Subject: HIR Typecheck Expressions - Implement a TODO --- src/hir_typeck/helpers.cpp | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/hir_typeck/helpers.cpp b/src/hir_typeck/helpers.cpp index 39324ea6..6eaf8528 100644 --- a/src/hir_typeck/helpers.cpp +++ b/src/hir_typeck/helpers.cpp @@ -1993,9 +1993,12 @@ void TraitResolution::expand_associated_types_inplace__UfcsKnown(const Span& sp, TU_IFLET(::HIR::TypeRef::Data, ty.m_data, Generic, e, if( e.binding == 0xFFFF ) return *pe_inner.type; + else if( e.binding >> 8 == 0 ) { + ASSERT_BUG(sp, e.binding < pe_inner.trait.m_params.m_types.size(), ""); + return pe_inner.trait.m_params.m_types.at(e.binding); + } else { - // TODO: Look in pe_inner.trait.m_params - TODO(sp, "Handle type params when expanding associated bound (#" << e.binding << " " << e.name); + TODO(sp, "Handle type params when expanding associated bound (#" << e.binding << " " << e.name << ")"); } ) else { -- cgit v1.2.3