---

yaml
---
r: 3561
b: refs/heads/master
c: a2775a5
h: refs/heads/master
i:
  3559: e4f1df7
v: v3

Author: jdm

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: b110bbf886fd2d9d99c6e66b084ebd2430c57fe3
+refs/heads/master: a2775a5b72b7cad1bfe2a480a79bfe48281dd40f

trunk/src/comp/middle/trans.rs

@@ -6388,9 +6388,9 @@ fn trans_fail_expr(&@block_ctxt cx, &option::t[common::span] sp_opt,
                                         [C_int(0), C_int(abi::vec_elt_data)]);
                 ret trans_fail_value(bcx, sp_opt, elt);
             } else {
-                bcx.fcx.lcx.ccx.sess.span_fatal(expr.span,
-                                               "fail called with unsupported \
-                                               type " + ty_to_str(tcx, e_ty));
+                cx.fcx.lcx.ccx.sess.span_bug(expr.span,
+                                             "fail called with unsupported \
+                                              type " + ty_to_str(tcx, e_ty));
             }
         }
         case (_) {

trunk/src/comp/middle/typeck.rs

@@ -229,6 +229,11 @@ fn type_is_scalar(&@fn_ctxt fcx, &span sp, ty::t typ) -> bool {
     ret ty::type_is_scalar(fcx.ccx.tcx, typ_s);
 }
 
+fn type_is_str(&@fn_ctxt fcx, &span sp, ty::t typ) -> bool {
+    auto typ_s = structurally_resolved_type(fcx, sp, typ);
+    ret ty::type_is_str(fcx.ccx.tcx, typ_s);    
+}
+
 
 // Parses the programmer's textual representation of a type into our internal
 // notion of a type. `getter` is a function that returns the type
@@ -1658,7 +1663,17 @@ fn check_expr(&@fn_ctxt fcx, &@ast::expr expr) {
         case (ast::expr_fail(?expr_opt)) {
             alt (expr_opt) {
                 case (none) { /* do nothing */ }
-                case (some(?e)) { check_expr(fcx, e); }
+                case (some(?e)) {
+                    check_expr(fcx, e);
+                    auto tcx = fcx.ccx.tcx;
+                    auto ety = expr_ty(tcx, e);
+                    if (!type_is_str(fcx, e.span, ety)) {
+                        tcx.sess.span_fatal(e.span,
+                                            #fmt("mismatched types: expected \
+                                                  str, found %s",
+                                                 ty_to_str(tcx, ety)));
+                    }
+                }
             }
             write::bot_ty(fcx.ccx.tcx, id);
         }

trunk/src/test/compile-fail/fail-expr.rs

@@ -0,0 +1,5 @@
+// error-pattern:mismatched types
+
+fn main() {
+  fail 5;
+}