[INFO] fetching crate moore-vhdl 0.14.0... [INFO] checking moore-vhdl-0.14.0 against master#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2 [INFO] extracting crate moore-vhdl 0.14.0 into /workspace/builds/worker-5-tc1/source [INFO] validating manifest of crates.io crate moore-vhdl 0.14.0 on toolchain f609b7e0586f81fefb3523e3e17adf779ac416be [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "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-5-tc1/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Locking 66 packages to latest compatible versions [INFO] [stderr] Adding bitflags v1.3.2 (available: v2.6.0) [INFO] [stderr] Adding clap v2.34.0 (available: v4.5.18) [INFO] [stderr] Adding env_logger v0.7.1 (available: v0.11.5) [INFO] [stderr] Adding hermit-abi v0.1.19 (available: v0.4.0) [INFO] [stderr] Adding humantime v1.3.0 (available: v2.1.0) [INFO] [stderr] Adding itertools v0.9.0 (available: v0.13.0) [INFO] [stderr] Adding lalrpop-util v0.19.12 (available: v0.21.0) [INFO] [stderr] Adding num v0.3.1 (available: v0.4.3) [INFO] [stderr] Adding num-bigint v0.3.3 (available: v0.4.6) [INFO] [stderr] Adding num-complex v0.3.1 (available: v0.4.6) [INFO] [stderr] Adding num-rational v0.3.2 (available: v0.4.2) [INFO] [stderr] Adding pretty_env_logger v0.4.0 (available: v0.5.0) [INFO] [stderr] Adding quick-error v1.2.3 (available: v2.0.1) [INFO] [stderr] Adding strsim v0.8.0 (available: v0.11.1) [INFO] [stderr] Adding textwrap v0.11.0 (available: v0.16.1) [INFO] [stderr] Adding unicode-width v0.1.14 (available: v0.2.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded moore-vhdl-syntax v0.14.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e77c207109e0f0f2610c6d5cc9d5d22e9dfa660c350cca40f112cfc2afec6163 [INFO] running `Command { std: "docker" "start" "-a" "e77c207109e0f0f2610c6d5cc9d5d22e9dfa660c350cca40f112cfc2afec6163", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e77c207109e0f0f2610c6d5cc9d5d22e9dfa660c350cca40f112cfc2afec6163", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e77c207109e0f0f2610c6d5cc9d5d22e9dfa660c350cca40f112cfc2afec6163", kill_on_drop: false }` [INFO] [stdout] e77c207109e0f0f2610c6d5cc9d5d22e9dfa660c350cca40f112cfc2afec6163 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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=forbid" "-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d52935eb4dfefed3c3b7cf28141fb06e1685163c4711ef3e80cd43c7685d8841 [INFO] running `Command { std: "docker" "start" "-a" "d52935eb4dfefed3c3b7cf28141fb06e1685163c4711ef3e80cd43c7685d8841", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.3.0 [INFO] [stderr] Compiling serde v1.0.210 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Checking regex-syntax v0.8.4 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Checking quick-error v1.2.3 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Checking log v0.4.22 [INFO] [stderr] Checking unicode-width v0.1.14 [INFO] [stderr] Compiling anyhow v1.0.89 [INFO] [stderr] Checking termcolor v1.4.1 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking memmap v0.7.0 [INFO] [stderr] Checking humantime v1.3.0 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Checking typed-arena v2.0.2 [INFO] [stderr] Checking lalrpop-util v0.19.12 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking itertools v0.9.0 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling num-bigint v0.3.3 [INFO] [stderr] Compiling num-rational v0.3.2 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking regex-automata v0.4.7 [INFO] [stderr] Checking num-iter v0.1.45 [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 regex v1.10.6 [INFO] [stderr] Checking hibitset v0.6.4 [INFO] [stderr] Checking env_logger v0.7.1 [INFO] [stderr] Checking num v0.3.1 [INFO] [stderr] Checking pretty_env_logger v0.4.0 [INFO] [stderr] Checking llhd v0.16.0 [INFO] [stderr] Checking moore-vhdl v0.14.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `AllocOwnedSelf` and `AllocSelf` [INFO] [stdout] --> hir/prelude.rs:9:71 [INFO] [stdout] | [INFO] [stdout] 9 | pub use crate::arenas::{Alloc, AllocInto, AllocOwned, AllocOwnedInto, AllocOwnedSelf, AllocSelf}; [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> hir/prelude.rs:17:22 [INFO] [stdout] | [INFO] [stdout] 17 | pub use crate::ty2::{self, Type}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self::obj_decl::*` [INFO] [stdout] --> hir/mod.rs:36:9 [INFO] [stdout] | [INFO] [stdout] 36 | pub use self::obj_decl::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> scope2.rs:70:47 [INFO] [stdout] | [INFO] [stdout] 70 | (Def2::Node(a), Def2::Node(b)) => (a as *const _ == b as *const _), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 70 - (Def2::Node(a), Def2::Node(b)) => (a as *const _ == b as *const _), [INFO] [stdout] 70 + (Def2::Node(a), Def2::Node(b)) => a as *const _ == b as *const _, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> scope2.rs:71:45 [INFO] [stdout] | [INFO] [stdout] 71 | (Def2::Lib(a), Def2::Lib(b)) => (a as *const _ == b as *const _), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 71 - (Def2::Lib(a), Def2::Lib(b)) => (a as *const _ == b as *const _), [INFO] [stdout] 71 + (Def2::Lib(a), Def2::Lib(b)) => a as *const _ == b as *const _, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> scope2.rs:72:45 [INFO] [stdout] | [INFO] [stdout] 72 | (Def2::Pkg(a), Def2::Pkg(b)) => (a as *const _ == b as *const _), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 72 - (Def2::Pkg(a), Def2::Pkg(b)) => (a as *const _ == b as *const _), [INFO] [stdout] 72 + (Def2::Pkg(a), Def2::Pkg(b)) => a as *const _ == b as *const _, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> scope2.rs:73:47 [INFO] [stdout] | [INFO] [stdout] 73 | (Def2::Type(a), Def2::Type(b)) => (a as *const _ == b as *const _), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 73 - (Def2::Type(a), Def2::Type(b)) => (a as *const _ == b as *const _), [INFO] [stdout] 73 + (Def2::Type(a), Def2::Type(b)) => a as *const _ == b as *const _, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> scope2.rs:74:47 [INFO] [stdout] | [INFO] [stdout] 74 | (Def2::Enum(a), Def2::Enum(b)) => (a == b), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 74 - (Def2::Enum(a), Def2::Enum(b)) => (a == b), [INFO] [stdout] 74 + (Def2::Enum(a), Def2::Enum(b)) => a == b, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> scope2.rs:75:47 [INFO] [stdout] | [INFO] [stdout] 75 | (Def2::Unit(a), Def2::Unit(b)) => (a == b), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 75 - (Def2::Unit(a), Def2::Unit(b)) => (a == b), [INFO] [stdout] 75 + (Def2::Unit(a), Def2::Unit(b)) => a == b, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num::BigInt` [INFO] [stdout] --> ty2/subtypes.rs:7:9 [INFO] [stdout] | [INFO] [stdout] 7 | pub use num::BigInt; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num::BigInt` [INFO] [stdout] --> ty2/types.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub use num::BigInt; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `AllocOwnedSelf` and `AllocSelf` [INFO] [stdout] --> hir/prelude.rs:9:71 [INFO] [stdout] | [INFO] [stdout] 9 | pub use crate::arenas::{Alloc, AllocInto, AllocOwned, AllocOwnedInto, AllocOwnedSelf, AllocSelf}; [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> hir/prelude.rs:17:22 [INFO] [stdout] | [INFO] [stdout] 17 | pub use crate::ty2::{self, Type}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self::obj_decl::*` [INFO] [stdout] --> hir/mod.rs:36:9 [INFO] [stdout] | [INFO] [stdout] 36 | pub use self::obj_decl::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> scope2.rs:70:47 [INFO] [stdout] | [INFO] [stdout] 70 | (Def2::Node(a), Def2::Node(b)) => (a as *const _ == b as *const _), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 70 - (Def2::Node(a), Def2::Node(b)) => (a as *const _ == b as *const _), [INFO] [stdout] 70 + (Def2::Node(a), Def2::Node(b)) => a as *const _ == b as *const _, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> scope2.rs:71:45 [INFO] [stdout] | [INFO] [stdout] 71 | (Def2::Lib(a), Def2::Lib(b)) => (a as *const _ == b as *const _), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 71 - (Def2::Lib(a), Def2::Lib(b)) => (a as *const _ == b as *const _), [INFO] [stdout] 71 + (Def2::Lib(a), Def2::Lib(b)) => a as *const _ == b as *const _, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> scope2.rs:72:45 [INFO] [stdout] | [INFO] [stdout] 72 | (Def2::Pkg(a), Def2::Pkg(b)) => (a as *const _ == b as *const _), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 72 - (Def2::Pkg(a), Def2::Pkg(b)) => (a as *const _ == b as *const _), [INFO] [stdout] 72 + (Def2::Pkg(a), Def2::Pkg(b)) => a as *const _ == b as *const _, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> scope2.rs:73:47 [INFO] [stdout] | [INFO] [stdout] 73 | (Def2::Type(a), Def2::Type(b)) => (a as *const _ == b as *const _), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 73 - (Def2::Type(a), Def2::Type(b)) => (a as *const _ == b as *const _), [INFO] [stdout] 73 + (Def2::Type(a), Def2::Type(b)) => a as *const _ == b as *const _, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> scope2.rs:74:47 [INFO] [stdout] | [INFO] [stdout] 74 | (Def2::Enum(a), Def2::Enum(b)) => (a == b), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 74 - (Def2::Enum(a), Def2::Enum(b)) => (a == b), [INFO] [stdout] 74 + (Def2::Enum(a), Def2::Enum(b)) => a == b, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around match arm expression [INFO] [stdout] --> scope2.rs:75:47 [INFO] [stdout] | [INFO] [stdout] 75 | (Def2::Unit(a), Def2::Unit(b)) => (a == b), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 75 - (Def2::Unit(a), Def2::Unit(b)) => (a == b), [INFO] [stdout] 75 + (Def2::Unit(a), Def2::Unit(b)) => a == b, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num::BigInt` [INFO] [stdout] --> ty2/subtypes.rs:7:9 [INFO] [stdout] | [INFO] [stdout] 7 | pub use num::BigInt; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num::BigInt` [INFO] [stdout] --> ty2/types.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub use num::BigInt; [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 the unnecessary 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 the unnecessary 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[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 the unnecessary 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 the unnecessary 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] --> 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/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/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] --> 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] --> 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/f609b7e0586f81fefb3523e3e17adf779ac416be/library/alloc/src/borrow.rs:58: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/f609b7e0586f81fefb3523e3e17adf779ac416be/library/alloc/src/borrow.rs:58: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/f609b7e0586f81fefb3523e3e17adf779ac416be/library/alloc/src/borrow.rs:58: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/f609b7e0586f81fefb3523e3e17adf779ac416be/library/core/src/iter/traits/iterator.rs:1453: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-ddbda30bff3bad8b.long-type-6882649400156560017.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[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/f609b7e0586f81fefb3523e3e17adf779ac416be/library/alloc/src/borrow.rs:58:5 [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] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, hir::ConstDecl>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, hir::expr::LitExpr>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, hir::type_decl::TypeDecl2<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, lib::Library<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, pkg::Package2<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, scope2::ScopeData<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, slot::Slot<'t, hir::ConstDecl>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `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] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, hir::ConstDecl>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, hir::expr::LitExpr>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, hir::type_decl::TypeDecl2<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, lib::Library<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, pkg::Package2<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, scope2::ScopeData<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, slot::Slot<'t, hir::ConstDecl>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `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::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/f609b7e0586f81fefb3523e3e17adf779ac416be/library/core/src/iter/traits/iterator.rs:1453:5 [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/f609b7e0586f81fefb3523e3e17adf779ac416be/library/core/src/iter/traits/iterator.rs:1453: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-0cb31067eb8ed34a.long-type-4257874019468305384.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[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 `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] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, hir::ConstDecl>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, hir::expr::LitExpr>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, hir::type_decl::TypeDecl2<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, lib::Library<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, pkg::Package2<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, scope2::ScopeData<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, slot::Slot<'t, hir::ConstDecl>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `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] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, hir::ConstDecl>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, hir::expr::LitExpr>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, hir::type_decl::TypeDecl2<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, lib::Library<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, pkg::Package2<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, scope2::ScopeData<'t>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `arenas::Alloc<'a, 'a, slot::Slot<'t, hir::ConstDecl>>` [INFO] [stdout] `hir::arena::Arenas2<'t>` implements `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/f609b7e0586f81fefb3523e3e17adf779ac416be/library/core/src/iter/traits/iterator.rs:1453: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; 11 warnings emitted [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] [stdout] error: aborting due to 32 previous errors; 11 warnings emitted [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; 11 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `moore-vhdl` (lib test) due to 33 previous errors; 11 warnings emitted [INFO] running `Command { std: "docker" "inspect" "d52935eb4dfefed3c3b7cf28141fb06e1685163c4711ef3e80cd43c7685d8841", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d52935eb4dfefed3c3b7cf28141fb06e1685163c4711ef3e80cd43c7685d8841", kill_on_drop: false }` [INFO] [stdout] d52935eb4dfefed3c3b7cf28141fb06e1685163c4711ef3e80cd43c7685d8841