One Interpreter, Two Machines: How rustc's Const Eval Powers Miri Too
rustc’s const evaluator is a generic interpreter over a Machine trait; Miri instantiates it with provenance tracking and CTFE with a simpler one, and both get the same 8k lines of …