Introduce ConstValue and use it instead of miri's Value for constant values#50249

Merged

bors merged 2 commits intorust-lang:masterfrom Zoxc:allocation-const

May 12, 2018

+1,090-753

Commits on May 11, 2018