8000 Remove unnecessary `mut` binding by jyn514 · Pull Request #79516 · rust-lang/rust · GitHub
[go: up one dir, main page]
Skip to content

Remove unnecessary mut binding#79516

Merged
bors merged 1 commit intorust-lang:masterfrom
jyn514:cleanup-trait-solver
Nov 29, 2020
Merged

< 4E91 div>Remove unnecessary `mut` binding#79516
bors merged 1 commit intorust-lang:masterfrom
jyn514:cleanup-trait-solver

Commits

Commits on Nov 28, 2020

0