[rustc.git] / src / test / ui / unsafe-coercion.rs

// run-pass
// Check that safe fns are not a subtype of unsafe fns.


fn foo(x: i32) -> i32 {
    x * 22
}

fn bar(x: fn(i32) -> i32) -> unsafe fn(i32) -> i32 {
    x // OK, coercion!
}

fn main() {
    let f = bar(foo);
    let x = unsafe { f(2) };
    assert_eq!(x, 44);
}
Commit	Line	Data
416331ca	1	// run-pass
c34b1796	2	// Check that safe fns are not a subtype of unsafe fns.
223e47cc	3
c34b1796 AL	4
	5	fn foo(x: i32) -> i32 {
	6	x * 22
223e47cc LB	7	}
223e47cc LB	8
c34b1796 AL	9	fn bar(x: fn(i32) -> i32) -> unsafe fn(i32) -> i32 {
c34b1796 AL	10	x // OK, coercion!
223e47cc LB	11	}
	12
	13	fn main() {
c34b1796 AL	14	let f = bar(foo);
	15	let x = unsafe { f(2) };
	16	assert_eq!(x, 44);
223e47cc	17	}