From 7f087ee36d98117ed47a8da548ff26802448df70 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Fri, 28 Oct 2016 10:46:52 +0800 Subject: HIR Typecheck Expr - (minor) Comment about TODO --- src/hir_typeck/expr_cs.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/hir_typeck/expr_cs.cpp b/src/hir_typeck/expr_cs.cpp index a89e3ef3..0144f833 100644 --- a/src/hir_typeck/expr_cs.cpp +++ b/src/hir_typeck/expr_cs.cpp @@ -127,6 +127,7 @@ struct Context // - Equate two types, allowing inferrence void equate_types_coerce(const Span& sp, const ::HIR::TypeRef& l, ::HIR::ExprNodeP& node_ptr); // - Mark a type as having an unknown coercion (for this round) + // TODO: Include the direction for the shadow, allowing guesses from the other direction. void equate_types_shadow(const Span& sp, const ::HIR::TypeRef& l); // - Equate a type to an associated type (if name == "", no equation is done, but trait is searched) void equate_types_assoc( -- cgit v1.2.3