(minor) HIR Typecheck - Comment on closure infer

1 files changed, 2 insertions, 0 deletions

diff --git a/src/hir_typeck/expr.cpp b/src/hir_typeck/expr.cpp
index c186272e..5d6bf59d 100644
--- a/src/hir_typeck/expr.cpp
+++ b/src/hir_typeck/expr.cpp
@@ -2955,6 +2955,8 @@ namespace {
         {
             ::HIR::ExprVisitorDef::visit(node);
             this->context.apply_equality(node.span(), node.m_return, node.m_code->m_res_type,  &node.m_code);
+            
+            // TODO: Detect use as closure (i.e. being bounded by Fn/FnMut/FnOnce)
         }
     };