Closed
Description
Example:
#![feature(fn_delegation)]
extern "C" {
fn f();
}
reuse f as g;
//~^ ERROR call to unsafe function `f` is unsafe and requires unsafe function or block
The synthesized fn g
ought to be marked unsafe
as f
is implicitly unsafe1 but that doesn't happen.
Footnotes
-
Unless marked
safe
under featureunsafe_extern_blocks
, these are possible toreuse
for obvious reasons. ↩