Skip to content

Remove unnecessary mut binding#79516

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

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

Commits

Commits on Nov 28, 2020