From 9fdde2fa1eff318c310efaf92172e4c928ed84c7 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@ucc.asn.au>
Date: Thu, 9 Jun 2016 22:21:10 +0800
Subject: (minor) HIR Typecheck - Comment on closure infer

---
 src/hir_typeck/expr.cpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

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)
         }
     };
     
-- 
cgit v1.2.3