提交 afa392a8 编写于 作者: A Alex Crichton

Forbid coercing unsafe functions to closures

Closes #9582
上级 9434e7c6
......@@ -410,7 +410,7 @@ pub fn coerce_from_bare_fn_post_unpack(&self,
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);
}
......
......@@ -392,13 +392,13 @@ fn filename_str<'a>(&'a self) -> Option<&'a str> {
#[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 {
......
// 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
}
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册