bump nightly -> 2023-06-01

.github/workflows/rust.yml

@@ -38,7 +38,7 @@ jobs:
     - uses: actions/checkout@v3
     - uses: actions-rs/toolchain@v1
       with:
-        toolchain: nightly-2023-04-20
+        toolchain: nightly-2023-06-01
         components: cargo, clippy, rustfmt
     - run: rustc -vV
     - run: cargo build

.github/workflows/rust_bors.yml

@@ -27,7 +27,7 @@ jobs:
     - uses: actions/checkout@v3
     - uses: actions-rs/toolchain@v1
       with:
-          toolchain: nightly-2023-04-20
+          toolchain: nightly-2023-06-01
           components: cargo, clippy, rustfmt
     - run: rustc -vV
     - run: cargo build

Cargo.toml

@@ -7,6 +7,7 @@ members = [
     # This is needed for rust-analyzer, uitests and other tools
     "marker_lints",
 ]
+resolver = "2"
 
 [workspace.metadata.marker.lints]
 marker_lints = { path = "marker_lints" }

cargo-marker/src/driver.rs

@@ -21,7 +21,7 @@ use crate::{cli::Flags, ExitStatus};
 /// This is the driver version and toolchain, that is used by the setup command
 /// to install the driver.
 static DEFAULT_DRIVER_INFO: Lazy<RustcDriverInfo> = Lazy::new(|| RustcDriverInfo {
-    toolchain: "nightly-2023-04-20".to_string(),
+    toolchain: "nightly-2023-06-01".to_string(),
     version: "0.1.0".to_string(),
     api_version: "0.1.0".to_string(),
 });

marker_driver_rustc/src/context.rs

@@ -88,27 +88,27 @@ impl<'ast, 'tcx: 'ast> DriverContext<'ast> for RustcContext<'ast, 'tcx> {
             lint,
             id,
             self.rustc_converter.to_span(diag.span),
-            diag.msg(),
+            diag.msg().to_string(),
             |builder| {
                 for part in diag.parts.get() {
                     match part {
                         marker_api::diagnostic::DiagnosticPart::Help { msg } => {
-                            builder.help(msg.get());
+                            builder.help(msg.get().to_string());
                         },
                         marker_api::diagnostic::DiagnosticPart::HelpSpan { msg, span } => {
-                            builder.span_help(self.rustc_converter.to_span(span), msg.get());
+                            builder.span_help(self.rustc_converter.to_span(span), msg.get().to_string());
                         },
                         marker_api::diagnostic::DiagnosticPart::Note { msg } => {
-                            builder.note(msg.get());
+                            builder.note(msg.get().to_string());
                         },
                         marker_api::diagnostic::DiagnosticPart::NoteSpan { msg, span } => {
-                            builder.span_note(self.rustc_converter.to_span(span), msg.get());
+                            builder.span_note(self.rustc_converter.to_span(span), msg.get().to_string());
                         },
                         marker_api::diagnostic::DiagnosticPart::Suggestion { msg, span, sugg, app } => {
                             builder.span_suggestion(
                                 self.rustc_converter.to_span(span),
-                                msg.get(),
-                                sugg.get(),
+                                msg.get().to_string(),
+                                sugg.get().to_string(),
                                 self.rustc_converter.to_applicability(*app),
                             );
                         },

marker_driver_rustc/src/conversion/marker/expr.rs

@@ -292,6 +292,10 @@ impl<'ast, 'tcx> MarkerConverterInner<'ast, 'tcx> {
                     StrLitData::Bytes(self.alloc_slice(bytes.iter().copied()).into()),
                 )
             })),
+            // Still unstable see: https://github.com/rust-lang/rust/issues/105723
+            rustc_ast::LitKind::CStr(_, _) => {
+                ExprKind::Unstable(self.alloc(UnstableExpr::new(data, ExprPrecedence::Lit)))
+            },
             rustc_ast::LitKind::Byte(value) => {
                 ExprKind::IntLit(self.alloc(IntLitExpr::new(data, u128::from(*value), None)))
             },

marker_driver_rustc/src/main.rs

@@ -40,7 +40,7 @@ use std::ops::Deref;
 use std::path::{Path, PathBuf};
 use std::process::{exit, Command};
 
-const RUSTC_TOOLCHAIN_VERSION: &str = "nightly-2023-04-20";
+const RUSTC_TOOLCHAIN_VERSION: &str = "nightly-2023-06-01";
 
 struct DefaultCallbacks;
 impl rustc_driver::Callbacks for DefaultCallbacks {}

rust-toolchain

@@ -1,4 +1,4 @@
 [toolchain]
-channel = "nightly-2023-04-20"
+channel = "nightly-2023-06-01"
 components = ["cargo", "llvm-tools-preview", "rust-src", "rust-std", "rustc", "rustc-dev", "rustfmt"]
 # This has to be synced with the toolchain in `github/workflows`

util/update-toolchain.sh

@@ -2,7 +2,7 @@
 
 if [[ $1 == nightly-????-??-?? ]]
 then
-    sed -i "s/nightly-2023-04-20/$1/g" ./marker_driver_rustc/src/main.rs ./rust-toolchain .github/workflows/* ./util/update-toolchain.sh cargo-marker/src/driver.rs
+    sed -i "s/nightly-2023-06-01/$1/g" ./marker_driver_rustc/src/main.rs ./rust-toolchain .github/workflows/* ./util/update-toolchain.sh cargo-marker/src/driver.rs
 else
     echo "Please enter a valid toolchain like \`nightly-2022-01-01\`"
 fi;