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

Commits

Commits on Jan 3, 2020