Const to op simplification#58511
Merged
bors merged 11 commits intorust-lang:masterfrom Feb 24, 2019
Merged
Commits
Commits on Feb 16, 2019
- committed
- committed
- committed
- committed
- committed
- andauthored
- committed
- committed
- committed
- committed
- committed
