---

yaml
---
r: 1986
b: refs/heads/master
c: 99901bd
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 21fb49ad95601f2ae06e2218cca84e5b2fc45a51
+refs/heads/master: 99901bdbc435fdf6768b392c171204dd7281162b

trunk/src/comp/middle/trans.rs

@@ -3086,6 +3086,7 @@ fn trans_if(@block_ctxt cx, @ast.expr cond,
 
             // If we have an else expression, then the entire
             // if expression can have a non-nil type.
+            // FIXME: This isn't quite right, particularly re: dynamic types
             auto expr_ty = ty.expr_ty(elexpr);
             if (ty.type_has_dynamic_size(expr_ty)) {
                 expr_llty = T_typaram_ptr(cx.fcx.ccx.tn);
@@ -3576,6 +3577,7 @@ fn trans_alt(@block_ctxt cx, @ast.expr expr,
     auto default_res = trans_fail(default_cx, expr.span,
                                   "non-exhaustive match failure");
 
+    // FIXME: This isn't quite right, particularly re: dynamic types
     auto expr_ty = ty.ann_to_type(ann);
     auto expr_llty;
     if (ty.type_has_dynamic_size(expr_ty)) {