Skip to content

A few cleanups and minor improvements to rustc/traits - #54295

Merged
bors merged 1 commit into
rust-lang:masterfrom
ljedrz:cleanups_rustc_traits
Sep 21, 2018
Merged

A few cleanups and minor improvements to rustc/traits#54295
bors merged 1 commit into
rust-lang:masterfrom
ljedrz:cleanups_rustc_traits

Commits

Commits on Sep 18, 2018