---

yaml
---
r: 58039
b: refs/heads/auto
c: 76f7207
h: refs/heads/master
i:
  58037: e357be6
  58035: 5172cff
  58031: 0cdfcd2
v: v3

Author: brson

[refs]

@@ -14,6 +14,6 @@ refs/heads/try3: 9387340aab40a73e8424c48fd42f0c521a4875c0
 refs/tags/release-0.3.1: 495bae036dfe5ec6ceafd3312b4dca48741e845b
 refs/tags/release-0.4: e828ea2080499553b97dfe33b3f4d472b4562ad7
 refs/tags/release-0.5: 7e3bcfbf21278251ee936ad53e92e9b719702d73
-refs/heads/auto: 87c46b548a5c9d3183a7d76db8c2e0660f917130
+refs/heads/auto: 76f7207af22d1c64280b1dcbf7d99d198781e0b2
 refs/heads/servo: af82457af293e2a842ba6b7759b70288da276167
 refs/tags/release-0.6: b4ebcfa1812664df5e142f0134a5faea3918544c

branches/auto/src/librustc/middle/ty.rs

@@ -1253,6 +1253,16 @@ pub fn mk_opaque_closure_ptr(cx: ctxt, sigil: ast::Sigil) -> t {
 
 pub fn mk_opaque_box(cx: ctxt) -> t { mk_t(cx, ty_opaque_box) }
 
+// Converts s to its machine type equivalent
+pub fn mach_sty(cfg: @session::config, t: t) -> sty {
+    match get(t).sty {
+      ty_int(ast::ty_i) => ty_int(cfg.int_type),
+      ty_uint(ast::ty_u) => ty_uint(cfg.uint_type),
+      ty_float(ast::ty_f) => ty_float(cfg.float_type),
+      ref s => (/*bad*/copy *s)
+    }
+}
+
 pub fn walk_ty(ty: t, f: &fn(t)) {
     maybe_walk_ty(ty, |t| { f(t); true });
 }

branches/auto/src/librustc/middle/typeck/infer/combine.rs

@@ -480,8 +480,6 @@ pub fn super_tys<C:Combine>(
             unify_float_variable(self, !self.a_is_expected(), v_id, v)
         }
 
-      (ty::ty_nil, _) |
-      (ty::ty_bool, _) |
       (ty::ty_int(_), _) |
       (ty::ty_uint(_), _) |
       (ty::ty_float(_), _) => {
@@ -492,6 +490,16 @@ pub fn super_tys<C:Combine>(
         }
       }
 
+      (ty::ty_nil, _) |
+      (ty::ty_bool, _) => {
+        let cfg = tcx.sess.targ_cfg;
+        if ty::mach_sty(cfg, a) == ty::mach_sty(cfg, b) {
+            Ok(a)
+        } else {
+            Err(ty::terr_sorts(expected_found(self, a, b)))
+        }
+      }
+
       (ty::ty_param(ref a_p), ty::ty_param(ref b_p)) if a_p.idx == b_p.idx => {
         Ok(a)
       }

branches/auto/src/libstd/flatpipes.rs

@@ -678,6 +678,7 @@ mod test {
     }
 
     #[test]
+    #[ignore(reason = "FIXME #6211 failing on linux snapshot machine")]
     fn test_serializing_pipes() {
         let (port, chan) = serial::pipe_stream();