Skip to content

fix: clippy map_or_identity in smart_keymap - #710

Merged
rgoulter merged 1 commit into
masterfrom
fix/clippy-map-or-identity
Aug 29, 2026
Merged

fix: clippy map_or_identity in smart_keymap#710
rgoulter merged 1 commit into
masterfrom
fix/clippy-map-or-identity

Conversation

@rgoulter

@rgoulter rgoulter commented Aug 29, 2026

Copy link
Copy Markdown
Owner

GitHub ubuntu-latest now ships Clippy 1.98, which denies map_or_identity under -D warnings. Local devenv is still 1.97.1, so just check-quick / just test do not catch it.

Replace next_ev.map_or(0, |t| t) with next_ev.unwrap_or(0) in the C FFI event-timeout helpers.

next_ev.unwrap_or(0)

Replace `Option::map_or(0, |t| t)` with `unwrap_or(0)` in the C FFI
event-timeout helpers. Clippy 1.98 denies `map_or_identity` under
`-D warnings`; this is pre-existing on master (CI rustc 1.98 vs local 1.97).

Model: grok-4.6
Agent: Grok Build
Co-Authored-By: Grok 4.6 <grok-4.6@x.ai>
Co-Authored-By: Grok Build <grok-build@x.ai>
@rgoulter
rgoulter merged commit 41e4c1e into master Aug 29, 2026
2 checks passed
@rgoulter
rgoulter deleted the fix/clippy-map-or-identity branch August 29, 2026 12:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant