about summary refs log tree commit diff
diff options
context:
space:
mode:
authorAlex Crichton <alex@alexcrichton.com>2014-01-16 12:20:59 -0800
committerAlex Crichton <alex@alexcrichton.com>2014-01-16 12:20:59 -0800
commitafa392a8407bd7e514f023bca467f35e62339ea8 (patch)
tree7355ee8a181b72728053efd6ca37a7a65f07b0e2
parent9434e7c6cb658367d91eb8aae5fac6a5c8b5f769 (diff)
downloadrust-afa392a8407bd7e514f023bca467f35e62339ea8.tar.gz
rust-afa392a8407bd7e514f023bca467f35e62339ea8.zip
Forbid coercing unsafe functions to closures
Closes #9582
-rw-r--r--src/librustc/middle/typeck/infer/coercion.rs2
-rw-r--r--src/libstd/path/windows.rs4
-rw-r--r--src/test/compile-fail/coerce-unsafe-to-closure.rs14
3 files changed, 17 insertions, 3 deletions
diff --git a/src/librustc/middle/typeck/infer/coercion.rs b/src/librustc/middle/typeck/infer/coercion.rs
index 5008dd8a0db..d3931d277dd 100644
--- a/src/librustc/middle/typeck/infer/coercion.rs
+++ b/src/librustc/middle/typeck/infer/coercion.rs
@@ -410,7 +410,7 @@ impl Coerce {
         debug!("coerce_from_bare_fn(a={}, b={})",
                a.inf_str(self.get_ref().infcx), b.inf_str(self.get_ref().infcx));
 
-        if !fn_ty_a.abis.is_rust() {
+        if !fn_ty_a.abis.is_rust() || fn_ty_a.purity != ast::ImpureFn {
             return self.subtype(a, b);
         }
 
diff --git a/src/libstd/path/windows.rs b/src/libstd/path/windows.rs
index f8d80599151..29e2e41d718 100644
--- a/src/libstd/path/windows.rs
+++ b/src/libstd/path/windows.rs
@@ -392,13 +392,13 @@ impl GenericPath for Path {
     #[inline]
     fn filestem_str<'a>(&'a self) -> Option<&'a str> {
         // filestem() returns a byte vector that's guaranteed valid UTF-8
-        self.filestem().map(cast::transmute)
+        self.filestem().map(|t| unsafe { cast::transmute(t) })
     }
 
     #[inline]
     fn extension_str<'a>(&'a self) -> Option<&'a str> {
         // extension() returns a byte vector that's guaranteed valid UTF-8
-        self.extension().map(cast::transmute)
+        self.extension().map(|t| unsafe { cast::transmute(t) })
     }
 
     fn dir_path(&self) -> Path {
diff --git a/src/test/compile-fail/coerce-unsafe-to-closure.rs b/src/test/compile-fail/coerce-unsafe-to-closure.rs
new file mode 100644
index 00000000000..c22c4014f47
--- /dev/null
+++ b/src/test/compile-fail/coerce-unsafe-to-closure.rs
@@ -0,0 +1,14 @@
+// Copyright 2014 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+fn main() {
+    let x: Option<&[u8]> = Some("foo").map(std::cast::transmute);
+    //~^ ERROR: mismatched types
+}