[INFO] fetching crate smt-lang 0.7.5...
[INFO] checking smt-lang-0.7.5 against 1.95.0 for pr-155915
[INFO] extracting crate smt-lang 0.7.5 into /workspace/builds/worker-3-tc1/source
[INFO] started tweaking crates.io crate smt-lang 0.7.5
[INFO] finished tweaking crates.io crate smt-lang 0.7.5
[INFO] tweaked toml for crates.io crate smt-lang 0.7.5 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate smt-lang 0.7.5 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate smt-lang 0.7.5 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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded z3 v0.11.2
[INFO] [stderr]   Downloaded clang-sys v1.4.0
[INFO] [stderr]   Downloaded lalrpop-util v0.19.8
[INFO] [stderr]   Downloaded line-col v0.2.1
[INFO] [stderr]   Downloaded redox_termios v0.1.2
[INFO] [stderr]   Downloaded smawk v0.3.1
[INFO] [stderr]   Downloaded pico-args v0.4.2
[INFO] [stderr]   Downloaded terminal_size v0.2.3
[INFO] [stderr]   Downloaded d-stu v0.1.5
[INFO] [stderr]   Downloaded string_cache v0.8.4
[INFO] [stderr]   Downloaded termion v2.0.1
[INFO] [stderr]   Downloaded ena v0.14.0
[INFO] [stderr]   Downloaded proc-macro2 v1.0.50
[INFO] [stderr]   Downloaded num-complex v0.4.3
[INFO] [stderr]   Downloaded parking_lot_core v0.9.6
[INFO] [stderr]   Downloaded rustversion v1.0.11
[INFO] [stderr]   Downloaded fraction v0.13.0
[INFO] [stderr]   Downloaded unicode-linebreak v0.1.4
[INFO] [stderr]   Downloaded bindgen v0.58.1
[INFO] [stderr]   Downloaded petgraph v0.6.2
[INFO] [stderr]   Downloaded clap v4.1.4
[INFO] [stderr]   Downloaded lalrpop v0.19.8
[INFO] [stderr]   Downloaded rustix v0.36.7
[INFO] [stderr]   Downloaded z3-sys v0.7.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 22dc2794d5a841d6f12c85045c2bf3c5eaafb9678711a429d9e535e157423e39
[INFO] running `Command { std: "docker" "start" "-a" "22dc2794d5a841d6f12c85045c2bf3c5eaafb9678711a429d9e535e157423e39", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "22dc2794d5a841d6f12c85045c2bf3c5eaafb9678711a429d9e535e157423e39", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "22dc2794d5a841d6f12c85045c2bf3c5eaafb9678711a429d9e535e157423e39", kill_on_drop: false }`
[INFO] [stdout] 22dc2794d5a841d6f12c85045c2bf3c5eaafb9678711a429d9e535e157423e39
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8b5511fdc943e2b42b08e72606c864f0dcb0b1e446fecd8bcf7bce4d7333ebe8
[INFO] running `Command { std: "docker" "start" "-a" "8b5511fdc943e2b42b08e72606c864f0dcb0b1e446fecd8bcf7bce4d7333ebe8", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.139
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling regex-syntax v0.6.28
[INFO] [stderr]    Compiling proc-macro2 v1.0.50
[INFO] [stderr]    Compiling once_cell v1.17.0
[INFO] [stderr]    Compiling ahash v0.7.6
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling nom v5.1.2
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling unicode-width v0.1.10
[INFO] [stderr]    Compiling parking_lot_core v0.9.6
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling clang-sys v1.4.0
[INFO] [stderr]    Compiling aho-corasick v0.7.20
[INFO] [stderr]    Compiling quote v1.0.23
[INFO] [stderr]    Compiling lock_api v0.4.9
[INFO] [stderr]    Compiling libloading v0.7.4
[INFO] [stderr]    Compiling indexmap v1.9.2
[INFO] [stderr]    Compiling getrandom v0.2.8
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling bindgen v0.58.1
[INFO] [stderr]    Compiling termcolor v1.2.0
[INFO] [stderr]    Compiling smallvec v1.10.0
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling scopeguard v1.1.0
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling rustix v0.36.7
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling num-bigint v0.4.3
[INFO] [stderr]    Compiling regex v1.7.1
[INFO] [stderr]    Compiling shlex v1.1.0
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling syn v1.0.107
[INFO] [stderr]    Compiling siphasher v0.3.10
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]    Compiling cexpr v0.4.0
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling parking_lot v0.12.1
[INFO] [stderr]    Compiling num-rational v0.4.1
[INFO] [stderr]    Compiling num-iter v0.1.43
[INFO] [stderr]    Compiling env_logger v0.8.4
[INFO] [stderr]    Compiling either v1.8.1
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.4
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling string_cache v0.8.4
[INFO] [stderr]    Compiling petgraph v0.6.2
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling lalrpop-util v0.19.8
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling unicode-linebreak v0.1.4
[INFO] [stderr]    Compiling ena v0.14.0
[INFO] [stderr]    Compiling pico-args v0.4.2
[INFO] [stderr]    Compiling diff v0.1.13
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]    Compiling lalrpop v0.19.8
[INFO] [stderr]     Checking num-complex v0.4.3
[INFO] [stderr]     Checking numtoa v0.1.0
[INFO] [stderr]     Checking smawk v0.3.1
[INFO] [stderr]     Checking textwrap v0.16.0
[INFO] [stderr]     Checking num v0.4.0
[INFO] [stderr]     Checking termion v2.0.1
[INFO] [stderr]     Checking is-terminal v0.4.2
[INFO] [stderr]     Checking terminal_size v0.2.3
[INFO] [stderr]     Checking fraction v0.13.0
[INFO] [stderr]     Checking line-col v0.2.1
[INFO] [stderr]     Checking d-stu v0.1.5
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling clap_derive v4.1.0
[INFO] [stderr]    Compiling z3-sys v0.7.1
[INFO] [stderr]     Checking clap v4.1.4
[INFO] [stderr]    Compiling smt-lang v0.7.5 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking z3 v0.11.2
[INFO] [stdout] warning: unused import: `position::*`
[INFO] [stdout]  --> src/problem/expression/mod.rs:5:9
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub use position::*;
[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: `resolve_type::*`
[INFO] [stdout]   --> src/problem/expression/mod.rs:11:9
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub use resolve_type::*;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `resolve_expr::*`
[INFO] [stdout]   --> src/problem/expression/mod.rs:14:9
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub use resolve_expr::*;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `typ::*`
[INFO] [stdout]   --> src/problem/expression/mod.rs:17:9
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub use typ::*;
[INFO] [stdout]    |         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `substitute::*`
[INFO] [stdout]   --> src/problem/expression/mod.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub use substitute::*;
[INFO] [stdout]    |         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `param_size::*`
[INFO] [stdout]   --> src/problem/expression/mod.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub use param_size::*;
[INFO] [stdout]    |         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `type_inference::*`
[INFO] [stdout]   --> src/problem/expression/mod.rs:29:9
[INFO] [stdout]    |
[INFO] [stdout] 29 | pub use type_inference::*;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `position::*`
[INFO] [stdout]  --> src/problem/expression/mod.rs:5:9
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub use position::*;
[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: `resolve_type::*`
[INFO] [stdout]   --> src/problem/expression/mod.rs:11:9
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub use resolve_type::*;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `resolve_expr::*`
[INFO] [stdout]   --> src/problem/expression/mod.rs:14:9
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub use resolve_expr::*;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `typ::*`
[INFO] [stdout]   --> src/problem/expression/mod.rs:17:9
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub use typ::*;
[INFO] [stdout]    |         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `substitute::*`
[INFO] [stdout]   --> src/problem/expression/mod.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub use substitute::*;
[INFO] [stdout]    |         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `param_size::*`
[INFO] [stdout]   --> src/problem/expression/mod.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub use param_size::*;
[INFO] [stdout]    |         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `type_inference::*`
[INFO] [stdout]   --> src/problem/expression/mod.rs:29:9
[INFO] [stdout]    |
[INFO] [stdout] 29 | pub use type_inference::*;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/solve/smt.rs:80:19
[INFO] [stdout]    |
[INFO] [stdout] 80 |     pub fn solver(&self) -> &Z3Solver {
[INFO] [stdout]    |                   ^^^^^     ^^^^^^^^^
[INFO] [stdout]    |                   |         ||
[INFO] [stdout]    |                   |         |the same lifetime is hidden here
[INFO] [stdout]    |                   |         the same lifetime is elided here
[INFO] [stdout]    |                   the lifetime is elided 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] 80 |     pub fn solver(&self) -> &Z3Solver<'_> {
[INFO] [stdout]    |                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/solve/z3_solver.rs:32:22
[INFO] [stdout]    |
[INFO] [stdout] 32 |     pub fn get_model(&self) -> Option<z3::Model> {
[INFO] [stdout]    |                      ^^^^^            ^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                      |
[INFO] [stdout]    |                      the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 32 |     pub fn get_model(&self) -> Option<z3::Model<'_>> {
[INFO] [stdout]    |                                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/solve/smt.rs:80:19
[INFO] [stdout]    |
[INFO] [stdout] 80 |     pub fn solver(&self) -> &Z3Solver {
[INFO] [stdout]    |                   ^^^^^     ^^^^^^^^^
[INFO] [stdout]    |                   |         ||
[INFO] [stdout]    |                   |         |the same lifetime is hidden here
[INFO] [stdout]    |                   |         the same lifetime is elided here
[INFO] [stdout]    |                   the lifetime is elided 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] 80 |     pub fn solver(&self) -> &Z3Solver<'_> {
[INFO] [stdout]    |                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/solve/z3_solver.rs:32:22
[INFO] [stdout]    |
[INFO] [stdout] 32 |     pub fn get_model(&self) -> Option<z3::Model> {
[INFO] [stdout]    |                      ^^^^^            ^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                      |
[INFO] [stdout]    |                      the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 32 |     pub fn get_model(&self) -> Option<z3::Model<'_>> {
[INFO] [stdout]    |                                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 12s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: lalrpop v0.19.8, nom v5.1.2
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] running `Command { std: "docker" "inspect" "8b5511fdc943e2b42b08e72606c864f0dcb0b1e446fecd8bcf7bce4d7333ebe8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8b5511fdc943e2b42b08e72606c864f0dcb0b1e446fecd8bcf7bce4d7333ebe8", kill_on_drop: false }`
[INFO] [stdout] 8b5511fdc943e2b42b08e72606c864f0dcb0b1e446fecd8bcf7bce4d7333ebe8
