---

yaml
---
r: 1903
b: refs/heads/master
c: aced4ce
h: refs/heads/master
i:
  1901: aee1013
  1899: 007ce04
  1895: 82bda26
  1887: 55260c6
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: a5a319fa047b04b525066d560115ad93a18e4a4f
+refs/heads/master: aced4ce145bf23cc945c58a6c9c1bc1f33359a06

trunk/src/comp/middle/trans.rs

@@ -3049,6 +3049,9 @@ fn trans_if(@block_ctxt cx, @ast.expr cond,
             // FIXME: Handle dynamic type sizes
             auto expr_ty = ty.expr_ty(elexpr);
             expr_llty = type_of(else_res.bcx.fcx.ccx, expr_ty);
+            if (ty.type_is_structural(expr_ty)) {
+                expr_llty = T_ptr(expr_llty);
+            }
         }
         case (_) {
             else_res = res(else_cx, C_nil());

trunk/src/test/run-pass/expr-if-struct.rs

@@ -0,0 +1,24 @@
+// xfail-boot
+// -*- rust -*-
+
+// Tests for if as expressions returning structural types
+
+fn test_rec() {
+  auto res = if (true) { rec(i = 100) } else { rec(i = 101) };
+  check (res == rec(i = 100));
+}
+
+fn test_tag() {
+  tag mood {
+    happy;
+    sad;
+  }
+
+  auto res = if (true) { happy } else { sad };
+  check (res == happy);
+}
+
+fn main() {
+  test_rec();
+  test_tag();
+}