diff options
| author | Wim Looman <git@nemo157.com> | 2023-05-27 22:20:14 +0200 |
|---|---|---|
| committer | Wim Looman <git@nemo157.com> | 2023-06-13 15:48:57 +0200 |
| commit | 8f3e876e522f9ecc8f855485bb4857163c0f86e4 (patch) | |
| tree | 35cabbf833c365a1aacd372192ed1db970904469 /compiler/rustc_mir_transform/src/errors.rs | |
| parent | 62a712a8bbb29a5d2f4e82b74d1ee5aa0490a5a3 (diff) | |
| download | rust-8f3e876e522f9ecc8f855485bb4857163c0f86e4.tar.gz rust-8f3e876e522f9ecc8f855485bb4857163c0f86e4.zip | |
Add note about unsafe functions body not being unsafe
Diffstat (limited to 'compiler/rustc_mir_transform/src/errors.rs')
| -rw-r--r-- | compiler/rustc_mir_transform/src/errors.rs | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/compiler/rustc_mir_transform/src/errors.rs b/compiler/rustc_mir_transform/src/errors.rs index 6570da51bcc..05a27f853b8 100644 --- a/compiler/rustc_mir_transform/src/errors.rs +++ b/compiler/rustc_mir_transform/src/errors.rs @@ -131,7 +131,12 @@ impl RequiresUnsafeDetail { pub(crate) struct UnsafeOpInUnsafeFn { pub details: RequiresUnsafeDetail, - pub suggest_unsafe_block: Option<(Span, Span)>, + + /// These spans point to: + /// 1. the start of the function body + /// 2. the end of the function body + /// 3. the function signature + pub suggest_unsafe_block: Option<(Span, Span, Span)>, } impl<'a> DecorateLint<'a, ()> for UnsafeOpInUnsafeFn { @@ -146,7 +151,8 @@ impl<'a> DecorateLint<'a, ()> for UnsafeOpInUnsafeFn { diag.span_label(self.details.span, self.details.label()); diag.note(self.details.note()); - if let Some((start, end)) = self.suggest_unsafe_block { + if let Some((start, end, fn_sig)) = self.suggest_unsafe_block { + diag.span_note(fn_sig, crate::fluent_generated::mir_transform_note); diag.tool_only_multipart_suggestion( crate::fluent_generated::mir_transform_suggestion, vec![(start, " unsafe {".into()), (end, "}".into())], |