Rollup of 6 pull requests - #63328

Merged

bors merged 17 commits into

rust-lang:masterfrom

Centril:rollup-482ujaf

Aug 6, 2019

Commits on Jul 20, 2019

Fix theme picker blur handler: always hide instead of switching
Kinrany
authored
112a347
Update render.rs
Kinrany
authored
3e39ac7

Commits on Jul 29, 2019

Use internal iteration in the Sum and Product impls of Result and Option
timvermeulen
committed
2e41ba8

Commits on Jul 31, 2019

Deduplicate rustc_demangle in librustc_codegen_llvm
alexcrichton
committed
d05c4d5

Commits on Aug 5, 2019

Commits on Aug 6, 2019