---

yaml
---
r: 1642
b: refs/heads/master
c: 83f758c
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: a309f74a94f99127cf0667999d4080450bb62491
+refs/heads/master: 83f758cf0dfaefc2ebb3a26404e8a9e009847af7

trunk/src/comp/middle/typeck.rs

@@ -1830,6 +1830,22 @@ fn check_expr(&@fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
             ret @fold.respan[ast.expr_](expr.span, newexpr);
         }
 
+        case (ast.expr_send(?lhs, ?rhs, _)) {
+            auto checked = check_assignment_like(fcx, lhs, rhs);
+            auto newexpr = ast.expr_send(checked._0,
+                                         checked._1,
+                                         checked._2);
+            ret @fold.respan[ast.expr_](expr.span, newexpr);
+        }
+
+        case (ast.expr_recv(?lhs, ?rhs, _)) {
+            auto checked = check_assignment_like(fcx, lhs, rhs);
+            auto newexpr = ast.expr_recv(checked._0,
+                                         checked._1,
+                                         checked._2);
+            ret @fold.respan[ast.expr_](expr.span, newexpr);
+        }
+
         case (ast.expr_if(?cond, ?thn, ?elifs, ?elsopt, _)) {
             auto cond_0 = check_expr(fcx, cond);
             auto cond_1 = demand_expr(fcx, plain_ty(ty.ty_bool), cond_0);