[INFO] cloning repository https://github.com/diegostafa/whilep-interpreter
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/diegostafa/whilep-interpreter" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdiegostafa%2Fwhilep-interpreter", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdiegostafa%2Fwhilep-interpreter'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 1125b07d0da796d43e84e226ffabcb2d3d0b4fd7
[INFO] checking diegostafa/whilep-interpreter/1125b07d0da796d43e84e226ffabcb2d3d0b4fd7 against master#5a45ab9738330fb317d49e3594c2db5248b1e971 for pr-136303
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdiegostafa%2Fwhilep-interpreter" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/diegostafa/whilep-interpreter on toolchain 5a45ab9738330fb317d49e3594c2db5248b1e971
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+5a45ab9738330fb317d49e3594c2db5248b1e971" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/diegostafa/whilep-interpreter
[INFO] finished tweaking git repo https://github.com/diegostafa/whilep-interpreter
[INFO] tweaked toml for git repo https://github.com/diegostafa/whilep-interpreter written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/diegostafa/whilep-interpreter 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" "+5a45ab9738330fb317d49e3594c2db5248b1e971" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded cli-tables v0.1.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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:c80049f3b88b82089a44e0f06d0d6029d44b96b7257e55a1cd63dbc9f4c33334" "/opt/rustwide/cargo-home/bin/cargo" "+5a45ab9738330fb317d49e3594c2db5248b1e971" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 90ab0151df08cacd1dc0864e7e4a74a57d67609d59fe89caf57c5ec35722301e
[INFO] running `Command { std: "docker" "start" "-a" "90ab0151df08cacd1dc0864e7e4a74a57d67609d59fe89caf57c5ec35722301e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "90ab0151df08cacd1dc0864e7e4a74a57d67609d59fe89caf57c5ec35722301e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "90ab0151df08cacd1dc0864e7e4a74a57d67609d59fe89caf57c5ec35722301e", kill_on_drop: false }`
[INFO] [stdout] 90ab0151df08cacd1dc0864e7e4a74a57d67609d59fe89caf57c5ec35722301e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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:c80049f3b88b82089a44e0f06d0d6029d44b96b7257e55a1cd63dbc9f4c33334" "/opt/rustwide/cargo-home/bin/cargo" "+5a45ab9738330fb317d49e3594c2db5248b1e971" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0e7ac2e92ddfb83331b87442b1329d628f8041de3d9129ed302ead1b1c3ebd56
[INFO] running `Command { std: "docker" "start" "-a" "0e7ac2e92ddfb83331b87442b1329d628f8041de3d9129ed302ead1b1c3ebd56", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.151
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.71
[INFO] [stderr]    Compiling rustix v0.38.28
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling smallvec v1.11.2
[INFO] [stderr]    Compiling regex-syntax v0.8.2
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling siphasher v0.3.11
[INFO] [stderr]    Compiling bitflags v2.4.1
[INFO] [stderr]    Compiling equivalent v1.0.1
[INFO] [stderr]    Compiling hashbrown v0.14.3
[INFO] [stderr]    Compiling parking_lot_core v0.9.9
[INFO] [stderr]    Compiling linux-raw-sys v0.4.12
[INFO] [stderr]    Compiling lock_api v0.4.11
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]     Checking utf8parse v0.2.1
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling log v0.4.20
[INFO] [stderr]    Compiling either v1.9.0
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.4
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling ena v0.14.2
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]     Checking anstyle-parse v0.2.3
[INFO] [stderr]    Compiling diff v0.1.13
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]     Checking anstyle v1.0.4
[INFO] [stderr]     Checking colorchoice v1.0.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling regex-syntax v0.7.5
[INFO] [stderr]     Checking anstyle-query v1.0.2
[INFO] [stderr]     Checking strsim v0.10.0
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]     Checking clap_lex v0.6.0
[INFO] [stderr]     Checking anstream v0.6.5
[INFO] [stderr]     Checking cli-tables v0.1.0
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]    Compiling indexmap v2.1.0
[INFO] [stderr]     Checking clap_builder v4.4.12
[INFO] [stderr]    Compiling syn v2.0.43
[INFO] [stderr]     Checking getrandom v0.2.11
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling parking_lot v0.12.1
[INFO] [stderr]    Compiling petgraph v0.6.4
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking regex-automata v0.4.3
[INFO] [stderr]    Compiling is-terminal v0.4.10
[INFO] [stderr]    Compiling string_cache v0.8.7
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]     Checking regex v1.10.2
[INFO] [stderr]    Compiling trait-set v0.3.0
[INFO] [stderr]     Checking lalrpop-util v0.20.0
[INFO] [stderr]    Compiling lalrpop v0.20.0
[INFO] [stderr]    Compiling clap_derive v4.4.7
[INFO] [stderr]     Checking clap v4.4.12
[INFO] [stderr]    Compiling whilep v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: methods `back` and `append` are never used
[INFO] [stdout]  --> src/abstract_semantics/invariant.rs:7:8
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub trait InvariantOperations<T: Domain>: Sized {
[INFO] [stdout]   |           ------------------- methods in this trait
[INFO] [stdout] 7 |     fn back(&self) -> State<T>;
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 8 |     fn append(&mut self, state: State<T>) -> &Self;
[INFO] [stdout]   |        ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `FunctionMethods` is never used
[INFO] [stdout]   --> src/concrete_semantics/denote.rs:14:7
[INFO] [stdout]    |
[INFO] [stdout] 14 | trait FunctionMethods {
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new` and `pretty_print` are never used
[INFO] [stdout]   --> src/concrete_semantics/state.rs:7:8
[INFO] [stdout]    |
[INFO] [stdout] 6  | pub trait StateOperations {
[INFO] [stdout]    |           --------------- associated items in this trait
[INFO] [stdout] 7  |     fn new() -> State;
[INFO] [stdout]    |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 10 |     fn pretty_print(&self);
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `to_triple` is never used
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/whilep-6312d034faafa0a0/out/whilep.rs:3291:8
[INFO] [stdout]      |
[INFO] [stdout] 3289 | pub trait __ToTriple<'input, >
[INFO] [stdout]      |           ---------- associated function in this trait
[INFO] [stdout] 3290 | {
[INFO] [stdout] 3291 |     fn to_triple(value: Self) -> Result<(usize,Token<'input>,usize), __lalrpop_util::ParseError<usize, Token<'input>, &'static str>>;
[INFO] [stdout]      |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: creating a shared reference to mutable static is discouraged
[INFO] [stdout]   --> src/main.rs:98:13
[INFO] [stdout]    |
[INFO] [stdout] 98 |             LOWER_BOUND, UPPER_BOUND
[INFO] [stdout]    |             ^^^^^^^^^^^ shared reference to mutable static
[INFO] [stdout]    |
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2024/static-mut-references.html>
[INFO] [stdout]    = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives
[INFO] [stdout]    = note: `#[warn(static_mut_refs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: creating a shared reference to mutable static is discouraged
[INFO] [stdout]   --> src/main.rs:98:26
[INFO] [stdout]    |
[INFO] [stdout] 98 |             LOWER_BOUND, UPPER_BOUND
[INFO] [stdout]    |                          ^^^^^^^^^^^ shared reference to mutable static
[INFO] [stdout]    |
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2024/static-mut-references.html>
[INFO] [stdout]    = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `back` and `append` are never used
[INFO] [stdout]  --> src/abstract_semantics/invariant.rs:7:8
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub trait InvariantOperations<T: Domain>: Sized {
[INFO] [stdout]   |           ------------------- methods in this trait
[INFO] [stdout] 7 |     fn back(&self) -> State<T>;
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 8 |     fn append(&mut self, state: State<T>) -> &Self;
[INFO] [stdout]   |        ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `FunctionMethods` is never used
[INFO] [stdout]   --> src/concrete_semantics/denote.rs:14:7
[INFO] [stdout]    |
[INFO] [stdout] 14 | trait FunctionMethods {
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new` and `pretty_print` are never used
[INFO] [stdout]   --> src/concrete_semantics/state.rs:7:8
[INFO] [stdout]    |
[INFO] [stdout] 6  | pub trait StateOperations {
[INFO] [stdout]    |           --------------- associated items in this trait
[INFO] [stdout] 7  |     fn new() -> State;
[INFO] [stdout]    |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 10 |     fn pretty_print(&self);
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `to_triple` is never used
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/whilep-6312d034faafa0a0/out/whilep.rs:3291:8
[INFO] [stdout]      |
[INFO] [stdout] 3289 | pub trait __ToTriple<'input, >
[INFO] [stdout]      |           ---------- associated function in this trait
[INFO] [stdout] 3290 | {
[INFO] [stdout] 3291 |     fn to_triple(value: Self) -> Result<(usize,Token<'input>,usize), __lalrpop_util::ParseError<usize, Token<'input>, &'static str>>;
[INFO] [stdout]      |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: creating a shared reference to mutable static is discouraged
[INFO] [stdout]   --> src/main.rs:98:13
[INFO] [stdout]    |
[INFO] [stdout] 98 |             LOWER_BOUND, UPPER_BOUND
[INFO] [stdout]    |             ^^^^^^^^^^^ shared reference to mutable static
[INFO] [stdout]    |
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2024/static-mut-references.html>
[INFO] [stdout]    = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives
[INFO] [stdout]    = note: `#[warn(static_mut_refs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: creating a shared reference to mutable static is discouraged
[INFO] [stdout]   --> src/main.rs:98:26
[INFO] [stdout]    |
[INFO] [stdout] 98 |             LOWER_BOUND, UPPER_BOUND
[INFO] [stdout]    |                          ^^^^^^^^^^^ shared reference to mutable static
[INFO] [stdout]    |
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2024/static-mut-references.html>
[INFO] [stdout]    = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 32.90s
[INFO] running `Command { std: "docker" "inspect" "0e7ac2e92ddfb83331b87442b1329d628f8041de3d9129ed302ead1b1c3ebd56", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0e7ac2e92ddfb83331b87442b1329d628f8041de3d9129ed302ead1b1c3ebd56", kill_on_drop: false }`
[INFO] [stdout] 0e7ac2e92ddfb83331b87442b1329d628f8041de3d9129ed302ead1b1c3ebd56
