[INFO] crate aces 0.0.8 is already in cache [INFO] checking aces-0.0.8 against try#d27c6c6a469a28343396a8f3ac1c9d403aabda69 for pr-66037 [INFO] extracting crate aces 0.0.8 into /workspace/builds/worker-8/source [INFO] validating manifest of crates.io crate aces 0.0.8 on toolchain d27c6c6a469a28343396a8f3ac1c9d403aabda69 [INFO] running `"/workspace/cargo-home/bin/cargo" "+d27c6c6a469a28343396a8f3ac1c9d403aabda69" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate aces 0.0.8 [INFO] finished tweaking crates.io crate aces 0.0.8 [INFO] tweaked toml for crates.io crate aces 0.0.8 written to /workspace/builds/worker-8/source/Cargo.toml [INFO] crate crates.io crate aces 0.0.8 already has a lockfile, it will not be regenerated [INFO] running `"/workspace/cargo-home/bin/cargo" "+d27c6c6a469a28343396a8f3ac1c9d403aabda69" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+d27c6c6a469a28343396a8f3ac1c9d403aabda69" "check" "--frozen" "--all" "--all-targets"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 066203ff8619abd16846341512453e46b74201958c56b1665896b93e454e0684 [INFO] running `"docker" "start" "-a" "066203ff8619abd16846341512453e46b74201958c56b1665896b93e454e0684"` [INFO] [stderr] Checking varisat-formula v0.2.1 [INFO] [stderr] Checking unicode-width v0.1.6 [INFO] [stderr] Checking siphasher v0.3.1 [INFO] [stderr] Checking regex-syntax v0.6.12 [INFO] [stderr] Checking vec_mut_scan v0.1.0 [INFO] [stderr] Checking leb128 v0.2.4 [INFO] [stderr] Checking glob v0.3.0 [INFO] [stderr] Checking bit-vec v0.6.1 [INFO] [stderr] Compiling num-traits v0.2.8 [INFO] [stderr] Checking atty v0.2.13 [INFO] [stderr] Compiling backtrace-sys v0.1.32 [INFO] [stderr] Checking aho-corasick v0.7.6 [INFO] [stderr] Compiling partial_ref_derive v0.3.1 [INFO] [stderr] Compiling varisat-internal-macros v0.2.1 [INFO] [stderr] Compiling backtrace v0.3.40 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking colored v1.9.0 [INFO] [stderr] Checking phf_shared v0.8.0 [INFO] [stderr] Checking varisat-internal-proof v0.2.1 [INFO] [stderr] Checking varisat-dimacs v0.2.1 [INFO] [stderr] Checking clap v2.33.0 [INFO] [stderr] Checking string_cache v0.8.0 [INFO] [stderr] Checking varisat-checker v0.2.1 [INFO] [stderr] Compiling failure v0.1.6 [INFO] [stderr] Compiling varisat v0.2.1 [INFO] [stderr] Checking partial_ref v0.3.1 [INFO] [stderr] Checking num-integer v0.1.41 [INFO] [stderr] Checking ordered-float v1.0.2 [INFO] [stderr] Checking chrono v0.4.9 [INFO] [stderr] Checking fern v0.5.9 [INFO] [stderr] Checking regex v1.3.1 [INFO] [stderr] Checking aces v0.0.8 (/opt/rustwide/workdir) [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Split` [INFO] [stderr] --> src/sat.rs:537:24 [INFO] [stderr] | [INFO] [stderr] 537 | let mut fork = Split::new_fork(host_id, suit_ids, Default::default()); [INFO] [stderr] | ^^^^^ use of undeclared type or module `Split` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Split` [INFO] [stderr] --> src/sat.rs:545:24 [INFO] [stderr] | [INFO] [stderr] 545 | let mut join = Split::new_join(host_id, suit_ids, Default::default()); [INFO] [stderr] | ^^^^^ use of undeclared type or module `Split` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `ForkID` in this scope [INFO] [stderr] --> src/sat.rs:533:82 [INFO] [stderr] | [INFO] [stderr] 533 | fn new_fork_id(ctx: &ContextHandle, host_name: &str, suit_names: &[&str]) -> ForkID { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/atom.rs:25:1 [INFO] [stderr] | [INFO] [stderr] 25 | pub struct PortID(pub(crate) AtomID); [INFO] [stderr] | ------------------------------------- similarly named struct `PortID` defined here [INFO] [stderr] | [INFO] [stderr] help: a struct with a similar name exists [INFO] [stderr] | [INFO] [stderr] 533 | fn new_fork_id(ctx: &ContextHandle, host_name: &str, suit_names: &[&str]) -> PortID { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 531 | use crate::atom::ForkID; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `JoinID` in this scope [INFO] [stderr] --> src/sat.rs:541:82 [INFO] [stderr] | [INFO] [stderr] 541 | fn new_join_id(ctx: &ContextHandle, host_name: &str, suit_names: &[&str]) -> JoinID { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] | [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 531 | use crate::atom::JoinID; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/error.rs:86:39 [INFO] [stderr] | [INFO] [stderr] 86 | _ => write!(f, "{}", self.description()), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/error.rs:86:39 [INFO] [stderr] | [INFO] [stderr] 86 | _ => write!(f, "{}", self.description()), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/content.rs:17:30 [INFO] [stderr] | [INFO] [stderr] 17 | write!(f, "{}", self.description()) [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/yaml_script.rs:30:30 [INFO] [stderr] | [INFO] [stderr] 30 | write!(f, "{}", self.description()) [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/content.rs:17:30 [INFO] [stderr] | [INFO] [stderr] 17 | write!(f, "{}", self.description()) [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/yaml_script.rs:30:30 [INFO] [stderr] | [INFO] [stderr] 30 | write!(f, "{}", self.description()) [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0277]: expected a `std::ops::FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] --> src/solver.rs:229:73 [INFO] [stderr] | [INFO] [stderr] 229 | .filter_map(|&var| ctx.is_port(var.into_atom_id()).then(Lit::from_var(var, true))) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ expected an `FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::ops::FnOnce<()>` is not implemented for `varisat_formula::lit::Lit` [INFO] [stderr] = note: wrap the `varisat_formula::lit::Lit` in a closure with no arguments: `|| { /* code */ } [INFO] [stderr] [INFO] [stderr] error[E0277]: expected a `std::ops::FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] --> src/solver.rs:234:73 [INFO] [stderr] | [INFO] [stderr] 234 | .filter_map(|&var| ctx.is_fork(var.into_atom_id()).then(Lit::from_var(var, true))) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ expected an `FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::ops::FnOnce<()>` is not implemented for `varisat_formula::lit::Lit` [INFO] [stderr] = note: wrap the `varisat_formula::lit::Lit` in a closure with no arguments: `|| { /* code */ } [INFO] [stderr] [INFO] [stderr] error[E0277]: expected a `std::ops::FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] --> src/solver.rs:239:73 [INFO] [stderr] | [INFO] [stderr] 239 | .filter_map(|&var| ctx.is_join(var.into_atom_id()).then(Lit::from_var(var, true))) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ expected an `FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::ops::FnOnce<()>` is not implemented for `varisat_formula::lit::Lit` [INFO] [stderr] = note: wrap the `varisat_formula::lit::Lit` in a closure with no arguments: `|| { /* code */ } [INFO] [stderr] [INFO] [stderr] error[E0277]: expected a `std::ops::FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] --> src/solver.rs:274:84 [INFO] [stderr] | [INFO] [stderr] 274 | model.iter().filter_map(|&lit| self.all_vars.contains(&lit.var()).then(!lit)); [INFO] [stderr] | ^^^^ expected an `FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::ops::FnOnce<()>` is not implemented for `varisat_formula::lit::Lit` [INFO] [stderr] = note: wrap the `varisat_formula::lit::Lit` in a closure with no arguments: `|| { /* code */ } [INFO] [stderr] [INFO] [stderr] error[E0277]: expected a `std::ops::FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] --> src/solver.rs:283:88 [INFO] [stderr] | [INFO] [stderr] 283 | model.iter().filter_map(|&lit| self.all_vars.contains(&lit.var()).then(!lit)); [INFO] [stderr] | ^^^^ expected an `FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::ops::FnOnce<()>` is not implemented for `varisat_formula::lit::Lit` [INFO] [stderr] = note: wrap the `varisat_formula::lit::Lit` in a closure with no arguments: `|| { /* code */ } [INFO] [stderr] [INFO] [stderr] error[E0277]: expected a `std::ops::FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] --> src/solver.rs:229:73 [INFO] [stderr] | [INFO] [stderr] 229 | .filter_map(|&var| ctx.is_port(var.into_atom_id()).then(Lit::from_var(var, true))) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ expected an `FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::ops::FnOnce<()>` is not implemented for `varisat_formula::lit::Lit` [INFO] [stderr] = note: wrap the `varisat_formula::lit::Lit` in a closure with no arguments: `|| { /* code */ } [INFO] [stderr] [INFO] [stderr] error[E0277]: expected a `std::ops::FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] --> src/solver.rs:234:73 [INFO] [stderr] | [INFO] [stderr] 234 | .filter_map(|&var| ctx.is_fork(var.into_atom_id()).then(Lit::from_var(var, true))) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ expected an `FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::ops::FnOnce<()>` is not implemented for `varisat_formula::lit::Lit` [INFO] [stderr] = note: wrap the `varisat_formula::lit::Lit` in a closure with no arguments: `|| { /* code */ } [INFO] [stderr] [INFO] [stderr] error[E0277]: expected a `std::ops::FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] --> src/solver.rs:239:73 [INFO] [stderr] | [INFO] [stderr] 239 | .filter_map(|&var| ctx.is_join(var.into_atom_id()).then(Lit::from_var(var, true))) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ expected an `FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::ops::FnOnce<()>` is not implemented for `varisat_formula::lit::Lit` [INFO] [stderr] = note: wrap the `varisat_formula::lit::Lit` in a closure with no arguments: `|| { /* code */ } [INFO] [stderr] [INFO] [stderr] error[E0277]: expected a `std::ops::FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] --> src/solver.rs:274:84 [INFO] [stderr] | [INFO] [stderr] 274 | model.iter().filter_map(|&lit| self.all_vars.contains(&lit.var()).then(!lit)); [INFO] [stderr] | ^^^^ expected an `FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::ops::FnOnce<()>` is not implemented for `varisat_formula::lit::Lit` [INFO] [stderr] = note: wrap the `varisat_formula::lit::Lit` in a closure with no arguments: `|| { /* code */ } [INFO] [stderr] [INFO] [stderr] error[E0277]: expected a `std::ops::FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] --> src/solver.rs:283:88 [INFO] [stderr] | [INFO] [stderr] 283 | model.iter().filter_map(|&lit| self.all_vars.contains(&lit.var()).then(!lit)); [INFO] [stderr] | ^^^^ expected an `FnOnce<()>` closure, found `varisat_formula::lit::Lit` [INFO] [stderr] | [INFO] [stderr] = help: the trait `std::ops::FnOnce<()>` is not implemented for `varisat_formula::lit::Lit` [INFO] [stderr] = note: wrap the `varisat_formula::lit::Lit` in a closure with no arguments: `|| { /* code */ } [INFO] [stderr] [INFO] [stderr] error: aborting due to 5 previous errors [INFO] [stderr] [INFO] [stderr] For more information about this error, try `rustc --explain E0277`. [INFO] [stderr] error: could not compile `aces`. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: aborting due to 9 previous errors [INFO] [stderr] [INFO] [stderr] Some errors have detailed explanations: E0277, E0412, E0433. [INFO] [stderr] For more information about an error, try `rustc --explain E0277`. [INFO] [stderr] error: could not compile `aces`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "066203ff8619abd16846341512453e46b74201958c56b1665896b93e454e0684"` [INFO] running `"docker" "rm" "-f" "066203ff8619abd16846341512453e46b74201958c56b1665896b93e454e0684"` [INFO] [stdout] 066203ff8619abd16846341512453e46b74201958c56b1665896b93e454e0684