Miri is a runtime thing so it can’t be in the compiler.
The compiler could interpret all unsafe via it but then it would be very slow, defeating the point.
The compiler could interpret all unsafe via it but then it would be very slow, defeating the point.
Can't is a strong word. You could 100% put it in the compiler. Yet you don't (for the reasonable reasons you give). The line between compiler static analysis and non-compiler static analysis is a design decision. "defeating the point" is a subjective and pragmatic decision, not one rooted in safety absolutism.