[INFO] fetching crate linera-witty 0.13.1...
[INFO] checking linera-witty-0.13.1 against try#31561a63598a0f21fc74c024747ef1310fdd2eb2 for pr-133536
[INFO] extracting crate linera-witty 0.13.1 into /workspace/builds/worker-0-tc2/source
[INFO] validating manifest of crates.io crate linera-witty 0.13.1 on toolchain 31561a63598a0f21fc74c024747ef1310fdd2eb2
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate linera-witty 0.13.1
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate linera-witty 0.13.1
[INFO] tweaked toml for crates.io crate linera-witty 0.13.1 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 225 packages to latest compatible versions
[INFO] [stderr]       Adding thiserror v1.0.69 (available: v2.0.3)
[INFO] [stderr]       Adding wasmtime v25.0.3 (available: v27.0.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 4fa2f8d2e5d2c2ce61b1b7f5f9dfa7e1bca951abd7d2d5e6b3cdc46c1dc278d2
[INFO] running `Command { std: "docker" "start" "-a" "4fa2f8d2e5d2c2ce61b1b7f5f9dfa7e1bca951abd7d2d5e6b3cdc46c1dc278d2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4fa2f8d2e5d2c2ce61b1b7f5f9dfa7e1bca951abd7d2d5e6b3cdc46c1dc278d2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4fa2f8d2e5d2c2ce61b1b7f5f9dfa7e1bca951abd7d2d5e6b3cdc46c1dc278d2", kill_on_drop: false }`
[INFO] [stdout] 4fa2f8d2e5d2c2ce61b1b7f5f9dfa7e1bca951abd7d2d5e6b3cdc46c1dc278d2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+31561a63598a0f21fc74c024747ef1310fdd2eb2" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6bf285e4d33cdcc9e3f1983e48b51a6fa8460ac68f99ae66ca57fd474dfb82df
[INFO] running `Command { std: "docker" "start" "-a" "6bf285e4d33cdcc9e3f1983e48b51a6fa8460ac68f99ae66ca57fd474dfb82df", kill_on_drop: false }`
[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]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling anyhow v1.0.93
[INFO] [stderr]     Checking lazy_static v1.5.0
[INFO] [stderr]     Checking genawaiter-macro v0.99.1
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]     Checking similar v2.6.0
[INFO] [stderr]    Compiling syn v2.0.90
[INFO] [stderr]     Checking linked-hash-map v0.5.6
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]     Checking assert_matches v1.5.0
[INFO] [stderr]    Compiling linera-witty-macros v0.13.1
[INFO] [stderr]    Compiling linera-witty v0.13.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking console v0.15.8
[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 insta v1.41.1
[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 genawaiter-proc-macro v0.99.1
[INFO] [stderr]    Compiling frunk_derives v0.4.3
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling frunk_proc_macros v0.1.3
[INFO] [stderr]    Compiling tracing-attributes v0.1.28
[INFO] [stderr]    Compiling test-case-macros v3.3.1
[INFO] [stderr]     Checking genawaiter v0.99.1
[INFO] [stderr]     Checking frunk v0.4.3
[INFO] [stderr]     Checking test-case v3.3.1
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]     Checking tracing v0.1.41
[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] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[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] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[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] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[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, 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] 23 | pub mod test;
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | #[cfg(with_testing)]
[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] 30 | pub use linera_witty_macros::wit_export;
[INFO] [stdout]    |                              ^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:29:1
[INFO] [stdout]    |
[INFO] [stdout] 29 | #[cfg(with_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] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[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, Instance, Runtime, RuntimeMemory,
[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] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[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] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[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] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[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] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[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, 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] 23 | pub mod test;
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | #[cfg(with_testing)]
[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] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[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] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[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] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[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, 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] 23 | pub mod test;
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | #[cfg(with_testing)]
[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] 30 | pub use linera_witty_macros::wit_export;
[INFO] [stdout]    |                              ^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:29:1
[INFO] [stdout]    |
[INFO] [stdout] 29 | #[cfg(with_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] 39 | pub use self::runtime::{MockExportedFunction, MockInstance, MockResults, MockRuntime};
[INFO] [stdout]    |                                               ^^^^^^^^^^^^
[INFO] [stdout] note: the item is gated here
[INFO] [stdout]   --> /opt/rustwide/workdir/src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[cfg(with_testing)]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]    |
[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, 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<T>` 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<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]    |    -------------------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 56 |     SimpleFunction: ExportTo<InstanceFactory::Builder>,
[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<T>` 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<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    ------------ required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 129 |     Getters: ExportTo<InstanceFactory::Builder>,
[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<T>` 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<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    ------------ required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 199 |     Setters: ExportTo<InstanceFactory::Builder>,
[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<T>` 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<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    --------------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 268 |     Operations: ExportTo<InstanceFactory::Builder>,
[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<MockInstance<()>>>, ENTRYPOINT; "of_entrypoint")]
[INFO] [stdout]     | -------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] 279 | #[test_case(PhantomData::<SimpleFunction>, 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<Instance>`
[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<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<MockInstance<()>>>, ENTRYPOINT; "of_entrypoint")]
[INFO] [stdout]     | -------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] 279 | #[test_case(PhantomData::<SimpleFunction>, SIMPLE_FUNCTION; "of_simple_function")]
[INFO] [stdout] 280 | #[test_case(PhantomData::<Getters>, 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<Instance>`
[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<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<MockInstance<()>>>, ENTRYPOINT; "of_entrypoint")]
[INFO] [stdout]     | -------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 281 | #[test_case(PhantomData::<Setters>, 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<Instance>`
[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<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<MockInstance<()>>>, ENTRYPOINT; "of_entrypoint")]
[INFO] [stdout]     | -------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 282 | #[test_case(PhantomData::<Operations>, 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<Instance>`
[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<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<MockInstance<()>>>, "entrypoint"; "of_entrypoint")]
[INFO] [stdout]     | ---------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] 295 | #[test_case(PhantomData::<SimpleFunction>, "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<Instance>`
[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<Interface>(_: PhantomData<Interface>, 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<MockInstance<()>>>, "entrypoint"; "of_entrypoint")]
[INFO] [stdout]     | ---------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] 295 | #[test_case(PhantomData::<SimpleFunction>, "simple-function"; "of_simple_function")]
[INFO] [stdout] 296 | #[test_case(PhantomData::<Getters>, "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<Instance>`
[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<Interface>(_: PhantomData<Interface>, 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<MockInstance<()>>>, "entrypoint"; "of_entrypoint")]
[INFO] [stdout]     | ---------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 297 | #[test_case(PhantomData::<Setters>, "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<Instance>`
[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<Interface>(_: PhantomData<Interface>, 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<MockInstance<()>>>, "entrypoint"; "of_entrypoint")]
[INFO] [stdout]     | ---------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 298 | #[test_case(PhantomData::<Operations>, "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<Instance>`
[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<Interface>(_: PhantomData<Interface>, 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] 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 15 previous errors
[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 `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<T>` 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<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]    |    -------------------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 78 |     ExportedSimpleFunction: ExportTo<InstanceFactory::Builder>,
[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<T>` 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<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    ------------ required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 176 |     ExportedGetters<InstanceFactory::Caller<'static>>: ExportTo<InstanceFactory::Builder>,
[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<T>` 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<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    ------------ required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 268 |     ExportedSetters<InstanceFactory::Caller<'static>>: ExportTo<InstanceFactory::Builder>,
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `test_setters`
[INFO] [stdout] 
[INFO] [stdout] 
[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<T>` 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<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    --------------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 360 |     ExportedOperations<InstanceFactory::Caller<'static>>: ExportTo<InstanceFactory::Builder>,
[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<T>` 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<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    ----------------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 407 |     ExportedGlobalState: ExportTo<InstanceFactory::Builder>,
[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<T>` 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<InstanceFactory>(mut factory: InstanceFactory)
[INFO] [stdout]     |    -------------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 456 |         ExportTo<InstanceFactory::Builder>,
[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<MockInstance<()>>>, ENTRYPOINT; "of_entrypoint")]
[INFO] [stdout]     | -------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 484 | #[test_case(PhantomData::<ExportedSimpleFunction>, 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<Instance>
[INFO] [stdout]               ImportedGetters<Instance>
[INFO] [stdout]               ImportedGlobalState<Instance>
[INFO] [stdout]               ImportedOperations<Instance>
[INFO] [stdout]               ImportedSetters<Instance>
[INFO] [stdout]               ImportedSimpleFunction<Instance>
[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<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] 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:511:13
[INFO] [stdout]     |
[INFO] [stdout] 500 | #[test_case(PhantomData::<Entrypoint<MockInstance<()>>>, "entrypoint"; "of_entrypoint")]
[INFO] [stdout]     | ---------------------------------------------------------------------------------------- required by a bound introduced by this call
[INFO] [stdout] ...
[INFO] [stdout] 511 | #[test_case(PhantomData::<ExportedSimpleFunction>, "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<Instance>
[INFO] [stdout]               ImportedGetters<Instance>
[INFO] [stdout]               ImportedGlobalState<Instance>
[INFO] [stdout]               ImportedOperations<Instance>
[INFO] [stdout]               ImportedSetters<Instance>
[INFO] [stdout]               ImportedSimpleFunction<Instance>
[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<Interface>(_: PhantomData<Interface>, 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] [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 11 previous errors
[INFO] running `Command { std: "docker" "inspect" "6bf285e4d33cdcc9e3f1983e48b51a6fa8460ac68f99ae66ca57fd474dfb82df", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6bf285e4d33cdcc9e3f1983e48b51a6fa8460ac68f99ae66ca57fd474dfb82df", kill_on_drop: false }`
[INFO] [stdout] 6bf285e4d33cdcc9e3f1983e48b51a6fa8460ac68f99ae66ca57fd474dfb82df
