[INFO] fetching crate linera-witty 0.15.4...
[INFO] testing linera-witty-0.15.4 against beta-2025-09-21 for beta-1.91-3
[INFO] extracting crate linera-witty 0.15.4 into /workspace/builds/worker-7-tc2/source
[INFO] started tweaking crates.io crate linera-witty 0.15.4
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate linera-witty 0.15.4
[INFO] tweaked toml for crates.io crate linera-witty 0.15.4 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate linera-witty 0.15.4 on toolchain beta-2025-09-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate linera-witty 0.15.4 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" "+beta-2025-09-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 57aadb2488b1402380abe4671db22261c6526ae345e784a36d379dd5231be481
[INFO] running `Command { std: "docker" "start" "-a" "57aadb2488b1402380abe4671db22261c6526ae345e784a36d379dd5231be481", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "57aadb2488b1402380abe4671db22261c6526ae345e784a36d379dd5231be481", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "57aadb2488b1402380abe4671db22261c6526ae345e784a36d379dd5231be481", kill_on_drop: false }`
[INFO] [stdout] 57aadb2488b1402380abe4671db22261c6526ae345e784a36d379dd5231be481
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2feaaf75d5a9cf5e05f0a68191a723839296d682175e12c7d0bd55945b97b058
[INFO] running `Command { std: "docker" "start" "-a" "2feaaf75d5a9cf5e05f0a68191a723839296d682175e12c7d0bd55945b97b058", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.97
[INFO] [stderr]    Compiling frunk_core v0.4.4
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling anyhow v1.0.99
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling linera-witty-macros v0.15.4
[INFO] [stderr]    Compiling linera-witty v0.15.4 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.105
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling frunk_proc_macro_helpers v0.1.4
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling frunk_derives v0.4.4
[INFO] [stderr]    Compiling frunk_proc_macros v0.1.4
[INFO] [stderr]    Compiling frunk v0.4.4
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 13.80s
[INFO] running `Command { std: "docker" "inspect" "2feaaf75d5a9cf5e05f0a68191a723839296d682175e12c7d0bd55945b97b058", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2feaaf75d5a9cf5e05f0a68191a723839296d682175e12c7d0bd55945b97b058", kill_on_drop: false }`
[INFO] [stdout] 2feaaf75d5a9cf5e05f0a68191a723839296d682175e12c7d0bd55945b97b058
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] deb10b5af941f8b4d31517bdd3da4ba09dbb07ab03c7649a8f9b636d4de8e177
[INFO] running `Command { std: "docker" "start" "-a" "deb10b5af941f8b4d31517bdd3da4ba09dbb07ab03c7649a8f9b636d4de8e177", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.105
[INFO] [stderr]    Compiling cfg-if v1.0.1
[INFO] [stderr]    Compiling similar v2.7.0
[INFO] [stderr]    Compiling assert_matches v1.5.0
[INFO] [stderr]    Compiling console v0.15.11
[INFO] [stderr]    Compiling insta v1.43.1
[INFO] [stderr]    Compiling frunk_proc_macro_helpers v0.1.4
[INFO] [stderr]    Compiling test-case-core v3.3.1
[INFO] [stderr]    Compiling frunk_derives v0.4.4
[INFO] [stderr]    Compiling frunk_proc_macros v0.1.4
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling linera-witty-macros v0.15.4
[INFO] [stderr]    Compiling tracing-attributes v0.1.30
[INFO] [stderr]    Compiling test-case-macros v3.3.1
[INFO] [stderr]    Compiling frunk v0.4.4
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling test-case v3.3.1
[INFO] [stderr]    Compiling linera-witty v0.15.4 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling 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] 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 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::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::{FileContentGenerator as _, 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::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::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::{FileContentGenerator as _, 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[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[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]    | |           unsatisfied trait bound
[INFO] [stdout]    | required by a bound introduced by this call
[INFO] [stdout]    |
[INFO] [stdout] help: the trait `ExportTo<_>` is not implemented for `SimpleFunction`
[INFO] [stdout]   --> tests/wit_export.rs:37:1
[INFO] [stdout]    |
[INFO] [stdout] 37 | pub struct SimpleFunction;
[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]     | |           unsatisfied trait bound
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `ExportTo<_>` is not implemented for `Getters`
[INFO] [stdout]    --> tests/wit_export.rs:66:1
[INFO] [stdout]     |
[INFO] [stdout]  66 | pub struct Getters;
[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]     | |           unsatisfied trait bound
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `ExportTo<_>` is not implemented for `Setters`
[INFO] [stdout]    --> tests/wit_export.rs:139:1
[INFO] [stdout]     |
[INFO] [stdout] 139 | pub struct Setters;
[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]     | |           unsatisfied trait bound
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `ExportTo<_>` is not implemented for `Operations`
[INFO] [stdout]    --> tests/wit_export.rs:209:1
[INFO] [stdout]     |
[INFO] [stdout] 209 | pub struct Operations;
[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]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `SimpleFunction`
[INFO] [stdout]    --> tests/wit_export.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout]  37 | pub struct 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]     |             ^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `Getters`
[INFO] [stdout]    --> tests/wit_export.rs:66:1
[INFO] [stdout]     |
[INFO] [stdout]  66 | pub struct 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]     |             ^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `Setters`
[INFO] [stdout]    --> tests/wit_export.rs:139:1
[INFO] [stdout]     |
[INFO] [stdout] 139 | pub struct 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]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `Operations`
[INFO] [stdout]    --> tests/wit_export.rs:209:1
[INFO] [stdout]     |
[INFO] [stdout] 209 | pub struct 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]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `SimpleFunction`
[INFO] [stdout]    --> tests/wit_export.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout]  37 | pub struct 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]     |             ^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `Getters`
[INFO] [stdout]    --> tests/wit_export.rs:66:1
[INFO] [stdout]     |
[INFO] [stdout]  66 | pub struct 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]     |             ^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `Setters`
[INFO] [stdout]    --> tests/wit_export.rs:139:1
[INFO] [stdout]     |
[INFO] [stdout] 139 | pub struct 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]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `Operations`
[INFO] [stdout]    --> tests/wit_export.rs:209:1
[INFO] [stdout]     |
[INFO] [stdout] 209 | pub struct 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] error[E0277]: the trait bound `SimpleFunction: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/wit_export.rs:317:19
[INFO] [stdout]     |
[INFO] [stdout] 317 |         .import::<SimpleFunction>()
[INFO] [stdout]     |          ------   ^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |          |
[INFO] [stdout]     |          required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `SimpleFunction`
[INFO] [stdout]    --> tests/wit_export.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout]  37 | pub struct SimpleFunction;
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `WitWorldWriter::import`
[INFO] [stdout]    --> /opt/rustwide/workdir/src/wit_generation/mod.rs:108:20
[INFO] [stdout]     |
[INFO] [stdout] 106 |     pub fn import<Interface>(mut self) -> Self
[INFO] [stdout]     |            ------ required by a bound in this associated function
[INFO] [stdout] 107 |     where
[INFO] [stdout] 108 |         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:318:19
[INFO] [stdout]     |
[INFO] [stdout] 318 |         .import::<Getters>()
[INFO] [stdout]     |          ------   ^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |          |
[INFO] [stdout]     |          required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `Getters`
[INFO] [stdout]    --> tests/wit_export.rs:66:1
[INFO] [stdout]     |
[INFO] [stdout]  66 | pub struct Getters;
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `WitWorldWriter::import`
[INFO] [stdout]    --> /opt/rustwide/workdir/src/wit_generation/mod.rs:108:20
[INFO] [stdout]     |
[INFO] [stdout] 106 |     pub fn import<Interface>(mut self) -> Self
[INFO] [stdout]     |            ------ required by a bound in this associated function
[INFO] [stdout] 107 |     where
[INFO] [stdout] 108 |         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:319:19
[INFO] [stdout]     |
[INFO] [stdout] 319 |         .import::<Setters>()
[INFO] [stdout]     |          ------   ^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |          |
[INFO] [stdout]     |          required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `Setters`
[INFO] [stdout]    --> tests/wit_export.rs:139:1
[INFO] [stdout]     |
[INFO] [stdout] 139 | pub struct Setters;
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `WitWorldWriter::import`
[INFO] [stdout]    --> /opt/rustwide/workdir/src/wit_generation/mod.rs:108:20
[INFO] [stdout]     |
[INFO] [stdout] 106 |     pub fn import<Interface>(mut self) -> Self
[INFO] [stdout]     |            ------ required by a bound in this associated function
[INFO] [stdout] 107 |     where
[INFO] [stdout] 108 |         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:320:19
[INFO] [stdout]     |
[INFO] [stdout] 320 |         .import::<Operations>()
[INFO] [stdout]     |          ------   ^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |          |
[INFO] [stdout]     |          required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `Operations`
[INFO] [stdout]    --> tests/wit_export.rs:209:1
[INFO] [stdout]     |
[INFO] [stdout] 209 | pub struct Operations;
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = help: the trait `WitInterface` is implemented for `Entrypoint<Instance>`
[INFO] [stdout] note: required by a bound in `WitWorldWriter::import`
[INFO] [stdout]    --> /opt/rustwide/workdir/src/wit_generation/mod.rs:108:20
[INFO] [stdout]     |
[INFO] [stdout] 106 |     pub fn import<Interface>(mut self) -> Self
[INFO] [stdout]     |            ------ required by a bound in this associated function
[INFO] [stdout] 107 |     where
[INFO] [stdout] 108 |         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] [stderr] warning: build failed, waiting for other jobs to finish...
[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] [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]    | |           unsatisfied trait bound
[INFO] [stdout]    | required by a bound introduced by this call
[INFO] [stdout]    |
[INFO] [stdout] help: the trait `ExportTo<_>` is not implemented for `ExportedSimpleFunction`
[INFO] [stdout]   --> tests/reentrancy.rs:49:1
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub struct ExportedSimpleFunction;
[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]     | |           unsatisfied trait bound
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `ExportTo<_>` is not implemented for `ExportedGetters<_>`
[INFO] [stdout]    --> tests/reentrancy.rs:106:1
[INFO] [stdout]     |
[INFO] [stdout] 106 | pub struct ExportedGetters<Caller>(PhantomData<Caller>);
[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]     | |           unsatisfied trait bound
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `ExportTo<_>` is not implemented for `ExportedSetters<_>`
[INFO] [stdout]    --> tests/reentrancy.rs:202:1
[INFO] [stdout]     |
[INFO] [stdout] 202 | pub struct ExportedSetters<Caller>(PhantomData<Caller>);
[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]     | |           unsatisfied trait bound
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `ExportTo<_>` is not implemented for `ExportedOperations<_>`
[INFO] [stdout]    --> tests/reentrancy.rs:294:1
[INFO] [stdout]     |
[INFO] [stdout] 294 | pub struct ExportedOperations<Caller>(PhantomData<Caller>);
[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]     | |           unsatisfied trait bound
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `ExportTo<_>` is not implemented for `ExportedGlobalState`
[INFO] [stdout]    --> tests/reentrancy.rs:377:1
[INFO] [stdout]     |
[INFO] [stdout] 377 | pub struct ExportedGlobalState;
[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]     | |           unsatisfied trait bound
[INFO] [stdout]     | required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `ExportTo<_>` is not implemented for `ExportedSimpleFunctionWithUserData<_>`
[INFO] [stdout]    --> tests/reentrancy.rs:420:1
[INFO] [stdout]     |
[INFO] [stdout] 420 | pub struct ExportedSimpleFunctionWithUserData<Caller>(PhantomData<Caller>);
[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]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `ExportedSimpleFunction`
[INFO] [stdout]    --> tests/reentrancy.rs:49:1
[INFO] [stdout]     |
[INFO] [stdout]  49 | pub struct 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] 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]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `ExportedSimpleFunction`
[INFO] [stdout]    --> tests/reentrancy.rs:49:1
[INFO] [stdout]     |
[INFO] [stdout]  49 | pub struct 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] [stdout] error[E0277]: the trait bound `ExportedSimpleFunction: WitInterface` is not satisfied
[INFO] [stdout]    --> tests/reentrancy.rs:540:19
[INFO] [stdout]     |
[INFO] [stdout] 540 |         .import::<ExportedSimpleFunction>()
[INFO] [stdout]     |          ------   ^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
[INFO] [stdout]     |          |
[INFO] [stdout]     |          required by a bound introduced by this call
[INFO] [stdout]     |
[INFO] [stdout] help: the trait `WitInterface` is not implemented for `ExportedSimpleFunction`
[INFO] [stdout]    --> tests/reentrancy.rs:49:1
[INFO] [stdout]     |
[INFO] [stdout]  49 | pub struct 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 `WitWorldWriter::import`
[INFO] [stdout]    --> /opt/rustwide/workdir/src/wit_generation/mod.rs:108:20
[INFO] [stdout]     |
[INFO] [stdout] 106 |     pub fn import<Interface>(mut self) -> Self
[INFO] [stdout]     |            ------ required by a bound in this associated function
[INFO] [stdout] 107 |     where
[INFO] [stdout] 108 |         Interface: WitInterface,
[INFO] [stdout]     |                    ^^^^^^^^^^^^ required by this bound in `WitWorldWriter::import`
[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_load") due to 1 previous error
[INFO] [stderr] error: could not compile `linera-witty` (test "wit_store") due to 1 previous error
[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] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `linera-witty` (test "wit_import") due to 3 previous errors
[INFO] running `Command { std: "docker" "inspect" "deb10b5af941f8b4d31517bdd3da4ba09dbb07ab03c7649a8f9b636d4de8e177", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "deb10b5af941f8b4d31517bdd3da4ba09dbb07ab03c7649a8f9b636d4de8e177", kill_on_drop: false }`
[INFO] [stdout] deb10b5af941f8b4d31517bdd3da4ba09dbb07ab03c7649a8f9b636d4de8e177
