It’s not really feasible. Maybe in an extreme case, but this just isn’t one. We have done this for fixing language soundness holes, but it is extremely rare. The spirit of the law matters as much, if not more, than the letter.

Already possible I believe: https://doc.rust-lang.org/rustc/lints/levels.html

It’s a policy question, not a technical question. We can absolutely do it technically.