Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

time: clean up redundant check in Wheel::poll() #5574

Merged
merged 2 commits into from Mar 23, 2023

Commits on Mar 22, 2023

  1. time: clean up redundant check in Wheel::poll()

    The condition checked in the and_then() call is the same as is checked
    in the match below, so we can clean it up by just matching on
    next_expiration() directly.
    marcelo-gonzalez committed Mar 22, 2023
    Copy the full SHA
    279381a View commit details
    Browse the repository at this point in the history
  2. Copy the full SHA
    fdd9b6f View commit details
    Browse the repository at this point in the history