---

yaml
---
r: 34276
b: refs/heads/snap-stage3
c: 10e8e3e
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: 65839fa622c623393893b5610b6d3b4151abe233
+refs/heads/snap-stage3: 10e8e3e2860bc78cb19158028404a8938f62b93c
 refs/heads/try: d324a424d8f84b1eb049b12cf34182bda91b0024
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b

branches/snap-stage3/src/librustc/middle/ty.rs

@@ -144,11 +144,10 @@ export kind_is_durable;
 export meta_kind, kind_lteq, type_kind, type_kind_ext;
 export operators;
 export type_err, terr_vstore_kind;
-export terr_integer_as_char, terr_mismatch, terr_onceness_mismatch;
+export terr_mismatch, terr_onceness_mismatch;
 export type_err_to_str, note_and_explain_type_err;
 export expected_found;
 export type_needs_drop;
-export type_is_char;
 export type_is_empty;
 export type_is_integral;
 export type_is_numeric;
@@ -697,7 +696,6 @@ enum type_err {
     terr_in_field(@type_err, ast::ident),
     terr_sorts(expected_found<t>),
     terr_self_substs,
-    terr_integer_as_char,
     terr_no_integral_type,
     terr_no_floating_point_type,
 }
@@ -2522,13 +2520,6 @@ fn type_is_integral(ty: t) -> bool {
     }
 }
 
-fn type_is_char(ty: t) -> bool {
-    match get(ty).sty {
-        ty_int(ty_char) => true,
-        _ => false
-    }
-}
-
 fn type_is_fp(ty: t) -> bool {
     match get(ty).sty {
       ty_infer(FloatVar(_)) | ty_float(_) => true,
@@ -3498,10 +3489,6 @@ fn type_err_to_str(cx: ctxt, err: &type_err) -> ~str {
             ~"couldn't determine an appropriate integral type for integer \
               literal"
         }
-        terr_integer_as_char => {
-            ~"integer literals can't be inferred to char type \
-              (try an explicit cast)"
-        }
         terr_no_floating_point_type => {
             ~"couldn't determine an appropriate floating point type for \
               floating point literal"

branches/snap-stage3/src/librustc/middle/typeck/infer/unify.rs

@@ -362,10 +362,6 @@ impl infer_ctxt {
     }
 
     fn int_var_sub_t(a_id: ty::IntVid, b: ty::t) -> ures {
-        if ty::type_is_char(b) {
-            return Err(ty::terr_integer_as_char);
-        }
-
         assert ty::type_is_integral(b);
 
         let vb = &self.int_var_bindings;

branches/snap-stage3/src/test/compile-fail/issue-3477.rs

@@ -8,7 +8,6 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
-// xfail-fast - ICE
 trait Foo {
     fn foo();
 }