Sign in
rust
/
rust-lang
/
rust
/
refs/heads/perf-tmp
/
.
/
tests
/
ui
/
unsafe
/
unsafe-subtyping.rs
blob: a4b748a50f2f0f34ddb4ca89c697213338980b1e [
file
] [
log
] [
blame
]
// 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
()
{
}