[INFO] cloning repository https://github.com/tenzinhl/verust-analyzer-example [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tenzinhl/verust-analyzer-example" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftenzinhl%2Fverust-analyzer-example", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftenzinhl%2Fverust-analyzer-example'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 7f351f160f59b1288ff4de8041650e15c63c0609 [INFO] testing tenzinhl/verust-analyzer-example against try#b83b707f97d809763b7861afa7638871f3339a33 for pr-145838-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftenzinhl%2Fverust-analyzer-example" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/tenzinhl/verust-analyzer-example [INFO] finished tweaking git repo https://github.com/tenzinhl/verust-analyzer-example [INFO] tweaked toml for git repo https://github.com/tenzinhl/verust-analyzer-example written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/tenzinhl/verust-analyzer-example on toolchain b83b707f97d809763b7861afa7638871f3339a33 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/tenzinhl/verust-analyzer-example already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] b1f4d0455574b614b78658220ce1a70b54b3f5b5cdd5022727ef5d044f7241dd [INFO] running `Command { std: "docker" "start" "-a" "b1f4d0455574b614b78658220ce1a70b54b3f5b5cdd5022727ef5d044f7241dd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "b1f4d0455574b614b78658220ce1a70b54b3f5b5cdd5022727ef5d044f7241dd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b1f4d0455574b614b78658220ce1a70b54b3f5b5cdd5022727ef5d044f7241dd", kill_on_drop: false }` [INFO] [stdout] b1f4d0455574b614b78658220ce1a70b54b3f5b5cdd5022727ef5d044f7241dd [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9d839ef7da74699003f57227ae74928a05e17b59e970fbae8c52b3437b3bb70f [INFO] running `Command { std: "docker" "start" "-a" "9d839ef7da74699003f57227ae74928a05e17b59e970fbae8c52b3437b3bb70f", kill_on_drop: false }` [INFO] [stderr] Compiling verust-analyzer-setup v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0583]: file not found for module `pervasive` [INFO] [stdout] --> src/main.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | mod pervasive; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: to create the module `pervasive`, create file "src/pervasive.rs" or "src/pervasive/mod.rs" [INFO] [stdout] = note: if there is a `mod pervasive` elsewhere in the crate already, import it with `use crate::...` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `crate::coordination_layer::MsgHistory_v::MsgHistory`, `crate::coordination_layer::MsgHistory_v::KeyedMessage` [INFO] [stdout] --> src/coordination_layer/CoordinationSystem_v.rs:16:47 [INFO] [stdout] | [INFO] [stdout] 16 | use crate::coordination_layer::MsgHistory_v::{MsgHistory, KeyedMessage}; [INFO] [stdout] | ^^^^^^^^^^ ^^^^^^^^^^^^ no `KeyedMessage` in `coordination_layer::MsgHistory_v` [INFO] [stdout] | | [INFO] [stdout] | no `MsgHistory` in `coordination_layer::MsgHistory_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `crate::coordination_layer::AbstractJournal_v::AbstractJournal` [INFO] [stdout] --> src/coordination_layer/CoordinationSystemRefinement_v.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | use crate::coordination_layer::AbstractJournal_v::AbstractJournal; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `AbstractJournal` in `coordination_layer::AbstractJournal_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `crate::coordination_layer::MsgHistory_v::MsgHistory`, `crate::coordination_layer::MsgHistory_v::KeyedMessage` [INFO] [stdout] --> src/coordination_layer/CoordinationSystemRefinement_v.rs:24:47 [INFO] [stdout] | [INFO] [stdout] 24 | use crate::coordination_layer::MsgHistory_v::{MsgHistory, KeyedMessage}; [INFO] [stdout] | ^^^^^^^^^^ ^^^^^^^^^^^^ no `KeyedMessage` in `coordination_layer::MsgHistory_v` [INFO] [stdout] | | [INFO] [stdout] | no `MsgHistory` in `coordination_layer::MsgHistory_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/coordination_layer/StampedMap_v.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/coordination_layer/StampedMap_v.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/coordination_layer/MsgHistory_v.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/coordination_layer/MsgHistory_v.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/coordination_layer/AbstractJournal_v.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/coordination_layer/AbstractJournal_v.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `state_machines_macros` [INFO] [stdout] --> src/coordination_layer/AbstractJournal_v.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use state_machines_macros::state_machine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `state_machines_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `state_machines_macros`, use `cargo add state_machines_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/coordination_layer/AbstractMap_v.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/coordination_layer/AbstractMap_v.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `state_machines_macros` [INFO] [stdout] --> src/coordination_layer/AbstractMap_v.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use state_machines_macros::state_machine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `state_machines_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `state_machines_macros`, use `cargo add state_machines_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/coordination_layer/CrashTolerantJournal_v.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/coordination_layer/CrashTolerantJournal_v.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `state_machines_macros` [INFO] [stdout] --> src/coordination_layer/CrashTolerantJournal_v.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use state_machines_macros::state_machine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `state_machines_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `state_machines_macros`, use `cargo add state_machines_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/coordination_layer/CrashTolerantMap_v.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/coordination_layer/CrashTolerantMap_v.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `state_machines_macros` [INFO] [stdout] --> src/coordination_layer/CrashTolerantMap_v.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use state_machines_macros::state_machine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `state_machines_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `state_machines_macros`, use `cargo add state_machines_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/coordination_layer/CoordinationSystem_v.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/coordination_layer/CoordinationSystem_v.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `state_machines_macros` [INFO] [stdout] --> src/coordination_layer/CoordinationSystem_v.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use state_machines_macros::state_machine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `state_machines_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `state_machines_macros`, use `cargo add state_machines_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/coordination_layer/CoordinationSystemRefinement_v.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/coordination_layer/CoordinationSystemRefinement_v.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `state_machines_macros` [INFO] [stdout] --> src/coordination_layer/CoordinationSystemRefinement_v.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use state_machines_macros::state_machine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `state_machines_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `state_machines_macros`, use `cargo add state_machines_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/betree/Buffers_v.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/betree/Buffers_v.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/betree/Memtable_v.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/betree/Memtable_v.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/betree/PagedBetree_v.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/betree/PagedBetree_v.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/spec/Option_t.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/spec/Option_t.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/spec/FloatingSeq_t.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/spec/FloatingSeq_t.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/spec/MapSpec_t.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/spec/MapSpec_t.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `state_machines_macros` [INFO] [stdout] --> src/spec/MapSpec_t.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use state_machines_macros::state_machine; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `state_machines_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `state_machines_macros`, use `cargo add state_machines_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/spec/TotalKMMap_t.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/spec/TotalKMMap_t.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin` [INFO] [stdout] --> src/spec/Messages_t.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use builtin::*; [INFO] [stdout] | ^^^^^^^ use of unresolved module or unlinked crate `builtin` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin`, use `cargo add builtin` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `builtin_macros` [INFO] [stdout] --> src/spec/Messages_t.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use builtin_macros::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `builtin_macros` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `builtin_macros`, use `cargo add builtin_macros` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/coordination_layer/StampedMap_v.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | verus! { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/coordination_layer/MsgHistory_v.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | verus! { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/coordination_layer/AbstractJournal_v.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | verus! { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/coordination_layer/AbstractMap_v.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | verus! { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/coordination_layer/CrashTolerantJournal_v.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | verus! { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/coordination_layer/CrashTolerantMap_v.rs:16:1 [INFO] [stdout] | [INFO] [stdout] 16 | verus! { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/coordination_layer/CoordinationSystem_v.rs:21:1 [INFO] [stdout] | [INFO] [stdout] 21 | verus! { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/coordination_layer/CoordinationSystemRefinement_v.rs:26:1 [INFO] [stdout] | [INFO] [stdout] 26 | verus! { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/betree/Buffers_v.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | verus! { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/betree/Memtable_v.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | verus! { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/betree/PagedBetree_v.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | verus! { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/spec/Option_t.rs:5:1 [INFO] [stdout] | [INFO] [stdout] 5 | verus!{ [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/spec/FloatingSeq_t.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | verus!{ [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/spec/MapSpec_t.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | verus! { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/spec/TotalKMMap_t.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | verus!{ [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/spec/Messages_t.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | verus! { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `verus` in this scope [INFO] [stdout] --> src/main.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | verus! { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::coordination_layer::StampedMap_v::*` [INFO] [stdout] --> src/coordination_layer/AbstractJournal_v.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::coordination_layer::StampedMap_v::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::coordination_layer::MsgHistory_v::*` [INFO] [stdout] --> src/coordination_layer/AbstractJournal_v.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::coordination_layer::MsgHistory_v::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::spec::Messages_t::*` [INFO] [stdout] --> src/coordination_layer/AbstractMap_v.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::spec::Messages_t::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::spec::TotalKMMap_t::*` [INFO] [stdout] --> src/coordination_layer/AbstractMap_v.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use crate::spec::TotalKMMap_t::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::coordination_layer::StampedMap_v::*` [INFO] [stdout] --> src/coordination_layer/AbstractMap_v.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::coordination_layer::StampedMap_v::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `verust-analyzer-setup` (bin "verust-analyzer-setup") due to 60 previous errors; 16 warnings emitted [INFO] [stdout] warning: unused import: `crate::coordination_layer::MsgHistory_v::*` [INFO] [stdout] --> src/coordination_layer/AbstractMap_v.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use crate::coordination_layer::MsgHistory_v::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::spec::Option_t::*` [INFO] [stdout] --> src/coordination_layer/CrashTolerantJournal_v.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use crate::spec::Option_t::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::coordination_layer::StampedMap_v::*` [INFO] [stdout] --> src/coordination_layer/CrashTolerantJournal_v.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::coordination_layer::StampedMap_v::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::coordination_layer::MsgHistory_v::*` [INFO] [stdout] --> src/coordination_layer/CrashTolerantJournal_v.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use crate::coordination_layer::MsgHistory_v::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::coordination_layer::AbstractJournal_v::*` [INFO] [stdout] --> src/coordination_layer/CrashTolerantJournal_v.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use crate::coordination_layer::AbstractJournal_v::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::spec::Option_t::*` [INFO] [stdout] --> src/coordination_layer/CrashTolerantMap_v.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use crate::spec::Option_t::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::spec::TotalKMMap_t::*` [INFO] [stdout] --> src/coordination_layer/CrashTolerantMap_v.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::spec::TotalKMMap_t::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::spec::Messages_t::*` [INFO] [stdout] --> src/coordination_layer/CrashTolerantMap_v.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use crate::spec::Messages_t::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::coordination_layer::StampedMap_v::*` [INFO] [stdout] --> src/coordination_layer/CrashTolerantMap_v.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use crate::coordination_layer::StampedMap_v::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::coordination_layer::MsgHistory_v::*` [INFO] [stdout] --> src/coordination_layer/CrashTolerantMap_v.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use crate::coordination_layer::MsgHistory_v::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::coordination_layer::AbstractMap_v::*` [INFO] [stdout] --> src/coordination_layer/CrashTolerantMap_v.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use crate::coordination_layer::AbstractMap_v::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0583. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "9d839ef7da74699003f57227ae74928a05e17b59e970fbae8c52b3437b3bb70f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9d839ef7da74699003f57227ae74928a05e17b59e970fbae8c52b3437b3bb70f", kill_on_drop: false }` [INFO] [stdout] 9d839ef7da74699003f57227ae74928a05e17b59e970fbae8c52b3437b3bb70f