[INFO] fetching crate leo3 0.2.1...
[INFO] testing leo3-0.2.1 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-1
[INFO] extracting crate leo3 0.2.1 into /workspace/builds/worker-2-tc2/source
[INFO] started tweaking crates.io crate leo3 0.2.1
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate leo3 0.2.1
[INFO] tweaked toml for crates.io crate leo3 0.2.1 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate leo3 0.2.1 on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate leo3 0.2.1 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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 67827c891017887113b9410f9396005c912b20960c8b05e0edccd6c9fffbb5cd
[INFO] running `Command { std: "docker" "start" "-a" "67827c891017887113b9410f9396005c912b20960c8b05e0edccd6c9fffbb5cd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "67827c891017887113b9410f9396005c912b20960c8b05e0edccd6c9fffbb5cd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "67827c891017887113b9410f9396005c912b20960c8b05e0edccd6c9fffbb5cd", kill_on_drop: false }`
[INFO] [stdout] 67827c891017887113b9410f9396005c912b20960c8b05e0edccd6c9fffbb5cd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] fbe77f922e2374a5b7b0014268f700b5f30bec1b846feb2b1892fc2e5ebe90f2
[INFO] running `Command { std: "docker" "start" "-a" "fbe77f922e2374a5b7b0014268f700b5f30bec1b846feb2b1892fc2e5ebe90f2", kill_on_drop: false }`
[INFO] [stderr]    Compiling leo3-build-config v0.2.1
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling libloading v0.9.0
[INFO] [stderr]    Compiling syn v2.0.111
[INFO] [stderr]    Compiling leo3-ffi v0.2.1
[INFO] [stderr]    Compiling leo3 v0.2.1 (/opt/rustwide/workdir)
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr]    Compiling leo3-macros-backend v0.2.1
[INFO] [stderr]    Compiling leo3-macros v0.2.1
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 13.30s
[INFO] running `Command { std: "docker" "inspect" "fbe77f922e2374a5b7b0014268f700b5f30bec1b846feb2b1892fc2e5ebe90f2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fbe77f922e2374a5b7b0014268f700b5f30bec1b846feb2b1892fc2e5ebe90f2", kill_on_drop: false }`
[INFO] [stdout] fbe77f922e2374a5b7b0014268f700b5f30bec1b846feb2b1892fc2e5ebe90f2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5fe12641eb9012b9cd344bdaca7412dd595366b39508359577f65dadee0195e0
[INFO] running `Command { std: "docker" "start" "-a" "5fe12641eb9012b9cd344bdaca7412dd595366b39508359577f65dadee0195e0", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling zerocopy v0.8.31
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling cc v1.2.55
[INFO] [stderr]    Compiling futures-core v0.3.31
[INFO] [stderr]    Compiling futures-sink v0.3.31
[INFO] [stderr]    Compiling winnow v0.7.14
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling target-triple v1.0.0
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling zerocopy-derive v0.8.31
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling futures-macro v0.3.31
[INFO] [stderr]    Compiling clap_builder v4.5.53
[INFO] [stderr]    Compiling toml_datetime v1.0.0+spec-1.1.0
[INFO] [stderr]    Compiling serde_spanned v1.0.4
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling toml_writer v1.0.6+spec-1.1.0
[INFO] [stderr]    Compiling futures-channel v0.3.31
[INFO] [stderr]    Compiling criterion-plot v0.8.2
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling futures-util v0.3.31
[INFO] [stderr]    Compiling tokio v1.49.0
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling toml_parser v1.0.7+spec-1.1.0
[INFO] [stderr]    Compiling clap v4.5.53
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling toml v1.0.0+spec-1.1.0
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling trybuild v1.0.116
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling futures-executor v0.3.31
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling futures v0.3.31
[INFO] [stderr]    Compiling criterion v0.8.2
[INFO] [stderr]    Compiling leo3 v0.2.1 (/opt/rustwide/workdir)
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcio7Gjh/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcio7Gjh/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_literal_type_minimal-1f4b67f8f2408926" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_equal
[INFO] [stdout]           >>> referenced by expr.rs:1014 (src/meta/expr.rs:1014)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::equal) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_const
[INFO] [stdout]           >>> referenced by expr.rs:149 (src/meta/expr.rs:149)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::const_) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_lit_type
[INFO] [stdout]           >>> referenced by literal.rs:71 (src/meta/literal.rs:71)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(<leo3::meta::literal::LeanLiteral>::type_) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_name_mk_string
[INFO] [stdout]           >>> referenced by name.rs:104 (src/meta/name.rs:104)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::meta::name::LeanName>::append_str) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_literal_type_minimal") due to 1 previous error
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcdKy4Lc/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcdKy4Lc/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_proof_lifecycle-e4200d174374d820" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_proof_lifecycle-e4200d174374d820.test_proof_lifecycle.13d3e29940216a0d-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::meta::declaration::LeanDeclaration> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::handle_except_result_raw) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 23 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_elab_environment_to_kernel_env
[INFO] [stdout]           >>> referenced by environment.rs:219 (src/meta/environment.rs:219)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_environment_find
[INFO] [stdout]           >>> referenced by environment.rs:224 (src/meta/environment.rs:224)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_empty_environment
[INFO] [stdout]           >>> referenced by environment.rs:175 (src/meta/environment.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_elab_add_decl
[INFO] [stdout]           >>> referenced by environment.rs:319 (src/meta/environment.rs:319)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::add_decl::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_bvar
[INFO] [stdout]           >>> referenced by expr.rs:59 (src/meta/expr.rs:59)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_sort
[INFO] [stdout]           >>> referenced by expr.rs:123 (src/meta/expr.rs:123)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::sort) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_forall
[INFO] [stdout]           >>> referenced by expr.rs:255 (src/meta/expr.rs:255)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::forall) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_lambda
[INFO] [stdout]           >>> referenced by expr.rs:223 (src/meta/expr.rs:223)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::lambda) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_level_mk_zero
[INFO] [stdout]           >>> referenced by level.rs:32 (src/meta/level.rs:32)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.09.rcgu.o:(<leo3::meta::level::LeanLevel>::zero) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: l_Std_HashSet_empty___rarg
[INFO] [stdout]           >>> referenced by hashset.rs:37 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/hashset.rs:37)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.09.rcgu.o:(leo3_ffi::hashset::lean_hashset_empty) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_st_mk_ref
[INFO] [stdout]           >>> referenced by metam.rs:181 (src/meta/metam.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::meta::metam::MetaMContext>::run::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2864 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2864)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::meta::metam::MetaMContext>::infer_type) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2864 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2864)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::meta::metam::MetaMContext>::whnf) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 3 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_name_mk_string
[INFO] [stdout]           >>> referenced by name.rs:104 (src/meta/name.rs:104)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::meta::name::LeanName>::append_str) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by context.rs:379 (src/meta/context.rs:379)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(<leo3::meta::context::CoreState>::mk_name_generator) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_infer_type
[INFO] [stdout]           >>> referenced by inline.rs:0 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:0)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::meta::metam::MetaMContext>::infer_type) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:3107 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:3107)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::meta::metam::MetaMContext>::infer_type) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_whnf
[INFO] [stdout]           >>> referenced by inline.rs:0 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:0)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::meta::metam::MetaMContext>::whnf) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:3107 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:3107)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::meta::metam::MetaMContext>::whnf) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustck8uiXp/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustck8uiXp/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/string_ops-f481bbffd7f2b9e5" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_string_lt
[INFO] [stdout]           >>> referenced by string.rs:204 (src/types/string.rs:204)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::lt) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_string_push
[INFO] [stdout]           >>> referenced by string.rs:123 (src/types/string.rs:123)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::push) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_string_append
[INFO] [stdout]           >>> referenced by string.rs:159 (src/types/string.rs:159)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::append) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_string_utf8_extract
[INFO] [stdout]           >>> referenced by string.rs:391 (src/types/string.rs:391)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::extract) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_string_eq_cold
[INFO] [stdout]           >>> referenced by string.rs:237 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/string.rs:237)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(leo3_ffi::string::lean_string_eq) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::string::LeanString> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `leo3` (test "test_proof_lifecycle") due to 1 previous error
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "string_ops") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustczIBQFU/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*,libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustczIBQFU/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_features-5f390dadc76acc6c" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_usize_of_big_nat
[INFO] [stdout]           >>> referenced by inline.rs:466 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:466)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_of_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::nat::LeanNat> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_features") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustc9Jf6Is/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustc9Jf6Is/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_hash_minimal-9cd14f0f666cbc9f" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_bvar
[INFO] [stdout]           >>> referenced by expr.rs:59 (src/meta/expr.rs:59)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_hash
[INFO] [stdout]           >>> referenced by expr.rs:1041 (src/meta/expr.rs:1041)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::hash) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::meta::expr::LeanExpr> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::nat::LeanNat> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcpWFJvp/symbols.o" "<3 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/{libfutures-b791b79a50f271b0,libfutures_executor-95f8f7ecdc275e67,libfutures_util-b25f2151a783334d,libmemchr-f9c66c7ba21bf873,libfutures_io-3e19596c076de665,libslab-e253d0c0a7952806,libfutures_channel-832f9c384c35324f,libpin_project_lite-bedc6e0acd72ff2a,libfutures_sink-23538ced8fe824d7,libfutures_task-19b3aba2be9e7ae8,libpin_utils-9a5791cba021167a,libfutures_core-7288ace658af78d0}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcpWFJvp/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_task_pure
[INFO] [stdout]           >>> referenced by task.rs:251 (src/task.rs:251)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f71495948d4fc824-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType<leo3::types::nat::LeanNat>>>::pure)
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_get_task_state_core
[INFO] [stdout]           >>> referenced by task.rs:265 (src/task.rs:265)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f71495948d4fc824-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType<leo3::types::nat::LeanNat>>>::state)
[INFO] [stdout]           >>> referenced by task.rs:265 (src/task.rs:265)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f71495948d4fc824-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::state)
[INFO] [stdout]           >>> referenced by task.rs:536 (src/task.rs:536)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f71495948d4fc824-cgu.1.rcgu.o:(<leo3::task::LeanTaskFuture<leo3::types::nat::LeanNat> as core::future::future::Future>::poll::{closure#0})
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_cancel_core
[INFO] [stdout]           >>> referenced by task.rs:339 (src/task.rs:339)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f71495948d4fc824-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType<leo3::types::nat::LeanNat>>>::cancel)
[INFO] [stdout]           >>> referenced by task.rs:339 (src/task.rs:339)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f71495948d4fc824-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::cancel)
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_task_get
[INFO] [stdout]           >>> referenced by inline.rs:2915 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2915)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f71495948d4fc824-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType<leo3::types::nat::LeanNat>>>::get_owned)
[INFO] [stdout]           >>> referenced by task.rs:305 (src/task.rs:305)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f71495948d4fc824-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::get)
[INFO] [stdout]           >>> referenced by inline.rs:2915 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2915)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f71495948d4fc824-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::get_owned)
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f71495948d4fc824-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType<leo3::types::nat::LeanNat>>>::get_owned)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f71495948d4fc824-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::get_owned)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f71495948d4fc824-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType<leo3::types::nat::LeanNat>> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced 4 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_task_spawn_core
[INFO] [stdout]           >>> referenced by inline.rs:2904 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2904)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_task_async-04cf32970e006efb.test_task_async.f71495948d4fc824-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::spawn_with_priority)
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_usize_of_big_nat
[INFO] [stdout]           >>> referenced by inline.rs:466 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:466)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_of_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_task_async") due to 1 previous error
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_hash_minimal") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustck6oyHb/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustck6oyHb/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bool_ops-3017ed3e352454eb" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::bool::LeanBool> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "bool_ops") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcq5gWBL/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcq5gWBL/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_closure-573954ed23aa6ec0" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by inline.rs:2864 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2864)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::closure::LeanClosureType>>::from_raw_fn) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2864 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2864)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::closure::LeanClosureType>>::with_captured) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_apply_1
[INFO] [stdout]           >>> referenced by closure.rs:419 (src/closure.rs:419)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::closure::LeanClosureType>>::apply) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_apply_2
[INFO] [stdout]           >>> referenced by closure.rs:448 (src/closure.rs:448)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::closure::LeanClosureType>>::apply2) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::closure::LeanClosureType> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::nat::LeanNat> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::string::LeanString> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 1 more times
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcZWG5Zk/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcZWG5Zk/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/int_ops_comprehensive-77e2dbd4412bc90b" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_int_big_eq
[INFO] [stdout]           >>> referenced by inline.rs:992 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:992)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_eq) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_le
[INFO] [stdout]           >>> referenced by inline.rs:1005 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:1005)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_le) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_lt
[INFO] [stdout]           >>> referenced by inline.rs:1018 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:1018)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_lt) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_add
[INFO] [stdout]           >>> referenced by inline.rs:795 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:795)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_add) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_div
[INFO] [stdout]           >>> referenced by inline.rs:851 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:851)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_div) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_mod
[INFO] [stdout]           >>> referenced by inline.rs:881 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:881)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_mod) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_mul
[INFO] [stdout]           >>> referenced by inline.rs:821 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:821)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_mul) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_neg
[INFO] [stdout]           >>> referenced by inline.rs:759 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:759)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_neg) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_sub
[INFO] [stdout]           >>> referenced by inline.rs:808 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:808)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_sub) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_ediv
[INFO] [stdout]           >>> referenced by inline.rs:923 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:923)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_ediv) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_emod
[INFO] [stdout]           >>> referenced by inline.rs:979 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:979)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_emod) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_int64_to_int
[INFO] [stdout]           >>> referenced by inline.rs:693 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:693)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int64_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::types::int::LeanInt>::neg) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::int::LeanInt> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_closure") due to 1 previous error
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "int_ops_comprehensive") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustc53QXkq/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustc53QXkq/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/int_api_test-fd9e854dfdc08d5d" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_uint8_of_big_nat
[INFO] [stdout]           >>> referenced by inline.rs:2221 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2221)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::sint::LeanInt8>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2221 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2221)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::types::uint::LeanUInt8>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_uint16_of_big_nat
[INFO] [stdout]           >>> referenced by inline.rs:2235 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2235)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::sint::LeanInt16>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/int_api_test-fd9e854dfdc08d5d.int_api_test.3cb14b8559c15ee7-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::types::sint::LeanInt8> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/int_api_test-fd9e854dfdc08d5d.int_api_test.3cb14b8559c15ee7-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::types::sint::LeanInt16> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/int_api_test-fd9e854dfdc08d5d.int_api_test.3cb14b8559c15ee7-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::types::sint::LeanInt32> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced 9 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_size_t_to_int
[INFO] [stdout]           >>> referenced by inline.rs:742 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:742)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_nat_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_int64_to_int
[INFO] [stdout]           >>> referenced by inline.rs:693 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:693)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int64_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "int_api_test") due to 1 previous error
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcqOSjQM/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcqOSjQM/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/type_conversions-273dbef12e474830" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_uint8_of_big_nat
[INFO] [stdout]           >>> referenced by nat.rs:600 (src/types/nat.rs:600)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::nat::LeanNat>::toUInt8) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2221 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2221)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::sint::LeanInt8>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2221 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2221)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::types::uint::LeanUInt8>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_uint16_of_big_nat
[INFO] [stdout]           >>> referenced by nat.rs:622 (src/types/nat.rs:622)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::nat::LeanNat>::toUInt16) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2235 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2235)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::sint::LeanInt16>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2235 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2235)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::types::uint::LeanUInt16>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_uint32_of_big_nat
[INFO] [stdout]           >>> referenced by nat.rs:644 (src/types/nat.rs:644)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::nat::LeanNat>::toUInt32) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2249 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2249)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::sint::LeanInt32>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2249 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2249)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::types::uint::LeanUInt32>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_uint64_of_big_nat
[INFO] [stdout]           >>> referenced by nat.rs:661 (src/types/nat.rs:661)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::nat::LeanNat>::toUInt64) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2267 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2267)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.08.rcgu.o:(<leo3::types::sint::LeanInt64>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2267 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2267)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::types::uint::LeanUInt64>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_float_isinf
[INFO] [stdout]           >>> referenced by float.rs:147 (src/types/float.rs:147)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.04.rcgu.o:(<leo3::types::float::LeanFloat>::isInf) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_float_isnan
[INFO] [stdout]           >>> referenced by float.rs:117 (src/types/float.rs:117)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.04.rcgu.o:(<leo3::types::float::LeanFloat>::isNaN) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/type_conversions-273dbef12e474830.type_conversions.45ce3276c3ceca15-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::types::sint::LeanInt8> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/type_conversions-273dbef12e474830.type_conversions.45ce3276c3ceca15-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::types::sint::LeanInt16> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/type_conversions-273dbef12e474830.type_conversions.45ce3276c3ceca15-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::types::sint::LeanInt32> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced 9 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_uint64_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:2258 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2258)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.13.rcgu.o:(<leo3::types::uint::LeanUInt64>::toNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_size_t_to_int
[INFO] [stdout]           >>> referenced by inline.rs:742 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:742)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_nat_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_int64_to_int
[INFO] [stdout]           >>> referenced by inline.rs:693 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:693)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int64_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_usize_of_big_nat
[INFO] [stdout]           >>> referenced by inline.rs:466 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:466)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_of_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `leo3` (test "type_conversions") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcS6lGAQ/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcS6lGAQ/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_prelude_integration-e832edcd6d3fab44" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_prelude_integration-e832edcd6d3fab44.test_prelude_integration.867f4c5679206b54-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::meta::declaration::LeanDeclaration> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::handle_except_result_raw) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 24 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_elab_add_decl_without_checking
[INFO] [stdout]           >>> referenced by environment.rs:364 (src/meta/environment.rs:364)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::add_decl_unchecked::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_elab_environment_to_kernel_env
[INFO] [stdout]           >>> referenced by environment.rs:219 (src/meta/environment.rs:219)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_environment_find
[INFO] [stdout]           >>> referenced by environment.rs:224 (src/meta/environment.rs:224)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_empty_environment
[INFO] [stdout]           >>> referenced by environment.rs:175 (src/meta/environment.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_elab_add_decl
[INFO] [stdout]           >>> referenced by environment.rs:319 (src/meta/environment.rs:319)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::add_decl::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_app
[INFO] [stdout]           >>> referenced by expr.rs:175 (src/meta/expr.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::app) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_bvar
[INFO] [stdout]           >>> referenced by expr.rs:59 (src/meta/expr.rs:59)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_let
[INFO] [stdout]           >>> referenced by expr.rs:328 (src/meta/expr.rs:328)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::let_) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_sort
[INFO] [stdout]           >>> referenced by expr.rs:123 (src/meta/expr.rs:123)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::sort) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_equal
[INFO] [stdout]           >>> referenced by expr.rs:1014 (src/meta/expr.rs:1014)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::equal) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_const
[INFO] [stdout]           >>> referenced by expr.rs:149 (src/meta/expr.rs:149)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::const_) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_forall
[INFO] [stdout]           >>> referenced by expr.rs:255 (src/meta/expr.rs:255)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::forall) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_lambda
[INFO] [stdout]           >>> referenced by expr.rs:223 (src/meta/expr.rs:223)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::lambda) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string_from_bytes
[INFO] [stdout]           >>> referenced by context.rs:183 (src/meta/context.rs:183)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(<leo3::meta::context::CoreContext>::mk_empty_filemap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by context.rs:378 (src/meta/context.rs:378)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(<leo3::meta::context::CoreState>::mk_name_generator) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_array_push
[INFO] [stdout]           >>> referenced by context.rs:187 (src/meta/context.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(<leo3::meta::context::CoreContext>::mk_empty_filemap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_lit_type
[INFO] [stdout]           >>> referenced by literal.rs:71 (src/meta/literal.rs:71)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.90af3f3fc576f6c7-cgu.11.rcgu.o:(<leo3::meta::literal::LeanLiteral>::type_) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_prelude_integration") due to 1 previous error
[INFO] running `Command { std: "docker" "inspect" "5fe12641eb9012b9cd344bdaca7412dd595366b39508359577f65dadee0195e0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5fe12641eb9012b9cd344bdaca7412dd595366b39508359577f65dadee0195e0", kill_on_drop: false }`
[INFO] [stdout] 5fe12641eb9012b9cd344bdaca7412dd595366b39508359577f65dadee0195e0