Introduce ConstValue and use it instead of miri's Value for constant values#50249
Merged
bors merged 2 commits intorust-lang:masterfrom May 12, 2018 
Merged
Introduce ConstValue and use it instead of miri's Value for constant values#50249bors merged 2 commits intorust-lang:masterfrom 
bors merged 2 commits intorust-lang:masterfrom