pub(crate) fn replace_arith_with_checked( acc: &mut Assists, ctx: &AssistContext<'_, '_>, ) -> Option<()>