[INFO] fetching crate linera-witty 0.14.2... [INFO] checking linera-witty-0.14.2 against try#a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d for pr-145342-1 [INFO] extracting crate linera-witty 0.14.2 into /workspace/builds/worker-1-tc2/source [INFO] started tweaking crates.io crate linera-witty 0.14.2 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate linera-witty 0.14.2 [INFO] tweaked toml for crates.io crate linera-witty 0.14.2 written to /workspace/builds/worker-1-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate linera-witty 0.14.2 on toolchain a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate linera-witty 0.14.2 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1bd03e5969dec9233094e86ffe671aac80eaca83c30bd1669452f0565cf89cb2 [INFO] running `Command { std: "docker" "start" "-a" "1bd03e5969dec9233094e86ffe671aac80eaca83c30bd1669452f0565cf89cb2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1bd03e5969dec9233094e86ffe671aac80eaca83c30bd1669452f0565cf89cb2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1bd03e5969dec9233094e86ffe671aac80eaca83c30bd1669452f0565cf89cb2", kill_on_drop: false }` [INFO] [stdout] 1bd03e5969dec9233094e86ffe671aac80eaca83c30bd1669452f0565cf89cb2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] dc067b30c257f9ab2b8c0319a18e1c4dfbb36d5621176706419e40d5fd792d7c [INFO] running `Command { std: "docker" "start" "-a" "dc067b30c257f9ab2b8c0319a18e1c4dfbb36d5621176706419e40d5fd792d7c", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.92 [INFO] [stderr] Compiling unicode-ident v1.0.14 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling cfg_aliases v0.2.1 [INFO] [stderr] Compiling frunk_core v0.4.3 [INFO] [stderr] Compiling proc-macro-hack v0.5.20+deprecated [INFO] [stderr] Checking once_cell v1.20.2 [INFO] [stderr] Compiling libc v0.2.169 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling anyhow v1.0.95 [INFO] [stderr] Compiling heck v0.4.1 [INFO] [stderr] Checking genawaiter-macro v0.99.1 [INFO] [stderr] Checking similar v2.6.0 [INFO] [stderr] Compiling linera-witty-macros v0.14.2 [INFO] [stderr] Compiling linera-witty v0.14.2 (/opt/rustwide/workdir) [INFO] [stderr] Checking pin-project-lite v0.2.16 [INFO] [stderr] Checking tracing-core v0.1.33 [INFO] [stderr] Checking linked-hash-map v0.5.6 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Compiling proc-macro-error-attr v0.4.12 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v0.4.12 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking assert_matches v1.5.0 [INFO] [stderr] Compiling quote v1.0.38 [INFO] [stderr] Compiling syn v2.0.95 [INFO] [stderr] Checking console v0.15.10 [INFO] [stderr] Checking insta v1.42.0 [INFO] [stderr] Compiling syn-mid v0.5.4 [INFO] [stderr] Compiling frunk_proc_macro_helpers v0.1.3 [INFO] [stderr] Compiling test-case-core v3.3.1 [INFO] [stderr] Compiling frunk_derives v0.4.3 [INFO] [stderr] Compiling frunk_proc_macros v0.1.3 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling tracing-attributes v0.1.28 [INFO] [stderr] Compiling test-case-macros v3.3.1 [INFO] [stderr] Compiling genawaiter-proc-macro v0.99.1 [INFO] [stderr] Checking test-case v3.3.1 [INFO] [stderr] Checking frunk v0.4.3 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking genawaiter v0.99.1 [INFO] [stdout] error[E0432]: unresolved import `crate::MockInstance` [INFO] [stdout] --> src/type_traits/implementations/tests.rs:10:55 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::{GuestPointer, InstanceWithMemory, Layout, MockInstance, WitLoad, WitStore, WitType}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `MockInstance` in the root [INFO] [stdout] | help: a similar name exists in the module: `Instance` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> src/lib.rs:39:47 [INFO] [stdout] | [INFO] [stdout] 38 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stderr] error: could not compile `linera-witty` (lib test) due to 1 previous error [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0432]: unresolved imports `linera_witty::MockExportedFunction`, `linera_witty::MockInstance` [INFO] [stdout] --> tests/common/test_instance.rs:23:43 [INFO] [stdout] | [INFO] [stdout] 23 | ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ no `MockInstance` in the root [INFO] [stdout] | | [INFO] [stdout] | no `MockExportedFunction` in the root [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:39:25 [INFO] [stdout] | [INFO] [stdout] 38 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:39:47 [INFO] [stdout] | [INFO] [stdout] 38 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] help: a similar name exists in the module [INFO] [stdout] | [INFO] [stdout] 23 - ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError, [INFO] [stdout] 23 + ExportTo, InstanceWithMemory, Layout, ExportFunction, MockInstance, RuntimeError, [INFO] [stdout] | [INFO] [stdout] help: a similar name exists in the module [INFO] [stdout] | [INFO] [stdout] 23 - ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError, [INFO] [stdout] 23 + ExportTo, InstanceWithMemory, Layout, MockExportedFunction, Instance, RuntimeError, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `linera_witty::test` [INFO] [stdout] --> tests/common/wit_interface_test.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | test::{assert_interface_dependencies, assert_interface_functions}, [INFO] [stdout] | ^^^^ could not find `test` in `linera_witty` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 22 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 23 | pub mod test; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `linera_witty::wit_export`, `linera_witty::MockInstance` [INFO] [stdout] --> tests/wit_export.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | wit_export, [INFO] [stdout] | ^^^^^^^^^^ no `wit_export` in the root [INFO] [stdout] 16 | wit_generation::{WitInterface, WitInterfaceWriter, WitWorldWriter}, [INFO] [stdout] 17 | wit_import, ExportTo, Instance, MockInstance, Runtime, RuntimeMemory, [INFO] [stdout] | ^^^^^^^^^^^^ no `MockInstance` in the root [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:30:30 [INFO] [stdout] | [INFO] [stdout] 29 | #[cfg(with_wit_export)] [INFO] [stdout] | --------------- the item is gated here [INFO] [stdout] 30 | pub use linera_witty_macros::wit_export; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:39:47 [INFO] [stdout] | [INFO] [stdout] 38 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] help: a similar name exists in the module [INFO] [stdout] | [INFO] [stdout] 15 - wit_export, [INFO] [stdout] 15 + wit_import, [INFO] [stdout] | [INFO] [stdout] help: a similar name exists in the module [INFO] [stdout] | [INFO] [stdout] 17 - wit_import, ExportTo, Instance, MockInstance, Runtime, RuntimeMemory, [INFO] [stdout] 17 + wit_import, ExportTo, Instance, Instance, Runtime, RuntimeMemory, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `linera_witty::MockExportedFunction`, `linera_witty::MockInstance` [INFO] [stdout] --> tests/common/test_instance.rs:23:43 [INFO] [stdout] | [INFO] [stdout] 23 | ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ no `MockInstance` in the root [INFO] [stdout] | | [INFO] [stdout] | no `MockExportedFunction` in the root [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:39:25 [INFO] [stdout] | [INFO] [stdout] 38 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:39:47 [INFO] [stdout] | [INFO] [stdout] 38 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] help: a similar name exists in the module [INFO] [stdout] | [INFO] [stdout] 23 - ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError, [INFO] [stdout] 23 + ExportTo, InstanceWithMemory, Layout, ExportFunction, MockInstance, RuntimeError, [INFO] [stdout] | [INFO] [stdout] help: a similar name exists in the module [INFO] [stdout] | [INFO] [stdout] 23 - ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError, [INFO] [stdout] 23 + ExportTo, InstanceWithMemory, Layout, MockExportedFunction, Instance, RuntimeError, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `linera_witty::test` [INFO] [stdout] --> tests/common/wit_interface_test.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | test::{assert_interface_dependencies, assert_interface_functions}, [INFO] [stdout] | ^^^^ could not find `test` in `linera_witty` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 22 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 23 | pub mod test; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `linera_witty::MockInstance` [INFO] [stdout] --> tests/wit_import.rs:18:27 [INFO] [stdout] | [INFO] [stdout] 18 | wit_import, Instance, MockInstance, Runtime, RuntimeMemory, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `MockInstance` in the root [INFO] [stdout] | help: a similar name exists in the module: `Instance` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:39:47 [INFO] [stdout] | [INFO] [stdout] 38 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `linera_witty::MockInstance` [INFO] [stdout] --> tests/wit_store.rs:11:55 [INFO] [stdout] | [INFO] [stdout] 11 | use linera_witty::{hlist, InstanceWithMemory, Layout, MockInstance, WitStore}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `MockInstance` in the root [INFO] [stdout] | help: a similar name exists in the module: `Instance` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:39:47 [INFO] [stdout] | [INFO] [stdout] 38 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `linera_witty::MockInstance` [INFO] [stdout] --> tests/wit_load.rs:12:55 [INFO] [stdout] | [INFO] [stdout] 12 | use linera_witty::{hlist, InstanceWithMemory, Layout, MockInstance, RuntimeError, WitLoad}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | no `MockInstance` in the root [INFO] [stdout] | help: a similar name exists in the module: `Instance` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:39:47 [INFO] [stdout] | [INFO] [stdout] 38 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `linera_witty::MockExportedFunction`, `linera_witty::MockInstance` [INFO] [stdout] --> tests/common/test_instance.rs:23:43 [INFO] [stdout] | [INFO] [stdout] 23 | ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ no `MockInstance` in the root [INFO] [stdout] | | [INFO] [stdout] | no `MockExportedFunction` in the root [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:39:25 [INFO] [stdout] | [INFO] [stdout] 38 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:39:47 [INFO] [stdout] | [INFO] [stdout] 38 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] help: a similar name exists in the module [INFO] [stdout] | [INFO] [stdout] 23 - ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError, [INFO] [stdout] 23 + ExportTo, InstanceWithMemory, Layout, ExportFunction, MockInstance, RuntimeError, [INFO] [stdout] | [INFO] [stdout] help: a similar name exists in the module [INFO] [stdout] | [INFO] [stdout] 23 - ExportTo, InstanceWithMemory, Layout, MockExportedFunction, MockInstance, RuntimeError, [INFO] [stdout] 23 + ExportTo, InstanceWithMemory, Layout, MockExportedFunction, Instance, RuntimeError, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `linera_witty::test` [INFO] [stdout] --> tests/common/wit_interface_test.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | test::{assert_interface_dependencies, assert_interface_functions}, [INFO] [stdout] | ^^^^ could not find `test` in `linera_witty` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 22 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 23 | pub mod test; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `linera_witty::wit_export`, `linera_witty::MockInstance` [INFO] [stdout] --> tests/reentrancy.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | wit_export, [INFO] [stdout] | ^^^^^^^^^^ no `wit_export` in the root [INFO] [stdout] 22 | wit_generation::{WitInterface, WitInterfaceWriter, WitWorldWriter}, [INFO] [stdout] 23 | wit_import, ExportTo, Instance, MockInstance, Runtime, RuntimeError, RuntimeMemory, [INFO] [stdout] | ^^^^^^^^^^^^ no `MockInstance` in the root [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:30:30 [INFO] [stdout] | [INFO] [stdout] 29 | #[cfg(with_wit_export)] [INFO] [stdout] | --------------- the item is gated here [INFO] [stdout] 30 | pub use linera_witty_macros::wit_export; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/workdir/src/lib.rs:39:47 [INFO] [stdout] | [INFO] [stdout] 38 | #[cfg(with_testing)] [INFO] [stdout] | ------------ the item is gated here [INFO] [stdout] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] help: a similar name exists in the module [INFO] [stdout] | [INFO] [stdout] 21 - wit_export, [INFO] [stdout] 21 + wit_import, [INFO] [stdout] | [INFO] [stdout] help: a similar name exists in the module [INFO] [stdout] | [INFO] [stdout] 23 - wit_import, ExportTo, Instance, MockInstance, Runtime, RuntimeError, RuntimeMemory, [INFO] [stdout] 23 + wit_import, ExportTo, Instance, Instance, Runtime, RuntimeError, RuntimeMemory, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `SimpleFunction: ExportTo<_>` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:47:13 [INFO] [stdout] | [INFO] [stdout] 47 | #[test_case(MockInstanceFactory::default(); "with a mock instance")] [INFO] [stdout] | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-------------------------- [INFO] [stdout] | | | [INFO] [stdout] | | the trait `ExportTo<_>` is not implemented for `SimpleFunction` [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `ExportTo` is implemented for `WithoutExports` [INFO] [stdout] note: required by a bound in `test_simple_function` [INFO] [stdout] --> tests/wit_export.rs:56:21 [INFO] [stdout] | [INFO] [stdout] 50 | fn test_simple_function(mut factory: InstanceFactory) [INFO] [stdout] | -------------------- required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 56 | SimpleFunction: ExportTo, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_simple_function` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Getters: ExportTo<_>` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:120:13 [INFO] [stdout] | [INFO] [stdout] 120 | #[test_case(MockInstanceFactory::default(); "with a mock instance")] [INFO] [stdout] | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-------------------------- [INFO] [stdout] | | | [INFO] [stdout] | | the trait `ExportTo<_>` is not implemented for `Getters` [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `ExportTo` is implemented for `WithoutExports` [INFO] [stdout] note: required by a bound in `test_getters` [INFO] [stdout] --> tests/wit_export.rs:129:14 [INFO] [stdout] | [INFO] [stdout] 123 | fn test_getters(mut factory: InstanceFactory) [INFO] [stdout] | ------------ required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 129 | Getters: ExportTo, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_getters` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Setters: ExportTo<_>` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:190:13 [INFO] [stdout] | [INFO] [stdout] 190 | #[test_case(MockInstanceFactory::default(); "with a mock instance")] [INFO] [stdout] | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-------------------------- [INFO] [stdout] | | | [INFO] [stdout] | | the trait `ExportTo<_>` is not implemented for `Setters` [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `ExportTo` is implemented for `WithoutExports` [INFO] [stdout] note: required by a bound in `test_setters` [INFO] [stdout] --> tests/wit_export.rs:199:14 [INFO] [stdout] | [INFO] [stdout] 193 | fn test_setters(mut factory: InstanceFactory) [INFO] [stdout] | ------------ required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 199 | Setters: ExportTo, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_setters` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Operations: ExportTo<_>` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:259:13 [INFO] [stdout] | [INFO] [stdout] 259 | #[test_case(MockInstanceFactory::default(); "with a mock instance")] [INFO] [stdout] | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-------------------------- [INFO] [stdout] | | | [INFO] [stdout] | | the trait `ExportTo<_>` is not implemented for `Operations` [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `ExportTo` is implemented for `WithoutExports` [INFO] [stdout] note: required by a bound in `test_operations` [INFO] [stdout] --> tests/wit_export.rs:268:17 [INFO] [stdout] | [INFO] [stdout] 262 | fn test_operations(mut factory: InstanceFactory) [INFO] [stdout] | --------------- required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 268 | Operations: ExportTo, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_operations` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `SimpleFunction: WitInterface` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:279:13 [INFO] [stdout] | [INFO] [stdout] 278 | #[test_case(PhantomData::>>, ENTRYPOINT; "of_entrypoint")] [INFO] [stdout] | -------------------------------------------------------------------------------------- required by a bound introduced by this call [INFO] [stdout] 279 | #[test_case(PhantomData::, SIMPLE_FUNCTION; "of_simple_function")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `SimpleFunction` [INFO] [stdout] | [INFO] [stdout] = help: the trait `WitInterface` is implemented for `Entrypoint` [INFO] [stdout] note: required by a bound in `test_wit_interface` [INFO] [stdout] --> tests/wit_export.rs:287:16 [INFO] [stdout] | [INFO] [stdout] 283 | fn test_wit_interface( [INFO] [stdout] | ------------------ required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 287 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `test_wit_interface` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Getters: WitInterface` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:280:13 [INFO] [stdout] | [INFO] [stdout] 278 | #[test_case(PhantomData::>>, ENTRYPOINT; "of_entrypoint")] [INFO] [stdout] | -------------------------------------------------------------------------------------- required by a bound introduced by this call [INFO] [stdout] 279 | #[test_case(PhantomData::, SIMPLE_FUNCTION; "of_simple_function")] [INFO] [stdout] 280 | #[test_case(PhantomData::, GETTERS; "of_getters")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `Getters` [INFO] [stdout] | [INFO] [stdout] = help: the trait `WitInterface` is implemented for `Entrypoint` [INFO] [stdout] note: required by a bound in `test_wit_interface` [INFO] [stdout] --> tests/wit_export.rs:287:16 [INFO] [stdout] | [INFO] [stdout] 283 | fn test_wit_interface( [INFO] [stdout] | ------------------ required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 287 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `test_wit_interface` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Setters: WitInterface` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:281:13 [INFO] [stdout] | [INFO] [stdout] 278 | #[test_case(PhantomData::>>, ENTRYPOINT; "of_entrypoint")] [INFO] [stdout] | -------------------------------------------------------------------------------------- required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 281 | #[test_case(PhantomData::, SETTERS; "of_setters")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `Setters` [INFO] [stdout] | [INFO] [stdout] = help: the trait `WitInterface` is implemented for `Entrypoint` [INFO] [stdout] note: required by a bound in `test_wit_interface` [INFO] [stdout] --> tests/wit_export.rs:287:16 [INFO] [stdout] | [INFO] [stdout] 283 | fn test_wit_interface( [INFO] [stdout] | ------------------ required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 287 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `test_wit_interface` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Operations: WitInterface` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:282:13 [INFO] [stdout] | [INFO] [stdout] 278 | #[test_case(PhantomData::>>, ENTRYPOINT; "of_entrypoint")] [INFO] [stdout] | -------------------------------------------------------------------------------------- required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 282 | #[test_case(PhantomData::, OPERATIONS; "of_operations")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `Operations` [INFO] [stdout] | [INFO] [stdout] = help: the trait `WitInterface` is implemented for `Entrypoint` [INFO] [stdout] note: required by a bound in `test_wit_interface` [INFO] [stdout] --> tests/wit_export.rs:287:16 [INFO] [stdout] | [INFO] [stdout] 283 | fn test_wit_interface( [INFO] [stdout] | ------------------ required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 287 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `test_wit_interface` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `SimpleFunction: WitInterface` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:295:13 [INFO] [stdout] | [INFO] [stdout] 294 | #[test_case(PhantomData::>>, "entrypoint"; "of_entrypoint")] [INFO] [stdout] | ---------------------------------------------------------------------------------------- required by a bound introduced by this call [INFO] [stdout] 295 | #[test_case(PhantomData::, "simple-function"; "of_simple_function")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `SimpleFunction` [INFO] [stdout] | [INFO] [stdout] = help: the trait `WitInterface` is implemented for `Entrypoint` [INFO] [stdout] note: required by a bound in `test_wit_interface_file` [INFO] [stdout] --> tests/wit_export.rs:301:16 [INFO] [stdout] | [INFO] [stdout] 299 | fn test_wit_interface_file(_: PhantomData, name: &str) [INFO] [stdout] | ----------------------- required by a bound in this function [INFO] [stdout] 300 | where [INFO] [stdout] 301 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `test_wit_interface_file` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Getters: WitInterface` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:296:13 [INFO] [stdout] | [INFO] [stdout] 294 | #[test_case(PhantomData::>>, "entrypoint"; "of_entrypoint")] [INFO] [stdout] | ---------------------------------------------------------------------------------------- required by a bound introduced by this call [INFO] [stdout] 295 | #[test_case(PhantomData::, "simple-function"; "of_simple_function")] [INFO] [stdout] 296 | #[test_case(PhantomData::, "getters"; "of_getters")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `Getters` [INFO] [stdout] | [INFO] [stdout] = help: the trait `WitInterface` is implemented for `Entrypoint` [INFO] [stdout] note: required by a bound in `test_wit_interface_file` [INFO] [stdout] --> tests/wit_export.rs:301:16 [INFO] [stdout] | [INFO] [stdout] 299 | fn test_wit_interface_file(_: PhantomData, name: &str) [INFO] [stdout] | ----------------------- required by a bound in this function [INFO] [stdout] 300 | where [INFO] [stdout] 301 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `test_wit_interface_file` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Setters: WitInterface` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:297:13 [INFO] [stdout] | [INFO] [stdout] 294 | #[test_case(PhantomData::>>, "entrypoint"; "of_entrypoint")] [INFO] [stdout] | ---------------------------------------------------------------------------------------- required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 297 | #[test_case(PhantomData::, "setters"; "of_setters")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `Setters` [INFO] [stdout] | [INFO] [stdout] = help: the trait `WitInterface` is implemented for `Entrypoint` [INFO] [stdout] note: required by a bound in `test_wit_interface_file` [INFO] [stdout] --> tests/wit_export.rs:301:16 [INFO] [stdout] | [INFO] [stdout] 299 | fn test_wit_interface_file(_: PhantomData, name: &str) [INFO] [stdout] | ----------------------- required by a bound in this function [INFO] [stdout] 300 | where [INFO] [stdout] 301 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `test_wit_interface_file` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Operations: WitInterface` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:298:13 [INFO] [stdout] | [INFO] [stdout] 294 | #[test_case(PhantomData::>>, "entrypoint"; "of_entrypoint")] [INFO] [stdout] | ---------------------------------------------------------------------------------------- required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 298 | #[test_case(PhantomData::, "operations"; "of_operations")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `Operations` [INFO] [stdout] | [INFO] [stdout] = help: the trait `WitInterface` is implemented for `Entrypoint` [INFO] [stdout] note: required by a bound in `test_wit_interface_file` [INFO] [stdout] --> tests/wit_export.rs:301:16 [INFO] [stdout] | [INFO] [stdout] 299 | fn test_wit_interface_file(_: PhantomData, name: &str) [INFO] [stdout] | ----------------------- required by a bound in this function [INFO] [stdout] 300 | where [INFO] [stdout] 301 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `test_wit_interface_file` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `SimpleFunction: WitInterface` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:318:23 [INFO] [stdout] | [INFO] [stdout] 318 | .import::() [INFO] [stdout] | ------ ^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `SimpleFunction` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `WitInterface` is implemented for `Entrypoint` [INFO] [stdout] note: required by a bound in `WitWorldWriter::import` [INFO] [stdout] --> /opt/rustwide/workdir/src/wit_generation/mod.rs:110:20 [INFO] [stdout] | [INFO] [stdout] 108 | pub fn import(mut self) -> Self [INFO] [stdout] | ------ required by a bound in this associated function [INFO] [stdout] 109 | where [INFO] [stdout] 110 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `WitWorldWriter::import` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Getters: WitInterface` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:319:23 [INFO] [stdout] | [INFO] [stdout] 319 | .import::() [INFO] [stdout] | ------ ^^^^^^^ the trait `WitInterface` is not implemented for `Getters` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `WitInterface` is implemented for `Entrypoint` [INFO] [stdout] note: required by a bound in `WitWorldWriter::import` [INFO] [stdout] --> /opt/rustwide/workdir/src/wit_generation/mod.rs:110:20 [INFO] [stdout] | [INFO] [stdout] 108 | pub fn import(mut self) -> Self [INFO] [stdout] | ------ required by a bound in this associated function [INFO] [stdout] 109 | where [INFO] [stdout] 110 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `WitWorldWriter::import` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Setters: WitInterface` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:320:23 [INFO] [stdout] | [INFO] [stdout] 320 | .import::() [INFO] [stdout] | ------ ^^^^^^^ the trait `WitInterface` is not implemented for `Setters` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `WitInterface` is implemented for `Entrypoint` [INFO] [stdout] note: required by a bound in `WitWorldWriter::import` [INFO] [stdout] --> /opt/rustwide/workdir/src/wit_generation/mod.rs:110:20 [INFO] [stdout] | [INFO] [stdout] 108 | pub fn import(mut self) -> Self [INFO] [stdout] | ------ required by a bound in this associated function [INFO] [stdout] 109 | where [INFO] [stdout] 110 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `WitWorldWriter::import` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Operations: WitInterface` is not satisfied [INFO] [stdout] --> tests/wit_export.rs:321:23 [INFO] [stdout] | [INFO] [stdout] 321 | .import::() [INFO] [stdout] | ------ ^^^^^^^^^^ the trait `WitInterface` is not implemented for `Operations` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `WitInterface` is implemented for `Entrypoint` [INFO] [stdout] note: required by a bound in `WitWorldWriter::import` [INFO] [stdout] --> /opt/rustwide/workdir/src/wit_generation/mod.rs:110:20 [INFO] [stdout] | [INFO] [stdout] 108 | pub fn import(mut self) -> Self [INFO] [stdout] | ------ required by a bound in this associated function [INFO] [stdout] 109 | where [INFO] [stdout] 110 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `WitWorldWriter::import` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0432. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `linera-witty` (test "wit_export") due to 19 previous errors [INFO] [stdout] error[E0277]: the trait bound `ExportedSimpleFunction: ExportTo<_>` is not satisfied [INFO] [stdout] --> tests/reentrancy.rs:69:13 [INFO] [stdout] | [INFO] [stdout] 69 | #[test_case(MockInstanceFactory::default(); "with a mock instance")] [INFO] [stdout] | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-------------------------- [INFO] [stdout] | | | [INFO] [stdout] | | the trait `ExportTo<_>` is not implemented for `ExportedSimpleFunction` [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `ExportTo` is implemented for `WithoutExports` [INFO] [stdout] note: required by a bound in `test_simple_function` [INFO] [stdout] --> tests/reentrancy.rs:78:29 [INFO] [stdout] | [INFO] [stdout] 72 | fn test_simple_function(mut factory: InstanceFactory) [INFO] [stdout] | -------------------- required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 78 | ExportedSimpleFunction: ExportTo, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_simple_function` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `ExportedGetters<_>: ExportTo<_>` is not satisfied [INFO] [stdout] --> tests/reentrancy.rs:167:13 [INFO] [stdout] | [INFO] [stdout] 167 | #[test_case(MockInstanceFactory::default(); "with a mock instance")] [INFO] [stdout] | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-------------------------- [INFO] [stdout] | | | [INFO] [stdout] | | the trait `ExportTo<_>` is not implemented for `ExportedGetters<_>` [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `ExportTo` is implemented for `WithoutExports` [INFO] [stdout] note: required by a bound in `test_getters` [INFO] [stdout] --> tests/reentrancy.rs:176:56 [INFO] [stdout] | [INFO] [stdout] 170 | fn test_getters(mut factory: InstanceFactory) [INFO] [stdout] | ------------ required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 176 | ExportedGetters>: ExportTo, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_getters` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `ExportedSetters<_>: ExportTo<_>` is not satisfied [INFO] [stdout] --> tests/reentrancy.rs:259:13 [INFO] [stdout] | [INFO] [stdout] 259 | #[test_case(MockInstanceFactory::default(); "with a mock instance")] [INFO] [stdout] | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-------------------------- [INFO] [stdout] | | | [INFO] [stdout] | | the trait `ExportTo<_>` is not implemented for `ExportedSetters<_>` [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `ExportTo` is implemented for `WithoutExports` [INFO] [stdout] note: required by a bound in `test_setters` [INFO] [stdout] --> tests/reentrancy.rs:268:56 [INFO] [stdout] | [INFO] [stdout] 262 | fn test_setters(mut factory: InstanceFactory) [INFO] [stdout] | ------------ required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 268 | ExportedSetters>: ExportTo, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_setters` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stderr] error: could not compile `linera-witty` (test "wit_store") due to 1 previous error [INFO] [stderr] error: could not compile `linera-witty` (test "wit_load") due to 1 previous error [INFO] [stdout] error[E0277]: the trait bound `ExportedOperations<_>: ExportTo<_>` is not satisfied [INFO] [stdout] --> tests/reentrancy.rs:351:13 [INFO] [stdout] | [INFO] [stdout] 351 | #[test_case(MockInstanceFactory::default(); "with a mock instance")] [INFO] [stdout] | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-------------------------- [INFO] [stdout] | | | [INFO] [stdout] | | the trait `ExportTo<_>` is not implemented for `ExportedOperations<_>` [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `ExportTo` is implemented for `WithoutExports` [INFO] [stdout] note: required by a bound in `test_operations` [INFO] [stdout] --> tests/reentrancy.rs:360:59 [INFO] [stdout] | [INFO] [stdout] 354 | fn test_operations(mut factory: InstanceFactory) [INFO] [stdout] | --------------- required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 360 | ExportedOperations>: ExportTo, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_operations` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `ExportedGlobalState: ExportTo<_>` is not satisfied [INFO] [stdout] --> tests/reentrancy.rs:398:13 [INFO] [stdout] | [INFO] [stdout] 398 | #[test_case(MockInstanceFactory::default(); "with a mock instance")] [INFO] [stdout] | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-------------------------- [INFO] [stdout] | | | [INFO] [stdout] | | the trait `ExportTo<_>` is not implemented for `ExportedGlobalState` [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `ExportTo` is implemented for `WithoutExports` [INFO] [stdout] note: required by a bound in `test_global_state` [INFO] [stdout] --> tests/reentrancy.rs:407:26 [INFO] [stdout] | [INFO] [stdout] 401 | fn test_global_state(mut factory: InstanceFactory) [INFO] [stdout] | ----------------- required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 407 | ExportedGlobalState: ExportTo, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_global_state` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `ExportedSimpleFunctionWithUserData<_>: ExportTo<_>` is not satisfied [INFO] [stdout] --> tests/reentrancy.rs:445:13 [INFO] [stdout] | [INFO] [stdout] 445 | #[test_case(MockInstanceFactory::default(); "with a mock instance")] [INFO] [stdout] | ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-------------------------- [INFO] [stdout] | | | [INFO] [stdout] | | the trait `ExportTo<_>` is not implemented for `ExportedSimpleFunctionWithUserData<_>` [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the trait `ExportTo` is implemented for `WithoutExports` [INFO] [stdout] note: required by a bound in `test_user_data` [INFO] [stdout] --> tests/reentrancy.rs:456:9 [INFO] [stdout] | [INFO] [stdout] 449 | fn test_user_data(mut factory: InstanceFactory) [INFO] [stdout] | -------------- required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 456 | ExportTo, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_user_data` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `ExportedSimpleFunction: WitInterface` is not satisfied [INFO] [stdout] --> tests/reentrancy.rs:484:13 [INFO] [stdout] | [INFO] [stdout] 473 | #[test_case(PhantomData::>>, ENTRYPOINT; "of_entrypoint")] [INFO] [stdout] | -------------------------------------------------------------------------------------- required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 484 | #[test_case(PhantomData::, SIMPLE_FUNCTION; "of_exported_simple_function")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `ExportedSimpleFunction` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `WitInterface`: [INFO] [stdout] Entrypoint [INFO] [stdout] ImportedGetters [INFO] [stdout] ImportedGlobalState [INFO] [stdout] ImportedOperations [INFO] [stdout] ImportedSetters [INFO] [stdout] ImportedSimpleFunction [INFO] [stdout] note: required by a bound in `test_wit_interface` [INFO] [stdout] --> tests/reentrancy.rs:495:16 [INFO] [stdout] | [INFO] [stdout] 491 | fn test_wit_interface( [INFO] [stdout] | ------------------ required by a bound in this function [INFO] [stdout] ... [INFO] [stdout] 495 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `test_wit_interface` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `ExportedSimpleFunction: WitInterface` is not satisfied [INFO] [stdout] --> tests/reentrancy.rs:511:13 [INFO] [stdout] | [INFO] [stdout] 500 | #[test_case(PhantomData::>>, "entrypoint"; "of_entrypoint")] [INFO] [stdout] | ---------------------------------------------------------------------------------------- required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 511 | #[test_case(PhantomData::, "simple_function"; "of_exported_simple_function")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `ExportedSimpleFunction` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `WitInterface`: [INFO] [stdout] Entrypoint [INFO] [stdout] ImportedGetters [INFO] [stdout] ImportedGlobalState [INFO] [stdout] ImportedOperations [INFO] [stdout] ImportedSetters [INFO] [stdout] ImportedSimpleFunction [INFO] [stdout] note: required by a bound in `test_wit_interface_file` [INFO] [stdout] --> tests/reentrancy.rs:520:16 [INFO] [stdout] | [INFO] [stdout] 518 | fn test_wit_interface_file(_: PhantomData, name: &str) [INFO] [stdout] | ----------------------- required by a bound in this function [INFO] [stdout] 519 | where [INFO] [stdout] 520 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `test_wit_interface_file` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `ExportedSimpleFunction: WitInterface` is not satisfied [INFO] [stdout] --> tests/reentrancy.rs:541:23 [INFO] [stdout] | [INFO] [stdout] 541 | .import::() [INFO] [stdout] | ------ ^^^^^^^^^^^^^^^^^^^^^^ the trait `WitInterface` is not implemented for `ExportedSimpleFunction` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `WitInterface`: [INFO] [stdout] Entrypoint [INFO] [stdout] ImportedGetters [INFO] [stdout] ImportedGlobalState [INFO] [stdout] ImportedOperations [INFO] [stdout] ImportedSetters [INFO] [stdout] ImportedSimpleFunction [INFO] [stdout] note: required by a bound in `WitWorldWriter::import` [INFO] [stdout] --> /opt/rustwide/workdir/src/wit_generation/mod.rs:110:20 [INFO] [stdout] | [INFO] [stdout] 108 | pub fn import(mut self) -> Self [INFO] [stdout] | ------ required by a bound in this associated function [INFO] [stdout] 109 | where [INFO] [stdout] 110 | Interface: WitInterface, [INFO] [stdout] | ^^^^^^^^^^^^ required by this bound in `WitWorldWriter::import` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `linera-witty` (test "wit_import") due to 3 previous errors [INFO] [stdout] Some errors have detailed explanations: E0277, E0432. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `linera-witty` (test "reentrancy") due to 12 previous errors [INFO] running `Command { std: "docker" "inspect" "dc067b30c257f9ab2b8c0319a18e1c4dfbb36d5621176706419e40d5fd792d7c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dc067b30c257f9ab2b8c0319a18e1c4dfbb36d5621176706419e40d5fd792d7c", kill_on_drop: false }` [INFO] [stdout] dc067b30c257f9ab2b8c0319a18e1c4dfbb36d5621176706419e40d5fd792d7c