[INFO] fetching crate symbolic-mgu 0.1.0-alpha.15... [INFO] checking symbolic-mgu-0.1.0-alpha.15 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate symbolic-mgu 0.1.0-alpha.15 into /workspace/builds/worker-1-tc2/source [INFO] started tweaking crates.io crate symbolic-mgu 0.1.0-alpha.15 [INFO] finished tweaking crates.io crate symbolic-mgu 0.1.0-alpha.15 [INFO] tweaked toml for crates.io crate symbolic-mgu 0.1.0-alpha.15 written to /workspace/builds/worker-1-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate symbolic-mgu 0.1.0-alpha.15 on toolchain b6bca0d7327839b5e3f7a7779947cb9113d08917 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate symbolic-mgu 0.1.0-alpha.15 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" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 72f24542a4987278f684de52039730b1f05b515ed502aa08abe7c325333160c1 [INFO] running `Command { std: "docker" "start" "-a" "72f24542a4987278f684de52039730b1f05b515ed502aa08abe7c325333160c1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "72f24542a4987278f684de52039730b1f05b515ed502aa08abe7c325333160c1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "72f24542a4987278f684de52039730b1f05b515ed502aa08abe7c325333160c1", kill_on_drop: false }` [INFO] [stdout] 72f24542a4987278f684de52039730b1f05b515ed502aa08abe7c325333160c1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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 -Zstrict-projection-item-bounds" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 087c73ced07848272dfbebb8a577a810fc9e77f07e183d754e380391d499684b [INFO] running `Command { std: "docker" "start" "-a" "087c73ced07848272dfbebb8a577a810fc9e77f07e183d754e380391d499684b", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.104 [INFO] [stderr] Compiling libc v0.2.177 [INFO] [stderr] Compiling unicode-ident v1.0.20 [INFO] [stderr] Compiling quote v1.0.41 [INFO] [stderr] Compiling zerocopy v0.8.27 [INFO] [stderr] Compiling rustix v1.1.2 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling symbolic-mgu v0.1.0-alpha.15 (/opt/rustwide/workdir) [INFO] [stderr] Checking hashbrown v0.12.3 [INFO] [stderr] Checking itertools v0.14.0 [INFO] [stderr] Checking bit-vec v0.6.3 [INFO] [stderr] Checking unarray v0.1.4 [INFO] [stderr] Checking bit-set v0.5.3 [INFO] [stderr] Compiling syn v2.0.108 [INFO] [stderr] Checking getrandom v0.2.16 [INFO] [stderr] Checking getrandom v0.3.4 [INFO] [stderr] Checking wait-timeout v0.2.1 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking tempfile v3.23.0 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking rusty-fork v0.3.1 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking proptest v1.5.0 [INFO] [stderr] Compiling thiserror-impl v2.0.17 [INFO] [stderr] Compiling strum_macros v0.27.2 [INFO] [stderr] Checking thiserror v2.0.17 [INFO] [stderr] Checking strum v0.27.2 [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `::Type == >::MetavariableType` [INFO] [stdout] --> src/metavariable/factory.rs:208:38 [INFO] [stdout] | [INFO] [stdout] 208 | Self::Metavariable: Metavariable, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot satisfy `::Type == >::MetavariableType` [INFO] [stdout] | [INFO] [stdout] note: the requirement `::Type == >::MetavariableType` appears on the `impl`'s associated function `from_factories` but not on the corresponding trait's associated function [INFO] [stdout] --> src/term/factory.rs:351:8 [INFO] [stdout] | [INFO] [stdout] 314 | pub trait TermFactory: Debug [INFO] [stdout] | ----------- in this trait [INFO] [stdout] ... [INFO] [stdout] 351 | fn from_factories(type_factory: TyF, vars: VF, nodes: NF) -> Self [INFO] [stdout] | ^^^^^^^^^^^^^^ this trait's associated function doesn't have the requirement `::Type == >::MetavariableType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `::Type == T` [INFO] [stdout] --> src/term/simple.rs:260:76 [INFO] [stdout] | [INFO] [stdout] 260 | fn from_factories(type_factory: TyF, _vars: VF, _nodes: NF) -> Self [INFO] [stdout] | ^^^^ cannot satisfy `::Type == T` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `EnumTermFactory` [INFO] [stdout] --> src/term/simple.rs:202:21 [INFO] [stdout] | [INFO] [stdout] 199 | pub struct EnumTermFactory [INFO] [stdout] | --------------- required by a bound in this struct [INFO] [stdout] ... [INFO] [stdout] 202 | V: Metavariable, [INFO] [stdout] | ^^^^^^^^ required by this bound in `EnumTermFactory` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `::Type == Ty` [INFO] [stdout] --> src/term/factory.rs:316:8 [INFO] [stdout] | [INFO] [stdout] 316 | T: Term, [INFO] [stdout] | ^^^^^^^^^^^^^^ cannot satisfy `::Type == Ty` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `Term` [INFO] [stdout] --> src/term/base.rs:33:21 [INFO] [stdout] | [INFO] [stdout] 29 | pub trait Term: [INFO] [stdout] | ---- required by a bound in this trait [INFO] [stdout] ... [INFO] [stdout] 33 | V: Metavariable, [INFO] [stdout] | ^^^^^^^^ required by this bound in `Term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `::Type == <... as MetavariableFactory<...>>::MetavariableType` [INFO] [stdout] --> src/metavariable/factory.rs:208:38 [INFO] [stdout] | [INFO] [stdout] 208 | Self::Metavariable: Metavariable, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot satisfy `::Type == <... as MetavariableFactory<...>>::MetavariableType` [INFO] [stdout] | [INFO] [stdout] note: the requirement `::Type == >::MetavariableType` appears on the `impl`'s associated function `from_factories` but not on the corresponding trait's associated function [INFO] [stdout] --> src/term/factory.rs:351:8 [INFO] [stdout] | [INFO] [stdout] 314 | pub trait TermFactory: Debug [INFO] [stdout] | ----------- in this trait [INFO] [stdout] ... [INFO] [stdout] 351 | fn from_factories(type_factory: TyF, vars: VF, nodes: NF) -> Self [INFO] [stdout] | ^^^^^^^^^^^^^^ this trait's associated function doesn't have the requirement `::Type == >::MetavariableType` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/symbolic_mgu-1c78b69e4f84a047.long-type-7288518221171710379.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `::Type == T` [INFO] [stdout] --> src/term/simple.rs:260:76 [INFO] [stdout] | [INFO] [stdout] 260 | fn from_factories(type_factory: TyF, _vars: VF, _nodes: NF) -> Self [INFO] [stdout] | ^^^^ cannot satisfy `::Type == T` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `EnumTermFactory` [INFO] [stdout] --> src/term/simple.rs:202:21 [INFO] [stdout] | [INFO] [stdout] 199 | pub struct EnumTermFactory [INFO] [stdout] | --------------- required by a bound in this struct [INFO] [stdout] ... [INFO] [stdout] 202 | V: Metavariable, [INFO] [stdout] | ^^^^^^^^ required by this bound in `EnumTermFactory` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::Type == <... as MetavariableFactory<...>>::MetavariableType` [INFO] [stdout] --> src/term/substitution.rs:687:56 [INFO] [stdout] | [INFO] [stdout] 687 | VF: MetavariableFactory, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ type mismatch resolving `::Type == <... as MetavariableFactory<...>>::MetavariableType` [INFO] [stdout] | [INFO] [stdout] note: expected this to be `>::MetavariableType` [INFO] [stdout] --> src/metavariable/meta_byte.rs:80:17 [INFO] [stdout] | [INFO] [stdout] 80 | type Type = SimpleType; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] = note: expected associated type `>::MetavariableType` [INFO] [stdout] found enum `mgutype::base::SimpleType` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/symbolic_mgu-1c78b69e4f84a047.long-type-14030954480590088363.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider constraining the associated type `>::MetavariableType` to `mgutype::base::SimpleType` [INFO] [stdout] | [INFO] [stdout] 687 | VF: MetavariableFactory, [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::Type == ::NodeType` [INFO] [stdout] --> src/term/substitution.rs:688:29 [INFO] [stdout] | [INFO] [stdout] 688 | NF: NodeFactory, [INFO] [stdout] | ^^^^^^^^^^^^^^^ type mismatch resolving `::Type == ::NodeType` [INFO] [stdout] | [INFO] [stdout] note: expected this to be `::NodeType` [INFO] [stdout] --> src/node/node_byte/base.rs:1342:17 [INFO] [stdout] | [INFO] [stdout] 1342 | type Type = SimpleType; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] = note: expected associated type `::NodeType` [INFO] [stdout] found enum `mgutype::base::SimpleType` [INFO] [stdout] help: consider constraining the associated type `::NodeType` to `mgutype::base::SimpleType` [INFO] [stdout] | [INFO] [stdout] 688 | NF: NodeFactory, [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::Type == <... as MetavariableFactory<...>>::MetavariableType` [INFO] [stdout] --> src/term/substitution.rs:1438:56 [INFO] [stdout] | [INFO] [stdout] 1438 | VF: MetavariableFactory, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ type mismatch resolving `::Type == <... as MetavariableFactory<...>>::MetavariableType` [INFO] [stdout] | [INFO] [stdout] note: expected this to be `>::MetavariableType` [INFO] [stdout] --> src/metavariable/meta_byte.rs:80:17 [INFO] [stdout] | [INFO] [stdout] 80 | type Type = SimpleType; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] = note: expected associated type `>::MetavariableType` [INFO] [stdout] found enum `mgutype::base::SimpleType` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/symbolic_mgu-1c78b69e4f84a047.long-type-14030954480590088363.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider constraining the associated type `>::MetavariableType` to `mgutype::base::SimpleType` [INFO] [stdout] | [INFO] [stdout] 1438 | VF: MetavariableFactory, [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::Type == ::NodeType` [INFO] [stdout] --> src/term/substitution.rs:1439:29 [INFO] [stdout] | [INFO] [stdout] 1439 | NF: NodeFactory, [INFO] [stdout] | ^^^^^^^^^^^^^^^ type mismatch resolving `::Type == ::NodeType` [INFO] [stdout] | [INFO] [stdout] note: expected this to be `::NodeType` [INFO] [stdout] --> src/node/node_byte/base.rs:1342:17 [INFO] [stdout] | [INFO] [stdout] 1342 | type Type = SimpleType; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] = note: expected associated type `::NodeType` [INFO] [stdout] found enum `mgutype::base::SimpleType` [INFO] [stdout] help: consider constraining the associated type `::NodeType` to `mgutype::base::SimpleType` [INFO] [stdout] | [INFO] [stdout] 1439 | NF: NodeFactory, [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `::Type == Ty` [INFO] [stdout] --> src/term/factory.rs:316:8 [INFO] [stdout] | [INFO] [stdout] 316 | T: Term, [INFO] [stdout] | ^^^^^^^^^^^^^^ cannot satisfy `::Type == Ty` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `term::base::Term` [INFO] [stdout] --> src/term/base.rs:33:21 [INFO] [stdout] | [INFO] [stdout] 29 | pub trait Term: [INFO] [stdout] | ---- required by a bound in this trait [INFO] [stdout] ... [INFO] [stdout] 33 | V: Metavariable, [INFO] [stdout] | ^^^^^^^^ required by this bound in `Term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `::Type == T` [INFO] [stdout] --> src/term/simple.rs:265:9 [INFO] [stdout] | [INFO] [stdout] 265 | Self::new(type_factory) [INFO] [stdout] | ^^^^ cannot satisfy `::Type == T` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `EnumTermFactory` [INFO] [stdout] --> src/term/simple.rs:202:21 [INFO] [stdout] | [INFO] [stdout] 199 | pub struct EnumTermFactory [INFO] [stdout] | --------------- required by a bound in this struct [INFO] [stdout] ... [INFO] [stdout] 202 | V: Metavariable, [INFO] [stdout] | ^^^^^^^^ required by this bound in `EnumTermFactory` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0284`. [INFO] [stdout] [INFO] [stderr] error: could not compile `symbolic-mgu` (lib) due to 4 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `::Type == T` [INFO] [stdout] --> src/term/simple.rs:265:9 [INFO] [stdout] | [INFO] [stdout] 265 | Self::new(type_factory) [INFO] [stdout] | ^^^^ cannot satisfy `::Type == T` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `EnumTermFactory` [INFO] [stdout] --> src/term/simple.rs:202:21 [INFO] [stdout] | [INFO] [stdout] 199 | pub struct EnumTermFactory [INFO] [stdout] | --------------- required by a bound in this struct [INFO] [stdout] ... [INFO] [stdout] 202 | V: Metavariable, [INFO] [stdout] | ^^^^^^^^ required by this bound in `EnumTermFactory` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0271, E0284. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `symbolic-mgu` (lib test) due to 8 previous errors [INFO] running `Command { std: "docker" "inspect" "087c73ced07848272dfbebb8a577a810fc9e77f07e183d754e380391d499684b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "087c73ced07848272dfbebb8a577a810fc9e77f07e183d754e380391d499684b", kill_on_drop: false }` [INFO] [stdout] 087c73ced07848272dfbebb8a577a810fc9e77f07e183d754e380391d499684b