[INFO] fetching crate verus_builtin_macros 0.0.0-2026-05-10-0145...
[INFO] testing verus_builtin_macros-0.0.0-2026-05-10-0145 against try#33835004928d3bf65db4d4712e1330766263b0bd for pr-155739-1
[INFO] extracting crate verus_builtin_macros 0.0.0-2026-05-10-0145 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate verus_builtin_macros 0.0.0-2026-05-10-0145
[INFO] finished tweaking crates.io crate verus_builtin_macros 0.0.0-2026-05-10-0145
[INFO] tweaked toml for crates.io crate verus_builtin_macros 0.0.0-2026-05-10-0145 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate verus_builtin_macros 0.0.0-2026-05-10-0145 on toolchain 33835004928d3bf65db4d4712e1330766263b0bd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate verus_builtin_macros 0.0.0-2026-05-10-0145 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" "+33835004928d3bf65db4d4712e1330766263b0bd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 127d261ecd2f8311b8f0bca8df82bb324c9df2d01f1b694a7861502f4eff44de
[INFO] running `Command { std: "docker" "start" "-a" "127d261ecd2f8311b8f0bca8df82bb324c9df2d01f1b694a7861502f4eff44de", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "127d261ecd2f8311b8f0bca8df82bb324c9df2d01f1b694a7861502f4eff44de", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "127d261ecd2f8311b8f0bca8df82bb324c9df2d01f1b694a7861502f4eff44de", kill_on_drop: false }`
[INFO] [stdout] 127d261ecd2f8311b8f0bca8df82bb324c9df2d01f1b694a7861502f4eff44de
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 14f29e28b000939e76801925e38e863538a5f75ee3b2f5d6d4fdf95e588f2150
[INFO] running `Command { std: "docker" "start" "-a" "14f29e28b000939e76801925e38e863538a5f75ee3b2f5d6d4fdf95e588f2150", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling verus_prettyplease v0.0.0-2026-05-10-0145
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.101
[INFO] [stderr]    Compiling verus_syn v0.0.0-2026-05-10-0145
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling verus_builtin_macros v0.0.0-2026-05-10-0145 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 14.89s
[INFO] running `Command { std: "docker" "inspect" "14f29e28b000939e76801925e38e863538a5f75ee3b2f5d6d4fdf95e588f2150", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "14f29e28b000939e76801925e38e863538a5f75ee3b2f5d6d4fdf95e588f2150", kill_on_drop: false }`
[INFO] [stdout] 14f29e28b000939e76801925e38e863538a5f75ee3b2f5d6d4fdf95e588f2150
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] fcc4d676c15398915c8ee1d9e81bbce2f667db50140e1b05995786712994bff2
[INFO] running `Command { std: "docker" "start" "-a" "fcc4d676c15398915c8ee1d9e81bbce2f667db50140e1b05995786712994bff2", kill_on_drop: false }`
[INFO] [stderr]    Compiling verus_builtin_macros v0.0.0-2026-05-10-0145 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 4.22s
[INFO] running `Command { std: "docker" "inspect" "fcc4d676c15398915c8ee1d9e81bbce2f667db50140e1b05995786712994bff2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fcc4d676c15398915c8ee1d9e81bbce2f667db50140e1b05995786712994bff2", kill_on_drop: false }`
[INFO] [stdout] fcc4d676c15398915c8ee1d9e81bbce2f667db50140e1b05995786712994bff2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 750d3f31beff2558724250624eb0c2cba360d6067aaad5c7f475187b6c2016dd
[INFO] running `Command { std: "docker" "start" "-a" "750d3f31beff2558724250624eb0c2cba360d6067aaad5c7f475187b6c2016dd", kill_on_drop: false }`
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/verus_builtin_macros-d30dcaa11d08c905)
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests verus_builtin_macros
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test src/lib.rs - exec_spec_verified (line 586) ... ignored
[INFO] [stdout] test src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 858) ... FAILED
[INFO] [stdout] test src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 853) ... FAILED
[INFO] [stdout] test src/lib.rs - set_build (line 433) ... FAILED
[INFO] [stdout] test src/lib.rs - set_build (line 477) ... FAILED
[INFO] [stdout] test src/lib.rs - set_build (line 526) ... FAILED
[INFO] [stdout] test src/lib.rs - set_build (line 490) ... FAILED
[INFO] [stdout] test src/lib.rs - set_build (line 470) ... FAILED
[INFO] [stdout] test src/contrib/spec_derive.rs - contrib::spec_derive::self_view (line 504) ... FAILED
[INFO] [stdout] test src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 836) ... FAILED
[INFO] [stdout] test src/lib.rs - set_build (line 445) ... FAILED
[INFO] [stdout] test src/unerased_proxies.rs - unerased_proxies (line 52) ... FAILED
[INFO] [stdout] test src/lib.rs - set_build (line 452) ... FAILED
[INFO] [stdout] test src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 842) ... FAILED
[INFO] [stdout] test src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 828) ... FAILED
[INFO] [stdout] test src/lib.rs - set_build (line 484) ... FAILED
[INFO] [stdout] test src/unerased_proxies.rs - unerased_proxies (line 43) ... FAILED
[INFO] [stdout] test src/unerased_proxies.rs - unerased_proxies (line 26) ... FAILED
[INFO] [stdout] test src/contrib/spec_derive.rs - contrib::spec_derive::make_spec_type (line 26) ... FAILED
[INFO] [stdout] test src/lib.rs - set_build (line 459) ... FAILED
[INFO] [stdout] test src/unerased_proxies.rs - unerased_proxies (line 17) ... FAILED
[INFO] [stdout] test src/lib.rs - set_build (line 464) ... FAILED
[INFO] [stdout] test src/lib.rs - set_build (line 536) ... FAILED
[INFO] [stdout] test src/lib.rs - set_build (line 510) ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 858) stdout ----
[INFO] [stdout] error: expected item, found keyword `let`
[INFO] [stdout]    --> src/attr_rewrite.rs:859:1
[INFO] [stdout]     |
[INFO] [stdout] 859 | let tracked mut out;
[INFO] [stdout]     | ^^^
[INFO] [stdout]     | |
[INFO] [stdout]     | `let` cannot be used for global variables
[INFO] [stdout]     | help: consider using `static` or `const` instead of `let`
[INFO] [stdout]     |
[INFO] [stdout]     = note: for a full list of items that can appear in modules, see <https://doc.rust-lang.org/reference/items.html>
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 853) stdout ----
[INFO] [stdout] error: cannot find attribute `verus_spec` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:854:3
[INFO] [stdout]     |
[INFO] [stdout] 854 | #[verus_spec(with Tracked(arg1), Ghost(arg2) -> Tracked(out) |= Tracked(extra))]
[INFO] [stdout]     |   ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this attribute macro
[INFO] [stdout]     |
[INFO] [stdout] 853 + use verus_builtin_macros::verus_spec;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `arg0` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:855:17
[INFO] [stdout]     |
[INFO] [stdout] 855 | let out0 = call(arg0);
[INFO] [stdout]     |                 ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `call` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:855:12
[INFO] [stdout]     |
[INFO] [stdout] 855 | let out0 = call(arg0);
[INFO] [stdout]     |            ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 3 previous errors
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0425`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - set_build (line 433) stdout ----
[INFO] [stdout] error: expected one of `!` or `::`, found keyword `fn`
[INFO] [stdout]    --> src/lib.rs:434:7
[INFO] [stdout]     |
[INFO] [stdout] 434 | proof fn test() {
[INFO] [stdout]     |       ^^ expected one of `!` or `::`
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - set_build (line 477) stdout ----
[INFO] [stdout] error: expected one of `!`, `)`, `,`, `.`, `::`, `?`, `{`, or an operator, found `:`
[INFO] [stdout]    --> src/lib.rs:478:16
[INFO] [stdout]     |
[INFO] [stdout] 478 | assert(forall|p: (u8, u8)| s1.contains(p) <==> p.0 == p.1 && p.0 < 100); // FAILS
[INFO] [stdout]     |                ^ expected one of 8 possible tokens
[INFO] [stdout] 
[INFO] [stdout] error: expected one of `!`, `)`, `,`, `.`, `::`, `?`, `{`, or an operator, found `:`
[INFO] [stdout]    --> src/lib.rs:479:16
[INFO] [stdout]     |
[INFO] [stdout] 479 | assert(forall|p: (u8, u8)| s2.contains(p) <==> p.0 == p.1 && p.0 < 100);
[INFO] [stdout]     |                ^ expected one of 8 possible tokens
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - set_build (line 526) stdout ----
[INFO] [stdout] error: cannot find macro `set_build` in this scope
[INFO] [stdout]    --> src/lib.rs:527:9
[INFO] [stdout]     |
[INFO] [stdout] 527 | let s = set_build!{ (x, y, y - x): (int, int, int) | x: int in 10..20, y: int in x..20, x + y != 25 };
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]     |
[INFO] [stdout] 526 + use verus_builtin_macros::set_build;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error[E0423]: expected function, found macro `assert`
[INFO] [stdout]    --> src/lib.rs:528:1
[INFO] [stdout]     |
[INFO] [stdout] 528 | assert(s.contains((12, 14, 2)));
[INFO] [stdout]     | ^^^^^^ not a function
[INFO] [stdout]     |
[INFO] [stdout] help: use `!` to invoke the macro
[INFO] [stdout]     |
[INFO] [stdout] 528 | assert!(s.contains((12, 14, 2)));
[INFO] [stdout]     |       +
[INFO] [stdout] 
[INFO] [stdout] error[E0423]: expected function, found macro `assert`
[INFO] [stdout]    --> src/lib.rs:529:1
[INFO] [stdout]     |
[INFO] [stdout] 529 | assert(!s.contains((14, 12, 2))); // because y = 12 is not in 14..20
[INFO] [stdout]     | ^^^^^^ not a function
[INFO] [stdout]     |
[INFO] [stdout] help: use `!` to invoke the macro
[INFO] [stdout]     |
[INFO] [stdout] 529 | assert!(!s.contains((14, 12, 2))); // because y = 12 is not in 14..20
[INFO] [stdout]     |       +
[INFO] [stdout] 
[INFO] [stdout] error[E0423]: expected function, found macro `assert`
[INFO] [stdout]    --> src/lib.rs:530:1
[INFO] [stdout]     |
[INFO] [stdout] 530 | assert(s.contains((10, 13, 3)));
[INFO] [stdout]     | ^^^^^^ not a function
[INFO] [stdout]     |
[INFO] [stdout] help: use `!` to invoke the macro
[INFO] [stdout]     |
[INFO] [stdout] 530 | assert!(s.contains((10, 13, 3)));
[INFO] [stdout]     |       +
[INFO] [stdout] 
[INFO] [stdout] error[E0423]: expected function, found macro `assert`
[INFO] [stdout]    --> src/lib.rs:531:1
[INFO] [stdout]     |
[INFO] [stdout] 531 | assert(s.contains((10, 14, 4)));
[INFO] [stdout]     | ^^^^^^ not a function
[INFO] [stdout]     |
[INFO] [stdout] help: use `!` to invoke the macro
[INFO] [stdout]     |
[INFO] [stdout] 531 | assert!(s.contains((10, 14, 4)));
[INFO] [stdout]     |       +
[INFO] [stdout] 
[INFO] [stdout] error[E0423]: expected function, found macro `assert`
[INFO] [stdout]    --> src/lib.rs:532:1
[INFO] [stdout]     |
[INFO] [stdout] 532 | assert(!s.contains((10, 15, 5))); // because of x + y != 25
[INFO] [stdout]     | ^^^^^^ not a function
[INFO] [stdout]     |
[INFO] [stdout] help: use `!` to invoke the macro
[INFO] [stdout]     |
[INFO] [stdout] 532 | assert!(!s.contains((10, 15, 5))); // because of x + y != 25
[INFO] [stdout]     |       +
[INFO] [stdout] 
[INFO] [stdout] error[E0423]: expected function, found macro `assert`
[INFO] [stdout]    --> src/lib.rs:533:1
[INFO] [stdout]     |
[INFO] [stdout] 533 | assert(s.contains((10, 16, 6)));
[INFO] [stdout]     | ^^^^^^ not a function
[INFO] [stdout]     |
[INFO] [stdout] help: use `!` to invoke the macro
[INFO] [stdout]     |
[INFO] [stdout] 533 | assert!(s.contains((10, 16, 6)));
[INFO] [stdout]     |       +
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 7 previous errors
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0423`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - set_build (line 490) stdout ----
[INFO] [stdout] error: expected one of `!` or `::`, found keyword `fn`
[INFO] [stdout]    --> src/lib.rs:496:7
[INFO] [stdout]     |
[INFO] [stdout] 496 | proof fn test() {
[INFO] [stdout]     |       ^^ expected one of `!` or `::`
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - set_build (line 470) stdout ----
[INFO] [stdout] error[E0433]: cannot find type `Set` in this scope
[INFO] [stdout]    --> src/lib.rs:471:1
[INFO] [stdout]     |
[INFO] [stdout] 471 | Set::<u8>::from_finite_type(|x: u8| true)
[INFO] [stdout]     | ^^^ use of undeclared type `Set`
[INFO] [stdout]     |
[INFO] [stdout] help: there is an enum variant `verus_syn::InvariantNameSet::Set`; try using the variant's enum
[INFO] [stdout]     |
[INFO] [stdout] 471 | verus_syn::InvariantNameSet::<u8>::from_finite_type(|x: u8| true)
[INFO] [stdout]     | ++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/contrib/spec_derive.rs - contrib::spec_derive::self_view (line 504) stdout ----
[INFO] [stdout] error: cannot find attribute `self_view` in this scope
[INFO] [stdout]    --> src/contrib/spec_derive.rs:505:3
[INFO] [stdout]     |
[INFO] [stdout] 505 | #[self_view]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this attribute macro
[INFO] [stdout]     |
[INFO] [stdout] 504 + use verus_builtin_macros::self_view;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 836) stdout ----
[INFO] [stdout] error[E0658]: attributes on expressions are experimental
[INFO] [stdout]    --> src/attr_rewrite.rs:837:4
[INFO] [stdout]     |
[INFO] [stdout] 837 | if #[verus_io(with Tracked(arg1), Ghost(arg2) -> Tracked(out) |= Tracked(extra))]
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: see issue #15701 <https://github.com/rust-lang/rust/issues/15701> for more information
[INFO] [stdout]     = help: add `#![feature(stmt_expr_attributes)]` to the crate attributes to enable
[INFO] [stdout]     = note: this compiler was built on 2026-04-24; consider upgrading it if it is out of date
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `verus_io` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:837:6
[INFO] [stdout]     |
[INFO] [stdout] 837 | if #[verus_io(with Tracked(arg1), Ghost(arg2) -> Tracked(out) |= Tracked(extra))]
[INFO] [stdout]     |      ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `arg0` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:838:6
[INFO] [stdout]     |
[INFO] [stdout] 838 | call(arg0) == something {
[INFO] [stdout]     |      ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `something` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:838:15
[INFO] [stdout]     |
[INFO] [stdout] 838 | call(arg0) == something {
[INFO] [stdout]     |               ^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `call` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:838:1
[INFO] [stdout]     |
[INFO] [stdout] 838 | call(arg0) == something {
[INFO] [stdout]     | ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 5 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0658.
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - set_build (line 445) stdout ----
[INFO] [stdout] error: expected identifier, found `:`
[INFO] [stdout]    --> src/lib.rs:447:16
[INFO] [stdout]     |
[INFO] [stdout] 447 | assert(forall|u: u8| s.contains(u) <==> u < 100);
[INFO] [stdout]     |                ^ expected identifier
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `set_build` in this scope
[INFO] [stdout]    --> src/lib.rs:446:18
[INFO] [stdout]     |
[INFO] [stdout] 446 | let s: Set<u8> = set_build!{ x: u8, x < 100 };
[INFO] [stdout]     |                  ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]     |
[INFO] [stdout] 445 + use verus_builtin_macros::set_build;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Set` in this scope
[INFO] [stdout]    --> src/lib.rs:446:8
[INFO] [stdout]     |
[INFO] [stdout] 446 | let s: Set<u8> = set_build!{ x: u8, x < 100 };
[INFO] [stdout]     |        ^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: there is an enum variant `verus_syn::InvariantNameSet::Set`; try using the variant's enum
[INFO] [stdout]     |
[INFO] [stdout] 446 - let s: Set<u8> = set_build!{ x: u8, x < 100 };
[INFO] [stdout] 446 + let s: verus_syn::InvariantNameSet = set_build!{ x: u8, x < 100 };
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 3 previous errors
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0425`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/unerased_proxies.rs - unerased_proxies (line 52) stdout ----
[INFO] [stdout] error: return types are denoted using `->`
[INFO] [stdout]   --> src/unerased_proxies.rs:54:35
[INFO] [stdout]    |
[INFO] [stdout] 54 | fn VERUS_UNERASED_PROXY__x(t: u64): u64 = {
[INFO] [stdout]    |                                   ^
[INFO] [stdout]    |
[INFO] [stdout] help: use `->` instead
[INFO] [stdout]    |
[INFO] [stdout] 54 - fn VERUS_UNERASED_PROXY__x(t: u64): u64 = {
[INFO] [stdout] 54 + fn VERUS_UNERASED_PROXY__x(t: u64) -> u64 = {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error: expected `;`, found `#`
[INFO] [stdout]   --> src/unerased_proxies.rs:57:2
[INFO] [stdout]    |
[INFO] [stdout] 57 | }
[INFO] [stdout]    |  ^ help: add `;` here
[INFO] [stdout] 58 |
[INFO] [stdout] 59 | #[verifier::external]
[INFO] [stdout]    | - unexpected token
[INFO] [stdout] 
[INFO] [stdout] error: function body cannot be `= expression;`
[INFO] [stdout]   --> src/unerased_proxies.rs:54:41
[INFO] [stdout]    |
[INFO] [stdout] 54 |   fn VERUS_UNERASED_PROXY__x(t: u64): u64 = {
[INFO] [stdout]    |  _________________________________________^
[INFO] [stdout] 55 | |     assert(true);
[INFO] [stdout] 56 | |     x
[INFO] [stdout] 57 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout]    |
[INFO] [stdout] help: surround the expression with `{` and `}` instead of `=` and `;`
[INFO] [stdout]    |
[INFO] [stdout] 54 ~ fn VERUS_UNERASED_PROXY__x(t: u64): u64 { {
[INFO] [stdout] 55 |     assert(true);
[INFO] [stdout] 56 |     x
[INFO] [stdout] 57 ~  }
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error: return types are denoted using `->`
[INFO] [stdout]   --> src/unerased_proxies.rs:61:19
[INFO] [stdout]    |
[INFO] [stdout] 61 | const fn x(t: u64): u64 = {
[INFO] [stdout]    |                   ^
[INFO] [stdout]    |
[INFO] [stdout] help: use `->` instead
[INFO] [stdout]    |
[INFO] [stdout] 61 - const fn x(t: u64): u64 = {
[INFO] [stdout] 61 + const fn x(t: u64) -> u64 = {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error: expected `;`, found `}`
[INFO] [stdout]   --> src/unerased_proxies.rs:63:2
[INFO] [stdout]    |
[INFO] [stdout] 63 | }
[INFO] [stdout]    |  ^ help: add `;` here
[INFO] [stdout] 64 | } _doctest_main_src_unerased_proxies_rs_52_0() }
[INFO] [stdout]    | - unexpected token
[INFO] [stdout] 
[INFO] [stdout] error: function body cannot be `= expression;`
[INFO] [stdout]   --> src/unerased_proxies.rs:61:25
[INFO] [stdout]    |
[INFO] [stdout] 61 |   const fn x(t: u64): u64 = {
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 62 | |     x
[INFO] [stdout] 63 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout]    |
[INFO] [stdout] help: surround the expression with `{` and `}` instead of `=` and `;`
[INFO] [stdout]    |
[INFO] [stdout] 61 ~ const fn x(t: u64): u64 { {
[INFO] [stdout] 62 |     x
[INFO] [stdout] 63 ~  }
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `verifier` in this scope
[INFO] [stdout]   --> src/unerased_proxies.rs:59:3
[INFO] [stdout]    |
[INFO] [stdout] 59 | #[verifier::external]
[INFO] [stdout]    |   ^^^^^^^^ use of unresolved module or unlinked crate `verifier`
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `verus` in this scope
[INFO] [stdout]   --> src/unerased_proxies.rs:60:3
[INFO] [stdout]    |
[INFO] [stdout] 60 | #[verus::internal(has_unerased_proxy)]
[INFO] [stdout]    |   ^^^^^ use of unresolved module or unlinked crate `verus`
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `verus` in this scope
[INFO] [stdout]   --> src/unerased_proxies.rs:53:3
[INFO] [stdout]    |
[INFO] [stdout] 53 | #[verus::internal(unerased_proxy)]
[INFO] [stdout]    |   ^^^^^ use of unresolved module or unlinked crate `verus`
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 9 previous errors
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - set_build (line 452) stdout ----
[INFO] [stdout] error: expected identifier, found `:`
[INFO] [stdout]    --> src/lib.rs:454:16
[INFO] [stdout]     |
[INFO] [stdout] 454 | assert(forall|u: u8| s.contains(u) <==> 10 <= u < 20);
[INFO] [stdout]     |                ^ expected identifier
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `set_build` in this scope
[INFO] [stdout]    --> src/lib.rs:453:18
[INFO] [stdout]     |
[INFO] [stdout] 453 | let s: Set<u8> = set_build!{ x: u8 in 10..20 };
[INFO] [stdout]     |                  ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]     |
[INFO] [stdout] 452 + use verus_builtin_macros::set_build;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Set` in this scope
[INFO] [stdout]    --> src/lib.rs:453:8
[INFO] [stdout]     |
[INFO] [stdout] 453 | let s: Set<u8> = set_build!{ x: u8 in 10..20 };
[INFO] [stdout]     |        ^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: there is an enum variant `verus_syn::InvariantNameSet::Set`; try using the variant's enum
[INFO] [stdout]     |
[INFO] [stdout] 453 - let s: Set<u8> = set_build!{ x: u8 in 10..20 };
[INFO] [stdout] 453 + let s: verus_syn::InvariantNameSet = set_build!{ x: u8 in 10..20 };
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 3 previous errors
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0425`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 842) stdout ----
[INFO] [stdout] error: cannot find macro `proof` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:845:5
[INFO] [stdout]     |
[INFO] [stdout] 845 |     proof!{out = tmp_out.get();}  // Ensuring `out` is properly assigned.
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]     |
[INFO] [stdout] 842 + use verus_builtin_macros::proof;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `arg0` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:844:31
[INFO] [stdout]     |
[INFO] [stdout] 844 |     let (tmp, tmp_out) = call(arg0, Tracked(arg1), Tracked(arg2));
[INFO] [stdout]     |                               ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Tracked` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:844:37
[INFO] [stdout]     |
[INFO] [stdout] 844 |     let (tmp, tmp_out) = call(arg0, Tracked(arg1), Tracked(arg2));
[INFO] [stdout]     |                                     ^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 842 + use verus_syn::DataMode::Tracked;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `arg1` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:844:45
[INFO] [stdout]     |
[INFO] [stdout] 844 |     let (tmp, tmp_out) = call(arg0, Tracked(arg1), Tracked(arg2));
[INFO] [stdout]     |                                             ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Tracked` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:844:52
[INFO] [stdout]     |
[INFO] [stdout] 844 |     let (tmp, tmp_out) = call(arg0, Tracked(arg1), Tracked(arg2));
[INFO] [stdout]     |                                                    ^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 842 + use verus_syn::DataMode::Tracked;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `arg2` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:844:60
[INFO] [stdout]     |
[INFO] [stdout] 844 |     let (tmp, tmp_out) = call(arg0, Tracked(arg1), Tracked(arg2));
[INFO] [stdout]     |                                                            ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Tracked` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:846:11
[INFO] [stdout]     |
[INFO] [stdout] 846 |     (tmp, Tracked(extra))  // Returning the transformed values.
[INFO] [stdout]     |           ^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 842 + use verus_syn::DataMode::Tracked;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `extra` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:846:19
[INFO] [stdout]     |
[INFO] [stdout] 846 |     (tmp, Tracked(extra))  // Returning the transformed values.
[INFO] [stdout]     |                   ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `call` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:844:26
[INFO] [stdout]     |
[INFO] [stdout] 844 |     let (tmp, tmp_out) = call(arg0, Tracked(arg1), Tracked(arg2));
[INFO] [stdout]     |                          ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 9 previous errors
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0425`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 828) stdout ----
[INFO] [stdout] error[E0658]: attributes on expressions are experimental
[INFO] [stdout]    --> src/attr_rewrite.rs:829:2
[INFO] [stdout]     |
[INFO] [stdout] 829 | {#[verus_spec(with ..)] expr};
[INFO] [stdout]     |  ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: see issue #15701 <https://github.com/rust-lang/rust/issues/15701> for more information
[INFO] [stdout]     = help: add `#![feature(stmt_expr_attributes)]` to the crate attributes to enable
[INFO] [stdout]     = note: this compiler was built on 2026-04-24; consider upgrading it if it is out of date
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `verus_spec` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:829:4
[INFO] [stdout]     |
[INFO] [stdout] 829 | {#[verus_spec(with ..)] expr};
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this attribute macro
[INFO] [stdout]     |
[INFO] [stdout] 828 + use verus_builtin_macros::verus_spec;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `expr` in this scope
[INFO] [stdout]    --> src/attr_rewrite.rs:829:25
[INFO] [stdout]     |
[INFO] [stdout] 829 | {#[verus_spec(with ..)] expr};
[INFO] [stdout]     |                         ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 3 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0658.
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - set_build (line 484) stdout ----
[INFO] [stdout] error: `~` cannot be used as a unary operator
[INFO] [stdout]    --> src/lib.rs:485:12
[INFO] [stdout]     |
[INFO] [stdout] 485 | assert(s1 =~= s2);
[INFO] [stdout]     |            ^
[INFO] [stdout]     |
[INFO] [stdout] help: use `!` to perform bitwise not
[INFO] [stdout]     |
[INFO] [stdout] 485 - assert(s1 =~= s2);
[INFO] [stdout] 485 + assert(s1 =!= s2);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error: expected `:`, found `=`
[INFO] [stdout]    --> src/lib.rs:485:11
[INFO] [stdout]     |
[INFO] [stdout] 485 | assert(s1 =~= s2);
[INFO] [stdout]     |           ^
[INFO] [stdout]     |
[INFO] [stdout] help: replace equals symbol with a colon
[INFO] [stdout]     |
[INFO] [stdout] 485 - assert(s1 =~= s2);
[INFO] [stdout] 485 + assert(s1:~= s2);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error: expected expression, found `=`
[INFO] [stdout]    --> src/lib.rs:485:13
[INFO] [stdout]     |
[INFO] [stdout] 485 | assert(s1 =~= s2);
[INFO] [stdout]     |             ^ expected expression
[INFO] [stdout] 
[INFO] [stdout] error: expected one of `!`, `)`, `,`, `.`, `::`, `?`, `{`, or an operator, found `:`
[INFO] [stdout]    --> src/lib.rs:486:16
[INFO] [stdout]     |
[INFO] [stdout] 486 | assert(forall|p: (u8, u8)| s1.contains(p) <==> p.0 == p.1 && p.0 < 100);
[INFO] [stdout]     |                ^ expected one of 8 possible tokens
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 4 previous errors
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/unerased_proxies.rs - unerased_proxies (line 43) stdout ----
[INFO] [stdout] error: return types are denoted using `->`
[INFO] [stdout]   --> src/unerased_proxies.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | const fn x(t: u64): u64 = {
[INFO] [stdout]    |                   ^
[INFO] [stdout]    |
[INFO] [stdout] help: use `->` instead
[INFO] [stdout]    |
[INFO] [stdout] 44 - const fn x(t: u64): u64 = {
[INFO] [stdout] 44 + const fn x(t: u64) -> u64 = {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error: expected `;`, found `}`
[INFO] [stdout]   --> src/unerased_proxies.rs:47:2
[INFO] [stdout]    |
[INFO] [stdout] 47 | }
[INFO] [stdout]    |  ^ help: add `;` here
[INFO] [stdout] 48 | } _doctest_main_src_unerased_proxies_rs_43_0() }
[INFO] [stdout]    | - unexpected token
[INFO] [stdout] 
[INFO] [stdout] error: function body cannot be `= expression;`
[INFO] [stdout]   --> src/unerased_proxies.rs:44:25
[INFO] [stdout]    |
[INFO] [stdout] 44 |   const fn x(t: u64): u64 = {
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 45 | |     assert(true);
[INFO] [stdout] 46 | |     x
[INFO] [stdout] 47 | | }
[INFO] [stdout]    | |_^
[INFO] [stdout]    |
[INFO] [stdout] help: surround the expression with `{` and `}` instead of `=` and `;`
[INFO] [stdout]    |
[INFO] [stdout] 44 ~ const fn x(t: u64): u64 { {
[INFO] [stdout] 45 |     assert(true);
[INFO] [stdout] 46 |     x
[INFO] [stdout] 47 ~  }
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 3 previous errors
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/unerased_proxies.rs - unerased_proxies (line 26) stdout ----
[INFO] [stdout] error[E0433]: cannot find module or crate `verifier` in this scope
[INFO] [stdout]   --> src/unerased_proxies.rs:34:3
[INFO] [stdout]    |
[INFO] [stdout] 34 | #[verifier::external]
[INFO] [stdout]    |   ^^^^^^^^ use of unresolved module or unlinked crate `verifier`
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `verus` in this scope
[INFO] [stdout]   --> src/unerased_proxies.rs:35:3
[INFO] [stdout]    |
[INFO] [stdout] 35 | #[verus::internal(has_unerased_proxy)]
[INFO] [stdout]    |   ^^^^^ use of unresolved module or unlinked crate `verus`
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `verus` in this scope
[INFO] [stdout]   --> src/unerased_proxies.rs:27:3
[INFO] [stdout]    |
[INFO] [stdout] 27 | #[verus::internal(unerased_proxy)]
[INFO] [stdout]    |   ^^^^^ use of unresolved module or unlinked crate `verus`
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `verus` in this scope
[INFO] [stdout]   --> src/unerased_proxies.rs:28:3
[INFO] [stdout]    |
[INFO] [stdout] 28 | #[verus::internal(encoded_const)]
[INFO] [stdout]    |   ^^^^^ use of unresolved module or unlinked crate `verus`
[INFO] [stdout] 
[INFO] [stdout] error[E0423]: expected function, found macro `assert`
[INFO] [stdout]   --> src/unerased_proxies.rs:30:4
[INFO] [stdout]    |
[INFO] [stdout] 30 |    assert(true);
[INFO] [stdout]    |    ^^^^^^ not a function
[INFO] [stdout]    |
[INFO] [stdout] help: use `!` to invoke the macro
[INFO] [stdout]    |
[INFO] [stdout] 30 |    assert!(true);
[INFO] [stdout]    |          +
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 5 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0423, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0423`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/contrib/spec_derive.rs - contrib::spec_derive::make_spec_type (line 26) stdout ----
[INFO] [stdout] error: cannot find attribute `make_spec_type` in this scope
[INFO] [stdout]   --> src/contrib/spec_derive.rs:27:3
[INFO] [stdout]    |
[INFO] [stdout] 27 | #[make_spec_type(exclude(private_field))]
[INFO] [stdout]    |   ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this attribute macro
[INFO] [stdout]    |
[INFO] [stdout] 26 + use verus_builtin_macros::make_spec_type;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error[E0392]: lifetime parameter `'a` is never used
[INFO] [stdout]   --> src/contrib/spec_derive.rs:28:21
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub struct MyStruct<'a> {
[INFO] [stdout]    |                     ^^ unused lifetime parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing `'a`, referring to it in a field, or using a marker such as `PhantomData`
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0392`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - set_build (line 459) stdout ----
[INFO] [stdout] error: cannot find macro `set_build` in this scope
[INFO] [stdout]    --> src/lib.rs:460:25
[INFO] [stdout]     |
[INFO] [stdout] 460 | let s1: Set<(u8, u8)> = set_build!{ (x, x): (u8, u8) | exists x: u8, x < 100 };
[INFO] [stdout]     |                         ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]     |
[INFO] [stdout] 459 + use verus_builtin_macros::set_build;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `set_build` in this scope
[INFO] [stdout]    --> src/lib.rs:461:25
[INFO] [stdout]     |
[INFO] [stdout] 461 | let s2: Set<(u8, u8)> = set_build!{ (x, x): (u8, u8) | x: u8, x < 100 };
[INFO] [stdout]     |                         ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]     |
[INFO] [stdout] 459 + use verus_builtin_macros::set_build;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Set` in this scope
[INFO] [stdout]    --> src/lib.rs:460:9
[INFO] [stdout]     |
[INFO] [stdout] 460 | let s1: Set<(u8, u8)> = set_build!{ (x, x): (u8, u8) | exists x: u8, x < 100 };
[INFO] [stdout]     |         ^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: there is an enum variant `verus_syn::InvariantNameSet::Set`; try using the variant's enum
[INFO] [stdout]     |
[INFO] [stdout] 460 - let s1: Set<(u8, u8)> = set_build!{ (x, x): (u8, u8) | exists x: u8, x < 100 };
[INFO] [stdout] 460 + let s1: verus_syn::InvariantNameSet = set_build!{ (x, x): (u8, u8) | exists x: u8, x < 100 };
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Set` in this scope
[INFO] [stdout]    --> src/lib.rs:461:9
[INFO] [stdout]     |
[INFO] [stdout] 461 | let s2: Set<(u8, u8)> = set_build!{ (x, x): (u8, u8) | x: u8, x < 100 };
[INFO] [stdout]     |         ^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: there is an enum variant `verus_syn::InvariantNameSet::Set`; try using the variant's enum
[INFO] [stdout]     |
[INFO] [stdout] 461 - let s2: Set<(u8, u8)> = set_build!{ (x, x): (u8, u8) | x: u8, x < 100 };
[INFO] [stdout] 461 + let s2: verus_syn::InvariantNameSet = set_build!{ (x, x): (u8, u8) | x: u8, x < 100 };
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 4 previous errors
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0425`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/unerased_proxies.rs - unerased_proxies (line 17) stdout ----
[INFO] [stdout] error[E0423]: expected function, found macro `assert`
[INFO] [stdout]   --> src/unerased_proxies.rs:19:4
[INFO] [stdout]    |
[INFO] [stdout] 19 |    assert(true);
[INFO] [stdout]    |    ^^^^^^ not a function
[INFO] [stdout]    |
[INFO] [stdout] help: use `!` to invoke the macro
[INFO] [stdout]    |
[INFO] [stdout] 19 |    assert!(true);
[INFO] [stdout]    |          +
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0423`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - set_build (line 464) stdout ----
[INFO] [stdout] error[E0433]: cannot find type `Set` in this scope
[INFO] [stdout]    --> src/lib.rs:465:1
[INFO] [stdout]     |
[INFO] [stdout] 465 | Set::<u8>::from_finite_type(|x: u8| true)
[INFO] [stdout]     | ^^^ use of undeclared type `Set`
[INFO] [stdout]     |
[INFO] [stdout] help: there is an enum variant `verus_syn::InvariantNameSet::Set`; try using the variant's enum
[INFO] [stdout]     |
[INFO] [stdout] 465 | verus_syn::InvariantNameSet::<u8>::from_finite_type(|x: u8| true)
[INFO] [stdout]     | ++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - set_build (line 536) stdout ----
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:537:7
[INFO] [stdout]     |
[INFO] [stdout] 537 | Set::<int>::range(10, 20)
[INFO] [stdout]     |       ^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: perhaps you intended to use this type
[INFO] [stdout]     |
[INFO] [stdout] 537 - Set::<int>::range(10, 20)
[INFO] [stdout] 537 + Set::<i32>::range(10, 20)
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 536 | fn main() { #[allow(non_snake_case)] fn _doctest_main_src_lib_rs_536_0<int>() {
[INFO] [stdout]     |                                                                       +++++
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:539:21
[INFO] [stdout]     |
[INFO] [stdout] 539 |         |__VERUS_x: int| {
[INFO] [stdout]     |                     ^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     not found in this scope
[INFO] [stdout]     |                     help: perhaps you intended to use this type: `i32`
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:541:19
[INFO] [stdout]     |
[INFO] [stdout] 541 |             Set::<int>::range(x, 20)
[INFO] [stdout]     |                   ^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: perhaps you intended to use this type
[INFO] [stdout]     |
[INFO] [stdout] 541 -             Set::<int>::range(x, 20)
[INFO] [stdout] 541 +             Set::<i32>::range(x, 20)
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 536 | fn main() { #[allow(non_snake_case)] fn _doctest_main_src_lib_rs_536_0<int>() {
[INFO] [stdout]     |                                                                       +++++
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:542:29
[INFO] [stdout]     |
[INFO] [stdout] 542 |                 .filter(|y: int| (x + y != 25))
[INFO] [stdout]     |                             ^^^
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             not found in this scope
[INFO] [stdout]     |                             help: perhaps you intended to use this type: `i32`
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:544:25
[INFO] [stdout]     |
[INFO] [stdout] 544 |                     |y: int| ((x, y, y - x)),
[INFO] [stdout]     |                         ^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         not found in this scope
[INFO] [stdout]     |                         help: perhaps you intended to use this type: `i32`
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:545:34
[INFO] [stdout]     |
[INFO] [stdout] 545 |                     |__VERUS_x: (int, int, int)| (__VERUS_x.1),
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |                                  |
[INFO] [stdout]     |                                  not found in this scope
[INFO] [stdout]     |                                  help: perhaps you intended to use this type: `i32`
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:545:39
[INFO] [stdout]     |
[INFO] [stdout] 545 |                     |__VERUS_x: (int, int, int)| (__VERUS_x.1),
[INFO] [stdout]     |                                       ^^^
[INFO] [stdout]     |                                       |
[INFO] [stdout]     |                                       not found in this scope
[INFO] [stdout]     |                                       help: perhaps you intended to use this type: `i32`
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:545:44
[INFO] [stdout]     |
[INFO] [stdout] 545 |                     |__VERUS_x: (int, int, int)| (__VERUS_x.1),
[INFO] [stdout]     |                                            ^^^
[INFO] [stdout]     |                                            |
[INFO] [stdout]     |                                            not found in this scope
[INFO] [stdout]     |                                            help: perhaps you intended to use this type: `i32`
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:548:22
[INFO] [stdout]     |
[INFO] [stdout] 548 |         |__VERUS_x: (int, int, int)| __VERUS_x.0,
[INFO] [stdout]     |                      ^^^
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      not found in this scope
[INFO] [stdout]     |                      help: perhaps you intended to use this type: `i32`
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:548:27
[INFO] [stdout]     |
[INFO] [stdout] 548 |         |__VERUS_x: (int, int, int)| __VERUS_x.0,
[INFO] [stdout]     |                           ^^^
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           not found in this scope
[INFO] [stdout]     |                           help: perhaps you intended to use this type: `i32`
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:548:32
[INFO] [stdout]     |
[INFO] [stdout] 548 |         |__VERUS_x: (int, int, int)| __VERUS_x.0,
[INFO] [stdout]     |                                ^^^
[INFO] [stdout]     |                                |
[INFO] [stdout]     |                                not found in this scope
[INFO] [stdout]     |                                help: perhaps you intended to use this type: `i32`
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Set` in this scope
[INFO] [stdout]    --> src/lib.rs:537:1
[INFO] [stdout]     |
[INFO] [stdout] 537 | Set::<int>::range(10, 20)
[INFO] [stdout]     | ^^^ use of undeclared type `Set`
[INFO] [stdout]     |
[INFO] [stdout] help: there is an enum variant `verus_syn::InvariantNameSet::Set`; try using the variant's enum
[INFO] [stdout]     |
[INFO] [stdout] 537 | verus_syn::InvariantNameSet::<int>::range(10, 20)
[INFO] [stdout]     | ++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Set` in this scope
[INFO] [stdout]    --> src/lib.rs:541:13
[INFO] [stdout]     |
[INFO] [stdout] 541 |             Set::<int>::range(x, 20)
[INFO] [stdout]     |             ^^^ use of undeclared type `Set`
[INFO] [stdout]     |
[INFO] [stdout] help: there is an enum variant `verus_syn::InvariantNameSet::Set`; try using the variant's enum
[INFO] [stdout]     |
[INFO] [stdout] 541 |             verus_syn::InvariantNameSet::<int>::range(x, 20)
[INFO] [stdout]     |             ++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 13 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - set_build (line 510) stdout ----
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:511:7
[INFO] [stdout]     |
[INFO] [stdout] 511 | Set::<int>::range(10, 20)
[INFO] [stdout]     |       ^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: perhaps you intended to use this type
[INFO] [stdout]     |
[INFO] [stdout] 511 - Set::<int>::range(10, 20)
[INFO] [stdout] 511 + Set::<i32>::range(10, 20)
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 510 | fn main() { #[allow(non_snake_case)] fn _doctest_main_src_lib_rs_510_0<int>() {
[INFO] [stdout]     |                                                                       +++++
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:513:21
[INFO] [stdout]     |
[INFO] [stdout] 513 |         |__VERUS_x: int| {
[INFO] [stdout]     |                     ^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     not found in this scope
[INFO] [stdout]     |                     help: perhaps you intended to use this type: `i32`
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:515:19
[INFO] [stdout]     |
[INFO] [stdout] 515 |             Set::<int>::range(0, 4096)
[INFO] [stdout]     |                   ^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: perhaps you intended to use this type
[INFO] [stdout]     |
[INFO] [stdout] 515 -             Set::<int>::range(0, 4096)
[INFO] [stdout] 515 +             Set::<i32>::range(0, 4096)
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 510 | fn main() { #[allow(non_snake_case)] fn _doctest_main_src_lib_rs_510_0<int>() {
[INFO] [stdout]     |                                                                       +++++
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `int` in this scope
[INFO] [stdout]    --> src/lib.rs:517:30
[INFO] [stdout]     |
[INFO] [stdout] 517 |                     |offset: int| (Address { page, offset }),
[INFO] [stdout]     |                              ^^^
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              not found in this scope
[INFO] [stdout]     |                              help: perhaps you intended to use this type: `i32`
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Address` in this scope
[INFO] [stdout]    --> src/lib.rs:517:36
[INFO] [stdout]     |
[INFO] [stdout] 517 |                     |offset: int| (Address { page, offset }),
[INFO] [stdout]     |                                    ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Address` in this scope
[INFO] [stdout]    --> src/lib.rs:518:33
[INFO] [stdout]     |
[INFO] [stdout] 518 |                     |__VERUS_x: Address| (__VERUS_x.offset),
[INFO] [stdout]     |                                 ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find type `Address` in this scope
[INFO] [stdout]    --> src/lib.rs:521:21
[INFO] [stdout]     |
[INFO] [stdout] 521 |         |__VERUS_x: Address| __VERUS_x.page,
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Set` in this scope
[INFO] [stdout]    --> src/lib.rs:511:1
[INFO] [stdout]     |
[INFO] [stdout] 511 | Set::<int>::range(10, 20)
[INFO] [stdout]     | ^^^ use of undeclared type `Set`
[INFO] [stdout]     |
[INFO] [stdout] help: there is an enum variant `verus_syn::InvariantNameSet::Set`; try using the variant's enum
[INFO] [stdout]     |
[INFO] [stdout] 511 | verus_syn::InvariantNameSet::<int>::range(10, 20)
[INFO] [stdout]     | ++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `Set` in this scope
[INFO] [stdout]    --> src/lib.rs:515:13
[INFO] [stdout]     |
[INFO] [stdout] 515 |             Set::<int>::range(0, 4096)
[INFO] [stdout]     |             ^^^ use of undeclared type `Set`
[INFO] [stdout]     |
[INFO] [stdout] help: there is an enum variant `verus_syn::InvariantNameSet::Set`; try using the variant's enum
[INFO] [stdout]     |
[INFO] [stdout] 515 |             verus_syn::InvariantNameSet::<int>::range(0, 4096)
[INFO] [stdout]     |             ++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 9 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0422, E0425, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0422`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 828)
[INFO] [stdout]     src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 836)
[INFO] [stdout]     src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 842)
[INFO] [stdout]     src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 853)
[INFO] [stdout]     src/attr_rewrite.rs - attr_rewrite::rewrite_verus_spec_on_expr_local (line 858)
[INFO] [stdout]     src/contrib/spec_derive.rs - contrib::spec_derive::make_spec_type (line 26)
[INFO] [stdout]     src/contrib/spec_derive.rs - contrib::spec_derive::self_view (line 504)
[INFO] [stdout]     src/lib.rs - set_build (line 433)
[INFO] [stdout]     src/lib.rs - set_build (line 445)
[INFO] [stdout]     src/lib.rs - set_build (line 452)
[INFO] [stdout]     src/lib.rs - set_build (line 459)
[INFO] [stdout]     src/lib.rs - set_build (line 464)
[INFO] [stdout]     src/lib.rs - set_build (line 470)
[INFO] [stdout]     src/lib.rs - set_build (line 477)
[INFO] [stdout]     src/lib.rs - set_build (line 484)
[INFO] [stdout]     src/lib.rs - set_build (line 490)
[INFO] [stdout]     src/lib.rs - set_build (line 510)
[INFO] [stdout]     src/lib.rs - set_build (line 526)
[INFO] [stdout]     src/lib.rs - set_build (line 536)
[INFO] [stdout]     src/unerased_proxies.rs - unerased_proxies (line 17)
[INFO] [stdout]     src/unerased_proxies.rs - unerased_proxies (line 26)
[INFO] [stdout]     src/unerased_proxies.rs - unerased_proxies (line 43)
[INFO] [stdout]     src/unerased_proxies.rs - unerased_proxies (line 52)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 23 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.50s
[INFO] [stdout] 
[INFO] [stderr] error: doctest failed, to rerun pass `--doc`
[INFO] running `Command { std: "docker" "inspect" "750d3f31beff2558724250624eb0c2cba360d6067aaad5c7f475187b6c2016dd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "750d3f31beff2558724250624eb0c2cba360d6067aaad5c7f475187b6c2016dd", kill_on_drop: false }`
[INFO] [stdout] 750d3f31beff2558724250624eb0c2cba360d6067aaad5c7f475187b6c2016dd
