summaryrefslogtreecommitdiffstats
path: root/src/test/ui/unsafe/unsafe-subtyping.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/unsafe/unsafe-subtyping.rs')
-rw-r--r--src/test/ui/unsafe/unsafe-subtyping.rs11
1 files changed, 0 insertions, 11 deletions
diff --git a/src/test/ui/unsafe/unsafe-subtyping.rs b/src/test/ui/unsafe/unsafe-subtyping.rs
deleted file mode 100644
index a4b748a50..000000000
--- a/src/test/ui/unsafe/unsafe-subtyping.rs
+++ /dev/null
@@ -1,11 +0,0 @@
-// Check that safe fns are not a subtype of unsafe fns.
-
-fn foo(x: Option<fn(i32)>) -> Option<unsafe fn(i32)> {
- x //~ ERROR mismatched types
-}
-
-fn bar(x: fn(i32)) -> unsafe fn(i32) {
- x // OK, coercion!
-}
-
-fn main() { }