Skip to content

Make slide on drop option consistent wrt unwrap#3091

Merged
hurryabit merged 1 commit intomainfrom
idiomatic-drop-option
Feb 13, 2026
Merged

Make slide on drop option consistent wrt unwrap#3091
hurryabit merged 1 commit intomainfrom
idiomatic-drop-option

Conversation

@hurryabit
Copy link
Collaborator

The slide unwraps an Option that is known to be some in two different ways. Let's make this consistent by always using .unwrap().

The slide unwraps an `Option` that is known to be some in two different
ways. Let's make this consistent by always using `.unwrap()`.
@hurryabit hurryabit requested a review from gribozavr February 12, 2026 14:51
@hurryabit hurryabit enabled auto-merge (squash) February 12, 2026 14:51
@hurryabit hurryabit merged commit e23e94b into main Feb 13, 2026
40 checks passed
@hurryabit hurryabit deleted the idiomatic-drop-option branch February 13, 2026 22:34
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.

2 participants