[INFO] fetching crate rustsat 0.7.4...
[INFO] testing rustsat-0.7.4 against try#c2e32f1c9652b13ed99608599c1e855462f421f3 for pr-146098-7
[INFO] extracting crate rustsat 0.7.4 into /workspace/builds/worker-2-tc2/source
[INFO] started tweaking crates.io crate rustsat 0.7.4
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate rustsat 0.7.4
[INFO] tweaked toml for crates.io crate rustsat 0.7.4 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate rustsat 0.7.4 on toolchain c2e32f1c9652b13ed99608599c1e855462f421f3
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate rustsat 0.7.4 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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5cc614d481014bb337d07b136d12f28b98fec3d575ebd769077d9aec6f48e398
[INFO] running `Command { std: "docker" "start" "-a" "5cc614d481014bb337d07b136d12f28b98fec3d575ebd769077d9aec6f48e398", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5cc614d481014bb337d07b136d12f28b98fec3d575ebd769077d9aec6f48e398", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5cc614d481014bb337d07b136d12f28b98fec3d575ebd769077d9aec6f48e398", kill_on_drop: false }`
[INFO] [stdout] 5cc614d481014bb337d07b136d12f28b98fec3d575ebd769077d9aec6f48e398
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1db9b4b67b92eb69f44ef6c730c1101414b23d07de8d18d910413adcc74871bb
[INFO] running `Command { std: "docker" "start" "-a" "1db9b4b67b92eb69f44ef6c730c1101414b23d07de8d18d910413adcc74871bb", kill_on_drop: false }`
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling cpu-time v1.0.0
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]    Compiling rustsat v0.7.4 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.26s
[INFO] running `Command { std: "docker" "inspect" "1db9b4b67b92eb69f44ef6c730c1101414b23d07de8d18d910413adcc74871bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1db9b4b67b92eb69f44ef6c730c1101414b23d07de8d18d910413adcc74871bb", kill_on_drop: false }`
[INFO] [stdout] 1db9b4b67b92eb69f44ef6c730c1101414b23d07de8d18d910413adcc74871bb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d9eddf428e7de8b1b4a7d8a29ebfd0e0baff5fedd14b9954d778289714c50355
[INFO] running `Command { std: "docker" "start" "-a" "d9eddf428e7de8b1b4a7d8a29ebfd0e0baff5fedd14b9954d778289714c50355", kill_on_drop: false }`
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling clap_lex v0.7.6
[INFO] [stderr]    Compiling concolor-query v0.3.3
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling is-terminal v0.4.16
[INFO] [stderr]    Compiling concolor v0.1.1
[INFO] [stderr]    Compiling anstream v0.6.21
[INFO] [stderr]    Compiling clap_builder v4.5.49
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling clap_derive v4.5.49
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]    Compiling rustsat v0.7.4 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling clap v4.5.49
[INFO] [stderr]    Compiling concolor-clap v0.1.0
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rustsat_tools`
[INFO] [stdout]    --> examples/enumerator.rs:158:22
[INFO] [stdout]     |
[INFO] [stdout] 158 |     let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout]     |                      ^^^^^^^^^^^^^ use of unresolved module or unlinked crate `rustsat_tools`
[INFO] [stdout]     |
[INFO] [stdout]     = help: if you wanted to use a crate named `rustsat_tools`, use `cargo add rustsat_tools` to add it to your `Cargo.toml`
[INFO] [stdout] help: consider importing one of these structs
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use rustsat::solvers::external::Solver;
[INFO] [stdout]     |
[INFO] [stdout] help: if you import `Solver`, refer to it directly
[INFO] [stdout]     |
[INFO] [stdout] 158 -     let mut solver = rustsat_tools::Solver::default();
[INFO] [stdout] 158 +     let mut solver = Solver::default();
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `rustsat::instances::MultiOptInstance`
[INFO] [stdout]   --> examples/gbmosplit.rs:15:34
[INFO] [stdout]    |
[INFO] [stdout] 15 |     instances::{fio, ManageVars, MultiOptInstance, Objective, OptInstance},
[INFO] [stdout]    |                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |                                  |
[INFO] [stdout]    |                                  no `MultiOptInstance` in `instances`
[INFO] [stdout]    |                                  help: a similar name exists in the module: `OptInstance`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/workdir/src/instances.rs:27:19
[INFO] [stdout]    |
[INFO] [stdout] 26 | #[cfg(feature = "multiopt")]
[INFO] [stdout]    |       -------------------- the item is gated behind the `multiopt` feature
[INFO] [stdout] 27 | pub use multiopt::MultiOptInstance;
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> examples/gbmosplit.rs:653:21
[INFO] [stdout]     |
[INFO] [stdout] 653 |                     obj.convert_to_soft_lits(constrs.var_manager_mut());
[INFO] [stdout]     |                     ^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> examples/gbmosplit.rs:653:46
[INFO] [stdout]     |
[INFO] [stdout] 653 |                     obj.convert_to_soft_lits(constrs.var_manager_mut());
[INFO] [stdout]     |                                              ^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0282, E0432.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rustsat` (example "gbmosplit") due to 3 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `rustsat` (example "enumerator") due to 1 previous error
[INFO] running `Command { std: "docker" "inspect" "d9eddf428e7de8b1b4a7d8a29ebfd0e0baff5fedd14b9954d778289714c50355", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d9eddf428e7de8b1b4a7d8a29ebfd0e0baff5fedd14b9954d778289714c50355", kill_on_drop: false }`
[INFO] [stdout] d9eddf428e7de8b1b4a7d8a29ebfd0e0baff5fedd14b9954d778289714c50355
