rustc removed plugins

[safinaskar]

rustc just removed plugins ( rust-lang/rust#116412 ). It is possible you are affected

[bjorn3]

Prusti uses the driver interface which isn't removed. Only #![plugin(foo)] is.

[fpoli]

Thank you for the heads up! We briefly experimented using the plugins interface years ago, but we no longer use it.