diff options
| author | John Hodge <tpg@mutabah.net> | 2016-10-28 10:46:52 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-10-28 10:46:52 +0800 |
| commit | 7f087ee36d98117ed47a8da548ff26802448df70 (patch) | |
| tree | a8fefcfae73cb0c905af63dc878d1e7cbf64cfa7 | |
| parent | caa1e891a0216c7b85b822039900ef28cfbb32a7 (diff) | |
| download | mrust-7f087ee36d98117ed47a8da548ff26802448df70.tar.gz | |
HIR Typecheck Expr - (minor) Comment about TODO
| -rw-r--r-- | src/hir_typeck/expr_cs.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
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( |