]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #99178 - Dajamante:clean_up, r=oli-obk
authorYuki Okushi <jtitor@2k36.org>
Mon, 25 Jul 2022 22:14:48 +0000 (07:14 +0900)
committerGitHub <noreply@github.com>
Mon, 25 Jul 2022 22:14:48 +0000 (07:14 +0900)
commit74be487ca093e67bc840a83414a916d91b825081
tree0bdabbd6b62dac40e8ee22da6f2517c3fc7e41f0
parentaeca079d7e91a2ae34b6c5f743689750257c094c
parente6518296dcd9e878ac450afdfee4f4bc3fec72f3
Rollup merge of #99178 - Dajamante:clean_up, r=oli-obk

Lighten up const_prop_lint, reusing const_prop

r? `@oli-obk`