Fix for asterinas

Author: rikosellic

source/rust_verify/src/attributes.rs

@@ -1425,4 +1425,7 @@ pub const RUSTC_ATTRS_OK_TO_IGNORE: &[&str] = &[
     "rustc_insignificant_dtor",
     // Boxes
     "rustc_box",
+    // Support for separate definition of struct type and member methods
+    "rustc_has_incoherent_inherent_impls",
+    "rustc_allow_incoherent_impl",
 ];

tools/vargo/src/context.rs

@@ -69,7 +69,7 @@ fn get_rust_toolchain(
 
     if !in_nextest {
         let active_toolchain_re =
-            Regex::new(r"^(([A-Za-z0-9.-]+)-(?:aarch64|x86_64)-[A-Za-z0-9]+-[A-Za-z0-9-]+)")
+            Regex::new(r"^(([A-Za-z0-9.-]+)-(?:aarch64|x86_64)-[A-Za-z0-9]+-[A-Za-z0-9-]+) \((?:overridden|environment override) by '?(.*)'?\)")
                 .unwrap();
 
         let rustup_output = run_rustup_toolchain()?;