---

yaml
---
r: 1563
b: refs/heads/master
c: 5b7c3b8
h: refs/heads/master
i:
  1561: ee134d1
  1559: 0210d63
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 1a05f99a10dacfbdecc1bf2458f14b10390c1180
+refs/heads/master: 5b7c3b8b5df8292e27943908fd4c16323c7833a8

trunk/src/Makefile

@@ -479,7 +479,6 @@ TEST_XFAILS_RUSTC := $(addprefix test/run-pass/, \
                         obj-dtor.rs \
                         pred.rs \
                         preempt.rs \
-                        rec-extend.rs \
                         rt-circular-buffer.rs \
                         size-and-align.rs \
                         spawn-fn.rs \

trunk/src/comp/middle/typeck.rs

@@ -2064,7 +2064,13 @@ fn check_expr(&@fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
 
         case (ast.expr_rec(?fields, ?base, _)) {
 
-            auto base_1 = base;
+            auto base_1;
+            alt (base) {
+                case (none[@ast.expr]) { base_1 = none[@ast.expr]; }
+                case (some[@ast.expr](?b_0)) {
+                    base_1 = some[@ast.expr](check_expr(fcx, b_0));
+                }
+            }
 
             let vec[ast.field] fields_1 = vec();
             let vec[field] fields_t = vec();