[INFO] cloning repository https://github.com/jswrenn/gulog [INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jswrenn/gulog" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjswrenn%2Fgulog"` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjswrenn%2Fgulog'... [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] b90cdeb4aa9446fd50ae2013c4ee9969f7cab3a4 [INFO] checking jswrenn/gulog against try#e4dba30b9b475d8750370c4dfb49b6541990904d for pr-71393 [INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjswrenn%2Fgulog" "/workspace/builds/worker-10/source"` [INFO] [stderr] Cloning into '/workspace/builds/worker-10/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/jswrenn/gulog on toolchain e4dba30b9b475d8750370c4dfb49b6541990904d [INFO] running `"/workspace/cargo-home/bin/cargo" "+e4dba30b9b475d8750370c4dfb49b6541990904d" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking git repo https://github.com/jswrenn/gulog [INFO] finished tweaking git repo https://github.com/jswrenn/gulog [INFO] tweaked toml for git repo https://github.com/jswrenn/gulog written to /workspace/builds/worker-10/source/Cargo.toml [INFO] crate git repo https://github.com/jswrenn/gulog already has a lockfile, it will not be regenerated [INFO] running `"/workspace/cargo-home/bin/cargo" "+e4dba30b9b475d8750370c4dfb49b6541990904d" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/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" "+e4dba30b9b475d8750370c4dfb49b6541990904d" "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] 2975428108fe9a2e4a29ea603848f284ab266c1205c25a9bcc6158ac922a2094 [INFO] running `"docker" "start" "-a" "2975428108fe9a2e4a29ea603848f284ab266c1205c25a9bcc6158ac922a2094"` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Checking gulog v0.0.1 (/opt/rustwide/workdir) [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:97:36 [INFO] [stderr] | [INFO] [stderr] 97 | (Term::Structure(Structure(functorₛ, termsₛ)), [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(uncommon_codepoints)]` on by default [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:97:46 [INFO] [stderr] | [INFO] [stderr] 97 | (Term::Structure(Structure(functorₛ, termsₛ)), [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:98:36 [INFO] [stderr] | [INFO] [stderr] 98 | Term::Structure(Structure(functorₜ, termsₜ))) => [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:98:46 [INFO] [stderr] | [INFO] [stderr] 98 | Term::Structure(Structure(functorₜ, termsₜ))) => [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:100:16 [INFO] [stderr] | [INFO] [stderr] 100 | if functorₛ == functorₜ && termsₛ.len() == termsₜ.len() { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:100:28 [INFO] [stderr] | [INFO] [stderr] 100 | if functorₛ == functorₜ && termsₛ.len() == termsₜ.len() { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:100:40 [INFO] [stderr] | [INFO] [stderr] 100 | if functorₛ == functorₜ && termsₛ.len() == termsₜ.len() { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:100:56 [INFO] [stderr] | [INFO] [stderr] 100 | if functorₛ == functorₜ && termsₛ.len() == termsₜ.len() { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:104:22 [INFO] [stderr] | [INFO] [stderr] 104 | for (termₛ,termₜ) in zip!(termsₛ,termsₜ) { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:104:28 [INFO] [stderr] | [INFO] [stderr] 104 | for (termₛ,termₜ) in zip!(termsₛ,termsₜ) { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:104:43 [INFO] [stderr] | [INFO] [stderr] 104 | for (termₛ,termₜ) in zip!(termsₛ,termsₜ) { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:104:50 [INFO] [stderr] | [INFO] [stderr] 104 | for (termₛ,termₜ) in zip!(termsₛ,termsₜ) { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:106:25 [INFO] [stderr] | [INFO] [stderr] 106 | let termₛ = apply(&substitutions, &termₛ); [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:106:56 [INFO] [stderr] | [INFO] [stderr] 106 | let termₛ = apply(&substitutions, &termₛ); [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:107:25 [INFO] [stderr] | [INFO] [stderr] 107 | let termₜ = apply(&substitutions, &termₜ); [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:107:56 [INFO] [stderr] | [INFO] [stderr] 107 | let termₜ = apply(&substitutions, &termₜ); [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:109:50 [INFO] [stderr] | [INFO] [stderr] 109 | if let Some(unifier) = unify(termₛ,termₜ) { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:109:56 [INFO] [stderr] | [INFO] [stderr] 109 | if let Some(unifier) = unify(termₛ,termₜ) { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:97:36 [INFO] [stderr] | [INFO] [stderr] 97 | (Term::Structure(Structure(functorₛ, termsₛ)), [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(uncommon_codepoints)]` on by default [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:97:46 [INFO] [stderr] | [INFO] [stderr] 97 | (Term::Structure(Structure(functorₛ, termsₛ)), [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:98:36 [INFO] [stderr] | [INFO] [stderr] 98 | Term::Structure(Structure(functorₜ, termsₜ))) => [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:98:46 [INFO] [stderr] | [INFO] [stderr] 98 | Term::Structure(Structure(functorₜ, termsₜ))) => [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:100:16 [INFO] [stderr] | [INFO] [stderr] 100 | if functorₛ == functorₜ && termsₛ.len() == termsₜ.len() { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:100:28 [INFO] [stderr] | [INFO] [stderr] 100 | if functorₛ == functorₜ && termsₛ.len() == termsₜ.len() { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:100:40 [INFO] [stderr] | [INFO] [stderr] 100 | if functorₛ == functorₜ && termsₛ.len() == termsₜ.len() { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:100:56 [INFO] [stderr] | [INFO] [stderr] 100 | if functorₛ == functorₜ && termsₛ.len() == termsₜ.len() { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:104:22 [INFO] [stderr] | [INFO] [stderr] 104 | for (termₛ,termₜ) in zip!(termsₛ,termsₜ) { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:104:28 [INFO] [stderr] | [INFO] [stderr] 104 | for (termₛ,termₜ) in zip!(termsₛ,termsₜ) { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:104:43 [INFO] [stderr] | [INFO] [stderr] 104 | for (termₛ,termₜ) in zip!(termsₛ,termsₜ) { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:104:50 [INFO] [stderr] | [INFO] [stderr] 104 | for (termₛ,termₜ) in zip!(termsₛ,termsₜ) { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:106:25 [INFO] [stderr] | [INFO] [stderr] 106 | let termₛ = apply(&substitutions, &termₛ); [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:106:56 [INFO] [stderr] | [INFO] [stderr] 106 | let termₛ = apply(&substitutions, &termₛ); [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:107:25 [INFO] [stderr] | [INFO] [stderr] 107 | let termₜ = apply(&substitutions, &termₜ); [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:107:56 [INFO] [stderr] | [INFO] [stderr] 107 | let termₜ = apply(&substitutions, &termₜ); [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:109:50 [INFO] [stderr] | [INFO] [stderr] 109 | if let Some(unifier) = unify(termₛ,termₜ) { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: identifier contains uncommon Unicode codepoints [INFO] [stderr] --> src/main.rs:109:56 [INFO] [stderr] | [INFO] [stderr] 109 | if let Some(unifier) = unify(termₛ,termₜ) { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `push_all` found for struct `std::vec::Vec<(Variable, Term)>` in the current scope [INFO] [stderr] --> src/main.rs:110:39 [INFO] [stderr] | [INFO] [stderr] 110 | substitutions.push_all(&unifier[..]) [INFO] [stderr] | ^^^^^^^^ method not found in `std::vec::Vec<(Variable, Term)>` [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error; 18 warnings emitted [INFO] [stderr] [INFO] [stderr] For more information about this error, try `rustc --explain E0599`. [INFO] [stderr] error: could not compile `gulog`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error[E0599]: no method named `push_all` found for struct `std::vec::Vec<(Variable, Term)>` in the current scope [INFO] [stderr] --> src/main.rs:110:39 [INFO] [stderr] | [INFO] [stderr] 110 | substitutions.push_all(&unifier[..]) [INFO] [stderr] | ^^^^^^^^ method not found in `std::vec::Vec<(Variable, Term)>` [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error; 18 warnings emitted [INFO] [stderr] [INFO] [stderr] For more information about this error, try `rustc --explain E0599`. [INFO] [stderr] error: could not compile `gulog`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "2975428108fe9a2e4a29ea603848f284ab266c1205c25a9bcc6158ac922a2094"` [INFO] running `"docker" "rm" "-f" "2975428108fe9a2e4a29ea603848f284ab266c1205c25a9bcc6158ac922a2094"` [INFO] [stdout] 2975428108fe9a2e4a29ea603848f284ab266c1205c25a9bcc6158ac922a2094