I can't really imagine rust being a better target than C-- or something at that point, as you've got an infallible machine managing your memory already. If you output code that is rejected by the rust lifetime checker, you've still got a problem.