[INFO] fetching crate rearch 0.10.2... [INFO] checking rearch-0.10.2 against try#ccf408f4326a858c00dd845a64a86b16f360a801 for pr-129466-2 [INFO] extracting crate rearch 0.10.2 into /workspace/builds/worker-3-tc2/source [INFO] validating manifest of crates.io crate rearch 0.10.2 on toolchain ccf408f4326a858c00dd845a64a86b16f360a801 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate rearch 0.10.2 [INFO] finished tweaking crates.io crate rearch 0.10.2 [INFO] tweaked toml for crates.io crate rearch 0.10.2 written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 26 packages to latest compatible versions [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4b00a26166284e8a57b680f8c13c5354cedf34d4d13d0235e332d682eaf3d868 [INFO] running `Command { std: "docker" "start" "-a" "4b00a26166284e8a57b680f8c13c5354cedf34d4d13d0235e332d682eaf3d868", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4b00a26166284e8a57b680f8c13c5354cedf34d4d13d0235e332d682eaf3d868", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4b00a26166284e8a57b680f8c13c5354cedf34d4d13d0235e332d682eaf3d868", kill_on_drop: false }` [INFO] [stdout] 4b00a26166284e8a57b680f8c13c5354cedf34d4d13d0235e332d682eaf3d868 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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" "+ccf408f4326a858c00dd845a64a86b16f360a801" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 1cd5ea036d8727f68796e9a97ddd4f6d760c6273d890f1118d3a3f1713ba643c [INFO] running `Command { std: "docker" "start" "-a" "1cd5ea036d8727f68796e9a97ddd4f6d760c6273d890f1118d3a3f1713ba643c", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] Running `cargo fix --edition` [INFO] [stderr] Migrating Cargo.toml from 2021 edition to 2024 [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling unicode-ident v1.0.13 [INFO] [stderr] Compiling autocfg v1.3.0 [INFO] [stderr] Compiling libc v0.2.159 [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling syn v2.0.77 [INFO] [stderr] Checking parking_lot v0.12.3 [INFO] [stderr] Compiling rearch-macros v0.6.0 [INFO] [stderr] Checking rearch v0.10.2 (/tmp/fixit) [INFO] [stderr] Migrating src/lib.rs from 2021 edition to 2024 [INFO] [stderr] warning: failed to automatically apply fixes suggested by rustc to crate `rearch` [INFO] [stderr] [INFO] [stderr] after fixes were automatically applied the compiler reported errors within these files: [INFO] [stderr] [INFO] [stderr] * src/lib.rs [INFO] [stderr] [INFO] [stderr] This likely indicates a bug in either rustc or cargo itself, [INFO] [stderr] and we would appreciate a bug report! You're likely to see [INFO] [stderr] a number of compiler warnings after this message which cargo [INFO] [stderr] attempted to fix but failed. If you could open an issue at [INFO] [stderr] https://github.com/rust-lang/rust/issues [INFO] [stderr] quoting the full output of this command we'd be very appreciative! [INFO] [stderr] Note that you may be able to make some more progress in the near-term [INFO] [stderr] fixing code with the `--broken-code` flag [INFO] [stderr] [INFO] [stderr] The following errors were reported: [INFO] [stderr] error[E0658]: fragment specifier `expr_2021` is unstable [INFO] [stderr] --> src/lib.rs:772:34 [INFO] [stderr] | [INFO] [stderr] 772 | ($CapsuleName:ident, $body:expr_2021) => { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: see issue #123742 for more information [INFO] [stderr] = help: add `#![feature(expr_fragment_specifier_2024)]` to the crate attributes to enable [INFO] [stderr] = note: this compiler was built on 2024-09-17; consider upgrading it if it is out of date [INFO] [stderr] [INFO] [stderr] error: aborting due to 1 previous error [INFO] [stderr] [INFO] [stderr] For more information about this error, try `rustc --explain E0658`. [INFO] [stderr] Original diagnostics will follow. [INFO] [stderr] [INFO] [stdout] warning: the `expr` fragment specifier will accept more expressions in the 2024 edition [INFO] [stdout] --> src/lib.rs:772:40 [INFO] [stdout] | [INFO] [stdout] 772 | ($CapsuleName:ident, $body:expr) => { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see Migration Guide [INFO] [stdout] = note: `--force-warn edition-2024-expr-fragment-specifier` implied by `--force-warn rust-2024-compatibility` [INFO] [stdout] help: to keep the existing behavior, use the `expr_2021` fragment specifier [INFO] [stdout] | [INFO] [stdout] 772 | ($CapsuleName:ident, $body:expr_2021) => { [INFO] [stdout] | ~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/lib.rs:262:12 [INFO] [stdout] | [INFO] [stdout] 262 | if let Some(store) = self.store.upgrade() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^-------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/lib.rs:265:9 [INFO] [stdout] | [INFO] [stdout] 265 | } [INFO] [stdout] | ^ [INFO] [stdout] = note: `--force-warn if-let-rescope` implied by `--force-warn rust-2024-compatibility` [INFO] [stdout] help: a `match` with a single arm can preserve the drop order up to Edition 2021 [INFO] [stdout] | [INFO] [stdout] 262 ~ match self.store.upgrade() { Some(store) => { [INFO] [stdout] 263 | // NOTE: The node is guaranteed to be in the graph here since it is a listener. [INFO] [stdout] 264 | store.write_txn().dispose_node(&self.id); [INFO] [stdout] 265 ~ } _ => {}} [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (for<'f> Fn(Box<(dyn for<'b> FnOnce(&'b mut T) + 'f)>)) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/side_effect_registrar.rs:48:9 [INFO] [stdout] | [INFO] [stdout] 48 | impl CData + for<'f> Fn(Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, this lifetime is in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/side_effect_registrar.rs:40:6 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a> SideEffectRegistrar<'a> { [INFO] [stdout] | ^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] = note: `--force-warn impl-trait-overcaptures` implied by `--force-warn rust-2024-compatibility` [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 48 | impl CData + for<'f> Fn(Box) + use, [INFO] [stdout] | ++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/txn.rs:108:12 [INFO] [stdout] | [INFO] [stdout] 108 | if let std::collections::hash_map::Entry::Vacant(e) = [INFO] [stdout] | ____________^ [INFO] [stdout] 109 | | self.nodes.entry(CapsuleId::clone(&id)) [INFO] [stdout] | |_____________--------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/txn.rs:116:9 [INFO] [stdout] | [INFO] [stdout] 116 | } [INFO] [stdout] | ^ [INFO] [stdout] help: a `match` with a single arm can preserve the drop order up to Edition 2021 [INFO] [stdout] | [INFO] [stdout] 108 ~ match self.nodes.entry(CapsuleId::clone(&id)) [INFO] [stdout] 109 ~ { std::collections::hash_map::Entry::Vacant(e) => { [INFO] [stdout] 110 | #[cfg(feature = "logging")] [INFO] [stdout] ... [INFO] [stdout] 114 | self.build_single_node(&id); [INFO] [stdout] 115 ~ } _ => {}} [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/txn.rs:266:15 [INFO] [stdout] | [INFO] [stdout] 266 | while let Some((has_visited_before, node)) = to_visit_stack.pop() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/txn.rs:281:9 [INFO] [stdout] | [INFO] [stdout] 281 | } [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 33 | generate_capsule_list_impl!(A); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 33 | generate_capsule_list_impl!(A); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 34 | generate_capsule_list_impl!(A, B); [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 34 | generate_capsule_list_impl!(A, B); [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 35 | generate_capsule_list_impl!(A, B, C); [INFO] [stdout] | ------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 35 | generate_capsule_list_impl!(A, B, C); [INFO] [stdout] | ------------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 36 | generate_capsule_list_impl!(A, B, C, D); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 36 | generate_capsule_list_impl!(A, B, C, D); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 37 | generate_capsule_list_impl!(A, B, C, D, E); [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 37 | generate_capsule_list_impl!(A, B, C, D, E); [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 38 | generate_capsule_list_impl!(A, B, C, D, E, F); [INFO] [stdout] | --------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 38 | generate_capsule_list_impl!(A, B, C, D, E, F); [INFO] [stdout] | --------------------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 39 | generate_capsule_list_impl!(A, B, C, D, E, F, G); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 39 | generate_capsule_list_impl!(A, B, C, D, E, F, G); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 40 | generate_capsule_list_impl!(A, B, C, D, E, F, G, H); [INFO] [stdout] | --------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 40 | generate_capsule_list_impl!(A, B, C, D, E, F, G, H); [INFO] [stdout] | --------------------------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (Fn(u8)) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/lib.rs:620:23 [INFO] [stdout] | [INFO] [stdout] 620 | ) -> (u8, u8, impl CData + Fn(u8), impl CData + Fn(u8)) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, these lifetimes are in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/lib.rs:619:45 [INFO] [stdout] | [INFO] [stdout] 619 | CapsuleHandle { register, .. }: CapsuleHandle, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 620 | ) -> (u8, u8, impl CData + Fn(u8) + use<>, impl CData + Fn(u8)) { [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (Fn(u8)) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/lib.rs:620:44 [INFO] [stdout] | [INFO] [stdout] 620 | ) -> (u8, u8, impl CData + Fn(u8), impl CData + Fn(u8)) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, these lifetimes are in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/lib.rs:619:45 [INFO] [stdout] | [INFO] [stdout] 619 | CapsuleHandle { register, .. }: CapsuleHandle, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 620 | ) -> (u8, u8, impl CData + Fn(u8), impl CData + Fn(u8) + use<>) { [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (Fn(u8)) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/lib.rs:669:76 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, these lifetimes are in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/lib.rs:669:53 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8) + use<>) { [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (Fn()) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/lib.rs:711:75 [INFO] [stdout] | [INFO] [stdout] 711 | fn rebuildable(CapsuleHandle { register, .. }: CapsuleHandle) -> (impl CData + Fn()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, these lifetimes are in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/lib.rs:711:56 [INFO] [stdout] | [INFO] [stdout] 711 | fn rebuildable(CapsuleHandle { register, .. }: CapsuleHandle) -> (impl CData + Fn()) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 711 | fn rebuildable(CapsuleHandle { register, .. }: CapsuleHandle) -> (impl CData + Fn() + use<>) { [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (Fn(u32)) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/lib.rs:788:77 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, these lifetimes are in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/lib.rs:788:53 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32) + use<>) { [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (Fn(u8)) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/lib.rs:941:76 [INFO] [stdout] | [INFO] [stdout] 941 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, these lifetimes are in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/lib.rs:941:53 [INFO] [stdout] | [INFO] [stdout] 941 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 941 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8) + use<>) { [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (Fn(u8)) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/lib.rs:979:78 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, these lifetimes are in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/lib.rs:979:55 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8) + use<>) { [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (Fn(T)) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/lib.rs:515:52 [INFO] [stdout] | [INFO] [stdout] 515 | ) -> impl for<'a> SideEffect = (T, impl CData + Fn(T))> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, this lifetime is in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/lib.rs:515:23 [INFO] [stdout] | [INFO] [stdout] 515 | ) -> impl for<'a> SideEffect = (T, impl CData + Fn(T))> { [INFO] [stdout] | ^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 515 | ) -> impl for<'a> SideEffect = (T, impl CData + Fn(T) + use)> { [INFO] [stdout] | ++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (Fn()) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/lib.rs:534:65 [INFO] [stdout] | [INFO] [stdout] 534 | pub fn rebuilder() -> impl for<'a> SideEffect = impl CData + Fn()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, this lifetime is in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/lib.rs:534:40 [INFO] [stdout] | [INFO] [stdout] 534 | pub fn rebuilder() -> impl for<'a> SideEffect = impl CData + Fn()> { [INFO] [stdout] | ^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 534 | pub fn rebuilder() -> impl for<'a> SideEffect = impl CData + Fn() + use<>> { [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (Fn(u8)) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/lib.rs:576:76 [INFO] [stdout] | [INFO] [stdout] 576 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, these lifetimes are in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/lib.rs:576:53 [INFO] [stdout] | [INFO] [stdout] 576 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 576 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8) + use<>) { [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (Fn(u8)) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/lib.rs:1065:20 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, these lifetimes are in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/lib.rs:1064:45 [INFO] [stdout] | [INFO] [stdout] 1064 | CapsuleHandle { register, .. }: CapsuleHandle, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8) + use<>), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (Fn(u8)) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/lib.rs:1065:47 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, these lifetimes are in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/lib.rs:1064:45 [INFO] [stdout] | [INFO] [stdout] 1064 | CapsuleHandle { register, .. }: CapsuleHandle, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8) + use<>)) { [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (Fn(u8)) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/lib.rs:1071:19 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, these lifetimes are in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/lib.rs:1070:45 [INFO] [stdout] | [INFO] [stdout] 1070 | CapsuleHandle { register, .. }: CapsuleHandle, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8) + use<>) { [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `impl (Fn(u8)) + CData` will capture more lifetimes than possibly intended in edition 2024 [INFO] [stdout] --> src/lib.rs:1077:14 [INFO] [stdout] | [INFO] [stdout] 1077 | ) -> impl CData + Fn(u8) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see [INFO] [stdout] note: specifically, these lifetimes are in scope but not mentioned in the type's bounds [INFO] [stdout] --> src/lib.rs:1076:50 [INFO] [stdout] | [INFO] [stdout] 1076 | CapsuleHandle { mut get, register }: CapsuleHandle, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] = note: all lifetimes in scope will be captured by `impl Trait`s in edition 2024 [INFO] [stdout] help: use the precise capturing `use<...>` syntax to make the captures explicit [INFO] [stdout] | [INFO] [stdout] 1077 | ) -> impl CData + Fn(u8) + use<> { [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 27 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Fixed src/side_effect_registrar.rs (1 fix) [INFO] [stderr] Fixed src/txn.rs (1 fix) [INFO] [stderr] Fixed src/lib.rs (1 fix) [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/txn.rs:265:15 [INFO] [stdout] | [INFO] [stdout] 265 | while let Some((has_visited_before, node)) = to_visit_stack.pop() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/txn.rs:280:9 [INFO] [stdout] | [INFO] [stdout] 280 | } [INFO] [stdout] | ^ [INFO] [stdout] = note: `--force-warn if-let-rescope` implied by `--force-warn rust-2024-compatibility` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 33 | generate_capsule_list_impl!(A); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 33 | generate_capsule_list_impl!(A); [INFO] [stdout] | ------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 34 | generate_capsule_list_impl!(A, B); [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 34 | generate_capsule_list_impl!(A, B); [INFO] [stdout] | --------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 35 | generate_capsule_list_impl!(A, B, C); [INFO] [stdout] | ------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 35 | generate_capsule_list_impl!(A, B, C); [INFO] [stdout] | ------------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 36 | generate_capsule_list_impl!(A, B, C, D); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 36 | generate_capsule_list_impl!(A, B, C, D); [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 37 | generate_capsule_list_impl!(A, B, C, D, E); [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 37 | generate_capsule_list_impl!(A, B, C, D, E); [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 38 | generate_capsule_list_impl!(A, B, C, D, E, F); [INFO] [stdout] | --------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 38 | generate_capsule_list_impl!(A, B, C, D, E, F); [INFO] [stdout] | --------------------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 39 | generate_capsule_list_impl!(A, B, C, D, E, F, G); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 39 | generate_capsule_list_impl!(A, B, C, D, E, F, G); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:22:24 [INFO] [stdout] | [INFO] [stdout] 22 | if let ($(Some([])),*) = attempted_read_capsules { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^----------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] ... [INFO] [stdout] 40 | generate_capsule_list_impl!(A, B, C, D, E, F, G, H); [INFO] [stdout] | --------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/read_capsules.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | } else { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 40 | generate_capsule_list_impl!(A, B, C, D, E, F, G, H); [INFO] [stdout] | --------------------------------------------------- in this macro invocation [INFO] [stdout] = note: this warning originates in the macro `generate_capsule_list_impl` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 9 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.47s [INFO] [stderr] Running `cargo check` to verify 2024 [INFO] [stderr] Checking rearch v0.10.2 (/tmp/fixit) [INFO] [stdout] error[E0657]: `impl Trait` cannot capture higher-ranked lifetime from outer `impl Trait` [INFO] [stdout] --> src/lib.rs:515:52 [INFO] [stdout] | [INFO] [stdout] 515 | ) -> impl for<'a> SideEffect = (T, impl CData + Fn(T))> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ `impl Trait` implicitly captures all lifetimes in scope [INFO] [stdout] | [INFO] [stdout] note: lifetime declared here [INFO] [stdout] --> src/lib.rs:515:23 [INFO] [stdout] | [INFO] [stdout] 515 | ) -> impl for<'a> SideEffect = (T, impl CData + Fn(T))> { [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0657]: `impl Trait` cannot capture higher-ranked lifetime from outer `impl Trait` [INFO] [stdout] --> src/lib.rs:534:65 [INFO] [stdout] | [INFO] [stdout] 534 | pub fn rebuilder() -> impl for<'a> SideEffect = impl CData + Fn()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ `impl Trait` implicitly captures all lifetimes in scope [INFO] [stdout] | [INFO] [stdout] note: lifetime declared here [INFO] [stdout] --> src/lib.rs:534:40 [INFO] [stdout] | [INFO] [stdout] 534 | pub fn rebuilder() -> impl for<'a> SideEffect = impl CData + Fn()> { [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1078:54 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1078 | let ((_, set_state1), (_, set_state2)) = get.as_ref(two_side_effects_capsule).clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/capsule_reader.rs:31:22 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn as_ref(&mut self, capsule: C) -> &C::Data { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1078:54 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1078 | let ((_, set_state1), (_, set_state2)) = get.as_ref(two_side_effects_capsule).clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1078:54 [INFO] [stdout] | [INFO] [stdout] 1078 | let ((_, set_state1), (_, set_state2)) = get.as_ref(two_side_effects_capsule).clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1078:54 [INFO] [stdout] | [INFO] [stdout] 1078 | let ((_, set_state1), (_, set_state2)) = get.as_ref(two_side_effects_capsule).clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1078:54 [INFO] [stdout] | [INFO] [stdout] 1078 | let ((_, set_state1), (_, set_state2)) = get.as_ref(two_side_effects_capsule).clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1079:35 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1079 | let (_, set_state3) = get.as_ref(another_capsule).clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/capsule_reader.rs:31:22 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn as_ref(&mut self, capsule: C) -> &C::Data { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1079:35 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1079 | let (_, set_state3) = get.as_ref(another_capsule).clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1079:35 [INFO] [stdout] | [INFO] [stdout] 1079 | let (_, set_state3) = get.as_ref(another_capsule).clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1079:35 [INFO] [stdout] | [INFO] [stdout] 1079 | let (_, set_state3) = get.as_ref(another_capsule).clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1079:35 [INFO] [stdout] | [INFO] [stdout] 1079 | let (_, set_state3) = get.as_ref(another_capsule).clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `(for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {state_updates::stateful}, for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> u8 {dependent}): read_capsules::CapsulesWithCloneRead` is not satisfied [INFO] [stdout] --> src/lib.rs:605:65 [INFO] [stdout] | [INFO] [stdout] 605 | let ((state, set_state), plus_one) = container.read((stateful, dependent)); [INFO] [stdout] | ---- ^^^^^^^^^^^^^^^^^^^^^ the trait `read_capsules::CapsulesWithCloneRead` is not implemented for `(fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful}, fn(...) -> ... {dependent})` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `read_capsules::CapsulesWithCloneRead`: [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] note: required by a bound in `Container::read` [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Container::read` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `(for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {state_updates::stateful}, for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> u8 {dependent}): read_capsules::CapsulesWithCloneRead` is not satisfied [INFO] [stdout] --> src/lib.rs:610:57 [INFO] [stdout] | [INFO] [stdout] 610 | let ((state, _), plus_one) = container.read((stateful, dependent)); [INFO] [stdout] | ---- ^^^^^^^^^^^^^^^^^^^^^ the trait `read_capsules::CapsulesWithCloneRead` is not implemented for `(fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful}, fn(...) -> ... {dependent})` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `read_capsules::CapsulesWithCloneRead`: [INFO] [stdout] (A, B) [INFO] [stdout] (A, B, C) [INFO] [stdout] (A, B, C, D) [INFO] [stdout] (A, B, C, D, E) [INFO] [stdout] (A, B, C, D, E, F) [INFO] [stdout] (A, B, C, D, E, F, G) [INFO] [stdout] (A, B, C, D, E, F, G, H) [INFO] [stdout] note: required by a bound in `Container::read` [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Container::read` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:581:13 [INFO] [stdout] | [INFO] [stdout] 576 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 581 | get.as_ref(stateful).0 + 1 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/capsule_reader.rs:31:22 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn as_ref(&mut self, capsule: C) -> &C::Data { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:581:13 [INFO] [stdout] | [INFO] [stdout] 576 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 581 | get.as_ref(stateful).0 + 1 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:581:13 [INFO] [stdout] | [INFO] [stdout] 581 | get.as_ref(stateful).0 + 1 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {state_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:581:13 [INFO] [stdout] | [INFO] [stdout] 581 | get.as_ref(stateful).0 + 1 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {state_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:581:13 [INFO] [stdout] | [INFO] [stdout] 581 | get.as_ref(stateful).0 + 1 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {state_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:588:38 [INFO] [stdout] | [INFO] [stdout] 576 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 588 | let (state, set_state) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:588:38 [INFO] [stdout] | [INFO] [stdout] 588 | let (state, set_state) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {state_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:588:38 [INFO] [stdout] | [INFO] [stdout] 588 | let (state, set_state) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {state_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:588:38 [INFO] [stdout] | [INFO] [stdout] 588 | let (state, set_state) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {state_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:588:38 [INFO] [stdout] | [INFO] [stdout] 576 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 588 | let (state, set_state) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:592:38 [INFO] [stdout] | [INFO] [stdout] 576 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 592 | let (state, set_state) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:592:38 [INFO] [stdout] | [INFO] [stdout] 592 | let (state, set_state) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {state_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:592:38 [INFO] [stdout] | [INFO] [stdout] 592 | let (state, set_state) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {state_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:592:38 [INFO] [stdout] | [INFO] [stdout] 592 | let (state, set_state) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {state_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:592:38 [INFO] [stdout] | [INFO] [stdout] 576 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 592 | let (state, set_state) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:597:30 [INFO] [stdout] | [INFO] [stdout] 576 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 597 | let (state, _) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:597:30 [INFO] [stdout] | [INFO] [stdout] 597 | let (state, _) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {state_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:597:30 [INFO] [stdout] | [INFO] [stdout] 597 | let (state, _) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {state_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:597:30 [INFO] [stdout] | [INFO] [stdout] 597 | let (state, _) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {state_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:597:30 [INFO] [stdout] | [INFO] [stdout] 576 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 597 | let (state, _) = container.read(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:628:36 [INFO] [stdout] | [INFO] [stdout] 620 | ) -> (u8, u8, impl CData + Fn(u8), impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 628 | let (s1, s2, set1, set2) = container.read(foo); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, _, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, _, impl (Fn(u8)) + CData, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:628:36 [INFO] [stdout] | [INFO] [stdout] 628 | let (s1, s2, set1, set2) = container.read(foo); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, u8, impl (Fn(u8)) + CData, impl (Fn(u8)) + CData) {foo}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:628:36 [INFO] [stdout] | [INFO] [stdout] 628 | let (s1, s2, set1, set2) = container.read(foo); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, u8, impl (Fn(u8)) + CData, impl (Fn(u8)) + CData) {foo}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:628:36 [INFO] [stdout] | [INFO] [stdout] 628 | let (s1, s2, set1, set2) = container.read(foo); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, u8, impl (Fn(u8)) + CData, impl (Fn(u8)) + CData) {foo}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:628:36 [INFO] [stdout] | [INFO] [stdout] 620 | ) -> (u8, u8, impl CData + Fn(u8), impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 628 | let (s1, s2, set1, set2) = container.read(foo); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, _, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, _, impl (Fn(u8)) + CData, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:634:30 [INFO] [stdout] | [INFO] [stdout] 620 | ) -> (u8, u8, impl CData + Fn(u8), impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 634 | let (s1, s2, _, _) = container.read(foo); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, _, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, _, impl (Fn(u8)) + CData, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:634:30 [INFO] [stdout] | [INFO] [stdout] 634 | let (s1, s2, _, _) = container.read(foo); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, u8, impl (Fn(u8)) + CData, impl (Fn(u8)) + CData) {foo}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:634:30 [INFO] [stdout] | [INFO] [stdout] 634 | let (s1, s2, _, _) = container.read(foo); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, u8, impl (Fn(u8)) + CData, impl (Fn(u8)) + CData) {foo}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:634:30 [INFO] [stdout] | [INFO] [stdout] 634 | let (s1, s2, _, _) = container.read(foo); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, u8, impl (Fn(u8)) + CData, impl (Fn(u8)) + CData) {foo}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:634:30 [INFO] [stdout] | [INFO] [stdout] 620 | ) -> (u8, u8, impl CData + Fn(u8), impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 634 | let (s1, s2, _, _) = container.read(foo); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, _, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, _, impl (Fn(u8)) + CData, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:680:29 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 680 | states.push(reader.as_ref(stateful).0); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/capsule_reader.rs:31:22 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn as_ref(&mut self, capsule: C) -> &C::Data { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:680:29 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 680 | states.push(reader.as_ref(stateful).0); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:680:29 [INFO] [stdout] | [INFO] [stdout] 680 | states.push(reader.as_ref(stateful).0); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:680:29 [INFO] [stdout] | [INFO] [stdout] 680 | states.push(reader.as_ref(stateful).0); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:680:29 [INFO] [stdout] | [INFO] [stdout] 680 | states.push(reader.as_ref(stateful).0); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:686:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 686 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:686:9 [INFO] [stdout] | [INFO] [stdout] 686 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:686:9 [INFO] [stdout] | [INFO] [stdout] 686 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:686:9 [INFO] [stdout] | [INFO] [stdout] 686 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:686:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 686 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:688:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 688 | container.read(stateful).1(2); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:688:9 [INFO] [stdout] | [INFO] [stdout] 688 | container.read(stateful).1(2); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:688:9 [INFO] [stdout] | [INFO] [stdout] 688 | container.read(stateful).1(2); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:688:9 [INFO] [stdout] | [INFO] [stdout] 688 | container.read(stateful).1(2); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:688:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 688 | container.read(stateful).1(2); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:689:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 689 | container.read(stateful).1(3); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:689:9 [INFO] [stdout] | [INFO] [stdout] 689 | container.read(stateful).1(3); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:689:9 [INFO] [stdout] | [INFO] [stdout] 689 | container.read(stateful).1(3); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:689:9 [INFO] [stdout] | [INFO] [stdout] 689 | container.read(stateful).1(3); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:689:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 689 | container.read(stateful).1(3); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:692:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 692 | container.read(stateful).1(4); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:692:9 [INFO] [stdout] | [INFO] [stdout] 692 | container.read(stateful).1(4); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:692:9 [INFO] [stdout] | [INFO] [stdout] 692 | container.read(stateful).1(4); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:692:9 [INFO] [stdout] | [INFO] [stdout] 692 | container.read(stateful).1(4); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:692:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 692 | container.read(stateful).1(4); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:694:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 694 | container.read(stateful).1(5); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:694:9 [INFO] [stdout] | [INFO] [stdout] 694 | container.read(stateful).1(5); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:694:9 [INFO] [stdout] | [INFO] [stdout] 694 | container.read(stateful).1(5); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:694:9 [INFO] [stdout] | [INFO] [stdout] 694 | container.read(stateful).1(5); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:694:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 694 | container.read(stateful).1(5); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:696:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 696 | container.read(stateful).1(6); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:696:9 [INFO] [stdout] | [INFO] [stdout] 696 | container.read(stateful).1(6); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:696:9 [INFO] [stdout] | [INFO] [stdout] 696 | container.read(stateful).1(6); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:696:9 [INFO] [stdout] | [INFO] [stdout] 696 | container.read(stateful).1(6); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:696:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 696 | container.read(stateful).1(6); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:697:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 697 | container.read(stateful).1(7); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:697:9 [INFO] [stdout] | [INFO] [stdout] 697 | container.read(stateful).1(7); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:697:9 [INFO] [stdout] | [INFO] [stdout] 697 | container.read(stateful).1(7); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:697:9 [INFO] [stdout] | [INFO] [stdout] 697 | container.read(stateful).1(7); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:697:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 697 | container.read(stateful).1(7); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:700:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 700 | container.read(stateful).1(8); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:700:9 [INFO] [stdout] | [INFO] [stdout] 700 | container.read(stateful).1(8); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:700:9 [INFO] [stdout] | [INFO] [stdout] 700 | container.read(stateful).1(8); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:700:9 [INFO] [stdout] | [INFO] [stdout] 700 | container.read(stateful).1(8); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::listener_gets_updates::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:700:9 [INFO] [stdout] | [INFO] [stdout] 669 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 700 | container.read(stateful).1(8); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:721:25 [INFO] [stdout] | [INFO] [stdout] 711 | fn rebuildable(CapsuleHandle { register, .. }: CapsuleHandle) -> (impl CData + Fn()) { [INFO] [stdout] | ----------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 721 | let _ = get.as_ref(rebuildable); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected opaque type `impl (for<'a, 'b, 'c> Fn()) + for<'a, 'b, 'c> CData` [INFO] [stdout] found opaque type `impl (Fn()) + CData` [INFO] [stdout] = note: distinct uses of `impl Trait` result in different opaque types [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/capsule_reader.rs:31:22 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn as_ref(&mut self, capsule: C) -> &C::Data { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:721:25 [INFO] [stdout] | [INFO] [stdout] 711 | fn rebuildable(CapsuleHandle { register, .. }: CapsuleHandle) -> (impl CData + Fn()) { [INFO] [stdout] | ----------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 721 | let _ = get.as_ref(rebuildable); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected opaque type `impl (for<'a, 'b, 'c> Fn()) + for<'a, 'b, 'c> CData` [INFO] [stdout] found opaque type `impl (Fn()) + CData` [INFO] [stdout] = note: distinct uses of `impl Trait` result in different opaque types [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:721:25 [INFO] [stdout] | [INFO] [stdout] 721 | let _ = get.as_ref(rebuildable); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> impl (Fn()) + CData {rebuildable}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:721:25 [INFO] [stdout] | [INFO] [stdout] 721 | let _ = get.as_ref(rebuildable); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> impl (Fn()) + CData {rebuildable}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:721:25 [INFO] [stdout] | [INFO] [stdout] 721 | let _ = get.as_ref(rebuildable); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> impl (Fn()) + CData {rebuildable}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:726:9 [INFO] [stdout] | [INFO] [stdout] 711 | fn rebuildable(CapsuleHandle { register, .. }: CapsuleHandle) -> (impl CData + Fn()) { [INFO] [stdout] | ----------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 726 | container.read(rebuildable)(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected opaque type `impl (for<'a, 'b, 'c> Fn()) + for<'a, 'b, 'c> CData` [INFO] [stdout] found opaque type `impl (Fn()) + CData` [INFO] [stdout] = note: distinct uses of `impl Trait` result in different opaque types [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:726:9 [INFO] [stdout] | [INFO] [stdout] 726 | container.read(rebuildable)(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> impl (Fn()) + CData {rebuildable}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:726:9 [INFO] [stdout] | [INFO] [stdout] 726 | container.read(rebuildable)(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> impl (Fn()) + CData {rebuildable}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:726:9 [INFO] [stdout] | [INFO] [stdout] 726 | container.read(rebuildable)(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> impl (Fn()) + CData {rebuildable}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:726:9 [INFO] [stdout] | [INFO] [stdout] 711 | fn rebuildable(CapsuleHandle { register, .. }: CapsuleHandle) -> (impl CData + Fn()) { [INFO] [stdout] | ----------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 726 | container.read(rebuildable)(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected opaque type `impl (for<'a, 'b, 'c> Fn()) + for<'a, 'b, 'c> CData` [INFO] [stdout] found opaque type `impl (Fn()) + CData` [INFO] [stdout] = note: distinct uses of `impl Trait` result in different opaque types [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:815:20 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 815 | assert_eq!(get_build_count(stateful), 1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:762:31 [INFO] [stdout] | [INFO] [stdout] 762 | fn get_build_count(_capsule: C) -> u32 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:821:9 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 821 | container.read(stateful).1(0); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:821:9 [INFO] [stdout] | [INFO] [stdout] 821 | container.read(stateful).1(0); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:821:9 [INFO] [stdout] | [INFO] [stdout] 821 | container.read(stateful).1(0); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:821:9 [INFO] [stdout] | [INFO] [stdout] 821 | container.read(stateful).1(0); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:821:9 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 821 | container.read(stateful).1(0); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:822:20 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 822 | assert_eq!(get_build_count(stateful), 2); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:762:31 [INFO] [stdout] | [INFO] [stdout] 762 | fn get_build_count(_capsule: C) -> u32 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:830:20 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 830 | assert_eq!(get_build_count(stateful), 2); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:762:31 [INFO] [stdout] | [INFO] [stdout] 762 | fn get_build_count(_capsule: C) -> u32 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:836:9 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 836 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:836:9 [INFO] [stdout] | [INFO] [stdout] 836 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:836:9 [INFO] [stdout] | [INFO] [stdout] 836 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:836:9 [INFO] [stdout] | [INFO] [stdout] 836 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:836:9 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 836 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:837:20 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 837 | assert_eq!(get_build_count(stateful), 3); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:762:31 [INFO] [stdout] | [INFO] [stdout] 762 | fn get_build_count(_capsule: C) -> u32 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:845:20 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 845 | assert_eq!(get_build_count(stateful), 3); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:762:31 [INFO] [stdout] | [INFO] [stdout] 762 | fn get_build_count(_capsule: C) -> u32 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:854:9 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 854 | container.read(stateful).1(2); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:854:9 [INFO] [stdout] | [INFO] [stdout] 854 | container.read(stateful).1(2); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:854:9 [INFO] [stdout] | [INFO] [stdout] 854 | container.read(stateful).1(2); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:854:9 [INFO] [stdout] | [INFO] [stdout] 854 | container.read(stateful).1(2); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:854:9 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 854 | container.read(stateful).1(2); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:855:20 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 855 | assert_eq!(get_build_count(stateful), 4); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:762:31 [INFO] [stdout] | [INFO] [stdout] 762 | fn get_build_count(_capsule: C) -> u32 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:863:20 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 863 | assert_eq!(get_build_count(stateful), 4); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:762:31 [INFO] [stdout] | [INFO] [stdout] 762 | fn get_build_count(_capsule: C) -> u32 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:793:17 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 793 | _ = get.as_ref(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/capsule_reader.rs:31:22 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn as_ref(&mut self, capsule: C) -> &C::Data { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:793:17 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 793 | _ = get.as_ref(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:793:17 [INFO] [stdout] | [INFO] [stdout] 793 | _ = get.as_ref(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:793:17 [INFO] [stdout] | [INFO] [stdout] 793 | _ = get.as_ref(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:793:17 [INFO] [stdout] | [INFO] [stdout] 793 | _ = get.as_ref(stateful); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:800:13 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 800 | get.as_ref(stateful).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/capsule_reader.rs:31:22 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn as_ref(&mut self, capsule: C) -> &C::Data { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:800:13 [INFO] [stdout] | [INFO] [stdout] 788 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u32, impl CData + Fn(u32)) { [INFO] [stdout] | -------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 800 | get.as_ref(stateful).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u32)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u32)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:800:13 [INFO] [stdout] | [INFO] [stdout] 800 | get.as_ref(stateful).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:800:13 [INFO] [stdout] | [INFO] [stdout] 800 | get.as_ref(stateful).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:800:13 [INFO] [stdout] | [INFO] [stdout] 800 | get.as_ref(stateful).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u32, impl (Fn(u32)) + CData) {tests::eq_check_skips_unneeded_rebuilds::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:966:9 [INFO] [stdout] | [INFO] [stdout] 941 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 966 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:966:9 [INFO] [stdout] | [INFO] [stdout] 966 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::dynamic_and_static_capsules::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:966:9 [INFO] [stdout] | [INFO] [stdout] 966 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::dynamic_and_static_capsules::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:966:9 [INFO] [stdout] | [INFO] [stdout] 966 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::dynamic_and_static_capsules::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:966:9 [INFO] [stdout] | [INFO] [stdout] 941 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 966 | container.read(stateful).1(1); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:949:26 [INFO] [stdout] | [INFO] [stdout] 941 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 949 | self.0 + get.as_ref(stateful).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/capsule_reader.rs:31:22 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn as_ref(&mut self, capsule: C) -> &C::Data { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:949:26 [INFO] [stdout] | [INFO] [stdout] 941 | fn stateful(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 949 | self.0 + get.as_ref(stateful).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:949:26 [INFO] [stdout] | [INFO] [stdout] 949 | self.0 + get.as_ref(stateful).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::dynamic_and_static_capsules::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:949:26 [INFO] [stdout] | [INFO] [stdout] 949 | self.0 + get.as_ref(stateful).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::dynamic_and_static_capsules::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:949:26 [INFO] [stdout] | [INFO] [stdout] 949 | self.0 + get.as_ref(stateful).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {tests::dynamic_and_static_capsules::stateful}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1020:17 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1020 | assert!(txn.try_read(&stateful_a).is_none()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/txn.rs:28:24 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn try_read(&self, capsule: &C) -> Option [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1020:17 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1020 | assert!(txn.try_read(&stateful_a).is_none()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/txn.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | C::Data: Clone, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1020:17 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1020 | assert!(txn.try_read(&stateful_a).is_none()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1020:17 [INFO] [stdout] | [INFO] [stdout] 1020 | assert!(txn.try_read(&stateful_a).is_none()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1020:17 [INFO] [stdout] | [INFO] [stdout] 1020 | assert!(txn.try_read(&stateful_a).is_none()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1020:17 [INFO] [stdout] | [INFO] [stdout] 1020 | assert!(txn.try_read(&stateful_a).is_none()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1034:17 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1034 | assert!(txn.try_read(&stateful_a).is_some()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/txn.rs:28:24 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn try_read(&self, capsule: &C) -> Option [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1034:17 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1034 | assert!(txn.try_read(&stateful_a).is_some()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/txn.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | C::Data: Clone, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1034:17 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1034 | assert!(txn.try_read(&stateful_a).is_some()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1034:17 [INFO] [stdout] | [INFO] [stdout] 1034 | assert!(txn.try_read(&stateful_a).is_some()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1034:17 [INFO] [stdout] | [INFO] [stdout] 1034 | assert!(txn.try_read(&stateful_a).is_some()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1034:17 [INFO] [stdout] | [INFO] [stdout] 1034 | assert!(txn.try_read(&stateful_a).is_some()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1045:9 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1045 | container.read(stateful_a).1(10); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1045:9 [INFO] [stdout] | [INFO] [stdout] 1045 | container.read(stateful_a).1(10); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1045:9 [INFO] [stdout] | [INFO] [stdout] 1045 | container.read(stateful_a).1(10); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1045:9 [INFO] [stdout] | [INFO] [stdout] 1045 | container.read(stateful_a).1(10); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1045:9 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1045 | container.read(stateful_a).1(10); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1048:17 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1048 | assert!(txn.try_read(&stateful_a).is_some()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/txn.rs:28:24 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn try_read(&self, capsule: &C) -> Option [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1048:17 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1048 | assert!(txn.try_read(&stateful_a).is_some()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/txn.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | C::Data: Clone, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1048:17 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1048 | assert!(txn.try_read(&stateful_a).is_some()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1048:17 [INFO] [stdout] | [INFO] [stdout] 1048 | assert!(txn.try_read(&stateful_a).is_some()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1048:17 [INFO] [stdout] | [INFO] [stdout] 1048 | assert!(txn.try_read(&stateful_a).is_some()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1048:17 [INFO] [stdout] | [INFO] [stdout] 1048 | assert!(txn.try_read(&stateful_a).is_some()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:984:13 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 984 | get.as_ref(stateful_a).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/capsule_reader.rs:31:22 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn as_ref(&mut self, capsule: C) -> &C::Data { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:984:13 [INFO] [stdout] | [INFO] [stdout] 979 | fn stateful_a(CapsuleHandle { register, .. }: CapsuleHandle) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 984 | get.as_ref(stateful_a).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:984:13 [INFO] [stdout] | [INFO] [stdout] 984 | get.as_ref(stateful_a).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:984:13 [INFO] [stdout] | [INFO] [stdout] 984 | get.as_ref(stateful_a).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:984:13 [INFO] [stdout] | [INFO] [stdout] 984 | get.as_ref(stateful_a).0 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {stateful_a}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1093:17 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1093 | _ = get.as_ref(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/capsule_reader.rs:31:22 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn as_ref(&mut self, capsule: C) -> &C::Data { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1093:17 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1093 | _ = get.as_ref(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1093:17 [INFO] [stdout] | [INFO] [stdout] 1093 | _ = get.as_ref(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1093:17 [INFO] [stdout] | [INFO] [stdout] 1093 | _ = get.as_ref(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1093:17 [INFO] [stdout] | [INFO] [stdout] 1093 | _ = get.as_ref(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1094:17 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1094 | _ = get.as_ref(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/capsule_reader.rs:31:22 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn as_ref(&mut self, capsule: C) -> &C::Data { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1094:17 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1094 | _ = get.as_ref(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1094:17 [INFO] [stdout] | [INFO] [stdout] 1094 | _ = get.as_ref(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1094:17 [INFO] [stdout] | [INFO] [stdout] 1094 | _ = get.as_ref(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1094:17 [INFO] [stdout] | [INFO] [stdout] 1094 | _ = get.as_ref(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1114:42 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1114 | let ((s1, ss1), (s2, ss2)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1114:42 [INFO] [stdout] | [INFO] [stdout] 1114 | let ((s1, ss1), (s2, ss2)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1114:42 [INFO] [stdout] | [INFO] [stdout] 1114 | let ((s1, ss1), (s2, ss2)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1114:42 [INFO] [stdout] | [INFO] [stdout] 1114 | let ((s1, ss1), (s2, ss2)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1114:42 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1114 | let ((s1, ss1), (s2, ss2)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1124:38 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1124 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1124:38 [INFO] [stdout] | [INFO] [stdout] 1124 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1124:38 [INFO] [stdout] | [INFO] [stdout] 1124 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1124:38 [INFO] [stdout] | [INFO] [stdout] 1124 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1124:38 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1124 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1134:40 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1134 | let ((s1, ss1), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1134:40 [INFO] [stdout] | [INFO] [stdout] 1134 | let ((s1, ss1), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1134:40 [INFO] [stdout] | [INFO] [stdout] 1134 | let ((s1, ss1), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1134:40 [INFO] [stdout] | [INFO] [stdout] 1134 | let ((s1, ss1), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1134:40 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1134 | let ((s1, ss1), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1135:29 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1135 | let (s3, ss3) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1135:29 [INFO] [stdout] | [INFO] [stdout] 1135 | let (s3, ss3) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1135:29 [INFO] [stdout] | [INFO] [stdout] 1135 | let (s3, ss3) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1135:29 [INFO] [stdout] | [INFO] [stdout] 1135 | let (s3, ss3) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1135:29 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1135 | let (s3, ss3) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1146:38 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1146 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1146:38 [INFO] [stdout] | [INFO] [stdout] 1146 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1146:38 [INFO] [stdout] | [INFO] [stdout] 1146 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1146:38 [INFO] [stdout] | [INFO] [stdout] 1146 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1146:38 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1146 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1147:27 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1147 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1147:27 [INFO] [stdout] | [INFO] [stdout] 1147 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1147:27 [INFO] [stdout] | [INFO] [stdout] 1147 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1147:27 [INFO] [stdout] | [INFO] [stdout] 1147 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1147:27 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1147 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1158:38 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1158 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1158:38 [INFO] [stdout] | [INFO] [stdout] 1158 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1158:38 [INFO] [stdout] | [INFO] [stdout] 1158 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1158:38 [INFO] [stdout] | [INFO] [stdout] 1158 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1158:38 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1158 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1159:27 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1159 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1159:27 [INFO] [stdout] | [INFO] [stdout] 1159 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1159:27 [INFO] [stdout] | [INFO] [stdout] 1159 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1159:27 [INFO] [stdout] | [INFO] [stdout] 1159 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1159:27 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1159 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1164:13 [INFO] [stdout] | [INFO] [stdout] 1077 | ) -> impl CData + Fn(u8) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1164 | container.read(batch_all_updates_action)(123); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected opaque type `impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData` [INFO] [stdout] found opaque type `impl (Fn(u8)) + CData` [INFO] [stdout] = note: distinct uses of `impl Trait` result in different opaque types [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1164:13 [INFO] [stdout] | [INFO] [stdout] 1164 | container.read(batch_all_updates_action)(123); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> impl (Fn(u8)) + CData {batch_all_updates_action}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1164:13 [INFO] [stdout] | [INFO] [stdout] 1164 | container.read(batch_all_updates_action)(123); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> impl (Fn(u8)) + CData {batch_all_updates_action}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1164:13 [INFO] [stdout] | [INFO] [stdout] 1164 | container.read(batch_all_updates_action)(123); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> impl (Fn(u8)) + CData {batch_all_updates_action}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1164:13 [INFO] [stdout] | [INFO] [stdout] 1077 | ) -> impl CData + Fn(u8) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1164 | container.read(batch_all_updates_action)(123); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected opaque type `impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData` [INFO] [stdout] found opaque type `impl (Fn(u8)) + CData` [INFO] [stdout] = note: distinct uses of `impl Trait` result in different opaque types [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1167:38 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1167 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1167:38 [INFO] [stdout] | [INFO] [stdout] 1167 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1167:38 [INFO] [stdout] | [INFO] [stdout] 1167 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1167:38 [INFO] [stdout] | [INFO] [stdout] 1167 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1167:38 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1167 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1168:27 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1168 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1168:27 [INFO] [stdout] | [INFO] [stdout] 1168 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1168:27 [INFO] [stdout] | [INFO] [stdout] 1168 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1168:27 [INFO] [stdout] | [INFO] [stdout] 1168 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1168:27 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1168 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1188:21 [INFO] [stdout] | [INFO] [stdout] 1077 | ) -> impl CData + Fn(u8) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1188 | container.read(batch_all_updates_action)(123); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected opaque type `impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData` [INFO] [stdout] found opaque type `impl (Fn(u8)) + CData` [INFO] [stdout] = note: distinct uses of `impl Trait` result in different opaque types [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1188:21 [INFO] [stdout] | [INFO] [stdout] 1188 | container.read(batch_all_updates_action)(123); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> impl (Fn(u8)) + CData {batch_all_updates_action}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1188:21 [INFO] [stdout] | [INFO] [stdout] 1188 | container.read(batch_all_updates_action)(123); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> impl (Fn(u8)) + CData {batch_all_updates_action}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1188:21 [INFO] [stdout] | [INFO] [stdout] 1188 | container.read(batch_all_updates_action)(123); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> impl (Fn(u8)) + CData {batch_all_updates_action}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1188:21 [INFO] [stdout] | [INFO] [stdout] 1077 | ) -> impl CData + Fn(u8) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1188 | container.read(batch_all_updates_action)(123); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected opaque type `impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData` [INFO] [stdout] found opaque type `impl (Fn(u8)) + CData` [INFO] [stdout] = note: distinct uses of `impl Trait` result in different opaque types [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1179:40 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1179 | let ((s1, ss1), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1179:40 [INFO] [stdout] | [INFO] [stdout] 1179 | let ((s1, ss1), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1179:40 [INFO] [stdout] | [INFO] [stdout] 1179 | let ((s1, ss1), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1179:40 [INFO] [stdout] | [INFO] [stdout] 1179 | let ((s1, ss1), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1179:40 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1179 | let ((s1, ss1), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1180:29 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1180 | let (s3, ss3) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1180:29 [INFO] [stdout] | [INFO] [stdout] 1180 | let (s3, ss3) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1180:29 [INFO] [stdout] | [INFO] [stdout] 1180 | let (s3, ss3) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1180:29 [INFO] [stdout] | [INFO] [stdout] 1180 | let (s3, ss3) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1180:29 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1180 | let (s3, ss3) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1194:38 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1194 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1194:38 [INFO] [stdout] | [INFO] [stdout] 1194 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1194:38 [INFO] [stdout] | [INFO] [stdout] 1194 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1194:38 [INFO] [stdout] | [INFO] [stdout] 1194 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> ((u8, impl (Fn(u8)) + CData), (u8, impl (Fn(u8)) + CData)) {two_side_effects_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1194:38 [INFO] [stdout] | [INFO] [stdout] 1065 | ) -> ((u8, impl CData + Fn(u8)), (u8, impl CData + Fn(u8))) { [INFO] [stdout] | ------------------- ------------------- [INFO] [stdout] | | | [INFO] [stdout] | | one of the expected opaque types [INFO] [stdout] | | one of the found opaque types [INFO] [stdout] | one of the expected opaque types [INFO] [stdout] | one of the found opaque types [INFO] [stdout] ... [INFO] [stdout] 1194 | let ((s1, _), (s2, _)) = container.read(two_side_effects_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `((_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData), (_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData))` [INFO] [stdout] found tuple `((_, impl (Fn(u8)) + CData), (_, impl (Fn(u8)) + CData))` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1195:27 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1195 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] note: the lifetime requirement is introduced here [INFO] [stdout] --> src/lib.rs:156:27 [INFO] [stdout] | [INFO] [stdout] 156 | pub fn read(&self, capsules: Capsules) -> Capsules::Data { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1195:27 [INFO] [stdout] | [INFO] [stdout] 1195 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'0, '_, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1195:27 [INFO] [stdout] | [INFO] [stdout] 1195 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '0, '_>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: implementation of `FnOnce` is not general enough [INFO] [stdout] --> src/lib.rs:1195:27 [INFO] [stdout] | [INFO] [stdout] 1195 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough [INFO] [stdout] | [INFO] [stdout] = note: `for<'a, 'b, 'c> fn(CapsuleHandle<'a, 'b, 'c>) -> (u8, impl (Fn(u8)) + CData) {side_effect_txns::another_capsule}` must implement `FnOnce<(CapsuleHandle<'_, '_, '_>,)>` [INFO] [stdout] = note: ...but it actually implements `FnOnce<(CapsuleHandle<'_, '_, '0>,)>`, for some specific lifetime `'0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/lib.rs:1195:27 [INFO] [stdout] | [INFO] [stdout] 1071 | ) -> (u8, impl CData + Fn(u8)) { [INFO] [stdout] | ------------------- [INFO] [stdout] | | [INFO] [stdout] | the expected opaque type [INFO] [stdout] | the found opaque type [INFO] [stdout] ... [INFO] [stdout] 1195 | let (s3, _) = container.read(another_capsule); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other [INFO] [stdout] | [INFO] [stdout] = note: expected tuple `(_, impl (for<'a, 'b, 'c> Fn(u8)) + for<'a, 'b, 'c> CData)` [INFO] [stdout] found tuple `(_, impl (Fn(u8)) + CData)` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 259 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0308, E0657. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `rearch` (lib test) due to 260 previous errors [INFO] [stderr] error: failed to check after updating to 2024 [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `cargo check --frozen --all --all-targets --message-format=json` (exit status: 101) [INFO] running `Command { std: "docker" "inspect" "1cd5ea036d8727f68796e9a97ddd4f6d760c6273d890f1118d3a3f1713ba643c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1cd5ea036d8727f68796e9a97ddd4f6d760c6273d890f1118d3a3f1713ba643c", kill_on_drop: false }` [INFO] [stdout] 1cd5ea036d8727f68796e9a97ddd4f6d760c6273d890f1118d3a3f1713ba643c