rustc just removed plugins

[safinaskar]

rustc just removed plugins ( rust-lang/rust#116412 ). I hope you are not affected

[nilehmann]

Hi @safinaskar. Thanks for the heads up!

Flux is implemented as a compiler driver so we are not affected by the change. In the context of Rust, when people say compiler plugin they actually mean driver, which has been the standard way to interact with the compiler for some time now and it's unlikely to go away (Clippy and Miri are implemented as a driver)