This command would work similarly to ?eval (or maybe ?play?), but it instructs the Rust Playground to run the code through Miri instead of compiling and executing normally.
The idea came up here: https://discord.com/channels/273534239310479360/274215136414400513/797898675510181901
This command would work similarly to
?eval(or maybe?play?), but it instructs the Rust Playground to run the code through Miri instead of compiling and executing normally.The idea came up here: https://discord.com/channels/273534239310479360/274215136414400513/797898675510181901