[INFO] cloning repository https://github.com/Sintrastes/pure-prolog-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Sintrastes/pure-prolog-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSintrastes%2Fpure-prolog-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSintrastes%2Fpure-prolog-rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] c528eda274848e3ed19b955b0dbc2242e7ca405b [INFO] checking Sintrastes/pure-prolog-rs/c528eda274848e3ed19b955b0dbc2242e7ca405b against master#ff1737bb00913444173658b4e0b274fd79aabf66 for pr-132712-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSintrastes%2Fpure-prolog-rs" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Sintrastes/pure-prolog-rs on toolchain ff1737bb00913444173658b4e0b274fd79aabf66 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ff1737bb00913444173658b4e0b274fd79aabf66" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Sintrastes/pure-prolog-rs [INFO] finished tweaking git repo https://github.com/Sintrastes/pure-prolog-rs [INFO] tweaked toml for git repo https://github.com/Sintrastes/pure-prolog-rs written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/Sintrastes/pure-prolog-rs 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" "+ff1737bb00913444173658b4e0b274fd79aabf66" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded mdo v0.3.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+ff1737bb00913444173658b4e0b274fd79aabf66" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 74153cb0e1d4011b9c4c3582f2d33511a39cbcda4049da220c1e4c746b96b2b1 [INFO] running `Command { std: "docker" "start" "-a" "74153cb0e1d4011b9c4c3582f2d33511a39cbcda4049da220c1e4c746b96b2b1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "74153cb0e1d4011b9c4c3582f2d33511a39cbcda4049da220c1e4c746b96b2b1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "74153cb0e1d4011b9c4c3582f2d33511a39cbcda4049da220c1e4c746b96b2b1", kill_on_drop: false }` [INFO] [stdout] 74153cb0e1d4011b9c4c3582f2d33511a39cbcda4049da220c1e4c746b96b2b1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=allow" "-e" "RUSTDOCFLAGS=--cap-lints=allow" "-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+ff1737bb00913444173658b4e0b274fd79aabf66" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c7f7a825d367602ec3d5b6ef9dc7806d6c15bc9e9b3fc420b960380c28b21b52 [INFO] running `Command { std: "docker" "start" "-a" "c7f7a825d367602ec3d5b6ef9dc7806d6c15bc9e9b3fc420b960380c28b21b52", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.24 [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling syn v1.0.54 [INFO] [stderr] Checking mdo v0.3.0 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Compiling derive_more v0.99.11 [INFO] [stderr] Checking bedelibry-prolog-runtime-rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/main.rs:4:12 [INFO] [stdout] | [INFO] [stdout] 4 | #![feature(untagged_unions)] [INFO] [stdout] | ^^^^^^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: unions with `Copy` and `ManuallyDrop` fields are stable; there is no intent to stabilize more [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/main.rs:4:12 [INFO] [stdout] | [INFO] [stdout] 4 | #![feature(untagged_unions)] [INFO] [stdout] | ^^^^^^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: unions with `Copy` and `ManuallyDrop` fields are stable; there is no intent to stabilize more [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0635]: unknown feature `fn_box` [INFO] [stdout] --> src/main.rs:3:12 [INFO] [stdout] | [INFO] [stdout] 3 | #![feature(fn_box)] [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0635]: unknown feature `fn_box` [INFO] [stdout] --> src/main.rs:3:12 [INFO] [stdout] | [INFO] [stdout] 3 | #![feature(fn_box)] [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `Vec<&tree::Tree, unifiable::Unifier<'_, V, term::Term<'_, T, V>>>>` is not an iterator [INFO] [stdout] --> src/interp.rs:34:21 [INFO] [stdout] | [INFO] [stdout] 34 | let trees = mdo! { [INFO] [stdout] | _____________________^ [INFO] [stdout] 35 | | clause =<< program.clauses.iter(); [INFO] [stdout] 36 | | let Clause {head: clauseHead, body: clauseBody} = freshen(varsInGoal.clone(), clause); [INFO] [stdout] 37 | | ret match Term::unify(&clauseHead, &t) { [INFO] [stdout] ... | [INFO] [stdout] 52 | | } [INFO] [stdout] 53 | | }; [INFO] [stdout] | |_________^ `Vec<&tree::Tree, unifiable::Unifier<'_, V, term::Term<'_, T, V>>>>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `std::iter::Iterator` is not implemented for `Vec<&tree::Tree, unifiable::Unifier<'_, V, term::Term<'_, T, V>>>>` [INFO] [stdout] = note: required for `&mut Vec<&tree::Tree, unifiable::Unifier<'_, V, term::Term<'_, T, V>>>>` to implement `std::iter::Iterator` [INFO] [stdout] note: required by a bound in `mdo::iter::bind` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/mdo-0.3.0/src/lib.rs:133:27 [INFO] [stdout] | [INFO] [stdout] 132 | pub fn bind(m: I, f: F) -> FlatMap [INFO] [stdout] | ---- required by a bound in this function [INFO] [stdout] 133 | where I: Iterator, U: Iterator, F: FnMut(::Item) -> U { [INFO] [stdout] | ^^^^^^^^ required by this bound in `bind` [INFO] [stdout] = note: this error originates in the macro `mdo` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `Vec<&tree::Tree, unifiable::Unifier<'_, V, term::Term<'_, T, V>>>>` is not an iterator [INFO] [stdout] --> src/interp.rs:34:21 [INFO] [stdout] | [INFO] [stdout] 34 | let trees = mdo! { [INFO] [stdout] | _____________________^ [INFO] [stdout] 35 | | clause =<< program.clauses.iter(); [INFO] [stdout] 36 | | let Clause {head: clauseHead, body: clauseBody} = freshen(varsInGoal.clone(), clause); [INFO] [stdout] 37 | | ret match Term::unify(&clauseHead, &t) { [INFO] [stdout] ... | [INFO] [stdout] 52 | | } [INFO] [stdout] 53 | | }; [INFO] [stdout] | |_________^ `Vec<&tree::Tree, unifiable::Unifier<'_, V, term::Term<'_, T, V>>>>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `std::iter::Iterator` is not implemented for `Vec<&tree::Tree, unifiable::Unifier<'_, V, term::Term<'_, T, V>>>>` [INFO] [stdout] = note: required for `&mut Vec<&tree::Tree, unifiable::Unifier<'_, V, term::Term<'_, T, V>>>>` to implement `std::iter::Iterator` [INFO] [stdout] note: required by a bound in `mdo::iter::bind` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/mdo-0.3.0/src/lib.rs:133:27 [INFO] [stdout] | [INFO] [stdout] 132 | pub fn bind(m: I, f: F) -> FlatMap [INFO] [stdout] | ---- required by a bound in this function [INFO] [stdout] 133 | where I: Iterator, U: Iterator, F: FnMut(::Item) -> U { [INFO] [stdout] | ^^^^^^^^ required by this bound in `bind` [INFO] [stdout] = note: this error originates in the macro `mdo` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: expected `FlatMap>, &mut Vec<&Tree, Unifier<'_, V, Term<'_, T, V>>>>, {closure@lib.rs:64:18}>` to be an iterator that yields `Tree, _>`, but it yields `&mut &Tree, Unifier<'_, V, Term<'_, T, V>>>` [INFO] [stdout] --> src/interp.rs:57:31 [INFO] [stdout] | [INFO] [stdout] 57 | goal.clone(), lazy_trees [INFO] [stdout] | ^^^^^^^^^^ expected `Tree, _>`, found `&mut &Tree, ...>` [INFO] [stdout] | [INFO] [stdout] = note: expected enum `tree::Tree, _>` [INFO] [stdout] found mutable reference `&mut &tree::Tree, unifiable::Unifier<'_, V, term::Term<'_, T, V>>>` [INFO] [stdout] = note: required for the cast from `Box>, &mut Vec<&...>, ...>>` to `Box<(dyn std::iter::Iterator, _>> + 'static)>` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/bedelibry_prolog_runtime_rs-3a3320602776a9a0.long-type-3561560805255913545.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: expected `FlatMap>, &mut Vec<&Tree, Unifier<'_, V, Term<'_, T, V>>>>, {closure@lib.rs:64:18}>` to be an iterator that yields `Tree, _>`, but it yields `&mut &Tree, Unifier<'_, V, Term<'_, T, V>>>` [INFO] [stdout] --> src/interp.rs:57:31 [INFO] [stdout] | [INFO] [stdout] 57 | goal.clone(), lazy_trees [INFO] [stdout] | ^^^^^^^^^^ expected `Tree, _>`, found `&mut &Tree, ...>` [INFO] [stdout] | [INFO] [stdout] = note: expected enum `tree::Tree, _>` [INFO] [stdout] found mutable reference `&mut &tree::Tree, unifiable::Unifier<'_, V, term::Term<'_, T, V>>>` [INFO] [stdout] = note: required for the cast from `Box>, &mut Vec<&...>, ...>>` to `Box<(dyn std::iter::Iterator, _>> + 'static)>` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/bedelibry_prolog_runtime_rs-35af760badf43801.long-type-1119431056272925421.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0596]: cannot borrow data in a `&` reference as mutable [INFO] [stdout] --> src/main.rs:69:39 [INFO] [stdout] | [INFO] [stdout] 69 | let solutions = tree::dfs_results(&mut tree); [INFO] [stdout] | ^^^^^^^^^ cannot borrow as mutable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0596]: cannot borrow data in a `&` reference as mutable [INFO] [stdout] --> src/main.rs:69:39 [INFO] [stdout] | [INFO] [stdout] 69 | let solutions = tree::dfs_results(&mut tree); [INFO] [stdout] | ^^^^^^^^^ cannot borrow as mutable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0271, E0277, E0557, E0596, E0635. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0271, E0277, E0557, E0596, E0635. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `bedelibry-prolog-runtime-rs` (bin "bedelibry-prolog-runtime-rs") due to 5 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `bedelibry-prolog-runtime-rs` (bin "bedelibry-prolog-runtime-rs" test) due to 5 previous errors [INFO] running `Command { std: "docker" "inspect" "c7f7a825d367602ec3d5b6ef9dc7806d6c15bc9e9b3fc420b960380c28b21b52", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c7f7a825d367602ec3d5b6ef9dc7806d6c15bc9e9b3fc420b960380c28b21b52", kill_on_drop: false }` [INFO] [stdout] c7f7a825d367602ec3d5b6ef9dc7806d6c15bc9e9b3fc420b960380c28b21b52