Merge #1225

1225: Disable `rustc_smir` while RA autocomplete is broken for it r=JonasAlaif a=JonasAlaif



Co-authored-by: Jonas <[email protected]>

prusti-rustc-interface/src/lib.rs

@@ -22,4 +22,10 @@ pub extern crate rustc_session as session;
 pub extern crate rustc_span as span;
 pub extern crate rustc_target as target;
 
-pub use rustc_smir::very_unstable::{borrowck, dataflow, hir, middle, trait_selection};
+// TODO: switch over to `rustc_smir` once RA knows about the crate
+// pub use rustc_smir::very_unstable::{borrowck, dataflow, hir, middle, trait_selection};
+pub extern crate rustc_borrowck as borrowck;
+pub extern crate rustc_hir as hir;
+pub extern crate rustc_middle as middle;
+pub extern crate rustc_mir_dataflow as dataflow;
+pub extern crate rustc_trait_selection as trait_selection;