From 7ed556cf8e3f6b7cb36e9e8cbb6be7e445b339c9 Mon Sep 17 00:00:00 2001
From: Patrick Walton <pcwalton@mimiga.net>
Date: Thu, 7 Jul 2011 19:08:59 -0700
Subject: [PATCH] rustc: Check iter return types. Closes #638.

---
 src/comp/middle/typeck.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/comp/middle/typeck.rs b/src/comp/middle/typeck.rs
index 1813615d1eb..85de667abac 100644
--- a/src/comp/middle/typeck.rs
+++ b/src/comp/middle/typeck.rs
@@ -1750,6 +1750,8 @@ fn check_expr(&@fn_ctxt fcx, &@ast::expr expr) {
                 }
                 case (some(?e)) {
                     check_expr(fcx, e);
+                    demand::simple(fcx, expr.span, fcx.ret_ty,
+                                   expr_ty(fcx.ccx.tcx, e));
                     write::nil_ty(fcx.ccx.tcx, id);
                 }
             }