Closed
Description
It would be great to have a way to run the in-tree Miri on a given file (similar to ./miri run
in the Miri repo). That should even work with the stage 0 Miri, given that Miri's test suite also passes for stage 0.
However, I am not sure what the best x.py
interface for this would look like, and how to integrate it. Cc @Mark-Simulacrum