diff options
Diffstat (limited to 'src/test/ui/nll/mir_check_cast_unsafe_fn.rs')
| -rw-r--r-- | src/test/ui/nll/mir_check_cast_unsafe_fn.rs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/test/ui/nll/mir_check_cast_unsafe_fn.rs b/src/test/ui/nll/mir_check_cast_unsafe_fn.rs deleted file mode 100644 index 8f55bedfb..000000000 --- a/src/test/ui/nll/mir_check_cast_unsafe_fn.rs +++ /dev/null @@ -1,11 +0,0 @@ -#![allow(dead_code)] - -fn bar<'a>(input: &'a u32, f: fn(&'a u32) -> &'a u32) -> &'static u32 { - // Here the NLL checker must relate the types in `f` to the types - // in `g`. These are related via the `UnsafeFnPointer` cast. - let g: unsafe fn(_) -> _ = f; - unsafe { g(input) } - //~^ ERROR lifetime may not live long enough -} - -fn main() {} |