---

yaml
---
r: 958
b: refs/heads/master
c: 092af6f
h: refs/heads/master
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: cffdb66aa42b6c5a1d30a1b4364d65f409976202
+refs/heads/master: 092af6fb764207693a01bb37ce4e38ddb8010e1e

trunk/src/comp/middle/typeck.rs

@@ -1200,6 +1200,21 @@ fn check_expr(&fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
                                                       ast.ann_type(t_1)));
         }
 
+        case (ast.expr_tup(?args, _)) {
+            let vec[tup(bool, @ast.expr)] args_1 = vec();
+            let vec[tup(bool, @ty)] args_t = vec();
+
+            for (tup(bool, @ast.expr) arg in args) {
+                auto expr_1 = check_expr(fcx, arg._1);
+                args_1 += tup(arg._0, expr_1);
+                args_t += tup(arg._0, expr_ty(expr_1));
+            }
+
+            auto ann = ast.ann_type(plain_ty(ty_tup(args_t)));
+            ret @fold.respan[ast.expr_](expr.span,
+                                        ast.expr_tup(args_1, ann));
+        }
+
         case (_) {
             // TODO
             ret expr;