989 #[primary_span]
990 pub span: Span,
991▶ // We include the braces around `todo!()` so that a comma is optional, and we don't have to have
992 // any logic looking at the arm being replaced if there was a comma already or not for the
993 // resulting code to be correct.
· · ·
994 #[suggestion(
995 "add a body after the pattern",
996▶ code = " => {{ todo!() }}",
997 applicability = "has-placeholders",
998 style = "verbose"