]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #67822 - wesleywiser:revert_67676, r=oli-obk
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Sat, 4 Jan 2020 12:17:27 +0000 (13:17 +0100)
committerGitHub <noreply@github.com>
Sat, 4 Jan 2020 12:17:27 +0000 (13:17 +0100)
commita469b1785d7ff414abe718cf013440ca0ead7e42
tree10c9e823e6be2be9e662acc3b604666c672f23e9
parentabf2e00e38ad404d563f03acbcf06b08813fd086
parent8e4886dd55266aca41943f7ce48863f61bcd250e
Rollup merge of #67822 - wesleywiser:revert_67676, r=oli-obk

Revert `const_err` lint checking of casts

Reverts part of #67676

r? @oli-obk

cc @SimonSapin