[INFO] cloning repository https://github.com/mehrad31415/rusmt
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mehrad31415/rusmt" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmehrad31415%2Frusmt", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmehrad31415%2Frusmt'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 1dd7965faf8620e42ed7c2f31e8d4349fc73e88e
[INFO] checking mehrad31415/rusmt against eca445e5ae4a6679cc27d3a09106ce245e13a5a6 for pr-162478
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmehrad31415%2Frusmt" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-7-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/mehrad31415/rusmt
[INFO] finished tweaking git repo https://github.com/mehrad31415/rusmt
[INFO] tweaked toml for git repo https://github.com/mehrad31415/rusmt written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/mehrad31415/rusmt on toolchain eca445e5ae4a6679cc27d3a09106ce245e13a5a6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+eca445e5ae4a6679cc27d3a09106ce245e13a5a6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/mehrad31415/rusmt 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" "+eca445e5ae4a6679cc27d3a09106ce245e13a5a6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: unused workspace dependency `rusmt-smt-derive`
[INFO] [stderr]   --> Cargo.toml:35:25
[INFO] [stderr]    |
[INFO] [stderr] 35 | [workspace.dependencies.rusmt-smt-derive]
[INFO] [stderr]    |                         ^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the workspace dependency `rusmt-smt-derive`
[INFO] [stderr] warning: workspace (manifest) generated 1 warning
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]  --> smt/remark/remark_derive/Cargo.toml:5:1
[INFO] [stderr]   |
[INFO] [stderr] 5 | readme = "README.md"
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: `rusmt-smt-remark-derive` (manifest) generated 1 warning
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]  --> smt/derive/Cargo.toml:5:1
[INFO] [stderr]   |
[INFO] [stderr] 5 | readme = "README.md"
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: `rusmt-smt-derive` (manifest) generated 1 warning
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]  --> smt/stdlib/Cargo.toml:5:1
[INFO] [stderr]   |
[INFO] [stderr] 5 | readme = "README.md"
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: `rusmt-smt-stdlib` (manifest) generated 1 warning
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]  --> smt/remark/Cargo.toml:5:1
[INFO] [stderr]   |
[INFO] [stderr] 5 | readme = "README.md"
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: `rusmt-smt-remark` (manifest) generated 1 warning
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]  --> lang/Cargo.toml:5:1
[INFO] [stderr]   |
[INFO] [stderr] 5 | readme = "README.md"
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: `rusmt-lang` (manifest) generated 1 warning
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded internment v0.8.6
[INFO] [stderr]   Downloaded command-group v5.0.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] fbf4526fbb5465c95b72f8b1b1bd339878c17c9fe73c0a63fac779816e20aeab
[INFO] running `Command { std: "docker" "start" "fbf4526fbb5465c95b72f8b1b1bd339878c17c9fe73c0a63fac779816e20aeab", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fbf4526fbb5465c95b72f8b1b1bd339878c17c9fe73c0a63fac779816e20aeab", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "fbf4526fbb5465c95b72f8b1b1bd339878c17c9fe73c0a63fac779816e20aeab" "/opt/rustwide/cargo-home/bin/cargo" "+eca445e5ae4a6679cc27d3a09106ce245e13a5a6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fbf4526fbb5465c95b72f8b1b1bd339878c17c9fe73c0a63fac779816e20aeab", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "fbf4526fbb5465c95b72f8b1b1bd339878c17c9fe73c0a63fac779816e20aeab" "/opt/rustwide/cargo-home/bin/cargo" "+eca445e5ae4a6679cc27d3a09106ce245e13a5a6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: unused workspace dependency `rusmt-smt-derive`
[INFO] [stderr]   --> Cargo.toml:35:25
[INFO] [stderr]    |
[INFO] [stderr] 35 | [workspace.dependencies.rusmt-smt-derive]
[INFO] [stderr]    |                         ^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the workspace dependency `rusmt-smt-derive`
[INFO] [stderr] warning: workspace (manifest) generated 1 warning
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]  --> smt/derive/Cargo.toml:5:1
[INFO] [stderr]   |
[INFO] [stderr] 5 | readme = "README.md"
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: `rusmt-smt-derive` (manifest) generated 1 warning
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]  --> smt/stdlib/Cargo.toml:5:1
[INFO] [stderr]   |
[INFO] [stderr] 5 | readme = "README.md"
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: `rusmt-smt-stdlib` (manifest) generated 1 warning
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]  --> smt/remark/Cargo.toml:5:1
[INFO] [stderr]   |
[INFO] [stderr] 5 | readme = "README.md"
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: `rusmt-smt-remark` (manifest) generated 1 warning
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]  --> lang/Cargo.toml:5:1
[INFO] [stderr]   |
[INFO] [stderr] 5 | readme = "README.md"
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: `rusmt-lang` (manifest) generated 1 warning
[INFO] [stderr] warning: explicit `package.readme` can be inferred
[INFO] [stderr]  --> smt/remark/remark_derive/Cargo.toml:5:1
[INFO] [stderr]   |
[INFO] [stderr] 5 | readme = "README.md"
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::manual_readme` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.readme`
[INFO] [stderr] warning: `rusmt-smt-remark-derive` (manifest) generated 1 warning
[INFO] [stderr]    Compiling proc-macro2 v1.0.107
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]     Checking tap v1.0.1
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]     Checking funty v2.0.0
[INFO] [stderr]     Checking internment v0.8.6
[INFO] [stderr]     Checking ordered-float v5.3.0
[INFO] [stderr]     Checking num-bigint v0.4.8
[INFO] [stderr]     Checking wyz v0.5.1
[INFO] [stderr]     Checking itertools v0.15.0
[INFO] [stderr]     Checking quote v1.0.47
[INFO] [stderr]    Compiling syn v3.0.3
[INFO] [stderr]     Checking bitvec v1.1.1
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking nix v0.27.1
[INFO] [stderr]     Checking getrandom v0.4.2
[INFO] [stderr]     Checking num_cpus v1.17.0
[INFO] [stderr]     Checking tempfile v3.27.0
[INFO] [stderr]     Checking command-group v5.0.1
[INFO] [stderr]     Checking rusmt-smt-stdlib v0.1.0 (/opt/rustwide/workdir/smt/stdlib)
[INFO] [stderr]     Checking rusmt-smt-remark v0.1.0 (/opt/rustwide/workdir/smt/remark)
[INFO] [stderr]     Checking rusmt-smt-remark-derive v0.1.0 (/opt/rustwide/workdir/smt/remark/remark_derive)
[INFO] [stderr]    Compiling clap_derive v4.6.4
[INFO] [stderr]     Checking clap v4.6.6
[INFO] [stderr]     Checking rusmt-lang v0.1.0 (/opt/rustwide/workdir/lang)
[INFO] [stderr]     Checking rusmt-smt-derive v0.1.0 (/opt/rustwide/workdir/smt/derive)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> smt/derive/src/ir/ctxt.rs:72:19
[INFO] [stdout]    |
[INFO] [stdout] 72 |     pub fn derive(&mut self, generics: &Generics, ty_args: Vec<Sort>) -> IRBuilder {
[INFO] [stdout]    |                   ^^^^^^^^^ the lifetime is elided here                  ^^^^^^^^^ the same lifetimes are hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 72 |     pub fn derive(&mut self, generics: &Generics, ty_args: Vec<Sort>) -> IRBuilder<'_, '_> {
[INFO] [stdout]    |                                                                                   ++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> smt/derive/src/ir/ctxt.rs:72:19
[INFO] [stdout]    |
[INFO] [stdout] 72 |     pub fn derive(&mut self, generics: &Generics, ty_args: Vec<Sort>) -> IRBuilder {
[INFO] [stdout]    |                   ^^^^^^^^^ the lifetime is elided here                  ^^^^^^^^^ the same lifetimes are hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 72 |     pub fn derive(&mut self, generics: &Generics, ty_args: Vec<Sort>) -> IRBuilder<'_, '_> {
[INFO] [stdout]    |                                                                                   ++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: unused dependency `anyhow`
[INFO] [stderr]   --> smt/stdlib/Cargo.toml:15:1
[INFO] [stderr]    |
[INFO] [stderr] 15 | anyhow = { workspace = true }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `anyhow`
[INFO] [stderr] warning: unused dependency `bitvec`
[INFO] [stderr]   --> smt/stdlib/Cargo.toml:16:1
[INFO] [stderr]    |
[INFO] [stderr] 16 | bitvec = { workspace = true }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `bitvec`
[INFO] [stderr] warning: `rusmt-smt-stdlib` (manifest) generated 2 warnings
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 22.12s
[INFO] running `Command { std: "docker" "inspect" "fbf4526fbb5465c95b72f8b1b1bd339878c17c9fe73c0a63fac779816e20aeab", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fbf4526fbb5465c95b72f8b1b1bd339878c17c9fe73c0a63fac779816e20aeab", kill_on_drop: false }`
[INFO] [stdout] fbf4526fbb5465c95b72f8b1b1bd339878c17c9fe73c0a63fac779816e20aeab
