[INFO] cloning repository https://github.com/ilyb1729/dependent-checker
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ilyb1729/dependent-checker" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Filyb1729%2Fdependent-checker", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Filyb1729%2Fdependent-checker'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] e0387d6fff347b7ac8f12a9fc1ff6fd476349f96
[INFO] testing ilyb1729/dependent-checker against 1.83.0 for beta-1.84.0-4-retry
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Filyb1729%2Fdependent-checker" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/ilyb1729/dependent-checker on toolchain 1.83.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.83.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/ilyb1729/dependent-checker
[INFO] finished tweaking git repo https://github.com/ilyb1729/dependent-checker
[INFO] tweaked toml for git repo https://github.com/ilyb1729/dependent-checker written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/ilyb1729/dependent-checker 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" "+1.83.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 12b9792dab2aefc152c717ca1f6afcc842a64235186a20e669e0012a23faf276
[INFO] running `Command { std: "docker" "start" "-a" "12b9792dab2aefc152c717ca1f6afcc842a64235186a20e669e0012a23faf276", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "12b9792dab2aefc152c717ca1f6afcc842a64235186a20e669e0012a23faf276", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "12b9792dab2aefc152c717ca1f6afcc842a64235186a20e669e0012a23faf276", kill_on_drop: false }`
[INFO] [stdout] 12b9792dab2aefc152c717ca1f6afcc842a64235186a20e669e0012a23faf276
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 52029e83a6bd793bab7f506d6734985fbbf8a93c3dea2ce896ced2903e3d81b7
[INFO] running `Command { std: "docker" "start" "-a" "52029e83a6bd793bab7f506d6734985fbbf8a93c3dea2ce896ced2903e3d81b7", kill_on_drop: false }`
[INFO] [stderr]    Compiling dependent-types v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: trait `Callable` is more private than the item `Value::VLam::0`
[INFO] [stdout]   --> src/lambdapi.rs:33:10
[INFO] [stdout]    |
[INFO] [stdout] 33 |     VLam(Box<dyn Callable>), // This is going to take some thought how to represent functions
[INFO] [stdout]    |          ^^^^^^^^^^^^^^^^^ field `Value::VLam::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but trait `Callable` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/lambdapi.rs:3:1
[INFO] [stdout]    |
[INFO] [stdout] 3  | trait Callable {
[INFO] [stdout]    | ^^^^^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(private_interfaces)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Callable` is more private than the item `Value::VPi::1`
[INFO] [stdout]   --> src/lambdapi.rs:35:21
[INFO] [stdout]    |
[INFO] [stdout] 35 |     VPi(Box<Value>, Box<dyn Callable>),
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^ field `Value::VPi::1` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but trait `Callable` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/lambdapi.rs:3:1
[INFO] [stdout]    |
[INFO] [stdout] 3  | trait Callable {
[INFO] [stdout]    | ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Neutral` is more private than the item `Value::VNeutral::0`
[INFO] [stdout]   --> src/lambdapi.rs:36:14
[INFO] [stdout]    |
[INFO] [stdout] 36 |     VNeutral(Box<Neutral>),
[INFO] [stdout]    |              ^^^^^^^^^^^^ field `Value::VNeutral::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Neutral` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/lambdapi.rs:55:1
[INFO] [stdout]    |
[INFO] [stdout] 55 | enum Neutral {
[INFO] [stdout]    | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `call` is never used
[INFO] [stdout]  --> src/lambdapi.rs:4:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | trait Callable {
[INFO] [stdout]   |       -------- method in this trait
[INFO] [stdout] 4 |     fn call(&self, arg: Value) -> Value;
[INFO] [stdout]   |        ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Ann`, `Star`, `Pi`, `Bound`, `Free`, and `App` are never constructed
[INFO] [stdout]   --> src/lambdapi.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub enum TermInfer {
[INFO] [stdout]    |          --------- variants in this enum
[INFO] [stdout] 18 |     Ann(Box<TermCheck>, Box<TermCheck>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 19 |     Star,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 20 |     Pi(Box<TermCheck>, Box<TermCheck>),
[INFO] [stdout]    |     ^^
[INFO] [stdout] 21 |     Bound(usize), // DeBrujin Index
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 22 |     Free(Name),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 23 |     App(Box<TermInfer>, Box<TermCheck>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `TermInfer` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Inf` and `Lam` are never constructed
[INFO] [stdout]   --> src/lambdapi.rs:27:5
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub enum TermCheck {
[INFO] [stdout]    |          --------- variants in this enum
[INFO] [stdout] 27 |     Inf(Box<TermInfer>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 28 |     Lam(Box<TermCheck>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `TermCheck` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Type` is never used
[INFO] [stdout]   --> src/lambdapi.rs:30:6
[INFO] [stdout]    |
[INFO] [stdout] 30 | type Type = Value;
[INFO] [stdout]    |      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `VLam`, `VStar`, `VPi`, and `VNeutral` are never constructed
[INFO] [stdout]   --> src/lambdapi.rs:33:5
[INFO] [stdout]    |
[INFO] [stdout] 32 | pub enum Value {
[INFO] [stdout]    |          ----- variants in this enum
[INFO] [stdout] 33 |     VLam(Box<dyn Callable>), // This is going to take some thought how to represent functions
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 34 |     VStar,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 35 |     VPi(Box<Value>, Box<dyn Callable>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 36 |     VNeutral(Box<Neutral>),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Global`, `Local`, and `Quote` are never constructed
[INFO] [stdout]   --> src/lambdapi.rs:50:5
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub enum Name {
[INFO] [stdout]    |          ---- variants in this enum
[INFO] [stdout] 50 |     Global(String),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 51 |     Local(usize),
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 52 |     Quote(usize),
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Name` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `NFree` and `NApp` are never constructed
[INFO] [stdout]   --> src/lambdapi.rs:56:5
[INFO] [stdout]    |
[INFO] [stdout] 55 | enum Neutral {
[INFO] [stdout]    |      ------- variants in this enum
[INFO] [stdout] 56 |     NFree(Name),
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 57 |     NApp(Box<Neutral>, Box<Value>),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Neutral` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vfree` is never used
[INFO] [stdout]   --> src/lambdapi.rs:60:4
[INFO] [stdout]    |
[INFO] [stdout] 60 | fn vfree(n: Name) -> Value {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Env` is never used
[INFO] [stdout]   --> src/lambdapi.rs:64:10
[INFO] [stdout]    |
[INFO] [stdout] 64 | pub type Env = VecDeque<Value>;
[INFO] [stdout]    |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `eval_inf` is never used
[INFO] [stdout]   --> src/lambdapi.rs:66:8
[INFO] [stdout]    |
[INFO] [stdout] 66 | pub fn eval_inf(t_i: TermInfer, env: Env) -> Value {
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vapp` is never used
[INFO] [stdout]   --> src/lambdapi.rs:85:4
[INFO] [stdout]    |
[INFO] [stdout] 85 | fn vapp(v1: &Value, v2: &Value) -> Value {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `eval_check` is never used
[INFO] [stdout]   --> src/lambdapi.rs:96:4
[INFO] [stdout]    |
[INFO] [stdout] 96 | fn eval_check(t_c: TermCheck, env: Env) -> Value {
[INFO] [stdout]    |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Kind` is never used
[INFO] [stdout]    --> src/lambdapi.rs:113:6
[INFO] [stdout]     |
[INFO] [stdout] 113 | enum Kind {
[INFO] [stdout]     |      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Context` is never used
[INFO] [stdout]    --> src/lambdapi.rs:117:6
[INFO] [stdout]     |
[INFO] [stdout] 117 | type Context = VecDeque<(Name, Type)>;
[INFO] [stdout]     |      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `type_inf0` is never used
[INFO] [stdout]    --> src/lambdapi.rs:119:4
[INFO] [stdout]     |
[INFO] [stdout] 119 | fn type_inf0(c: Context, t_i: TermInfer) -> Result<Type, &'static str> {
[INFO] [stdout]     |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `type_inf` is never used
[INFO] [stdout]    --> src/lambdapi.rs:122:4
[INFO] [stdout]     |
[INFO] [stdout] 122 | fn type_inf(i: usize, c: Context, t_i: TermInfer) -> Result<Type, &'static str> {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `type_check` is never used
[INFO] [stdout]    --> src/lambdapi.rs:165:4
[INFO] [stdout]     |
[INFO] [stdout] 165 | fn type_check(i: usize, c: Context, t_c: TermCheck, ty: Type) -> Result<(), &'static str> {
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `subst_check` is never used
[INFO] [stdout]    --> src/lambdapi.rs:193:4
[INFO] [stdout]     |
[INFO] [stdout] 193 | fn subst_check(i: usize, t1: TermInfer, t2: TermCheck) -> TermCheck {
[INFO] [stdout]     |    ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `subst_inf` is never used
[INFO] [stdout]    --> src/lambdapi.rs:199:4
[INFO] [stdout]     |
[INFO] [stdout] 199 | fn subst_inf(i: usize, t1: TermInfer, t2: TermInfer) -> TermInfer {
[INFO] [stdout]     |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `quote0` is never used
[INFO] [stdout]    --> src/lambdapi.rs:222:8
[INFO] [stdout]     |
[INFO] [stdout] 222 | pub fn quote0(v: Value) -> TermCheck {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `quote` is never used
[INFO] [stdout]    --> src/lambdapi.rs:225:4
[INFO] [stdout]     |
[INFO] [stdout] 225 | fn quote(i: usize, v: Value) -> TermCheck {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `neutral_quote` is never used
[INFO] [stdout]    --> src/lambdapi.rs:237:4
[INFO] [stdout]     |
[INFO] [stdout] 237 | fn neutral_quote(i: usize, n: Neutral) -> TermInfer {
[INFO] [stdout]     |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `bound_free` is never used
[INFO] [stdout]    --> src/lambdapi.rs:246:4
[INFO] [stdout]     |
[INFO] [stdout] 246 | fn bound_free(i: usize, n: Name) -> TermInfer {
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcEQOk3e/symbols.o" "/opt/rustwide/target/debug/deps/dependent_types-dc33c815850af80c.dependent_types.2c9a25d57a5d1dcc-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/dependent_types-dc33c815850af80c.6m4phbp83f0tdpski98h40khm.rcgu.o" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ca74a2d9c5166d9f.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-e31ab23316ed5080.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-27dc4aa955912662.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-bd0d6cccce077b99.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-8d001680935b5e3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ba8ce71964f984f4.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-99a73526abcec14b.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-63ac0d22cff92579.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-9057355c92c922d5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-358be9bc1f6bab04.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-aca15549d5bff974.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-8251d2cef7072448.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-7d50b86011c66411.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-51ea098fce5006bf.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-5a14e0d0b712e731.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8b83dbf3a7b8f999.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-c6fd227bdc7b39ff.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-959d3389fa3da8a5.rlib" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-abe05db089cc2c62.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/1.83.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/dependent_types-dc33c815850af80c" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: /usr/bin/ld: final link failed: No space left on device
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `dependent-types` (bin "dependent-types") due to 1 previous error; 26 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "52029e83a6bd793bab7f506d6734985fbbf8a93c3dea2ce896ced2903e3d81b7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "52029e83a6bd793bab7f506d6734985fbbf8a93c3dea2ce896ced2903e3d81b7", kill_on_drop: false }`
[INFO] [stdout] 52029e83a6bd793bab7f506d6734985fbbf8a93c3dea2ce896ced2903e3d81b7
