---

yaml
---
r: 3813
b: refs/heads/master
c: 9427864
h: refs/heads/master
i:
  3811: 34e8a77
v: v3

Author: catamorphism

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 79ce5a46141f05dc454f90cb0be50e081d72e461
+refs/heads/master: 9427864f332318e1effaebac064af8d31d7dbf3e

trunk/src/comp/middle/typeck.rs

@@ -1877,6 +1877,7 @@ fn check_expr(&@fn_ctxt fcx, &@ast::expr expr) {
                     fcx.ccx.tcx.sess.span_fatal(expr.span,s);
                 }
             }
+            demand::simple(fcx, expr.span, chan_t, lhs_t);
             write::ty_only_fixup(fcx, id, chan_t);
         }
         case (ast::expr_recv(?lhs, ?rhs)) {

trunk/src/test/run-pass/send-type-inference.rs

@@ -0,0 +1,10 @@
+// xfail-stage0
+// tests that ctrl's type gets inferred properly
+type command[K, V] = rec(K key, V val);
+
+fn cache_server[K, V] (chan[chan[command[K,V]]] c) {
+    auto ctrl = port();
+    c <| chan(ctrl);
+}
+fn main() {
+}