Skip to content

Improve map_entry suggestion#6937

Merged
bors merged 4 commits intorust-lang:masterfrom
Jarcho:map_entry_suggestion
Apr 16, 2021
Merged

Improve `map_entry` suggestion#6937
bors merged 4 commits intorust-lang:masterfrom
Jarcho:map_entry_suggestion

Commits

Commits on Apr 15, 2021