Skip to content

Conversation

m-ou-se
Copy link
Member

@m-ou-se m-ou-se commented Mar 8, 2021

This is #1734, but now with a better alternative.

This also upgrades rustc to the latest version, to be able to use the better alternative (try_insert).

This upgrades to the latest rustc to be able to use try_insert()
instead.
@RalfJung
Copy link
Member

RalfJung commented Mar 8, 2021

Awesome, thanks a lot for seeing this through. :-)

@bors r+

@bors
Copy link
Contributor

bors commented Mar 8, 2021

📌 Commit 90e218a has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Mar 8, 2021

⌛ Testing commit 90e218a with merge 413e341...

@bors
Copy link
Contributor

bors commented Mar 8, 2021

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 413e341 to master...

@bors bors merged commit 413e341 into rust-lang:master Mar 8, 2021
@m-ou-se m-ou-se deleted the remove-unwrap-none branch March 21, 2021 12:39
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants