[INFO] fetching crate moore-vhdl 0.14.0... [INFO] checking moore-vhdl-0.14.0 against master#506512391b1a75ae450d36c9420978402a91abcc for pr-125384 [INFO] extracting crate moore-vhdl 0.14.0 into /workspace/builds/worker-0-tc1/source [INFO] validating manifest of crates.io crate moore-vhdl 0.14.0 on toolchain 506512391b1a75ae450d36c9420978402a91abcc [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate moore-vhdl 0.14.0 [INFO] finished tweaking crates.io crate moore-vhdl 0.14.0 [INFO] tweaked toml for crates.io crate moore-vhdl 0.14.0 written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 67 packages to latest compatible versions [INFO] [stderr] Adding bitflags v1.3.2 (latest: v2.5.0) [INFO] [stderr] Adding clap v2.34.0 (latest: v4.5.4) [INFO] [stderr] Adding env_logger v0.7.1 (latest: v0.11.3) [INFO] [stderr] Adding hermit-abi v0.1.19 (latest: v0.3.9) [INFO] [stderr] Adding humantime v1.3.0 (latest: v2.1.0) [INFO] [stderr] Adding itertools v0.9.0 (latest: v0.13.0) [INFO] [stderr] Adding lalrpop-util v0.19.12 (latest: v0.20.2) [INFO] [stderr] Adding num v0.3.1 (latest: v0.4.3) [INFO] [stderr] Adding num-bigint v0.3.3 (latest: v0.4.5) [INFO] [stderr] Adding num-complex v0.3.1 (latest: v0.4.6) [INFO] [stderr] Adding num-rational v0.3.2 (latest: v0.4.2) [INFO] [stderr] Adding pretty_env_logger v0.4.0 (latest: v0.5.0) [INFO] [stderr] Adding quick-error v1.2.3 (latest: v2.0.1) [INFO] [stderr] Adding strsim v0.8.0 (latest: v0.11.1) [INFO] [stderr] Adding textwrap v0.11.0 (latest: v0.16.1) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded hibitset v0.6.4 [INFO] [stderr] Downloaded moore-vhdl-syntax v0.14.0 [INFO] [stderr] Downloaded llhd v0.16.0 [INFO] [stderr] Downloaded moore-common v0.14.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 5a01ab5ecba454df3b5e597de021604e4391576a82ccc7d097a0aa27ea41fe95 [INFO] running `Command { std: "docker" "start" "-a" "5a01ab5ecba454df3b5e597de021604e4391576a82ccc7d097a0aa27ea41fe95", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "5a01ab5ecba454df3b5e597de021604e4391576a82ccc7d097a0aa27ea41fe95", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5a01ab5ecba454df3b5e597de021604e4391576a82ccc7d097a0aa27ea41fe95", kill_on_drop: false }` [INFO] [stdout] 5a01ab5ecba454df3b5e597de021604e4391576a82ccc7d097a0aa27ea41fe95 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=allow" "-e" "RUSTDOCFLAGS=--cap-lints=allow" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] abad5dadf8c7bce675f01c847675b3d70b901031f31c644f5241ccb99caa44cb [INFO] running `Command { std: "docker" "start" "-a" "abad5dadf8c7bce675f01c847675b3d70b901031f31c644f5241ccb99caa44cb", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.84 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling serde v1.0.203 [INFO] [stderr] Compiling num-bigint v0.3.3 [INFO] [stderr] Compiling num-rational v0.3.2 [INFO] [stderr] Checking log v0.4.21 [INFO] [stderr] Checking typed-arena v2.0.2 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking itertools v0.9.0 [INFO] [stderr] Checking lalrpop-util v0.19.12 [INFO] [stderr] Checking memmap v0.7.0 [INFO] [stderr] Checking hibitset v0.6.4 [INFO] [stderr] Checking env_logger v0.7.1 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Checking pretty_env_logger v0.4.0 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Compiling syn v2.0.66 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Compiling serde_derive v1.0.203 [INFO] [stderr] Checking num-complex v0.3.1 [INFO] [stderr] Checking moore-common v0.14.0 [INFO] [stderr] Checking moore-vhdl-syntax v0.14.0 [INFO] [stderr] Checking num v0.3.1 [INFO] [stderr] Checking llhd v0.16.0 [INFO] [stderr] Checking moore-vhdl v0.14.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0107]: struct takes 0 lifetime arguments but 1 lifetime argument was supplied [INFO] [stdout] --> hir/arena.rs:17:21 [INFO] [stdout] | [INFO] [stdout] 17 | const_decl: ConstDecl<'t>, [INFO] [stdout] | ^^^^^^^^^---- help: remove these generics [INFO] [stdout] | | [INFO] [stdout] | expected 0 lifetime arguments [INFO] [stdout] | [INFO] [stdout] note: struct defined here, with 0 lifetime parameters [INFO] [stdout] --> hir/mod.rs:509:12 [INFO] [stdout] | [INFO] [stdout] 509 | pub struct ConstDecl { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: struct takes 0 lifetime arguments but 1 lifetime argument was supplied [INFO] [stdout] --> hir/arena.rs:23:35 [INFO] [stdout] | [INFO] [stdout] 23 | const_decl_slot: Slot<'t, ConstDecl<'t>>, [INFO] [stdout] | ^^^^^^^^^---- help: remove these generics [INFO] [stdout] | | [INFO] [stdout] | expected 0 lifetime arguments [INFO] [stdout] | [INFO] [stdout] note: struct defined here, with 0 lifetime parameters [INFO] [stdout] --> hir/mod.rs:509:12 [INFO] [stdout] | [INFO] [stdout] 509 | pub struct ConstDecl { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> debug.rs:134:41 [INFO] [stdout] | [INFO] [stdout] 134 | impl<'a, 'b, 't: 'a> AllocOwned<'b, 't, konst2::Const2<'t>> for &'a TypeVisitor<'t> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> debug.rs:140:41 [INFO] [stdout] | [INFO] [stdout] 140 | impl<'a, 'b, 't: 'a> AllocOwned<'b, 't, ty2::Type> for &'a TypeVisitor<'t> { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> konst2/arena.rs:16:29 [INFO] [stdout] | [INFO] [stdout] 16 | impl<'t> AllocOwned<'t, 't, Const2<'t>> for ConstArena<'t> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> ty2/arena.rs:27:29 [INFO] [stdout] | [INFO] [stdout] 27 | impl<'t> AllocOwned<'t, 't, Type> for TypeArena<'t> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/lib.rs:19:35 [INFO] [stdout] | [INFO] [stdout] 19 | units: Vec<&'t LatentNode<'t, Node<'t>>>, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/pkg.rs:14:35 [INFO] [stdout] | [INFO] [stdout] 14 | decls: Vec<&'t LatentNode<'t, Decl2<'t>>>, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> scope2.rs:26:34 [INFO] [stdout] | [INFO] [stdout] 26 | Node(&'t hir::LatentNode<'t, Node<'t>>), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: struct takes 0 lifetime arguments but 1 lifetime argument was supplied [INFO] [stdout] --> hir/arena.rs:17:21 [INFO] [stdout] | [INFO] [stdout] 17 | const_decl: ConstDecl<'t>, [INFO] [stdout] | ^^^^^^^^^---- help: remove these generics [INFO] [stdout] | | [INFO] [stdout] | expected 0 lifetime arguments [INFO] [stdout] | [INFO] [stdout] note: struct defined here, with 0 lifetime parameters [INFO] [stdout] --> hir/mod.rs:509:12 [INFO] [stdout] | [INFO] [stdout] 509 | pub struct ConstDecl { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0107]: struct takes 0 lifetime arguments but 1 lifetime argument was supplied [INFO] [stdout] --> hir/arena.rs:23:35 [INFO] [stdout] | [INFO] [stdout] 23 | const_decl_slot: Slot<'t, ConstDecl<'t>>, [INFO] [stdout] | ^^^^^^^^^---- help: remove these generics [INFO] [stdout] | | [INFO] [stdout] | expected 0 lifetime arguments [INFO] [stdout] | [INFO] [stdout] note: struct defined here, with 0 lifetime parameters [INFO] [stdout] --> hir/mod.rs:509:12 [INFO] [stdout] | [INFO] [stdout] 509 | pub struct ConstDecl { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> debug.rs:134:41 [INFO] [stdout] | [INFO] [stdout] 134 | impl<'a, 'b, 't: 'a> AllocOwned<'b, 't, konst2::Const2<'t>> for &'a TypeVisitor<'t> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> debug.rs:140:41 [INFO] [stdout] | [INFO] [stdout] 140 | impl<'a, 'b, 't: 'a> AllocOwned<'b, 't, ty2::Type> for &'a TypeVisitor<'t> { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> konst2/arena.rs:16:29 [INFO] [stdout] | [INFO] [stdout] 16 | impl<'t> AllocOwned<'t, 't, Const2<'t>> for ConstArena<'t> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> ty2/arena.rs:27:29 [INFO] [stdout] | [INFO] [stdout] 27 | impl<'t> AllocOwned<'t, 't, Type> for TypeArena<'t> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/lib.rs:19:35 [INFO] [stdout] | [INFO] [stdout] 19 | units: Vec<&'t LatentNode<'t, Node<'t>>>, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/pkg.rs:14:35 [INFO] [stdout] | [INFO] [stdout] 14 | decls: Vec<&'t LatentNode<'t, Decl2<'t>>>, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> scope2.rs:26:34 [INFO] [stdout] | [INFO] [stdout] 26 | Node(&'t hir::LatentNode<'t, Node<'t>>), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/expr.rs:32:26 [INFO] [stdout] | [INFO] [stdout] 32 | + AllocOwnedInto<'t, Const2<'t>> [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/expr.rs:33:26 [INFO] [stdout] | [INFO] [stdout] 33 | + AllocOwnedInto<'t, Type> [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/lib.rs:60:49 [INFO] [stdout] | [INFO] [stdout] 60 | pub fn units(&self) -> &[&'t LatentNode<'t, Node<'t>>] { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/pkg.rs:25:49 [INFO] [stdout] | [INFO] [stdout] 25 | pub fn decls(&self) -> &[&'t LatentNode<'t, Decl2<'t>>] { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/expr.rs:32:26 [INFO] [stdout] | [INFO] [stdout] 32 | + AllocOwnedInto<'t, Const2<'t>> [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/expr.rs:33:26 [INFO] [stdout] | [INFO] [stdout] 33 | + AllocOwnedInto<'t, Type> [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/lib.rs:60:49 [INFO] [stdout] | [INFO] [stdout] 60 | pub fn units(&self) -> &[&'t LatentNode<'t, Node<'t>>] { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/pkg.rs:25:49 [INFO] [stdout] | [INFO] [stdout] 25 | pub fn decls(&self) -> &[&'t LatentNode<'t, Decl2<'t>>] { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `hir::ConstDecl: node::FromAst<'t>` is not satisfied [INFO] [stdout] --> arenas.rs:165:28 [INFO] [stdout] | [INFO] [stdout] 165 | impl<'a, $($lt),*> $crate::arenas::Alloc<'a, 'a, $type> for $arena_name<$($lt),*> where $($lt: 'a),* { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `node::FromAst<'t>` is not implemented for `hir::ConstDecl` [INFO] [stdout] | [INFO] [stdout] ::: hir/arena.rs:8:1 [INFO] [stdout] | [INFO] [stdout] 8 | / make_arenas!( [INFO] [stdout] 9 | | /// An arena to allocate HIR nodes into. [INFO] [stdout] 10 | | pub struct Arenas2<'t> { [INFO] [stdout] 11 | | scope_data: ScopeData<'t>, [INFO] [stdout] ... | [INFO] [stdout] 24 | | } [INFO] [stdout] 25 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `node::FromAst<'t>`: [INFO] [stdout] hir::obj_decl::ConstDecl<'t> [INFO] [stdout] hir::type_decl::TypeDecl2<'t> [INFO] [stdout] pkg::Package2<'t> [INFO] [stdout] subtype_decl::SubtypeInd2<'t> [INFO] [stdout] note: required by a bound in `slot::Slot` [INFO] [stdout] --> hir/slot.rs:15:8 [INFO] [stdout] | [INFO] [stdout] 13 | pub struct Slot<'t, T>(RefCell>) [INFO] [stdout] | ---- required by a bound in this struct [INFO] [stdout] 14 | where [INFO] [stdout] 15 | T: FromAst<'t> + 't; [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `Slot` [INFO] [stdout] = note: this error originates in the macro `make_arenas` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `hir::ConstDecl: node::FromAst<'t>` is not satisfied [INFO] [stdout] --> hir/arena.rs:23:26 [INFO] [stdout] | [INFO] [stdout] 23 | const_decl_slot: Slot<'t, ConstDecl<'t>>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `node::FromAst<'t>` is not implemented for `hir::ConstDecl` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `node::FromAst<'t>`: [INFO] [stdout] hir::obj_decl::ConstDecl<'t> [INFO] [stdout] hir::type_decl::TypeDecl2<'t> [INFO] [stdout] pkg::Package2<'t> [INFO] [stdout] subtype_decl::SubtypeInd2<'t> [INFO] [stdout] note: required by a bound in `slot::Slot` [INFO] [stdout] --> hir/slot.rs:15:8 [INFO] [stdout] | [INFO] [stdout] 13 | pub struct Slot<'t, T>(RefCell>) [INFO] [stdout] | ---- required by a bound in this struct [INFO] [stdout] 14 | where [INFO] [stdout] 15 | T: FromAst<'t> + 't; [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `Slot` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/expr.rs:40:30 [INFO] [stdout] | [INFO] [stdout] 40 | + AllocOwnedInto<'t, Const2<'t>> [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/expr.rs:41:30 [INFO] [stdout] | [INFO] [stdout] 41 | + AllocOwnedInto<'t, Type> [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `hir::ConstDecl: node::FromAst<'t>` is not satisfied [INFO] [stdout] --> arenas.rs:165:28 [INFO] [stdout] | [INFO] [stdout] 165 | impl<'a, $($lt),*> $crate::arenas::Alloc<'a, 'a, $type> for $arena_name<$($lt),*> where $($lt: 'a),* { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `node::FromAst<'t>` is not implemented for `hir::ConstDecl` [INFO] [stdout] | [INFO] [stdout] ::: hir/arena.rs:8:1 [INFO] [stdout] | [INFO] [stdout] 8 | / make_arenas!( [INFO] [stdout] 9 | | /// An arena to allocate HIR nodes into. [INFO] [stdout] 10 | | pub struct Arenas2<'t> { [INFO] [stdout] 11 | | scope_data: ScopeData<'t>, [INFO] [stdout] ... | [INFO] [stdout] 24 | | } [INFO] [stdout] 25 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `node::FromAst<'t>`: [INFO] [stdout] hir::obj_decl::ConstDecl<'t> [INFO] [stdout] hir::type_decl::TypeDecl2<'t> [INFO] [stdout] pkg::Package2<'t> [INFO] [stdout] subtype_decl::SubtypeInd2<'t> [INFO] [stdout] note: required by a bound in `slot::Slot` [INFO] [stdout] --> hir/slot.rs:15:8 [INFO] [stdout] | [INFO] [stdout] 13 | pub struct Slot<'t, T>(RefCell>) [INFO] [stdout] | ---- required by a bound in this struct [INFO] [stdout] 14 | where [INFO] [stdout] 15 | T: FromAst<'t> + 't; [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `Slot` [INFO] [stdout] = note: this error originates in the macro `make_arenas` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `hir::ConstDecl: node::FromAst<'t>` is not satisfied [INFO] [stdout] --> hir/arena.rs:23:26 [INFO] [stdout] | [INFO] [stdout] 23 | const_decl_slot: Slot<'t, ConstDecl<'t>>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `node::FromAst<'t>` is not implemented for `hir::ConstDecl` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `node::FromAst<'t>`: [INFO] [stdout] hir::obj_decl::ConstDecl<'t> [INFO] [stdout] hir::type_decl::TypeDecl2<'t> [INFO] [stdout] pkg::Package2<'t> [INFO] [stdout] subtype_decl::SubtypeInd2<'t> [INFO] [stdout] note: required by a bound in `slot::Slot` [INFO] [stdout] --> hir/slot.rs:15:8 [INFO] [stdout] | [INFO] [stdout] 13 | pub struct Slot<'t, T>(RefCell>) [INFO] [stdout] | ---- required by a bound in this struct [INFO] [stdout] 14 | where [INFO] [stdout] 15 | T: FromAst<'t> + 't; [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `Slot` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/expr.rs:40:30 [INFO] [stdout] | [INFO] [stdout] 40 | + AllocOwnedInto<'t, Const2<'t>> [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0228]: the lifetime bound for this object type cannot be deduced from context; please supply an explicit bound [INFO] [stdout] --> hir/expr.rs:41:30 [INFO] [stdout] | [INFO] [stdout] 41 | + AllocOwnedInto<'t, Type> [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `alloc_owned` found for reference `&'t konst2::arena::ConstArena<'t>` in the current scope [INFO] [stdout] --> debug.rs:136:26 [INFO] [stdout] | [INFO] [stdout] 136 | self.const_arena.alloc_owned(value) [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is implemented and in scope [INFO] [stdout] = note: the following traits define an item `alloc_owned`, perhaps you need to implement one of them: [INFO] [stdout] candidate #1: `arenas::AllocOwned` [INFO] [stdout] candidate #2: `moore_common::arenas::AllocOwned` [INFO] [stdout] help: there is a method `to_owned` with a similar name, but with different arguments [INFO] [stdout] --> /rustc/506512391b1a75ae450d36c9420978402a91abcc/library/alloc/src/borrow.rs:59:5 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `alloc_owned` found for reference `&'t ty2::arena::TypeArena<'t>` in the current scope [INFO] [stdout] --> debug.rs:142:25 [INFO] [stdout] | [INFO] [stdout] 142 | self.type_arena.alloc_owned(value) [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is implemented and in scope [INFO] [stdout] = note: the following traits define an item `alloc_owned`, perhaps you need to implement one of them: [INFO] [stdout] candidate #1: `arenas::AllocOwned` [INFO] [stdout] candidate #2: `moore_common::arenas::AllocOwned` [INFO] [stdout] help: there is a method `to_owned` with a similar name, but with different arguments [INFO] [stdout] --> /rustc/506512391b1a75ae450d36c9420978402a91abcc/library/alloc/src/borrow.rs:59:5 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `alloc_owned` found for reference `&'t konst2::arena::ConstArena<'t>` in the current scope [INFO] [stdout] --> debug.rs:136:26 [INFO] [stdout] | [INFO] [stdout] 136 | self.const_arena.alloc_owned(value) [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is implemented and in scope [INFO] [stdout] = note: the following traits define an item `alloc_owned`, perhaps you need to implement one of them: [INFO] [stdout] candidate #1: `arenas::AllocOwned` [INFO] [stdout] candidate #2: `moore_common::arenas::AllocOwned` [INFO] [stdout] help: there is a method `to_owned` with a similar name, but with different arguments [INFO] [stdout] --> /rustc/506512391b1a75ae450d36c9420978402a91abcc/library/alloc/src/borrow.rs:59:5 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `alloc_owned` found for reference `&'t ty2::arena::TypeArena<'t>` in the current scope [INFO] [stdout] --> debug.rs:142:25 [INFO] [stdout] | [INFO] [stdout] 142 | self.type_arena.alloc_owned(value) [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is implemented and in scope [INFO] [stdout] = note: the following traits define an item `alloc_owned`, perhaps you need to implement one of them: [INFO] [stdout] candidate #1: `arenas::AllocOwned` [INFO] [stdout] candidate #2: `moore_common::arenas::AllocOwned` [INFO] [stdout] help: there is a method `to_owned` with a similar name, but with different arguments [INFO] [stdout] --> /rustc/506512391b1a75ae450d36c9420978402a91abcc/library/alloc/src/borrow.rs:59:5 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: arenas::AllocOwned<'_, '_, _>` is not satisfied [INFO] [stdout] --> hir/expr.rs:221:46 [INFO] [stdout] | [INFO] [stdout] 221 | Ok((d.value, ctx.maybe_alloc(lc?), ctx.maybe_alloc(rc?))) [INFO] [stdout] | ----------- ^^^ the trait `arenas::AllocOwned<'_, '_, _>` is not implemented for `C` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `arenas::AllocOwned<'a, 't, T>` is implemented for `(dyn arenas::Alloc<'a, 't, T> + 'static)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: arenas::AllocOwned<'_, '_, _>` is not satisfied [INFO] [stdout] --> hir/expr.rs:221:68 [INFO] [stdout] | [INFO] [stdout] 221 | Ok((d.value, ctx.maybe_alloc(lc?), ctx.maybe_alloc(rc?))) [INFO] [stdout] | ----------- ^^^ the trait `arenas::AllocOwned<'_, '_, _>` is not implemented for `C` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `arenas::AllocOwned<'a, 't, T>` is implemented for `(dyn arenas::Alloc<'a, 't, T> + 'static)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `Option<&'t (dyn node::LatentNode<'t, dyn node::Node<'t>> + 't)>` is not an iterator [INFO] [stdout] --> hir/lib.rs:33:14 [INFO] [stdout] | [INFO] [stdout] 33 | .flat_map(|unit| -> Option<&'t LatentNode<'t, Node<'t>>> { [INFO] [stdout] | ^^^^^^^^ `Option<&'t (dyn node::LatentNode<'t, dyn node::Node<'t>> + 't)>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `Option<&'t (dyn node::LatentNode<'t, dyn node::Node<'t>> + 't)>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Option [INFO] [stdout] &'a mut Option [INFO] [stdout] Option [INFO] [stdout] note: required by a bound in `flat_map` [INFO] [stdout] --> /rustc/506512391b1a75ae450d36c9420978402a91abcc/library/core/src/iter/traits/iterator.rs:1458:5 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `collect` exists for struct `FlatMap, Option<&dyn LatentNode<'t, dyn Node<'t>>>, {closure@lib.rs:33:23}>`, but its trait bounds were not satisfied [INFO] [stdout] --> hir/lib.rs:41:14 [INFO] [stdout] | [INFO] [stdout] 31 | let units = units [INFO] [stdout] | _____________________- [INFO] [stdout] 32 | | .into_iter() [INFO] [stdout] 33 | | .flat_map(|unit| -> Option<&'t LatentNode<'t, Node<'t>>> { [INFO] [stdout] 34 | | match unit.data { [INFO] [stdout] ... | [INFO] [stdout] 40 | | }) [INFO] [stdout] 41 | | .collect(); [INFO] [stdout] | | -^^^^^^^ method cannot be called due to unsatisfied trait bounds [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the full type name has been written to '/opt/rustwide/target/debug/deps/moore_vhdl-1a2cdf30d153ef58.long-type-14824838663388370935.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `Option<&'t (dyn node::LatentNode<'t, dyn node::Node<'t>> + 't)>: IntoIterator` [INFO] [stdout] which is required by `FlatMap, Option<&'t (dyn node::LatentNode<'t, dyn node::Node<'t>> + 't)>, {closure@hir/lib.rs:33:23: 33:69}>: Iterator` [INFO] [stdout] `FlatMap, Option<&'t (dyn node::LatentNode<'t, dyn node::Node<'t>> + 't)>, {closure@hir/lib.rs:33:23: 33:69}>: Iterator` [INFO] [stdout] which is required by `&mut FlatMap, Option<&'t (dyn node::LatentNode<'t, dyn node::Node<'t>> + 't)>, {closure@hir/lib.rs:33:23: 33:69}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `hir::arena::Arenas2<'_>: arenas::Alloc<'_, '_, slot::Slot<'_, hir::obj_decl::ConstDecl<'t>>>` is not satisfied [INFO] [stdout] --> hir/obj_decl.rs:31:46 [INFO] [stdout] | [INFO] [stdout] 31 | let slot: &_ = context.alloc(Slot::new((ast.span, name, ty, init), context)); [INFO] [stdout] | ----- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `arenas::Alloc<'_, '_, slot::Slot<'_, hir::obj_decl::ConstDecl<'t>>>` is not implemented for `hir::arena::Arenas2<'_>`, which is required by `alloc_ctx::AllocContext<'t>: arenas::Alloc<'_, '_, _>` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `arenas::Alloc<'a, 't, T>`: [INFO] [stdout] as arenas::Alloc<'a, 'a, hir::ConstDecl>> [INFO] [stdout] as arenas::Alloc<'a, 'a, hir::expr::LitExpr>> [INFO] [stdout] as arenas::Alloc<'a, 'a, hir::type_decl::TypeDecl2<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, lib::Library<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, pkg::Package2<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, scope2::ScopeData<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, slot::Slot<'t, hir::ConstDecl>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, slot::Slot<'t, hir::type_decl::TypeDecl2<'t>>>> [INFO] [stdout] and 3 others [INFO] [stdout] note: required for `alloc_ctx::AllocContext<'t>` to implement `arenas::Alloc<'_, '_, slot::Slot<'_, hir::obj_decl::ConstDecl<'t>>>` [INFO] [stdout] --> hir/alloc_ctx.rs:36:21 [INFO] [stdout] | [INFO] [stdout] 36 | impl<'a, 't, T: 't> Alloc<'a, 't, T> for AllocContext<'t> [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] 37 | where [INFO] [stdout] 38 | Arenas2<'t>: Alloc<'t, 't, T>, [INFO] [stdout] | ---------------- unsatisfied trait bound introduced here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `hir::arena::Arenas2<'_>: arenas::Alloc<'_, '_, hir::obj_decl::ConstDecl<'t>>` is not satisfied [INFO] [stdout] --> hir/obj_decl.rs:31:46 [INFO] [stdout] | [INFO] [stdout] 31 | let slot: &_ = context.alloc(Slot::new((ast.span, name, ty, init), context)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `arenas::Alloc<'_, '_, hir::obj_decl::ConstDecl<'t>>` is not implemented for `hir::arena::Arenas2<'_>`, which is required by `for<'a> alloc_ctx::AllocContext<'t>: arenas::Alloc<'a, '_, hir::obj_decl::ConstDecl<'t>>` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `arenas::Alloc<'a, 't, T>`: [INFO] [stdout] as arenas::Alloc<'a, 'a, hir::ConstDecl>> [INFO] [stdout] as arenas::Alloc<'a, 'a, hir::expr::LitExpr>> [INFO] [stdout] as arenas::Alloc<'a, 'a, hir::type_decl::TypeDecl2<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, lib::Library<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, pkg::Package2<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, scope2::ScopeData<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, slot::Slot<'t, hir::ConstDecl>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, slot::Slot<'t, hir::type_decl::TypeDecl2<'t>>>> [INFO] [stdout] and 3 others [INFO] [stdout] note: required for `alloc_ctx::AllocContext<'t>` to implement `for<'a> arenas::Alloc<'a, '_, hir::obj_decl::ConstDecl<'t>>` [INFO] [stdout] --> hir/alloc_ctx.rs:36:21 [INFO] [stdout] | [INFO] [stdout] 36 | impl<'a, 't, T: 't> Alloc<'a, 't, T> for AllocContext<'t> [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] 37 | where [INFO] [stdout] 38 | Arenas2<'t>: Alloc<'t, 't, T>, [INFO] [stdout] | ---------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `slot::Slot::<'t, T>::new` [INFO] [stdout] --> hir/slot.rs:31:17 [INFO] [stdout] | [INFO] [stdout] 31 | T::Context: for<'a> Alloc<'a, 't, T> + Clone, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Slot::<'t, T>::new` [INFO] [stdout] ... [INFO] [stdout] 34 | pub fn new(ast: T::LatentInput, context: T::Context) -> Slot<'t, T> { [INFO] [stdout] | --- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: arenas::AllocOwned<'_, '_, _>` is not satisfied [INFO] [stdout] --> hir/expr.rs:221:46 [INFO] [stdout] | [INFO] [stdout] 221 | Ok((d.value, ctx.maybe_alloc(lc?), ctx.maybe_alloc(rc?))) [INFO] [stdout] | ----------- ^^^ the trait `arenas::AllocOwned<'_, '_, _>` is not implemented for `C` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `arenas::AllocOwned<'a, 't, T>` is implemented for `(dyn arenas::Alloc<'a, 't, T> + 'static)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: arenas::AllocOwned<'_, '_, _>` is not satisfied [INFO] [stdout] --> hir/expr.rs:221:68 [INFO] [stdout] | [INFO] [stdout] 221 | Ok((d.value, ctx.maybe_alloc(lc?), ctx.maybe_alloc(rc?))) [INFO] [stdout] | ----------- ^^^ the trait `arenas::AllocOwned<'_, '_, _>` is not implemented for `C` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `arenas::AllocOwned<'a, 't, T>` is implemented for `(dyn arenas::Alloc<'a, 't, T> + 'static)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `Option<&'t (dyn node::LatentNode<'t, dyn node::Decl2<'_>> + 't)>` is not an iterator [INFO] [stdout] --> hir/pkg.rs:54:14 [INFO] [stdout] | [INFO] [stdout] 54 | .flat_map(|decl| -> Option<&'t LatentNode<'t, Decl2>> { [INFO] [stdout] | ^^^^^^^^ `Option<&'t (dyn node::LatentNode<'t, dyn node::Decl2<'_>> + 't)>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `Option<&'t (dyn node::LatentNode<'t, dyn node::Decl2<'_>> + 't)>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Option [INFO] [stdout] &'a mut Option [INFO] [stdout] Option [INFO] [stdout] note: required by a bound in `flat_map` [INFO] [stdout] --> /rustc/506512391b1a75ae450d36c9420978402a91abcc/library/core/src/iter/traits/iterator.rs:1458:5 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `Option<&'t (dyn node::LatentNode<'t, dyn node::Node<'t>> + 't)>` is not an iterator [INFO] [stdout] --> hir/lib.rs:33:14 [INFO] [stdout] | [INFO] [stdout] 33 | .flat_map(|unit| -> Option<&'t LatentNode<'t, Node<'t>>> { [INFO] [stdout] | ^^^^^^^^ `Option<&'t (dyn node::LatentNode<'t, dyn node::Node<'t>> + 't)>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `Option<&'t (dyn node::LatentNode<'t, dyn node::Node<'t>> + 't)>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Option [INFO] [stdout] &'a mut Option [INFO] [stdout] Option [INFO] [stdout] note: required by a bound in `flat_map` [INFO] [stdout] --> /rustc/506512391b1a75ae450d36c9420978402a91abcc/library/core/src/iter/traits/iterator.rs:1458:5 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `collect` exists for struct `FlatMap, Option<&dyn LatentNode<'t, dyn Decl2<'_>>>, {closure@pkg.rs:54:23}>`, but its trait bounds were not satisfied [INFO] [stdout] --> hir/pkg.rs:69:14 [INFO] [stdout] | [INFO] [stdout] 51 | let decls = ast [INFO] [stdout] | _____________________- [INFO] [stdout] 52 | | .decls [INFO] [stdout] 53 | | .iter() [INFO] [stdout] 54 | | .flat_map(|decl| -> Option<&'t LatentNode<'t, Decl2>> { [INFO] [stdout] ... | [INFO] [stdout] 68 | | }) [INFO] [stdout] 69 | | .collect::>(); [INFO] [stdout] | | -^^^^^^^ method cannot be called due to unsatisfied trait bounds [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `Option<&'t (dyn node::LatentNode<'t, dyn node::Decl2<'_>> + 't)>: IntoIterator` [INFO] [stdout] which is required by `FlatMap, Option<&'t (dyn node::LatentNode<'t, dyn node::Decl2<'_>> + 't)>, {closure@hir/pkg.rs:54:23: 54:66}>: Iterator` [INFO] [stdout] `FlatMap, Option<&'t (dyn node::LatentNode<'t, dyn node::Decl2<'_>> + 't)>, {closure@hir/pkg.rs:54:23: 54:66}>: Iterator` [INFO] [stdout] which is required by `&mut FlatMap, Option<&'t (dyn node::LatentNode<'t, dyn node::Decl2<'_>> + 't)>, {closure@hir/pkg.rs:54:23: 54:66}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `collect` exists for struct `FlatMap, Option<&dyn LatentNode<'t, dyn Node<'t>>>, {closure@lib.rs:33:23}>`, but its trait bounds were not satisfied [INFO] [stdout] --> hir/lib.rs:41:14 [INFO] [stdout] | [INFO] [stdout] 31 | let units = units [INFO] [stdout] | _____________________- [INFO] [stdout] 32 | | .into_iter() [INFO] [stdout] 33 | | .flat_map(|unit| -> Option<&'t LatentNode<'t, Node<'t>>> { [INFO] [stdout] 34 | | match unit.data { [INFO] [stdout] ... | [INFO] [stdout] 40 | | }) [INFO] [stdout] 41 | | .collect(); [INFO] [stdout] | | -^^^^^^^ method cannot be called due to unsatisfied trait bounds [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the full type name has been written to '/opt/rustwide/target/debug/deps/moore_vhdl-2a4b84494a7d9d70.long-type-12588533401870546071.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `Option<&'t (dyn node::LatentNode<'t, dyn node::Node<'t>> + 't)>: IntoIterator` [INFO] [stdout] which is required by `FlatMap, Option<&'t (dyn node::LatentNode<'t, dyn node::Node<'t>> + 't)>, {closure@hir/lib.rs:33:23: 33:69}>: Iterator` [INFO] [stdout] `FlatMap, Option<&'t (dyn node::LatentNode<'t, dyn node::Node<'t>> + 't)>, {closure@hir/lib.rs:33:23: 33:69}>: Iterator` [INFO] [stdout] which is required by `&mut FlatMap, Option<&'t (dyn node::LatentNode<'t, dyn node::Node<'t>> + 't)>, {closure@hir/lib.rs:33:23: 33:69}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: arenas::AllocOwned<'_, '_, _>` is not satisfied [INFO] [stdout] --> hir/type_decl.rs:65:24 [INFO] [stdout] | [INFO] [stdout] 65 | Ok(ctx.alloc_owned(ty.into_owned())) [INFO] [stdout] | ^^^^^^^^^^^ the trait `arenas::AllocOwned<'_, '_, _>` is not implemented for `C` [INFO] [stdout] | [INFO] [stdout] = help: the trait `arenas::AllocOwned<'a, 't, T>` is implemented for `(dyn arenas::Alloc<'a, 't, T> + 'static)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `hir::arena::Arenas2<'_>: arenas::Alloc<'_, '_, slot::Slot<'_, hir::obj_decl::ConstDecl<'t>>>` is not satisfied [INFO] [stdout] --> hir/obj_decl.rs:31:46 [INFO] [stdout] | [INFO] [stdout] 31 | let slot: &_ = context.alloc(Slot::new((ast.span, name, ty, init), context)); [INFO] [stdout] | ----- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `arenas::Alloc<'_, '_, slot::Slot<'_, hir::obj_decl::ConstDecl<'t>>>` is not implemented for `hir::arena::Arenas2<'_>`, which is required by `alloc_ctx::AllocContext<'t>: arenas::Alloc<'_, '_, _>` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `arenas::Alloc<'a, 't, T>`: [INFO] [stdout] as arenas::Alloc<'a, 'a, hir::ConstDecl>> [INFO] [stdout] as arenas::Alloc<'a, 'a, hir::expr::LitExpr>> [INFO] [stdout] as arenas::Alloc<'a, 'a, hir::type_decl::TypeDecl2<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, lib::Library<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, pkg::Package2<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, scope2::ScopeData<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, slot::Slot<'t, hir::ConstDecl>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, slot::Slot<'t, hir::type_decl::TypeDecl2<'t>>>> [INFO] [stdout] and 3 others [INFO] [stdout] note: required for `alloc_ctx::AllocContext<'t>` to implement `arenas::Alloc<'_, '_, slot::Slot<'_, hir::obj_decl::ConstDecl<'t>>>` [INFO] [stdout] --> hir/alloc_ctx.rs:36:21 [INFO] [stdout] | [INFO] [stdout] 36 | impl<'a, 't, T: 't> Alloc<'a, 't, T> for AllocContext<'t> [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] 37 | where [INFO] [stdout] 38 | Arenas2<'t>: Alloc<'t, 't, T>, [INFO] [stdout] | ---------------- unsatisfied trait bound introduced here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `hir::arena::Arenas2<'_>: arenas::Alloc<'_, '_, hir::obj_decl::ConstDecl<'t>>` is not satisfied [INFO] [stdout] --> hir/obj_decl.rs:31:46 [INFO] [stdout] | [INFO] [stdout] 31 | let slot: &_ = context.alloc(Slot::new((ast.span, name, ty, init), context)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `arenas::Alloc<'_, '_, hir::obj_decl::ConstDecl<'t>>` is not implemented for `hir::arena::Arenas2<'_>`, which is required by `for<'a> alloc_ctx::AllocContext<'t>: arenas::Alloc<'a, '_, hir::obj_decl::ConstDecl<'t>>` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `arenas::Alloc<'a, 't, T>`: [INFO] [stdout] as arenas::Alloc<'a, 'a, hir::ConstDecl>> [INFO] [stdout] as arenas::Alloc<'a, 'a, hir::expr::LitExpr>> [INFO] [stdout] as arenas::Alloc<'a, 'a, hir::type_decl::TypeDecl2<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, lib::Library<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, pkg::Package2<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, scope2::ScopeData<'t>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, slot::Slot<'t, hir::ConstDecl>>> [INFO] [stdout] as arenas::Alloc<'a, 'a, slot::Slot<'t, hir::type_decl::TypeDecl2<'t>>>> [INFO] [stdout] and 3 others [INFO] [stdout] note: required for `alloc_ctx::AllocContext<'t>` to implement `for<'a> arenas::Alloc<'a, '_, hir::obj_decl::ConstDecl<'t>>` [INFO] [stdout] --> hir/alloc_ctx.rs:36:21 [INFO] [stdout] | [INFO] [stdout] 36 | impl<'a, 't, T: 't> Alloc<'a, 't, T> for AllocContext<'t> [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] 37 | where [INFO] [stdout] 38 | Arenas2<'t>: Alloc<'t, 't, T>, [INFO] [stdout] | ---------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `slot::Slot::<'t, T>::new` [INFO] [stdout] --> hir/slot.rs:31:17 [INFO] [stdout] | [INFO] [stdout] 31 | T::Context: for<'a> Alloc<'a, 't, T> + Clone, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Slot::<'t, T>::new` [INFO] [stdout] ... [INFO] [stdout] 34 | pub fn new(ast: T::LatentInput, context: T::Context) -> Slot<'t, T> { [INFO] [stdout] | --- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: `Option<&'t (dyn node::LatentNode<'t, dyn node::Decl2<'_>> + 't)>` is not an iterator [INFO] [stdout] --> hir/pkg.rs:54:14 [INFO] [stdout] | [INFO] [stdout] 54 | .flat_map(|decl| -> Option<&'t LatentNode<'t, Decl2>> { [INFO] [stdout] | ^^^^^^^^ `Option<&'t (dyn node::LatentNode<'t, dyn node::Decl2<'_>> + 't)>` is not an iterator [INFO] [stdout] | [INFO] [stdout] = help: the trait `IntoIterator` is not implemented for `Option<&'t (dyn node::LatentNode<'t, dyn node::Decl2<'_>> + 't)>` [INFO] [stdout] = help: the following other types implement trait `IntoIterator`: [INFO] [stdout] &'a Option [INFO] [stdout] &'a mut Option [INFO] [stdout] Option [INFO] [stdout] note: required by a bound in `flat_map` [INFO] [stdout] --> /rustc/506512391b1a75ae450d36c9420978402a91abcc/library/core/src/iter/traits/iterator.rs:1458:5 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: arenas::AllocOwned<'_, '_, _>` is not satisfied [INFO] [stdout] --> hir/type_decl.rs:80:32 [INFO] [stdout] | [INFO] [stdout] 80 | Ok(ctx.alloc_owned(ty.into_owned())) [INFO] [stdout] | ^^^^^^^^^^^ the trait `arenas::AllocOwned<'_, '_, _>` is not implemented for `C` [INFO] [stdout] | [INFO] [stdout] = help: the trait `arenas::AllocOwned<'a, 't, T>` is implemented for `(dyn arenas::Alloc<'a, 't, T> + 'static)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: arenas::AllocOwned<'_, '_, _>` is not satisfied [INFO] [stdout] --> hir/type_decl.rs:90:32 [INFO] [stdout] | [INFO] [stdout] 90 | Ok(ctx.alloc_owned(ty.into_owned())) [INFO] [stdout] | ^^^^^^^^^^^ the trait `arenas::AllocOwned<'_, '_, _>` is not implemented for `C` [INFO] [stdout] | [INFO] [stdout] = help: the trait `arenas::AllocOwned<'a, 't, T>` is implemented for `(dyn arenas::Alloc<'a, 't, T> + 'static)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: arenas::AllocOwned<'_, '_, _>` is not satisfied [INFO] [stdout] --> hir/type_decl.rs:118:32 [INFO] [stdout] | [INFO] [stdout] 118 | Ok(ctx.alloc_owned(ty.into_owned())) [INFO] [stdout] | ^^^^^^^^^^^ the trait `arenas::AllocOwned<'_, '_, _>` is not implemented for `C` [INFO] [stdout] | [INFO] [stdout] = help: the trait `arenas::AllocOwned<'a, 't, T>` is implemented for `(dyn arenas::Alloc<'a, 't, T> + 'static)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: arenas::AllocOwned<'_, '_, _>` is not satisfied [INFO] [stdout] --> hir/type_decl.rs:135:24 [INFO] [stdout] | [INFO] [stdout] 135 | Ok(ctx.alloc_owned(ty.into_owned())) [INFO] [stdout] | ^^^^^^^^^^^ the trait `arenas::AllocOwned<'_, '_, _>` is not implemented for `C` [INFO] [stdout] | [INFO] [stdout] = help: the trait `arenas::AllocOwned<'a, 't, T>` is implemented for `(dyn arenas::Alloc<'a, 't, T> + 'static)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `collect` exists for struct `FlatMap, Option<&dyn LatentNode<'t, dyn Decl2<'_>>>, {closure@pkg.rs:54:23}>`, but its trait bounds were not satisfied [INFO] [stdout] --> hir/pkg.rs:69:14 [INFO] [stdout] | [INFO] [stdout] 51 | let decls = ast [INFO] [stdout] | _____________________- [INFO] [stdout] 52 | | .decls [INFO] [stdout] 53 | | .iter() [INFO] [stdout] 54 | | .flat_map(|decl| -> Option<&'t LatentNode<'t, Decl2>> { [INFO] [stdout] ... | [INFO] [stdout] 68 | | }) [INFO] [stdout] 69 | | .collect::>(); [INFO] [stdout] | | -^^^^^^^ method cannot be called due to unsatisfied trait bounds [INFO] [stdout] | |_____________| [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = note: the following trait bounds were not satisfied: [INFO] [stdout] `Option<&'t (dyn node::LatentNode<'t, dyn node::Decl2<'_>> + 't)>: IntoIterator` [INFO] [stdout] which is required by `FlatMap, Option<&'t (dyn node::LatentNode<'t, dyn node::Decl2<'_>> + 't)>, {closure@hir/pkg.rs:54:23: 54:66}>: Iterator` [INFO] [stdout] `FlatMap, Option<&'t (dyn node::LatentNode<'t, dyn node::Decl2<'_>> + 't)>, {closure@hir/pkg.rs:54:23: 54:66}>: Iterator` [INFO] [stdout] which is required by `&mut FlatMap, Option<&'t (dyn node::LatentNode<'t, dyn node::Decl2<'_>> + 't)>, {closure@hir/pkg.rs:54:23: 54:66}>: Iterator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: arenas::AllocOwned<'_, '_, _>` is not satisfied [INFO] [stdout] --> hir/type_decl.rs:65:24 [INFO] [stdout] | [INFO] [stdout] 65 | Ok(ctx.alloc_owned(ty.into_owned())) [INFO] [stdout] | ^^^^^^^^^^^ the trait `arenas::AllocOwned<'_, '_, _>` is not implemented for `C` [INFO] [stdout] | [INFO] [stdout] = help: the trait `arenas::AllocOwned<'a, 't, T>` is implemented for `(dyn arenas::Alloc<'a, 't, T> + 'static)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: arenas::AllocOwned<'_, '_, _>` is not satisfied [INFO] [stdout] --> hir/type_decl.rs:80:32 [INFO] [stdout] | [INFO] [stdout] 80 | Ok(ctx.alloc_owned(ty.into_owned())) [INFO] [stdout] | ^^^^^^^^^^^ the trait `arenas::AllocOwned<'_, '_, _>` is not implemented for `C` [INFO] [stdout] | [INFO] [stdout] = help: the trait `arenas::AllocOwned<'a, 't, T>` is implemented for `(dyn arenas::Alloc<'a, 't, T> + 'static)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: arenas::AllocOwned<'_, '_, _>` is not satisfied [INFO] [stdout] --> hir/type_decl.rs:90:32 [INFO] [stdout] | [INFO] [stdout] 90 | Ok(ctx.alloc_owned(ty.into_owned())) [INFO] [stdout] | ^^^^^^^^^^^ the trait `arenas::AllocOwned<'_, '_, _>` is not implemented for `C` [INFO] [stdout] | [INFO] [stdout] = help: the trait `arenas::AllocOwned<'a, 't, T>` is implemented for `(dyn arenas::Alloc<'a, 't, T> + 'static)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: arenas::AllocOwned<'_, '_, _>` is not satisfied [INFO] [stdout] --> hir/type_decl.rs:118:32 [INFO] [stdout] | [INFO] [stdout] 118 | Ok(ctx.alloc_owned(ty.into_owned())) [INFO] [stdout] | ^^^^^^^^^^^ the trait `arenas::AllocOwned<'_, '_, _>` is not implemented for `C` [INFO] [stdout] | [INFO] [stdout] = help: the trait `arenas::AllocOwned<'a, 't, T>` is implemented for `(dyn arenas::Alloc<'a, 't, T> + 'static)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `C: arenas::AllocOwned<'_, '_, _>` is not satisfied [INFO] [stdout] --> hir/type_decl.rs:135:24 [INFO] [stdout] | [INFO] [stdout] 135 | Ok(ctx.alloc_owned(ty.into_owned())) [INFO] [stdout] | ^^^^^^^^^^^ the trait `arenas::AllocOwned<'_, '_, _>` is not implemented for `C` [INFO] [stdout] | [INFO] [stdout] = help: the trait `arenas::AllocOwned<'a, 't, T>` is implemented for `(dyn arenas::Alloc<'a, 't, T> + 'static)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 32 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0107, E0228, E0277, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0107`. [INFO] [stdout] [INFO] [stderr] error: could not compile `moore-vhdl` (lib test) due to 33 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: aborting due to 32 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0107, E0228, E0277, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0107`. [INFO] [stdout] [INFO] [stderr] error: could not compile `moore-vhdl` (lib) due to 33 previous errors [INFO] running `Command { std: "docker" "inspect" "abad5dadf8c7bce675f01c847675b3d70b901031f31c644f5241ccb99caa44cb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "abad5dadf8c7bce675f01c847675b3d70b901031f31c644f5241ccb99caa44cb", kill_on_drop: false }` [INFO] [stdout] abad5dadf8c7bce675f01c847675b3d70b901031f31c644f5241ccb99caa44cb