Pin toolchain to 2023-06-19

mmarx · mmarx · commit 99e3656ceee9 · 2023-06-20T21:18:33.000+02:00
Work around a bug in `rustc-2023-06-19`: rust-lang/rust#112831
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -1,3 +1,3 @@
 [toolchain]
-channel = "nightly"
+channel = "nightly-2023-06-19"
 components = [ "rustfmt", "clippy", "rust-docs", "miri" ]
