[INFO] cloning repository https://github.com/jix/varisat [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jix/varisat" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjix%2Fvarisat", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjix%2Fvarisat'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 33e876937c5d22305664e9ae5601484b25cec23f [INFO] testing jix/varisat against try#c066bf6804adc55193b71afdff6a56922f4a8689+target=x86_64-unknown-linux-musl for musl_upgrade_1_2_5_in_2025-retry-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjix%2Fvarisat" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/jix/varisat [INFO] finished tweaking git repo https://github.com/jix/varisat [INFO] tweaked toml for git repo https://github.com/jix/varisat written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/jix/varisat on toolchain c066bf6804adc55193b71afdff6a56922f4a8689 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c066bf6804adc55193b71afdff6a56922f4a8689" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/jix/varisat 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" "+c066bf6804adc55193b71afdff6a56922f4a8689" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+c066bf6804adc55193b71afdff6a56922f4a8689" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 84ee481caba5d3930498e182a464233675a08ffbb0bf6d5603d12e7da4393de7 [INFO] running `Command { std: "docker" "start" "-a" "84ee481caba5d3930498e182a464233675a08ffbb0bf6d5603d12e7da4393de7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "84ee481caba5d3930498e182a464233675a08ffbb0bf6d5603d12e7da4393de7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "84ee481caba5d3930498e182a464233675a08ffbb0bf6d5603d12e7da4393de7", kill_on_drop: false }` [INFO] [stdout] 84ee481caba5d3930498e182a464233675a08ffbb0bf6d5603d12e7da4393de7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+c066bf6804adc55193b71afdff6a56922f4a8689" "build" "--frozen" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }` [INFO] [stdout] 0416671ec8701f575be59df1591319db93feab49ad425dec559d7821104a8fd2 [INFO] running `Command { std: "docker" "start" "-a" "0416671ec8701f575be59df1591319db93feab49ad425dec559d7821104a8fd2", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.76 [INFO] [stderr] Compiling proc-macro2 v1.0.20 [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling syn v1.0.40 [INFO] [stderr] Compiling cfg-if v0.1.10 [INFO] [stderr] Compiling getrandom v0.1.14 [INFO] [stderr] Compiling anyhow v1.0.32 [INFO] [stderr] Compiling memchr v2.3.3 [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling ppv-lite86 v0.2.9 [INFO] [stderr] Compiling quick-error v1.2.3 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling byteorder v1.3.4 [INFO] [stderr] Compiling regex-syntax v0.6.18 [INFO] [stderr] Compiling remove_dir_all v0.5.3 [INFO] [stderr] Compiling bit-vec v0.6.2 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Compiling log v0.4.11 [INFO] [stderr] Compiling serde_derive v1.0.115 [INFO] [stderr] Compiling serde v1.0.115 [INFO] [stderr] Compiling thread_local v1.0.1 [INFO] [stderr] Compiling bit-set v0.5.2 [INFO] [stderr] Compiling itoa v0.4.6 [INFO] [stderr] Compiling smallvec v1.4.2 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling aho-corasick v0.7.13 [INFO] [stderr] Compiling unicode-width v0.1.8 [INFO] [stderr] Compiling leb128 v0.2.4 [INFO] [stderr] Compiling humantime v1.3.0 [INFO] [stderr] Compiling vec_mut_scan v0.3.0 [INFO] [stderr] Compiling vec_map v0.8.2 [INFO] [stderr] Compiling termcolor v1.1.0 [INFO] [stderr] Compiling ansi_term v0.11.0 [INFO] [stderr] Compiling varisat-cli v0.2.2 (/opt/rustwide/workdir/varisat-cli) [INFO] [stderr] Compiling num-traits v0.2.12 [INFO] [stderr] Compiling wait-timeout v0.2.0 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Compiling varisat-lrat v0.2.2 (/opt/rustwide/workdir/varisat-lrat) [INFO] [stderr] Compiling varisat v0.2.2 (/opt/rustwide/workdir/varisat) [INFO] [stderr] Compiling term_size v0.3.2 [INFO] [stderr] Compiling strsim v0.8.0 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Compiling rand_chacha v0.2.2 [INFO] [stderr] Compiling rand_xorshift v0.2.0 [INFO] [stderr] warning: varisat@0.2.2: drat-trim proof checker not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] warning: varisat@0.2.2: rate proof checker not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] warning: varisat-lrat@0.2.2: check-lrat utility not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] Compiling clap v2.33.3 [INFO] [stderr] Compiling ordered-float v2.0.0 [INFO] [stderr] Compiling tempfile v3.1.0 [INFO] [stderr] Compiling rusty-fork v0.3.0 [INFO] [stderr] Compiling regex v1.3.9 [INFO] [stderr] Compiling proptest v0.10.1 [INFO] [stderr] Compiling synstructure v0.12.4 [INFO] [stderr] Compiling env_logger v0.7.1 [INFO] [stderr] Compiling thiserror-impl v1.0.20 [INFO] [stderr] Compiling partial_ref_derive v0.3.2 [INFO] [stderr] Compiling varisat-internal-macros v0.2.2 (/opt/rustwide/workdir/varisat-internal-macros) [INFO] [stderr] Compiling partial_ref v0.3.2 [INFO] [stderr] Compiling thiserror v1.0.20 [INFO] [stderr] Compiling varisat-formula v0.2.2 (/opt/rustwide/workdir/varisat-formula) [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat-formula/src/cnf.rs:106:21 [INFO] [stdout] | [INFO] [stdout] 106 | fn new_var_iter(&mut self, count: usize) -> NewVarIter { [INFO] [stdout] | ^^^^^^^^^ ---------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 106 | fn new_var_iter(&mut self, count: usize) -> NewVarIter<'_, Self> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat-formula/src/cnf.rs:115:21 [INFO] [stdout] | [INFO] [stdout] 115 | fn new_lit_iter(&mut self, count: usize) -> NewVarIter { [INFO] [stdout] | ^^^^^^^^^ --------------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 115 | fn new_lit_iter(&mut self, count: usize) -> NewVarIter<'_, Self, Lit> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling varisat-dimacs v0.2.2 (/opt/rustwide/workdir/varisat-dimacs) [INFO] [stderr] Compiling varisat-internal-proof v0.2.2 (/opt/rustwide/workdir/varisat-internal-proof) [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:31:30 [INFO] [stdout] | [INFO] [stdout] 31 | let bytes = unsafe { std::mem::transmute::(value.to_le()) }; [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::to_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order [INFO] [stdout] = note: `#[warn(unnecessary_transmutes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:35:33 [INFO] [stdout] | [INFO] [stdout] 35 | let lo_bytes = unsafe { std::mem::transmute::(lo_data.to_le()) }; [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::to_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:37:33 [INFO] [stdout] | [INFO] [stdout] 37 | let hi_bytes = unsafe { std::mem::transmute::(hi_data.to_le()) }; [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::to_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:47:9 [INFO] [stdout] | [INFO] [stdout] 47 | std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[..8]).unwrap()) [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::from_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `from_le_bytes` and `from_be_bytes` if you expect a particular byte order [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:60:13 [INFO] [stdout] | [INFO] [stdout] 60 | std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[8..]).unwrap()) [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::from_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `from_le_bytes` and `from_be_bytes` if you expect a particular byte order [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling varisat-checker v0.2.2 (/opt/rustwide/workdir/varisat-checker) [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat-checker/src/transcript.rs:41:9 [INFO] [stdout] | [INFO] [stdout] 41 | &mut self, [INFO] [stdout] | ^^^^^^^^^ this lifetime flows to the output [INFO] [stdout] ... [INFO] [stdout] 44 | ) -> Option { [INFO] [stdout] | ------------------- the lifetime gets resolved as `'_` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 44 | ) -> Option> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling toml v0.5.6 [INFO] [stdout] warning: unused import: `ImplNode` [INFO] [stdout] --> varisat/src/prop.rs:13:38 [INFO] [stdout] | [INFO] [stdout] 13 | pub use graph::{Conflict, ImplGraph, ImplNode, Reason}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> varisat/src/config.rs:5:10 [INFO] [stdout] | [INFO] [stdout] 5 | #[derive(DocDefault, ConfigUpdate)] [INFO] [stdout] | ^--------- [INFO] [stdout] | | [INFO] [stdout] | `Default` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_Default_FOR_SolverConfig` [INFO] [stdout] 6 | pub struct SolverConfig { [INFO] [stdout] | ------------ `SolverConfig` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `DocDefault` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `DocDefault` may come from an old version of the `varisat_internal_macros` crate, try updating your dependency with `cargo update -p varisat_internal_macros` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] = note: this warning originates in the derive macro `DocDefault` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables.rs:101:33 [INFO] [stdout] | [INFO] [stdout] 101 | pub fn global_from_user_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 101 | pub fn global_from_user_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables.rs:111:35 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn solver_from_global_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 111 | pub fn solver_from_global_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables.rs:121:33 [INFO] [stdout] | [INFO] [stdout] 121 | pub fn user_from_global_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 121 | pub fn user_from_global_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables.rs:131:35 [INFO] [stdout] | [INFO] [stdout] 131 | pub fn global_from_solver_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 131 | pub fn global_from_solver_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables/var_map.rs:74:20 [INFO] [stdout] | [INFO] [stdout] 74 | pub fn fwd_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 74 | pub fn fwd_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables/var_map.rs:82:20 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn bwd_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 82 | pub fn bwd_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [optimized + debuginfo] target(s) in 1m 04s [INFO] running `Command { std: "docker" "inspect" "0416671ec8701f575be59df1591319db93feab49ad425dec559d7821104a8fd2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0416671ec8701f575be59df1591319db93feab49ad425dec559d7821104a8fd2", kill_on_drop: false }` [INFO] [stdout] 0416671ec8701f575be59df1591319db93feab49ad425dec559d7821104a8fd2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+c066bf6804adc55193b71afdff6a56922f4a8689" "test" "--frozen" "--no-run" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }` [INFO] [stdout] a762cb062805d83ea40dea3fa182e69f9aee0af2e4b1e0d44d8b487f2a504bb7 [INFO] running `Command { std: "docker" "start" "-a" "a762cb062805d83ea40dea3fa182e69f9aee0af2e4b1e0d44d8b487f2a504bb7", kill_on_drop: false }` [INFO] [stderr] warning: varisat@0.2.2: drat-trim proof checker not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] warning: varisat@0.2.2: rate proof checker not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] warning: varisat-lrat@0.2.2: check-lrat utility not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] Compiling varisat-internal-macros v0.2.2 (/opt/rustwide/workdir/varisat-internal-macros) [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat-formula/src/cnf.rs:106:21 [INFO] [stdout] | [INFO] [stdout] 106 | fn new_var_iter(&mut self, count: usize) -> NewVarIter { [INFO] [stdout] | ^^^^^^^^^ ---------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 106 | fn new_var_iter(&mut self, count: usize) -> NewVarIter<'_, Self> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat-formula/src/cnf.rs:115:21 [INFO] [stdout] | [INFO] [stdout] 115 | fn new_lit_iter(&mut self, count: usize) -> NewVarIter { [INFO] [stdout] | ^^^^^^^^^ --------------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 115 | fn new_lit_iter(&mut self, count: usize) -> NewVarIter<'_, Self, Lit> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling varisat-formula v0.2.2 (/opt/rustwide/workdir/varisat-formula) [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:31:30 [INFO] [stdout] | [INFO] [stdout] 31 | let bytes = unsafe { std::mem::transmute::(value.to_le()) }; [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::to_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order [INFO] [stdout] = note: `#[warn(unnecessary_transmutes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:35:33 [INFO] [stdout] | [INFO] [stdout] 35 | let lo_bytes = unsafe { std::mem::transmute::(lo_data.to_le()) }; [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::to_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:37:33 [INFO] [stdout] | [INFO] [stdout] 37 | let hi_bytes = unsafe { std::mem::transmute::(hi_data.to_le()) }; [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::to_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:47:9 [INFO] [stdout] | [INFO] [stdout] 47 | std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[..8]).unwrap()) [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::from_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `from_le_bytes` and `from_be_bytes` if you expect a particular byte order [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:60:13 [INFO] [stdout] | [INFO] [stdout] 60 | std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[8..]).unwrap()) [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::from_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `from_le_bytes` and `from_be_bytes` if you expect a particular byte order [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling varisat-internal-proof v0.2.2 (/opt/rustwide/workdir/varisat-internal-proof) [INFO] [stderr] Compiling varisat-dimacs v0.2.2 (/opt/rustwide/workdir/varisat-dimacs) [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat-checker/src/transcript.rs:41:9 [INFO] [stdout] | [INFO] [stdout] 41 | &mut self, [INFO] [stdout] | ^^^^^^^^^ this lifetime flows to the output [INFO] [stdout] ... [INFO] [stdout] 44 | ) -> Option { [INFO] [stdout] | ------------------- the lifetime gets resolved as `'_` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 44 | ) -> Option> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling varisat-checker v0.2.2 (/opt/rustwide/workdir/varisat-checker) [INFO] [stdout] warning: unused import: `ImplNode` [INFO] [stdout] --> varisat/src/prop.rs:13:38 [INFO] [stdout] | [INFO] [stdout] 13 | pub use graph::{Conflict, ImplGraph, ImplNode, Reason}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> varisat/src/config.rs:5:10 [INFO] [stdout] | [INFO] [stdout] 5 | #[derive(DocDefault, ConfigUpdate)] [INFO] [stdout] | ^--------- [INFO] [stdout] | | [INFO] [stdout] | `Default` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_Default_FOR_SolverConfig` [INFO] [stdout] 6 | pub struct SolverConfig { [INFO] [stdout] | ------------ `SolverConfig` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `DocDefault` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `DocDefault` may come from an old version of the `varisat_internal_macros` crate, try updating your dependency with `cargo update -p varisat_internal_macros` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] = note: this warning originates in the derive macro `DocDefault` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables.rs:101:33 [INFO] [stdout] | [INFO] [stdout] 101 | pub fn global_from_user_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 101 | pub fn global_from_user_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables.rs:111:35 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn solver_from_global_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 111 | pub fn solver_from_global_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables.rs:121:33 [INFO] [stdout] | [INFO] [stdout] 121 | pub fn user_from_global_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 121 | pub fn user_from_global_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables.rs:131:35 [INFO] [stdout] | [INFO] [stdout] 131 | pub fn global_from_solver_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 131 | pub fn global_from_solver_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling varisat v0.2.2 (/opt/rustwide/workdir/varisat) [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables/var_map.rs:74:20 [INFO] [stdout] | [INFO] [stdout] 74 | pub fn fwd_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 74 | pub fn fwd_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling varisat-cli v0.2.2 (/opt/rustwide/workdir/varisat-cli) [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables/var_map.rs:82:20 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn bwd_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 82 | pub fn bwd_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling varisat-lrat v0.2.2 (/opt/rustwide/workdir/varisat-lrat) [INFO] [stdout] warning: unexpected `cfg` condition name: `test_check_lrat` [INFO] [stdout] --> varisat-lrat/src/lib.rs:303:20 [INFO] [stdout] | [INFO] [stdout] 303 | #[cfg_attr(not(test_check_lrat), ignore)] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 more [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_check_lrat)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_check_lrat)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `test_check_lrat` [INFO] [stdout] --> varisat-lrat/src/lib.rs:331:20 [INFO] [stdout] | [INFO] [stdout] 331 | #[cfg_attr(not(test_check_lrat), ignore)] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_check_lrat)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_check_lrat)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `test_check_lrat` [INFO] [stdout] --> varisat-lrat/src/lib.rs:358:24 [INFO] [stdout] | [INFO] [stdout] 358 | #[cfg_attr(not(test_check_lrat), ignore)] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_check_lrat)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_check_lrat)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `test_drat_trim` [INFO] [stdout] --> varisat/src/proof.rs:398:24 [INFO] [stdout] | [INFO] [stdout] 398 | #[cfg_attr(not(test_drat_trim), ignore)] [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 more [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_drat_trim)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_drat_trim)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `test_drat_trim` [INFO] [stdout] --> varisat/src/proof.rs:406:24 [INFO] [stdout] | [INFO] [stdout] 406 | #[cfg_attr(not(test_drat_trim), ignore)] [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_drat_trim)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_drat_trim)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `test_rate` [INFO] [stdout] --> varisat/src/proof.rs:414:24 [INFO] [stdout] | [INFO] [stdout] 414 | #[cfg_attr(not(test_rate), ignore)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_rate)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_rate)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `test_rate` [INFO] [stdout] --> varisat/src/proof.rs:422:24 [INFO] [stdout] | [INFO] [stdout] 422 | #[cfg_attr(not(test_rate), ignore)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_rate)'] } [INFO] [stdout] = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_rate)");` to the top of the `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ImplNode` [INFO] [stdout] --> varisat/src/prop.rs:13:38 [INFO] [stdout] | [INFO] [stdout] 13 | pub use graph::{Conflict, ImplGraph, ImplNode, Reason}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:31:30 [INFO] [stdout] | [INFO] [stdout] 31 | let bytes = unsafe { std::mem::transmute::(value.to_le()) }; [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::to_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order [INFO] [stdout] = note: `#[warn(unnecessary_transmutes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:35:33 [INFO] [stdout] | [INFO] [stdout] 35 | let lo_bytes = unsafe { std::mem::transmute::(lo_data.to_le()) }; [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::to_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:37:33 [INFO] [stdout] | [INFO] [stdout] 37 | let hi_bytes = unsafe { std::mem::transmute::(hi_data.to_le()) }; [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::to_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:47:9 [INFO] [stdout] | [INFO] [stdout] 47 | std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[..8]).unwrap()) [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::from_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `from_le_bytes` and `from_be_bytes` if you expect a particular byte order [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary transmute [INFO] [stdout] --> varisat-internal-proof/src/vli_enc.rs:60:13 [INFO] [stdout] | [INFO] [stdout] 60 | std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[8..]).unwrap()) [INFO] [stdout] | -----------------------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: replace this with: `u64::from_ne_bytes` [INFO] [stdout] | [INFO] [stdout] = help: there's also `from_le_bytes` and `from_be_bytes` if you expect a particular byte order [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat-formula/src/cnf.rs:106:21 [INFO] [stdout] | [INFO] [stdout] 106 | fn new_var_iter(&mut self, count: usize) -> NewVarIter { [INFO] [stdout] | ^^^^^^^^^ ---------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 106 | fn new_var_iter(&mut self, count: usize) -> NewVarIter<'_, Self> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat-formula/src/cnf.rs:115:21 [INFO] [stdout] | [INFO] [stdout] 115 | fn new_lit_iter(&mut self, count: usize) -> NewVarIter { [INFO] [stdout] | ^^^^^^^^^ --------------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 115 | fn new_lit_iter(&mut self, count: usize) -> NewVarIter<'_, Self, Lit> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat-checker/src/transcript.rs:41:9 [INFO] [stdout] | [INFO] [stdout] 41 | &mut self, [INFO] [stdout] | ^^^^^^^^^ this lifetime flows to the output [INFO] [stdout] ... [INFO] [stdout] 44 | ) -> Option { [INFO] [stdout] | ------------------- the lifetime gets resolved as `'_` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 44 | ) -> Option> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustcpPLCbS/symbols.o" "<8 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libtest-*,libgetopts-*,libunicode_width-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libanyhow-f33aed0ed076cacc.rlib,libvarisat_formula-47421b92070ed9c7.rlib,libproptest-37af81b45083f701.rlib,libregex_syntax-83abfd8dc1c95fc4.rlib,librand_xorshift-45a2ada2a0913b74.rlib,libbyteorder-f79773a79ed90b24.rlib,librusty_fork-08e4e1053043dc41.rlib,libwait_timeout-dd7c8ddc20bc97e4.rlib,libtempfile-b50faa99813eab38.rlib,librand-f4a8ef9cf74da8af.rlib,librand_chacha-d08b57f0ebab422e.rlib,libppv_lite86-5a8ad7c68b51e51b.rlib,librand_core-880dc2e3eaa6a924.rlib,libgetrandom-3890928e062386ae.rlib,liblibc-1d6eb92488a3c2a4.rlib,libremove_dir_all-19dd090799e37c1a.rlib,libcfg_if-2743b48ee143eaa0.rlib,libfnv-73c9fef119659be5.rlib,libquick_error-5841d981e26c7e1e.rlib,liblazy_static-fda6d16b23de2079.rlib,libbit_set-0307a79a3ccb0f41.rlib,libbit_vec-c60fbc0b82dc19b4.rlib,libbitflags-bb31df6cb86c7bde.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustcpPLCbS/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/varisat_internal_proof-0bd2032fc2945b5f" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/libgetrandom-3890928e062386ae.rlib(getrandom-3890928e062386ae.getrandom.dee56385b2216ae6-cgu.0.rcgu.o): in function `getrandom::util_libc::open_readonly': [INFO] [stdout] /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/getrandom-0.1.14/src/util_libc.rs:112:(.text._ZN9getrandom9util_libc13open_readonly17h855396388547fed6E+0x1b): undefined reference to `open64' [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] = note: some `extern` functions couldn't be found; some native libraries may need to be installed or have their path specified [INFO] [stdout] = note: use the `-l` flag to specify native libraries to link [INFO] [stdout] = note: use the `cargo:rustc-link-lib` directive to specify the native libraries to link with Cargo (see https://doc.rust-lang.org/cargo/reference/build-scripts.html#rustc-link-lib) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `varisat-internal-proof` (lib test) due to 1 previous error; 5 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustcvMp2fF/symbols.o" "<12 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libitoa-25ef85cd457e5d73.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libtest-*,libgetopts-*,libunicode_width-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libthiserror-c1689a386a1dfce1.rlib,libanyhow-f33aed0ed076cacc.rlib,libvarisat_formula-47421b92070ed9c7.rlib,libproptest-37af81b45083f701.rlib,libregex_syntax-83abfd8dc1c95fc4.rlib,librand_xorshift-45a2ada2a0913b74.rlib,libbyteorder-f79773a79ed90b24.rlib,librusty_fork-08e4e1053043dc41.rlib,libwait_timeout-dd7c8ddc20bc97e4.rlib,libtempfile-b50faa99813eab38.rlib,librand-f4a8ef9cf74da8af.rlib,librand_chacha-d08b57f0ebab422e.rlib,libppv_lite86-5a8ad7c68b51e51b.rlib,librand_core-880dc2e3eaa6a924.rlib,libgetrandom-3890928e062386ae.rlib,liblibc-1d6eb92488a3c2a4.rlib,libremove_dir_all-19dd090799e37c1a.rlib,libcfg_if-2743b48ee143eaa0.rlib,libfnv-73c9fef119659be5.rlib,libquick_error-5841d981e26c7e1e.rlib,liblazy_static-fda6d16b23de2079.rlib,libbit_set-0307a79a3ccb0f41.rlib,libbit_vec-c60fbc0b82dc19b4.rlib,libbitflags-bb31df6cb86c7bde.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustcvMp2fF/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/varisat_dimacs-00add5ebcd76b56a" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/libgetrandom-3890928e062386ae.rlib(getrandom-3890928e062386ae.getrandom.dee56385b2216ae6-cgu.0.rcgu.o): in function `getrandom::util_libc::open_readonly': [INFO] [stdout] /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/getrandom-0.1.14/src/util_libc.rs:112:(.text._ZN9getrandom9util_libc13open_readonly17h855396388547fed6E+0x1b): undefined reference to `open64' [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] = note: some `extern` functions couldn't be found; some native libraries may need to be installed or have their path specified [INFO] [stdout] = note: use the `-l` flag to specify native libraries to link [INFO] [stdout] = note: use the `cargo:rustc-link-lib` directive to specify the native libraries to link with Cargo (see https://doc.rust-lang.org/cargo/reference/build-scripts.html#rustc-link-lib) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `varisat-dimacs` (lib test) due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustcNkamSW/symbols.o" "<12 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libtest-*,libgetopts-*,libunicode_width-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libproptest-37af81b45083f701.rlib,libregex_syntax-83abfd8dc1c95fc4.rlib,librand_xorshift-45a2ada2a0913b74.rlib,libbyteorder-f79773a79ed90b24.rlib,librusty_fork-08e4e1053043dc41.rlib,libwait_timeout-dd7c8ddc20bc97e4.rlib,libtempfile-b50faa99813eab38.rlib,librand-f4a8ef9cf74da8af.rlib,librand_chacha-d08b57f0ebab422e.rlib,libppv_lite86-5a8ad7c68b51e51b.rlib,librand_core-880dc2e3eaa6a924.rlib,libgetrandom-3890928e062386ae.rlib,liblibc-1d6eb92488a3c2a4.rlib,libremove_dir_all-19dd090799e37c1a.rlib,libcfg_if-2743b48ee143eaa0.rlib,libfnv-73c9fef119659be5.rlib,libquick_error-5841d981e26c7e1e.rlib,liblazy_static-fda6d16b23de2079.rlib,libbit_set-0307a79a3ccb0f41.rlib,libbit_vec-c60fbc0b82dc19b4.rlib,libbitflags-bb31df6cb86c7bde.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustcNkamSW/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/varisat_formula-cee1ee7f4c909736" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/libgetrandom-3890928e062386ae.rlib(getrandom-3890928e062386ae.getrandom.dee56385b2216ae6-cgu.0.rcgu.o): in function `getrandom::util_libc::open_readonly': [INFO] [stdout] /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/getrandom-0.1.14/src/util_libc.rs:112:(.text._ZN9getrandom9util_libc13open_readonly17h855396388547fed6E+0x1b): undefined reference to `open64' [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] = note: some `extern` functions couldn't be found; some native libraries may need to be installed or have their path specified [INFO] [stdout] = note: use the `-l` flag to specify native libraries to link [INFO] [stdout] = note: use the `cargo:rustc-link-lib` directive to specify the native libraries to link with Cargo (see https://doc.rust-lang.org/cargo/reference/build-scripts.html#rustc-link-lib) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `varisat-formula` (lib test) due to 1 previous error; 2 warnings emitted [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustccnF7WZ/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libtest-*,libgetopts-*,libunicode_width-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libvarisat-98d8c8a5f3e58bd5.rlib,libleb128-c34e7c6d1f8296ec.rlib,libserde-75c53fb9bf20510b.rlib,libordered_float-3c1cfa9aac16579b.rlib,libnum_traits-10aa31013943e6db.rlib,libvec_mut_scan-eed70d76d2083baa.rlib,libvarisat_checker-aad2ff0071249fd5.rlib,liblog-362f579278ad6137.rlib,libsmallvec-4de320846aa6648e.rlib,librustc_hash-9f773f503080c564.rlib,libvarisat_internal_proof-00de25597c79dec1.rlib,libvarisat_dimacs-792ebc81e1b2894e.rlib,libitoa-25ef85cd457e5d73.rlib,libvarisat_formula-47421b92070ed9c7.rlib,libthiserror-c1689a386a1dfce1.rlib,libpartial_ref-a0db3327dcef9bd5.rlib,libproptest-37af81b45083f701.rlib,libregex_syntax-83abfd8dc1c95fc4.rlib,librand_xorshift-45a2ada2a0913b74.rlib,libbyteorder-f79773a79ed90b24.rlib,librusty_fork-08e4e1053043dc41.rlib,libwait_timeout-dd7c8ddc20bc97e4.rlib,libtempfile-b50faa99813eab38.rlib,librand-f4a8ef9cf74da8af.rlib,librand_chacha-d08b57f0ebab422e.rlib,libppv_lite86-5a8ad7c68b51e51b.rlib,librand_core-880dc2e3eaa6a924.rlib,libgetrandom-3890928e062386ae.rlib,liblibc-1d6eb92488a3c2a4.rlib,libremove_dir_all-19dd090799e37c1a.rlib,libcfg_if-2743b48ee143eaa0.rlib,libfnv-73c9fef119659be5.rlib,libquick_error-5841d981e26c7e1e.rlib,liblazy_static-fda6d16b23de2079.rlib,libbit_set-0307a79a3ccb0f41.rlib,libbit_vec-c60fbc0b82dc19b4.rlib,libbitflags-bb31df6cb86c7bde.rlib,libanyhow-f33aed0ed076cacc.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustccnF7WZ/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/checker-91da908ccf085a88" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/libgetrandom-3890928e062386ae.rlib(getrandom-3890928e062386ae.getrandom.dee56385b2216ae6-cgu.0.rcgu.o): in function `getrandom::util_libc::open_readonly': [INFO] [stdout] /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/getrandom-0.1.14/src/util_libc.rs:112:(.text._ZN9getrandom9util_libc13open_readonly17h855396388547fed6E+0x1b): undefined reference to `open64' [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] = note: some `extern` functions couldn't be found; some native libraries may need to be installed or have their path specified [INFO] [stdout] = note: use the `-l` flag to specify native libraries to link [INFO] [stdout] = note: use the `cargo:rustc-link-lib` directive to specify the native libraries to link with Cargo (see https://doc.rust-lang.org/cargo/reference/build-scripts.html#rustc-link-lib) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: varisat@0.2.2: drat-trim proof checker not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] warning: varisat@0.2.2: rate proof checker not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] error: could not compile `varisat` (test "checker") due to 1 previous error [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustcGANs3D/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libtest-*,libgetopts-*,libunicode_width-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libvarisat-98d8c8a5f3e58bd5.rlib,libleb128-c34e7c6d1f8296ec.rlib,libserde-75c53fb9bf20510b.rlib,libordered_float-3c1cfa9aac16579b.rlib,libnum_traits-10aa31013943e6db.rlib,libvec_mut_scan-eed70d76d2083baa.rlib,libvarisat_checker-aad2ff0071249fd5.rlib,liblog-362f579278ad6137.rlib,libsmallvec-4de320846aa6648e.rlib,librustc_hash-9f773f503080c564.rlib,libvarisat_internal_proof-00de25597c79dec1.rlib,libvarisat_dimacs-792ebc81e1b2894e.rlib,libitoa-25ef85cd457e5d73.rlib,libvarisat_formula-47421b92070ed9c7.rlib,libproptest-37af81b45083f701.rlib,libregex_syntax-83abfd8dc1c95fc4.rlib,librand_xorshift-45a2ada2a0913b74.rlib,libbyteorder-f79773a79ed90b24.rlib,librusty_fork-08e4e1053043dc41.rlib,libwait_timeout-dd7c8ddc20bc97e4.rlib,libtempfile-b50faa99813eab38.rlib,librand-f4a8ef9cf74da8af.rlib,librand_chacha-d08b57f0ebab422e.rlib,libppv_lite86-5a8ad7c68b51e51b.rlib,librand_core-880dc2e3eaa6a924.rlib,libgetrandom-3890928e062386ae.rlib,liblibc-1d6eb92488a3c2a4.rlib,libremove_dir_all-19dd090799e37c1a.rlib,libcfg_if-2743b48ee143eaa0.rlib,libfnv-73c9fef119659be5.rlib,libquick_error-5841d981e26c7e1e.rlib,liblazy_static-fda6d16b23de2079.rlib,libbit_set-0307a79a3ccb0f41.rlib,libbit_vec-c60fbc0b82dc19b4.rlib,libbitflags-bb31df6cb86c7bde.rlib,libthiserror-c1689a386a1dfce1.rlib,libpartial_ref-a0db3327dcef9bd5.rlib,libanyhow-f33aed0ed076cacc.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustcGANs3D/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/varisat_lrat-ac362208246f7e93" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/libgetrandom-3890928e062386ae.rlib(getrandom-3890928e062386ae.getrandom.dee56385b2216ae6-cgu.0.rcgu.o): in function `getrandom::util_libc::open_readonly': [INFO] [stdout] /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/getrandom-0.1.14/src/util_libc.rs:112:(.text._ZN9getrandom9util_libc13open_readonly17h855396388547fed6E+0x1b): undefined reference to `open64' [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] = note: some `extern` functions couldn't be found; some native libraries may need to be installed or have their path specified [INFO] [stdout] = note: use the `-l` flag to specify native libraries to link [INFO] [stdout] = note: use the `cargo:rustc-link-lib` directive to specify the native libraries to link with Cargo (see https://doc.rust-lang.org/cargo/reference/build-scripts.html#rustc-link-lib) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: varisat-lrat@0.2.2: check-lrat utility not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] error: could not compile `varisat-lrat` (lib test) due to 1 previous error; 3 warnings emitted [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> varisat/src/config.rs:5:10 [INFO] [stdout] | [INFO] [stdout] 5 | #[derive(DocDefault, ConfigUpdate)] [INFO] [stdout] | ^--------- [INFO] [stdout] | | [INFO] [stdout] | `Default` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_Default_FOR_SolverConfig` [INFO] [stdout] 6 | pub struct SolverConfig { [INFO] [stdout] | ------------ `SolverConfig` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `DocDefault` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `DocDefault` may come from an old version of the `varisat_internal_macros` crate, try updating your dependency with `cargo update -p varisat_internal_macros` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] = note: this warning originates in the derive macro `DocDefault` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables.rs:101:33 [INFO] [stdout] | [INFO] [stdout] 101 | pub fn global_from_user_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 101 | pub fn global_from_user_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables.rs:111:35 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn solver_from_global_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 111 | pub fn solver_from_global_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables.rs:121:33 [INFO] [stdout] | [INFO] [stdout] 121 | pub fn user_from_global_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 121 | pub fn user_from_global_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables.rs:131:35 [INFO] [stdout] | [INFO] [stdout] 131 | pub fn global_from_solver_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 131 | pub fn global_from_solver_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables/var_map.rs:74:20 [INFO] [stdout] | [INFO] [stdout] 74 | pub fn fwd_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 74 | pub fn fwd_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> varisat/src/variables/var_map.rs:82:20 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn bwd_mut(&mut self) -> VarBiMapMut { [INFO] [stdout] | ^^^^^^^^^ ----------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 82 | pub fn bwd_mut(&mut self) -> VarBiMapMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustcWJA0dC/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libleb128-c34e7c6d1f8296ec.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libtest-*,libgetopts-*,libunicode_width-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{libserde-75c53fb9bf20510b.rlib,libordered_float-3c1cfa9aac16579b.rlib,libnum_traits-10aa31013943e6db.rlib,libvec_mut_scan-eed70d76d2083baa.rlib,libvarisat_checker-aad2ff0071249fd5.rlib,liblog-362f579278ad6137.rlib,libsmallvec-4de320846aa6648e.rlib,librustc_hash-9f773f503080c564.rlib,libvarisat_internal_proof-00de25597c79dec1.rlib,libvarisat_dimacs-792ebc81e1b2894e.rlib,libitoa-25ef85cd457e5d73.rlib,libvarisat_formula-47421b92070ed9c7.rlib,libproptest-37af81b45083f701.rlib,libregex_syntax-83abfd8dc1c95fc4.rlib,librand_xorshift-45a2ada2a0913b74.rlib,libbyteorder-f79773a79ed90b24.rlib,librusty_fork-08e4e1053043dc41.rlib,libwait_timeout-dd7c8ddc20bc97e4.rlib,libtempfile-b50faa99813eab38.rlib,librand-f4a8ef9cf74da8af.rlib,librand_chacha-d08b57f0ebab422e.rlib,libppv_lite86-5a8ad7c68b51e51b.rlib,librand_core-880dc2e3eaa6a924.rlib,libgetrandom-3890928e062386ae.rlib,liblibc-1d6eb92488a3c2a4.rlib,libremove_dir_all-19dd090799e37c1a.rlib,libcfg_if-2743b48ee143eaa0.rlib,libfnv-73c9fef119659be5.rlib,libquick_error-5841d981e26c7e1e.rlib,liblazy_static-fda6d16b23de2079.rlib,libbit_set-0307a79a3ccb0f41.rlib,libbit_vec-c60fbc0b82dc19b4.rlib,libbitflags-bb31df6cb86c7bde.rlib,libthiserror-c1689a386a1dfce1.rlib,libanyhow-f33aed0ed076cacc.rlib,libpartial_ref-a0db3327dcef9bd5.rlib}.rlib" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustcWJA0dC/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/varisat-684550779bbe115a" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/libgetrandom-3890928e062386ae.rlib(getrandom-3890928e062386ae.getrandom.dee56385b2216ae6-cgu.0.rcgu.o): in function `getrandom::util_libc::open_readonly': [INFO] [stdout] /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/getrandom-0.1.14/src/util_libc.rs:112:(.text._ZN9getrandom9util_libc13open_readonly17h855396388547fed6E+0x1b): undefined reference to `open64' [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] = note: some `extern` functions couldn't be found; some native libraries may need to be installed or have their path specified [INFO] [stdout] = note: use the `-l` flag to specify native libraries to link [INFO] [stdout] = note: use the `cargo:rustc-link-lib` directive to specify the native libraries to link with Cargo (see https://doc.rust-lang.org/cargo/reference/build-scripts.html#rustc-link-lib) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: varisat@0.2.2: drat-trim proof checker not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] warning: varisat@0.2.2: rate proof checker not found, some tests will be disabled: No such file or directory (os error 2) [INFO] [stderr] error: could not compile `varisat` (lib test) due to 1 previous error; 12 warnings emitted [INFO] running `Command { std: "docker" "inspect" "a762cb062805d83ea40dea3fa182e69f9aee0af2e4b1e0d44d8b487f2a504bb7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a762cb062805d83ea40dea3fa182e69f9aee0af2e4b1e0d44d8b487f2a504bb7", kill_on_drop: false }` [INFO] [stdout] a762cb062805d83ea40dea3fa182e69f9aee0af2e4b1e0d44d8b487f2a504bb7