Relax termination_trait's error bound#47544
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 18, 2018
U007D:master
Merged
Relax termination_trait's error bound#47544bors merged 1 commit intorust-lang:masterfrom U007D:master
bors merged 1 commit intorust-lang:masterfrom
U007D:master