You need to generate the MIR though (to feed to miri); this only fixes attacks that happen in the pipeline after MIR. Doing path and type resolution is the toug

You need to generate the MIR though (to feed to miri); this only fixes attacks that happen in the pipeline after MIR. Doing path and type resolution is the tough part and so far we only have one implementation of that. https://github.com/thepowersgang/mrustc https://github.com/thepowersgang/mrustc exists, anyway. I don't think it can compile rustc yet.