diff options
| author | Xavier Denis <xldenis@gmail.com> | 2022-05-25 13:20:15 +0200 |
|---|---|---|
| committer | Oli Scherer <github35764891676564198441@oli-obk.de> | 2022-05-25 17:04:28 +0200 |
| commit | fe76f0324c67c65b4a54097e874998f73f366b5f (patch) | |
| tree | 13e4e89f894d834bc0de132a94561ad0acef0bc8 | |
| parent | d9a3f5cfebd189044fe294ec8398a6cac6ee613d (diff) | |
| download | rust-fe76f0324c67c65b4a54097e874998f73f366b5f.tar.gz rust-fe76f0324c67c65b4a54097e874998f73f366b5f.zip | |
Add additional crates to `very_unstable
Adds some additional crates used by Creusot.
| -rw-r--r-- | src/very_unstable.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/very_unstable.rs b/src/very_unstable.rs index 8ba0251629d..dacdabf1ccb 100644 --- a/src/very_unstable.rs +++ b/src/very_unstable.rs @@ -5,5 +5,10 @@ pub use rustc_borrowck as borrowck; pub use rustc_driver as driver; +pub use rustc_hir as hir; pub use rustc_interface as interface; pub use rustc_middle as middle; +pub use rustc_mir_dataflow as dataflow; +pub use rustc_mir_transform as transform; +pub use rustc_serialize as serialize; +pub use rustc_trait_selection as trait_selection; |