[INFO] fetching crate lattices 0.6.2... [INFO] checking lattices-0.6.2 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate lattices 0.6.2 into /workspace/builds/worker-1-tc2/source [INFO] started tweaking crates.io crate lattices 0.6.2 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate lattices 0.6.2 [INFO] tweaked toml for crates.io crate lattices 0.6.2 written to /workspace/builds/worker-1-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate lattices 0.6.2 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 lattices 0.6.2 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] dec471d92e1a112c6b1937d6170e53abe33c66be5a4cf26095a13b2772c6e1ee [INFO] running `Command { std: "docker" "start" "-a" "dec471d92e1a112c6b1937d6170e53abe33c66be5a4cf26095a13b2772c6e1ee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "dec471d92e1a112c6b1937d6170e53abe33c66be5a4cf26095a13b2772c6e1ee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dec471d92e1a112c6b1937d6170e53abe33c66be5a4cf26095a13b2772c6e1ee", kill_on_drop: false }` [INFO] [stdout] dec471d92e1a112c6b1937d6170e53abe33c66be5a4cf26095a13b2772c6e1ee [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] 9b0a64c421e1e485c5c7fc8cd083f66997c8129c4e18691d09381a9d0b7d2344 [INFO] running `Command { std: "docker" "start" "-a" "9b0a64c421e1e485c5c7fc8cd083f66997c8129c4e18691d09381a9d0b7d2344", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.175 [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling similar v2.7.0 [INFO] [stderr] Compiling unicode-ident v1.0.19 [INFO] [stderr] Compiling zerocopy v0.8.27 [INFO] [stderr] Compiling serde_core v1.0.227 [INFO] [stderr] Compiling serde v1.0.227 [INFO] [stderr] Compiling hashbrown v0.15.5 [INFO] [stderr] Compiling winnow v0.7.13 [INFO] [stderr] Compiling cfg-if v1.0.3 [INFO] [stderr] Compiling fst v0.4.7 [INFO] [stderr] Compiling ref-cast v1.0.24 [INFO] [stderr] Compiling target-triple v0.1.4 [INFO] [stderr] Checking toml_writer v1.0.2 [INFO] [stderr] Checking bytemuck v1.23.2 [INFO] [stderr] Checking cc-traits v2.0.0 [INFO] [stderr] Checking roaring v0.10.12 [INFO] [stderr] Compiling indexmap v2.11.1 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Compiling console v0.15.11 [INFO] [stderr] Compiling toml_edit v0.22.27 [INFO] [stderr] Compiling insta v1.43.2 [INFO] [stderr] Checking toml_parser v1.0.2 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling hydro_build_utils v0.0.1 [INFO] [stderr] Compiling proc-macro-crate v3.3.0 [INFO] [stderr] Compiling variadics v0.0.10 [INFO] [stderr] Compiling lattices_macro v0.5.11 [INFO] [stderr] Compiling lattices v0.6.2 (/opt/rustwide/workdir) [INFO] [stderr] Checking toml_datetime v0.7.0 [INFO] [stderr] Checking serde_spanned v1.0.0 [INFO] [stderr] Checking serde_json v1.0.143 [INFO] [stderr] Checking toml v0.9.5 [INFO] [stderr] Compiling sealed v0.6.0 [INFO] [stderr] Compiling ref-cast-impl v1.0.24 [INFO] [stderr] Compiling serde_derive v1.0.227 [INFO] [stderr] Compiling variadics_macro v0.6.2 [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:209:5 [INFO] [stdout] | [INFO] [stdout] 209 | fn iter(&self) -> impl Iterator { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as VariadicExt>::Reverse as VariadicExt>::Reverse == <... as ColtGet>::SuffixSchema` [INFO] [stdout] --> src/ght/colt.rs:209:23 [INFO] [stdout] | [INFO] [stdout] 209 | fn iter(&self) -> impl Iterator { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ColtGet::SuffixSchema`, found `variadics::VariadicExt::Reverse` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SuffixSchema` [INFO] [stdout] found associated type `<<::SuffixSchema as VariadicExt>::Reverse as VariadicExt>::Reverse` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] = note: required for `::Schema` to implement `SplitBySuffix<::SuffixSchema>` [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:181:35 [INFO] [stdout] | [INFO] [stdout] 181 | impl<'a, Head, Head2, Rest, Node> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:28:52 [INFO] [stdout] | [INFO] [stdout] 28 | type Schema: VariadicExt + Eq + Hash + Clone + SplitBySuffix; [INFO] [stdout] | --------------------------------- unsatisfied trait bound introduced here [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lattices-8613c23f78cb967b.long-type-15103244402368404333.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::Schema as VariadicExt>::Reverse: Split<...>` is not satisfied [INFO] [stdout] --> src/ght/colt.rs:209:23 [INFO] [stdout] | [INFO] [stdout] 209 | fn iter(&self) -> impl Iterator { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `variadics::Split<<::SuffixSchema as VariadicExt>::Reverse>` is not implemented for `<::Schema as VariadicExt>::Reverse` [INFO] [stdout] = note: required for `::Schema` to implement `SplitBySuffix<::SuffixSchema>` [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:181:35 [INFO] [stdout] | [INFO] [stdout] 181 | impl<'a, Head, Head2, Rest, Node> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:28:52 [INFO] [stdout] | [INFO] [stdout] 28 | type Schema: VariadicExt + Eq + Hash + Clone + SplitBySuffix; [INFO] [stdout] | --------------------------------- unsatisfied trait bound introduced here [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lattices-8613c23f78cb967b.long-type-2858213228237261020.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 209 | fn iter(&self) -> impl Iterator where <::Schema as VariadicExt>::Reverse: variadics::Split<<::SuffixSchema as VariadicExt>::Reverse> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:243:5 [INFO] [stdout] | [INFO] [stdout] 243 | fn iter(&self) -> impl Iterator { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `> as GeneralizedHashTrieNode>::Head == Head` [INFO] [stdout] --> src/ght/colt.rs:243:23 [INFO] [stdout] | [INFO] [stdout] 243 | fn iter(&self) -> impl Iterator { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot satisfy `> as GeneralizedHashTrieNode>::Head == Head` [INFO] [stdout] | [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:214:48 [INFO] [stdout] | [INFO] [stdout] 214 | ... Schema, ValType, Storage> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 225 | ...ashTrieNode + GhtGet, [INFO] [stdout] | ----------- unsatisfied trait bound introduced here [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as VariadicExt>::Reverse as VariadicExt>::Reverse == <... as ColtGet>::SuffixSchema` [INFO] [stdout] --> src/ght/colt.rs:209:23 [INFO] [stdout] | [INFO] [stdout] 209 | fn iter(&self) -> impl Iterator { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ColtGet::SuffixSchema`, found `variadics::VariadicExt::Reverse` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SuffixSchema` [INFO] [stdout] found associated type `<<::SuffixSchema as VariadicExt>::Reverse as VariadicExt>::Reverse` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] = note: required for `::Schema` to implement `SplitBySuffix<::SuffixSchema>` [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:181:35 [INFO] [stdout] | [INFO] [stdout] 181 | impl<'a, Head, Head2, Rest, Node> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:28:52 [INFO] [stdout] | [INFO] [stdout] 28 | type Schema: VariadicExt + Eq + Hash + Clone + SplitBySuffix; [INFO] [stdout] | --------------------------------- unsatisfied trait bound introduced here [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lattices-8613c23f78cb967b.long-type-15103244402368404333.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::Schema as VariadicExt>::Reverse: Split<...>` is not satisfied [INFO] [stdout] --> src/ght/colt.rs:209:23 [INFO] [stdout] | [INFO] [stdout] 209 | fn iter(&self) -> impl Iterator { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `variadics::Split<<::SuffixSchema as VariadicExt>::Reverse>` is not implemented for `<::Schema as VariadicExt>::Reverse` [INFO] [stdout] = note: required for `::Schema` to implement `SplitBySuffix<::SuffixSchema>` [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:181:35 [INFO] [stdout] | [INFO] [stdout] 181 | impl<'a, Head, Head2, Rest, Node> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:28:52 [INFO] [stdout] | [INFO] [stdout] 28 | type Schema: VariadicExt + Eq + Hash + Clone + SplitBySuffix; [INFO] [stdout] | --------------------------------- unsatisfied trait bound introduced here [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lattices-8613c23f78cb967b.long-type-2858213228237261020.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 209 | fn iter(&self) -> impl Iterator where <::Schema as VariadicExt>::Reverse: variadics::Split<<::SuffixSchema as VariadicExt>::Reverse> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `> as GeneralizedHashTrieNode>::Head == Head` [INFO] [stdout] --> src/ght/colt.rs:243:23 [INFO] [stdout] | [INFO] [stdout] 243 | fn iter(&self) -> impl Iterator { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot satisfy `> as GeneralizedHashTrieNode>::Head == Head` [INFO] [stdout] | [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:214:48 [INFO] [stdout] | [INFO] [stdout] 214 | ... Schema, ValType, Storage> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 225 | ...ashTrieNode + GhtGet, [INFO] [stdout] | ----------- unsatisfied trait bound introduced here [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:181:1 [INFO] [stdout] | [INFO] [stdout] 181 | / impl<'a, Head, Head2, Rest, Node> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] 182 | | where [INFO] [stdout] 183 | | Rest: ColtGet, [INFO] [stdout] 184 | | Head: Eq + Hash + Clone, [INFO] [stdout] ... | [INFO] [stdout] 192 | | >, [INFO] [stdout] 193 | | GhtInner: GeneralizedHashTrieNode, [INFO] [stdout] | |___________________________________________________________________________________________________^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:195:5 [INFO] [stdout] | [INFO] [stdout] 195 | type Schema = Rest::Schema; [INFO] [stdout] | ^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:196:5 [INFO] [stdout] | [INFO] [stdout] 196 | type Head = Rest::Head; [INFO] [stdout] | ^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:197:5 [INFO] [stdout] | [INFO] [stdout] 197 | type SuffixSchema = Rest::SuffixSchema; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:198:5 [INFO] [stdout] | [INFO] [stdout] 198 | type Get = var_type!(&'a mut GhtInner, ...Rest::Get); [INFO] [stdout] | ^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:199:5 [INFO] [stdout] | [INFO] [stdout] 199 | type Storage = Rest::Storage; [INFO] [stdout] | ^^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:199:20 [INFO] [stdout] | [INFO] [stdout] 199 | type Storage = Rest::Storage; [INFO] [stdout] | ^^^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:201:5 [INFO] [stdout] | [INFO] [stdout] 201 | fn get(self, head: &Self::Head) -> Self::Get { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as VariadicExt>::Reverse as VariadicExt>::Reverse == <... as ColtGet>::SuffixSchema` [INFO] [stdout] --> src/ght/colt.rs:201:5 [INFO] [stdout] | [INFO] [stdout] 201 | fn get(self, head: &Self::Head) -> Self::Get { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ColtGet::SuffixSchema`, found `variadics::VariadicExt::Reverse` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SuffixSchema` [INFO] [stdout] found associated type `<<::SuffixSchema as VariadicExt>::Reverse as VariadicExt>::Reverse` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] = note: required for `::Schema` to implement `SplitBySuffix<::SuffixSchema>` [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:181:35 [INFO] [stdout] | [INFO] [stdout] 181 | impl<'a, Head, Head2, Rest, Node> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:28:52 [INFO] [stdout] | [INFO] [stdout] 28 | type Schema: VariadicExt + Eq + Hash + Clone + SplitBySuffix; [INFO] [stdout] | --------------------------------- unsatisfied trait bound introduced here [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lattices-8613c23f78cb967b.long-type-15103244402368404333.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::Schema as VariadicExt>::Reverse: Split<...>` is not satisfied [INFO] [stdout] --> src/ght/colt.rs:201:5 [INFO] [stdout] | [INFO] [stdout] 201 | fn get(self, head: &Self::Head) -> Self::Get { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `variadics::Split<<::SuffixSchema as VariadicExt>::Reverse>` is not implemented for `<::Schema as VariadicExt>::Reverse` [INFO] [stdout] = note: required for `::Schema` to implement `SplitBySuffix<::SuffixSchema>` [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:181:35 [INFO] [stdout] | [INFO] [stdout] 181 | impl<'a, Head, Head2, Rest, Node> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:28:52 [INFO] [stdout] | [INFO] [stdout] 28 | type Schema: VariadicExt + Eq + Hash + Clone + SplitBySuffix; [INFO] [stdout] | --------------------------------- unsatisfied trait bound introduced here [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lattices-8613c23f78cb967b.long-type-2858213228237261020.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 201 | fn get(self, head: &Self::Head) -> Self::Get where <::Schema as VariadicExt>::Reverse: variadics::Split<<::SuffixSchema as VariadicExt>::Reverse> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:209:23 [INFO] [stdout] | [INFO] [stdout] 209 | fn iter(&self) -> impl Iterator { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as VariadicExt>::Reverse as VariadicExt>::Reverse == <... as ColtGet>::SuffixSchema` [INFO] [stdout] --> src/ght/colt.rs:123:23 [INFO] [stdout] | [INFO] [stdout] 123 | fn iter(&self) -> impl Iterator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ColtGet::SuffixSchema`, found `variadics::VariadicExt::Reverse` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SuffixSchema` [INFO] [stdout] found associated type `<<::SuffixSchema as VariadicExt>::Reverse as VariadicExt>::Reverse` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] = note: required for `::Schema` to implement `SplitBySuffix<::SuffixSchema>` [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:181:35 [INFO] [stdout] | [INFO] [stdout] 181 | impl<'a, Head, Head2, Rest, Node> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:28:52 [INFO] [stdout] | [INFO] [stdout] 28 | type Schema: VariadicExt + Eq + Hash + Clone + SplitBySuffix; [INFO] [stdout] | --------------------------------- unsatisfied trait bound introduced here [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lattices-8613c23f78cb967b.long-type-15103244402368404333.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::Schema as VariadicExt>::Reverse: Split<...>` is not satisfied [INFO] [stdout] --> src/ght/colt.rs:123:23 [INFO] [stdout] | [INFO] [stdout] 123 | fn iter(&self) -> impl Iterator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `variadics::Split<<::SuffixSchema as VariadicExt>::Reverse>` is not implemented for `<::Schema as VariadicExt>::Reverse` [INFO] [stdout] = note: required for `::Schema` to implement `SplitBySuffix<::SuffixSchema>` [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:181:35 [INFO] [stdout] | [INFO] [stdout] 181 | impl<'a, Head, Head2, Rest, Node> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:28:52 [INFO] [stdout] | [INFO] [stdout] 28 | type Schema: VariadicExt + Eq + Hash + Clone + SplitBySuffix; [INFO] [stdout] | --------------------------------- unsatisfied trait bound introduced here [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lattices-8613c23f78cb967b.long-type-2858213228237261020.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 193 | GhtInner: GeneralizedHashTrieNode, <::Schema as VariadicExt>::Reverse: variadics::Split<<::SuffixSchema as VariadicExt>::Reverse> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as VariadicExt>::Reverse as VariadicExt>::Reverse == <... as ColtGet>::SuffixSchema` [INFO] [stdout] --> src/ght/mod.rs:28:52 [INFO] [stdout] | [INFO] [stdout] 28 | type Schema: VariadicExt + Eq + Hash + Clone + SplitBySuffix; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ColtGet::SuffixSchema`, found `variadics::VariadicExt::Reverse` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SuffixSchema` [INFO] [stdout] found associated type `<<::SuffixSchema as VariadicExt>::Reverse as VariadicExt>::Reverse` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] = note: required for `::Schema` to implement `variadics::__seal_split_by_suffix::Sealed<::SuffixSchema>` [INFO] [stdout] note: required by a bound in `SplitBySuffix` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/variadics-0.0.10/src/lib.rs:716:1 [INFO] [stdout] | [INFO] [stdout] 716 | #[sealed] [INFO] [stdout] | ^^^^^^^^^ required by this bound in `SplitBySuffix` [INFO] [stdout] ... [INFO] [stdout] 721 | pub trait SplitBySuffix: VariadicExt [INFO] [stdout] | ------------- required by a bound in this trait [INFO] [stdout] = note: `SplitBySuffix` is a "sealed trait", because to implement it you also need to implement `variadics::__seal_split_by_suffix::Sealed`, which is not accessible; this is usually done to force you to use one of the provided types that already implement it [INFO] [stdout] = help: the following type implements the trait: [INFO] [stdout] This [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lattices-8613c23f78cb967b.long-type-15103244402368404333.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: this error originates in the attribute macro `sealed` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::Schema as VariadicExt>::Reverse: Split<...>` is not satisfied [INFO] [stdout] --> src/ght/mod.rs:28:52 [INFO] [stdout] | [INFO] [stdout] 28 | type Schema: VariadicExt + Eq + Hash + Clone + SplitBySuffix; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `variadics::Split<<::SuffixSchema as VariadicExt>::Reverse>` is not implemented for `<::Schema as VariadicExt>::Reverse` [INFO] [stdout] = note: required for `::Schema` to implement `variadics::__seal_split_by_suffix::Sealed<::SuffixSchema>` [INFO] [stdout] note: required by a bound in `SplitBySuffix` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/variadics-0.0.10/src/lib.rs:716:1 [INFO] [stdout] | [INFO] [stdout] 716 | #[sealed] [INFO] [stdout] | ^^^^^^^^^ required by this bound in `SplitBySuffix` [INFO] [stdout] ... [INFO] [stdout] 721 | pub trait SplitBySuffix: VariadicExt [INFO] [stdout] | ------------- required by a bound in this trait [INFO] [stdout] = note: `SplitBySuffix` is a "sealed trait", because to implement it you also need to implement `variadics::__seal_split_by_suffix::Sealed`, which is not accessible; this is usually done to force you to use one of the provided types that already implement it [INFO] [stdout] = help: the following type implements the trait: [INFO] [stdout] This [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lattices-8613c23f78cb967b.long-type-2858213228237261020.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: this error originates in the attribute macro `sealed` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> src/ght/colt.rs:193:100 [INFO] [stdout] | [INFO] [stdout] 193 | GhtInner: GeneralizedHashTrieNode, <::Schema as VariadicExt>::Reverse: variadics::Split<<::SuffixSchema as VariadicExt>::Reverse> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:214:1 [INFO] [stdout] | [INFO] [stdout] 214 | / impl<'a, Head, Rest, Schema, ValType, Storage> ColtGet for var_type!(&'a mut GhtInner>, .... [INFO] [stdout] 215 | | where [INFO] [stdout] 216 | | Rest: ColtGet, [INFO] [stdout] 217 | | Head: Eq + Hash + Clone, [INFO] [stdout] ... | [INFO] [stdout] 228 | | GhtLeaf: [INFO] [stdout] 229 | | GeneralizedHashTrieNode + GhtGet, [INFO] [stdout] | |_________________________________________________________________________________________^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:231:5 [INFO] [stdout] | [INFO] [stdout] 231 | type Schema = Rest::Schema; [INFO] [stdout] | ^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:232:5 [INFO] [stdout] | [INFO] [stdout] 232 | type Head = Rest::Head; [INFO] [stdout] | ^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:233:5 [INFO] [stdout] | [INFO] [stdout] 233 | type SuffixSchema = Rest::SuffixSchema; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:234:5 [INFO] [stdout] | [INFO] [stdout] 234 | type Get = var_type!(&'a mut GhtLeaf, ...Rest::Get); [INFO] [stdout] | ^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:235:5 [INFO] [stdout] | [INFO] [stdout] 235 | type Storage = Rest::Storage; [INFO] [stdout] | ^^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:235:20 [INFO] [stdout] | [INFO] [stdout] 235 | type Storage = Rest::Storage; [INFO] [stdout] | ^^^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:237:5 [INFO] [stdout] | [INFO] [stdout] 237 | fn get(self, head: &Self::Head) -> Self::Get { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `> as GeneralizedHashTrieNode>::Head == Head` [INFO] [stdout] --> src/ght/colt.rs:237:5 [INFO] [stdout] | [INFO] [stdout] 237 | fn get(self, head: &Self::Head) -> Self::Get { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot satisfy `> as GeneralizedHashTrieNode>::Head == Head` [INFO] [stdout] | [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:214:48 [INFO] [stdout] | [INFO] [stdout] 214 | ... Schema, ValType, Storage> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 225 | ...ashTrieNode + GhtGet, [INFO] [stdout] | ----------- unsatisfied trait bound introduced here [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/ght/colt.rs:243:23 [INFO] [stdout] | [INFO] [stdout] 243 | fn iter(&self) -> impl Iterator { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `<::Storage as VariadicCollection>::Schema == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Storage: Extend` is not satisfied [INFO] [stdout] --> src/ght/colt.rs:220:33 [INFO] [stdout] | [INFO] [stdout] 220 | Storage: VariadicCollection, [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `Extend` is not implemented for `Storage` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `VariadicCollection` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/variadics-0.0.10/src/variadic_collections.rs:9:31 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait VariadicCollection: Extend { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ required by this bound in `VariadicCollection` [INFO] [stdout] help: consider further restricting type parameter `Storage` with trait `Extend` [INFO] [stdout] | [INFO] [stdout] 220 | Storage: VariadicCollection + std::iter::Extend, [INFO] [stdout] | +++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Schema: PartialEqVariadic` is not satisfied [INFO] [stdout] --> src/ght/mod.rs:166:5 [INFO] [stdout] | [INFO] [stdout] 166 | / fn find_containing_leaf( [INFO] [stdout] 167 | | &self, [INFO] [stdout] 168 | | row: ::AsRefVar<'_>, [INFO] [stdout] 169 | | ) -> Option<&'_ GhtLeaf> { [INFO] [stdout] | |________________________________________________________________________^ the trait `PartialEqVariadic` is not implemented for `::Schema` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `GhtLeaf` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/variadics-0.0.10/src/variadic_collections.rs:11:18 [INFO] [stdout] | [INFO] [stdout] 11 | type Schema: PartialEqVariadic; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ required by this bound in `GhtLeaf` [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:202:12 [INFO] [stdout] | [INFO] [stdout] 202 | pub struct GhtLeaf [INFO] [stdout] | ------- required by a bound in this struct [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 169 | ) -> Option<&'_ GhtLeaf> where ::Schema: PartialEqVariadic { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as VariadicExt>::Reverse as VariadicExt>::Reverse == <... as ColtGet>::SuffixSchema` [INFO] [stdout] --> src/ght/colt.rs:201:24 [INFO] [stdout] | [INFO] [stdout] 201 | fn get(self, head: &Self::Head) -> Self::Get { [INFO] [stdout] | ^^^^^^^^^^^ expected `ColtGet::SuffixSchema`, found `variadics::VariadicExt::Reverse` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SuffixSchema` [INFO] [stdout] found associated type `<<::SuffixSchema as VariadicExt>::Reverse as VariadicExt>::Reverse` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] = note: required for `::Schema` to implement `SplitBySuffix<::SuffixSchema>` [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:181:35 [INFO] [stdout] | [INFO] [stdout] 181 | impl<'a, Head, Head2, Rest, Node> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:28:52 [INFO] [stdout] | [INFO] [stdout] 28 | type Schema: VariadicExt + Eq + Hash + Clone + SplitBySuffix; [INFO] [stdout] | --------------------------------- unsatisfied trait bound introduced here [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lattices-8613c23f78cb967b.long-type-15103244402368404333.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::Schema as VariadicExt>::Reverse: Split<...>` is not satisfied [INFO] [stdout] --> src/ght/colt.rs:201:25 [INFO] [stdout] | [INFO] [stdout] 201 | fn get(self, head: &Self::Head) -> Self::Get { [INFO] [stdout] | ^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `variadics::Split<<::SuffixSchema as VariadicExt>::Reverse>` is not implemented for `<::Schema as VariadicExt>::Reverse` [INFO] [stdout] = note: required for `::Schema` to implement `SplitBySuffix<::SuffixSchema>` [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:181:35 [INFO] [stdout] | [INFO] [stdout] 181 | impl<'a, Head, Head2, Rest, Node> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:28:52 [INFO] [stdout] | [INFO] [stdout] 28 | type Schema: VariadicExt + Eq + Hash + Clone + SplitBySuffix; [INFO] [stdout] | --------------------------------- unsatisfied trait bound introduced here [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lattices-8613c23f78cb967b.long-type-2858213228237261020.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 201 | fn get(self, head: &Self::Head) -> Self::Get where <::Schema as VariadicExt>::Reverse: variadics::Split<<::SuffixSchema as VariadicExt>::Reverse> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::Schema as VariadicExt>::Reverse: Split<...>` is not satisfied [INFO] [stdout] --> src/ght/mod.rs:28:52 [INFO] [stdout] | [INFO] [stdout] 28 | type Schema: VariadicExt + Eq + Hash + Clone + SplitBySuffix; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `variadics::Split<<::SuffixSchema as VariadicExt>::Reverse>` is not implemented for `<::Schema as VariadicExt>::Reverse` [INFO] [stdout] = note: required for `::Schema` to implement `variadics::__seal_split_by_suffix::Sealed<::SuffixSchema>` [INFO] [stdout] note: required by a bound in `SplitBySuffix` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/variadics-0.0.10/src/lib.rs:716:1 [INFO] [stdout] | [INFO] [stdout] 716 | #[sealed] [INFO] [stdout] | ^^^^^^^^^ required by this bound in `SplitBySuffix` [INFO] [stdout] ... [INFO] [stdout] 721 | pub trait SplitBySuffix: VariadicExt [INFO] [stdout] | ------------- required by a bound in this trait [INFO] [stdout] = note: `SplitBySuffix` is a "sealed trait", because to implement it you also need to implement `variadics::__seal_split_by_suffix::Sealed`, which is not accessible; this is usually done to force you to use one of the provided types that already implement it [INFO] [stdout] = help: the following type implements the trait: [INFO] [stdout] This [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lattices-8613c23f78cb967b.long-type-2858213228237261020.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: this error originates in the attribute macro `sealed` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] --> src/ght/colt.rs:209:55 [INFO] [stdout] | [INFO] [stdout] 209 | fn iter(&self) -> impl Iterator where <::Schema as VariadicExt>::Reverse: variadics::Split<<::SuffixSchema as VariadicExt>::Reverse> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Schema: PartialEqVariadic` is not satisfied [INFO] [stdout] --> src/ght/mod.rs:169:21 [INFO] [stdout] | [INFO] [stdout] 169 | ) -> Option<&'_ GhtLeaf> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PartialEqVariadic` is not implemented for `::Schema` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `GhtLeaf` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/variadics-0.0.10/src/variadic_collections.rs:11:18 [INFO] [stdout] | [INFO] [stdout] 11 | type Schema: PartialEqVariadic; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ required by this bound in `GhtLeaf` [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:202:12 [INFO] [stdout] | [INFO] [stdout] 202 | pub struct GhtLeaf [INFO] [stdout] | ------- required by a bound in this struct [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 169 | ) -> Option<&'_ GhtLeaf> where ::Schema: PartialEqVariadic { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Schema: PartialEqVariadic` is not satisfied [INFO] [stdout] --> src/ght/mod.rs:75:21 [INFO] [stdout] | [INFO] [stdout] 75 | ) -> Option<&'_ GhtLeaf>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PartialEqVariadic` is not implemented for `::Schema` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `GhtLeaf` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/variadics-0.0.10/src/variadic_collections.rs:11:18 [INFO] [stdout] | [INFO] [stdout] 11 | type Schema: PartialEqVariadic; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ required by this bound in `GhtLeaf` [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:202:12 [INFO] [stdout] | [INFO] [stdout] 202 | pub struct GhtLeaf [INFO] [stdout] | ------- required by a bound in this struct [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 75 | ) -> Option<&'_ GhtLeaf> where ::Schema: PartialEqVariadic; [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::Schema as VariadicExt>::Reverse: Split<...>` is not satisfied [INFO] [stdout] --> src/ght/colt.rs:201:24 [INFO] [stdout] | [INFO] [stdout] 201 | fn get(self, head: &Self::Head) -> Self::Get { [INFO] [stdout] | ^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `variadics::Split<<::SuffixSchema as VariadicExt>::Reverse>` is not implemented for `<::Schema as VariadicExt>::Reverse` [INFO] [stdout] = note: required for `::Schema` to implement `SplitBySuffix<::SuffixSchema>` [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:181:35 [INFO] [stdout] | [INFO] [stdout] 181 | impl<'a, Head, Head2, Rest, Node> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:28:52 [INFO] [stdout] | [INFO] [stdout] 28 | type Schema: VariadicExt + Eq + Hash + Clone + SplitBySuffix; [INFO] [stdout] | --------------------------------- unsatisfied trait bound introduced here [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lattices-8613c23f78cb967b.long-type-2858213228237261020.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 201 | fn get(self, head: &Self::Head) -> Self::Get where <::Schema as VariadicExt>::Reverse: variadics::Split<<::SuffixSchema as VariadicExt>::Reverse> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `> as GeneralizedHashTrieNode>::Head == Head` [INFO] [stdout] --> src/ght/colt.rs:237:24 [INFO] [stdout] | [INFO] [stdout] 237 | fn get(self, head: &Self::Head) -> Self::Get { [INFO] [stdout] | ^^^^^^^^^^^ cannot satisfy `> as GeneralizedHashTrieNode>::Head == Head` [INFO] [stdout] | [INFO] [stdout] note: required for `(&'a mut GhtInner>, Rest)` to implement `ColtGet` [INFO] [stdout] --> src/ght/colt.rs:214:48 [INFO] [stdout] | [INFO] [stdout] 214 | ... Schema, ValType, Storage> ColtGet for var_type!(&'a mut GhtInner>, ...Rest) [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 225 | ...ashTrieNode + GhtGet, [INFO] [stdout] | ----------- unsatisfied trait bound introduced here [INFO] [stdout] = note: this error originates in the macro `var_type` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Schema: PartialEqVariadic` is not satisfied [INFO] [stdout] --> src/ght/mod.rs:173:37 [INFO] [stdout] | [INFO] [stdout] 173 | .and_then(|child| child.find_containing_leaf(row)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ the trait `PartialEqVariadic` is not implemented for `::Schema` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `GhtLeaf` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/variadics-0.0.10/src/variadic_collections.rs:11:18 [INFO] [stdout] | [INFO] [stdout] 11 | type Schema: PartialEqVariadic; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ required by this bound in `GhtLeaf` [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:202:12 [INFO] [stdout] | [INFO] [stdout] 202 | pub struct GhtLeaf [INFO] [stdout] | ------- required by a bound in this struct [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 169 | ) -> Option<&'_ GhtLeaf> where ::Schema: PartialEqVariadic { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Schema: PartialEqVariadic` is not satisfied [INFO] [stdout] --> src/ght/mod.rs:171:9 [INFO] [stdout] | [INFO] [stdout] 171 | / self.children [INFO] [stdout] 172 | | .get(head) [INFO] [stdout] 173 | | .and_then(|child| child.find_containing_leaf(row)) [INFO] [stdout] | |______________________________________________________________^ the trait `PartialEqVariadic` is not implemented for `::Schema` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `GhtLeaf` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/variadics-0.0.10/src/variadic_collections.rs:11:18 [INFO] [stdout] | [INFO] [stdout] 11 | type Schema: PartialEqVariadic; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ required by this bound in `GhtLeaf` [INFO] [stdout] | [INFO] [stdout] ::: src/ght/mod.rs:202:12 [INFO] [stdout] | [INFO] [stdout] 202 | pub struct GhtLeaf [INFO] [stdout] | ------- required by a bound in this struct [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 169 | ) -> Option<&'_ GhtLeaf> where ::Schema: PartialEqVariadic { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0271, E0277, E0284. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `lattices` (lib) due to 44 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "9b0a64c421e1e485c5c7fc8cd083f66997c8129c4e18691d09381a9d0b7d2344", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9b0a64c421e1e485c5c7fc8cd083f66997c8129c4e18691d09381a9d0b7d2344", kill_on_drop: false }` [INFO] [stdout] 9b0a64c421e1e485c5c7fc8cd083f66997c8129c4e18691d09381a9d0b7d2344