[INFO] updating cached repository https://github.com/jswrenn/gulog [INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"` [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] b90cdeb4aa9446fd50ae2013c4ee9969f7cab3a4 [INFO] checking jswrenn/gulog against try#d27c6c6a469a28343396a8f3ac1c9d403aabda69 for pr-66037 [INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjswrenn%2Fgulog" "/workspace/builds/worker-11/source"` [INFO] [stderr] Cloning into '/workspace/builds/worker-11/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/jswrenn/gulog on toolchain d27c6c6a469a28343396a8f3ac1c9d403aabda69 [INFO] running `"/workspace/cargo-home/bin/cargo" "+d27c6c6a469a28343396a8f3ac1c9d403aabda69" "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-11/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" "+d27c6c6a469a28343396a8f3ac1c9d403aabda69" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/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] 3b196638471946fe2bdba91e38d406fd1ae7ee13a1cc66ef42f40102bf45c3a8 [INFO] running `"docker" "start" "-a" "3b196638471946fe2bdba91e38d406fd1ae7ee13a1cc66ef42f40102bf45c3a8"` [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] 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 [INFO] [stderr] [INFO] [stderr] For more information about this error, try `rustc --explain E0599`. [INFO] [stderr] error: could not compile `gulog`. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [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 [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" "3b196638471946fe2bdba91e38d406fd1ae7ee13a1cc66ef42f40102bf45c3a8"` [INFO] running `"docker" "rm" "-f" "3b196638471946fe2bdba91e38d406fd1ae7ee13a1cc66ef42f40102bf45c3a8"` [INFO] [stdout] 3b196638471946fe2bdba91e38d406fd1ae7ee13a1cc66ef42f40102bf45c3a8