83cbbd7bce
Together with a patch on the rustc side, this makes './x.py test src/tools/miri --stage 0' work again. :)
Together with a patch on the rustc side, this makes './x.py test src/tools/miri --stage 0' work again. :)