[INFO] cloning repository https://github.com/LeoMansini/move_to_rust [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/LeoMansini/move_to_rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLeoMansini%2Fmove_to_rust", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLeoMansini%2Fmove_to_rust'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] d514366c8ebb9c5d02309defab84d68518985c91 [INFO] testing LeoMansini/move_to_rust/d514366c8ebb9c5d02309defab84d68518985c91 against try#f23b22458132fb20faeb8a915b1c252478696f25 for pr-131095 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLeoMansini%2Fmove_to_rust" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/LeoMansini/move_to_rust on toolchain f23b22458132fb20faeb8a915b1c252478696f25 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f23b22458132fb20faeb8a915b1c252478696f25" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/LeoMansini/move_to_rust [INFO] finished tweaking git repo https://github.com/LeoMansini/move_to_rust [INFO] tweaked toml for git repo https://github.com/LeoMansini/move_to_rust written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/LeoMansini/move_to_rust 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" "+f23b22458132fb20faeb8a915b1c252478696f25" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded os_info v3.8.2 [INFO] [stderr] Downloaded kani-verifier v0.55.0 [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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+f23b22458132fb20faeb8a915b1c252478696f25" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 181a7b14af76107d5f900dd878d541cf3823c9cb55b136c938e402341a77786f [INFO] running `Command { std: "docker" "start" "-a" "181a7b14af76107d5f900dd878d541cf3823c9cb55b136c938e402341a77786f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "181a7b14af76107d5f900dd878d541cf3823c9cb55b136c938e402341a77786f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "181a7b14af76107d5f900dd878d541cf3823c9cb55b136c938e402341a77786f", kill_on_drop: false }` [INFO] [stdout] 181a7b14af76107d5f900dd878d541cf3823c9cb55b136c938e402341a77786f [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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+f23b22458132fb20faeb8a915b1c252478696f25" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 791cead5719514d5ea72e02ada435a739a6c75cc042ad599d621f142a7b7eb63 [INFO] running `Command { std: "docker" "start" "-a" "791cead5719514d5ea72e02ada435a739a6c75cc042ad599d621f142a7b7eb63", kill_on_drop: false }` [INFO] [stderr] Compiling anyhow v1.0.89 [INFO] [stderr] Compiling log v0.4.22 [INFO] [stderr] Compiling kani-verifier v0.55.0 [INFO] [stderr] Compiling home v0.5.9 [INFO] [stderr] Compiling os_info v3.8.2 [INFO] [stderr] Compiling move_to_rust v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error: return types are denoted using `->` [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:77:54 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn borrow(pool: &mut LoanPool, amount: u64, ): (Coin, Loan) { [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: use `->` instead [INFO] [stdout] | [INFO] [stdout] 77 | pub fn borrow(pool: &mut LoanPool, amount: u64, ) -> (Coin, Loan) { [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Balance` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:3:12 [INFO] [stdout] | [INFO] [stdout] 3 | price: Balance, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] note: struct `crate::sui_std::balance::balance::Balance` exists but is inaccessible [INFO] [stdout] --> src/sui_std/balance/balance.rs:51:1 [INFO] [stdout] | [INFO] [stdout] 51 | pub struct Balance { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ not accessible [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `SUI` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:3:20 [INFO] [stdout] | [INFO] [stdout] 3 | price: Balance, [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: you might be missing a type parameter [INFO] [stdout] | [INFO] [stdout] 1 | pub struct NFT { [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Balance` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:12:13 [INFO] [stdout] | [INFO] [stdout] 12 | amount: Balance, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] note: struct `crate::sui_std::balance::balance::Balance` exists but is inaccessible [INFO] [stdout] --> src/sui_std/balance/balance.rs:51:1 [INFO] [stdout] | [INFO] [stdout] 51 | pub struct Balance { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ not accessible [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `SUI` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:12:21 [INFO] [stdout] | [INFO] [stdout] 12 | amount: Balance, [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: you might be missing a type parameter [INFO] [stdout] | [INFO] [stdout] 10 | pub struct LoanPool { [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `balance` [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:63:21 [INFO] [stdout] | [INFO] [stdout] 63 | amount: balance::zero() [INFO] [stdout] | ^^^^^^^ use of undeclared crate or module `balance` [INFO] [stdout] | [INFO] [stdout] note: module `crate::sui_std::balance::balance` exists but is inaccessible [INFO] [stdout] --> src/sui_std/balance/mod.rs:2:1 [INFO] [stdout] | [INFO] [stdout] 2 | mod balance; [INFO] [stdout] | ^^^^^^^^^^^^ not accessible [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Coin` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:70:55 [INFO] [stdout] | [INFO] [stdout] 70 | pub fn deposit_pool(pool: &mut LoanPool, deposit: Coin) { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `SUI` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:70:60 [INFO] [stdout] | [INFO] [stdout] 70 | pub fn deposit_pool(pool: &mut LoanPool, deposit: Coin) { [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: you might be missing a type parameter [INFO] [stdout] | [INFO] [stdout] 42 | impl flashloan__flashloan { [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `balance` [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:71:9 [INFO] [stdout] | [INFO] [stdout] 71 | balance::join(&mut pool.amount, coin::into_balance(deposit)); [INFO] [stdout] | ^^^^^^^ use of undeclared crate or module `balance` [INFO] [stdout] | [INFO] [stdout] note: module `crate::sui_std::balance::balance` exists but is inaccessible [INFO] [stdout] --> src/sui_std/balance/mod.rs:2:1 [INFO] [stdout] | [INFO] [stdout] 2 | mod balance; [INFO] [stdout] | ^^^^^^^^^^^^ not accessible [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Coin` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:77:57 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn borrow(pool: &mut LoanPool, amount: u64, ): (Coin, Loan) { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `SUI` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:77:62 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn borrow(pool: &mut LoanPool, amount: u64, ): (Coin, Loan) { [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: you might be missing a type parameter [INFO] [stdout] | [INFO] [stdout] 42 | impl flashloan__flashloan { [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `balance` [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:78:27 [INFO] [stdout] | [INFO] [stdout] 78 | assert!(amount <= balance::value(&pool.amount), "{}", ELoanAmountExceedPool); [INFO] [stdout] | ^^^^^^^ use of undeclared crate or module `balance` [INFO] [stdout] | [INFO] [stdout] note: module `crate::sui_std::balance::balance` exists but is inaccessible [INFO] [stdout] --> src/sui_std/balance/mod.rs:2:1 [INFO] [stdout] | [INFO] [stdout] 2 | mod balance; [INFO] [stdout] | ^^^^^^^^^^^^ not accessible [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ELoanAmountExceedPool` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:78:63 [INFO] [stdout] | [INFO] [stdout] 78 | assert!(amount <= balance::value(&pool.amount), "{}", ELoanAmountExceedPool); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider using the associated constant on `Self` [INFO] [stdout] | [INFO] [stdout] 78 | assert!(amount <= balance::value(&pool.amount), "{}", Self::ELoanAmountExceedPool); [INFO] [stdout] | ++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `balance` [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:81:32 [INFO] [stdout] | [INFO] [stdout] 81 | coin::from_balance(balance::split(&mut pool.amount, amount), ctx), [INFO] [stdout] | ^^^^^^^ use of undeclared crate or module `balance` [INFO] [stdout] | [INFO] [stdout] note: module `crate::sui_std::balance::balance` exists but is inaccessible [INFO] [stdout] --> src/sui_std/balance/mod.rs:2:1 [INFO] [stdout] | [INFO] [stdout] 2 | mod balance; [INFO] [stdout] | ^^^^^^^^^^^^ not accessible [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ctx` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:81:74 [INFO] [stdout] | [INFO] [stdout] 81 | coin::from_balance(balance::split(&mut pool.amount, amount), ctx), [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Coin` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:90:60 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn repay(pool: &mut LoanPool, loan: Loan, payment: Coin) { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `SUI` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:90:65 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn repay(pool: &mut LoanPool, loan: Loan, payment: Coin) { [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: you might be missing a type parameter [INFO] [stdout] | [INFO] [stdout] 42 | impl flashloan__flashloan { [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ERepayAmountInvalid` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:92:56 [INFO] [stdout] | [INFO] [stdout] 92 | assert!(coin::value(&payment) == amount, "{}", ERepayAmountInvalid); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider using the associated constant on `Self` [INFO] [stdout] | [INFO] [stdout] 92 | assert!(coin::value(&payment) == amount, "{}", Self::ERepayAmountInvalid); [INFO] [stdout] | ++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `balance` [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:94:9 [INFO] [stdout] | [INFO] [stdout] 94 | balance::join(&mut pool.amount, coin::into_balance(payment)); [INFO] [stdout] | ^^^^^^^ use of undeclared crate or module `balance` [INFO] [stdout] | [INFO] [stdout] note: module `crate::sui_std::balance::balance` exists but is inaccessible [INFO] [stdout] --> src/sui_std/balance/mod.rs:2:1 [INFO] [stdout] | [INFO] [stdout] 2 | mod balance; [INFO] [stdout] | ^^^^^^^^^^^^ not accessible [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Coin` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:98:30 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn mint_nft(payment: Coin, ) -> NFT { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `SUI` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:98:35 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn mint_nft(payment: Coin, ) -> NFT { [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: you might be missing a type parameter [INFO] [stdout] | [INFO] [stdout] 42 | impl flashloan__flashloan { [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Coin` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:106:36 [INFO] [stdout] | [INFO] [stdout] 106 | pub fn sell_nft(nft: NFT, ) -> Coin { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `SUI` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:106:41 [INFO] [stdout] | [INFO] [stdout] 106 | pub fn sell_nft(nft: NFT, ) -> Coin { [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: you might be missing a type parameter [INFO] [stdout] | [INFO] [stdout] 42 | impl flashloan__flashloan { [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ctx` in this scope [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:109:35 [INFO] [stdout] | [INFO] [stdout] 109 | coin::from_balance(price, ctx) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `simple_warrior__example` should have an upper camel case name [INFO] [stdout] --> src/example_contracts/simple_warrior/simple_warrior.rs:42:12 [INFO] [stdout] | [INFO] [stdout] 42 | pub struct simple_warrior__example {} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SimpleWarriorExample` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_camel_case_types)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `flashloan__flashloan` should have an upper camel case name [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:41:12 [INFO] [stdout] | [INFO] [stdout] 41 | pub struct flashloan__flashloan {} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `FlashloanFlashloan` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `transfer` [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | transfer::share_object(pool); [INFO] [stdout] | ^^^^^^^^ use of undeclared crate or module `transfer` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `coin` [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:71:41 [INFO] [stdout] | [INFO] [stdout] 71 | balance::join(&mut pool.amount, coin::into_balance(deposit)); [INFO] [stdout] | ^^^^ use of undeclared crate or module `coin` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `coin` [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:81:13 [INFO] [stdout] | [INFO] [stdout] 81 | coin::from_balance(balance::split(&mut pool.amount, amount), ctx), [INFO] [stdout] | ^^^^ use of undeclared crate or module `coin` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `coin` [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:92:17 [INFO] [stdout] | [INFO] [stdout] 92 | assert!(coin::value(&payment) == amount, "{}", ERepayAmountInvalid); [INFO] [stdout] | ^^^^ use of undeclared crate or module `coin` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `coin` [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:94:41 [INFO] [stdout] | [INFO] [stdout] 94 | balance::join(&mut pool.amount, coin::into_balance(payment)); [INFO] [stdout] | ^^^^ use of undeclared crate or module `coin` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `coin` [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:101:20 [INFO] [stdout] | [INFO] [stdout] 101 | price: coin::into_balance(payment), [INFO] [stdout] | ^^^^ use of undeclared crate or module `coin` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `object` [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:108:9 [INFO] [stdout] | [INFO] [stdout] 108 | object::delete(id); [INFO] [stdout] | ^^^^^^ use of undeclared crate or module `object` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `coin` [INFO] [stdout] --> src/example_contracts/flashloan/flashloan.rs:109:9 [INFO] [stdout] | [INFO] [stdout] 109 | coin::from_balance(price, ctx) [INFO] [stdout] | ^^^^ use of undeclared crate or module `coin` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0412, E0425, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0412`. [INFO] [stdout] [INFO] [stderr] error: could not compile `move_to_rust` (bin "move_to_rust") due to 32 previous errors; 2 warnings emitted [INFO] running `Command { std: "docker" "inspect" "791cead5719514d5ea72e02ada435a739a6c75cc042ad599d621f142a7b7eb63", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "791cead5719514d5ea72e02ada435a739a6c75cc042ad599d621f142a7b7eb63", kill_on_drop: false }` [INFO] [stdout] 791cead5719514d5ea72e02ada435a739a6c75cc042ad599d621f142a7b7eb63