Remove unused duplicated trivial_dropck_outlives#76340
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 7, 2020
jonas-schievink:rm-dupe
Merged
Remove unused duplicated `trivial_dropck_outlives`#76340bors merged 1 commit intorust-lang:masterfrom jonas-schievink:rm-dupe
bors merged 1 commit intorust-lang:masterfrom
jonas-schievink:rm-dupe
