Skip to content

Revert const_err lint checking of casts#67822

Merged
bors merged 1 commit intorust-lang:masterfrom
wesleywiser:revert_67676
Jan 4, 2020
Merged

Revert `const_err` lint checking of casts#67822
bors merged 1 commit intorust-lang:masterfrom
wesleywiser:revert_67676

Commits

Commits on Jan 3, 2020