Replace discriminant_switch_effect with more general version #77242
Merged
bors merged 4 commits intorust-lang:masterfrom Sep 28, 2020
Merged
Replace `discriminant_switch_effect` with more general version #77242bors merged 4 commits intorust-lang:masterfrom
bors merged 4 commits intorust-lang:masterfrom
Commits
Commits on Sep 26, 2020
Commits on Sep 27, 2020
- committed