Move a const-prop-lint specific hack from mir interpret to const-prop-lint and make it fallible#109938

Merged

bors merged 1 commit intorust-lang:masterfrom

oli-obk:try_norm

Apr 4, 2023

Commits on Apr 4, 2023

Move a const-prop-lint specific hack from mir interpret to const-prop-lint and make it fallible
oli-obk
committed