interpret: move discriminant reading and writing to separate file#107731

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:interpret-discriminantRalfJung/rust:interpret-discriminantCopy head branch name to clipboard