-
Notifications
You must be signed in to change notification settings - Fork 13.6k
Closed
Labels
C-bugCategory: This is a bug.Category: This is a bug.F-fn_delegation`#![feature(fn_delegation)]``#![feature(fn_delegation)]`T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.requires-incomplete-featuresThis issue requires the use of incomplete features.This issue requires the use of incomplete features.
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. ↩
Metadata
Metadata
Assignees
Labels
C-bugCategory: This is a bug.Category: This is a bug.F-fn_delegation`#![feature(fn_delegation)]``#![feature(fn_delegation)]`T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.requires-incomplete-featuresThis issue requires the use of incomplete features.This issue requires the use of incomplete features.