Merge pull request #142 from oli-obk/smir

Fix smir crate and pin nightly
rust-lang · Oct 12, 2023 · e8f44d8 · e8f44d8
2 parents bca36ec + 1be5634
commit e8f44d8
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 6 deletions.
diff --git a/crates/formality-smir/src/lib.rs b/crates/formality-smir/src/lib.rs
@@ -1,5 +1,8 @@
 #![feature(rustc_private)]
 
+/// This import is needed, because `stable_mir` on its own doesn't have the `scoped_tls` rlib.
+extern crate rustc_driver;
+/// Access to the pre-0.1 stable_mir crate
 extern crate stable_mir;
 
 /// Trait used to convert from Stable MIR to Formality types.

diff --git a/rust-toolchain b/rust-toolchain
@@ -1,3 +1,3 @@
 [toolchain]
-channel = "nightly"
+channel = "nightly-2023-10-08"
 components = [ "rustc-dev", "llvm-tools" ]
diff --git a/shell.nix b/shell.nix