change rustc version

kaist-cp · Aug 30, 2021 · 3ce3770 · 3ce3770
1 parent 077cde2
commit 3ce3770
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/kernel-rs/src/lib.rs b/kernel-rs/src/lib.rs
@@ -25,6 +25,8 @@
 #![deny(unused_results)]
 #![deny(variant_size_differences)]
 #![deny(warnings)]
+// TODO(https://github.com/kaist-cp/rv6/issues/579):
+// remove this and upgrade to rustc 1.56.0-nightly once the problem is resolved.
 #![feature(const_fn_union)]
 //
 // # The following lints should not be denied.

diff --git a/rust-toolchain b/rust-toolchain
@@ -1 +1 @@
-nightly-2021-08-18
+nightly-2021-06-19