[INFO] fetching crate moore-vhdl 0.14.0... [INFO] checking moore-vhdl-0.14.0 against master#350d0ef0ec0493e6d21cfb265cb8211a0e74d766 for pr-145342-1 [INFO] extracting crate moore-vhdl 0.14.0 into /workspace/builds/worker-1-tc1/source [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-1-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate moore-vhdl 0.14.0 on toolchain 350d0ef0ec0493e6d21cfb265cb8211a0e74d766 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "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 num v0.3.1 (available: v0.4.3) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded hibitset v0.6.4 [INFO] [stderr] Downloaded moore-common v0.14.0 [INFO] [stderr] Downloaded moore-vhdl-syntax v0.14.0 [INFO] [stderr] Downloaded llhd v0.16.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] f7a4b9a3a445066a809d6ca6ed398a7bcd25069a26d317a3b0f82407921d4b11 [INFO] running `Command { std: "docker" "start" "-a" "f7a4b9a3a445066a809d6ca6ed398a7bcd25069a26d317a3b0f82407921d4b11", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f7a4b9a3a445066a809d6ca6ed398a7bcd25069a26d317a3b0f82407921d4b11", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f7a4b9a3a445066a809d6ca6ed398a7bcd25069a26d317a3b0f82407921d4b11", kill_on_drop: false }` [INFO] [stdout] f7a4b9a3a445066a809d6ca6ed398a7bcd25069a26d317a3b0f82407921d4b11 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6e16f7d6c4086aae1ff6cafc089dfc41a5860635d1aded2d815cf9d5b251abc8 [INFO] running `Command { std: "docker" "start" "-a" "6e16f7d6c4086aae1ff6cafc089dfc41a5860635d1aded2d815cf9d5b251abc8", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Compiling libc v0.2.175 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Checking memchr v2.7.5 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Checking regex-syntax v0.8.6 [INFO] [stderr] Checking quick-error v1.2.3 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking log v0.4.27 [INFO] [stderr] Checking unicode-width v0.1.14 [INFO] [stderr] Compiling anyhow v1.0.99 [INFO] [stderr] Checking termcolor v1.4.1 [INFO] [stderr] Checking humantime v1.3.0 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking typed-arena v2.0.2 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Checking itertools v0.9.0 [INFO] [stderr] Checking lalrpop-util v0.19.12 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [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 crossbeam-deque v0.8.6 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Checking rayon v1.11.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking memmap v0.7.0 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking regex-automata v0.4.10 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Checking hibitset v0.6.4 [INFO] [stderr] Checking regex v1.11.2 [INFO] [stderr] Checking env_logger v0.7.1 [INFO] [stderr] Checking pretty_env_logger v0.4.0 [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] 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[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[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] --> 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: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:41:30 [INFO] [stdout] | [INFO] [stdout] 41 | + 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:166:13 [INFO] [stdout] | [INFO] [stdout] 166 | fn alloc(&'a self, value: $type) -> &'a mut $type { [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] 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] 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[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:166:13 [INFO] [stdout] | [INFO] [stdout] 166 | fn alloc(&'a self, value: $type) -> &'a mut $type { [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] 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[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] 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[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<'_>` [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<'_>` implements `arenas::Alloc<'_, '_, hir::ConstDecl>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, hir::expr::LitExpr>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, hir::type_decl::TypeDecl2<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, lib::Library<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, pkg::Package2<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, scope2::ScopeData<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, slot::Slot<'_, hir::ConstDecl>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, slot::Slot<'_, hir::type_decl::TypeDecl2<'_>>>` [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:84 [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<'_>` [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<'_>` implements `arenas::Alloc<'_, '_, hir::ConstDecl>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, hir::expr::LitExpr>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, hir::type_decl::TypeDecl2<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, lib::Library<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, pkg::Package2<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, scope2::ScopeData<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, slot::Slot<'_, hir::ConstDecl>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, slot::Slot<'_, hir::type_decl::TypeDecl2<'_>>>` [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 `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<'_>` [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<'_>` implements `arenas::Alloc<'_, '_, hir::ConstDecl>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, hir::expr::LitExpr>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, hir::type_decl::TypeDecl2<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, lib::Library<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, pkg::Package2<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, scope2::ScopeData<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, slot::Slot<'_, hir::ConstDecl>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, slot::Slot<'_, hir::type_decl::TypeDecl2<'_>>>` [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:84 [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<'_>` [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<'_>` implements `arenas::Alloc<'_, '_, hir::ConstDecl>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, hir::expr::LitExpr>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, hir::type_decl::TypeDecl2<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, lib::Library<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, pkg::Package2<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, scope2::ScopeData<'_>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, slot::Slot<'_, hir::ConstDecl>>` [INFO] [stdout] `hir::arena::Arenas2<'_>` implements `arenas::Alloc<'_, '_, slot::Slot<'_, hir::type_decl::TypeDecl2<'_>>>` [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] Some errors have detailed explanations: E0107, E0228, E0277. [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 20 previous errors; 11 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] Some errors have detailed explanations: E0107, E0228, E0277. [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 20 previous errors; 11 warnings emitted [INFO] running `Command { std: "docker" "inspect" "6e16f7d6c4086aae1ff6cafc089dfc41a5860635d1aded2d815cf9d5b251abc8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6e16f7d6c4086aae1ff6cafc089dfc41a5860635d1aded2d815cf9d5b251abc8", kill_on_drop: false }` [INFO] [stdout] 6e16f7d6c4086aae1ff6cafc089dfc41a5860635d1aded2d815cf9d5b251abc8