1 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui/coercion/unsafe-coercion.rs b/src/test/ui/coercion/unsafe-coercion.rs
new file mode 100644
index 000000000..2478deeab
--- /dev/null
+++ b/src/test/ui/coercion/unsafe-coercion.rs
@@ -0,0 +1,17 @@
+// 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);
+}