From 28c06ee15e76085b8e852c0501255b296f83a0ae Mon Sep 17 00:00:00 2001 From: Samuel Tardieu Date: Sat, 4 Jan 2025 18:06:13 +0100 Subject: [PATCH] Do not merge: check if sometimes we can't get snippets --- clippy_utils/src/source.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/clippy_utils/src/source.rs b/clippy_utils/src/source.rs index eecbfb3936ac..e6a9a561fc28 100644 --- a/clippy_utils/src/source.rs +++ b/clippy_utils/src/source.rs @@ -514,8 +514,9 @@ fn snippet_with_applicability_sess<'a>( } /// Converts a span to a code snippet. Returns `None` if not available. +#[allow(clippy::unnecessary_wraps)] pub fn snippet_opt(sess: &impl HasSession, span: Span) -> Option { - sess.sess().source_map().span_to_snippet(span).ok() + Some(sess.sess().source_map().span_to_snippet(span).unwrap()) } /// Converts a span (from a block) to a code snippet if available, otherwise use default.