diff options
Diffstat (limited to 'src/test/ui/unsafe/unsafe-subtyping.rs')
-rw-r--r-- | src/test/ui/unsafe/unsafe-subtyping.rs | 11 |
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() { } |