From e652bbb8630bc0c6708ca2a88d3d9938c8b9982a Mon Sep 17 00:00:00 2001 From: John Hodge Date: Fri, 23 Sep 2016 10:18:26 +0800 Subject: HIR Typecheck Expr - Implement TODO with inserting associated type bounds --- src/hir_typeck/expr_cs.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/hir_typeck/expr_cs.cpp b/src/hir_typeck/expr_cs.cpp index ce7ef629..aecb7506 100644 --- a/src/hir_typeck/expr_cs.cpp +++ b/src/hir_typeck/expr_cs.cpp @@ -4042,7 +4042,10 @@ namespace { DEBUG("- " << b_ty_mono << " : " << b_tp_mono); if( b_tp_mono.m_type_bounds.size() > 0 ) { - TODO(sp, "Insert associated type bounds from " << b_ty_mono << " : " << b_tp_mono); + for(const auto& aty_bound : b_tp_mono.m_type_bounds) + { + context.equate_types_assoc(sp, aty_bound.second, b_tp_mono.m_path.m_path, b_tp_mono.m_path.m_params.clone(), b_ty_mono, aty_bound.first.c_str(), false); + } } else { -- cgit v1.2.3