[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 beta-2026-04-21 for beta-1.96-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Filyb1729%2Fdependent-checker" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[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-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ilyb1729/dependent-checker on toolchain beta-2026-04-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+beta-2026-04-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "+beta-2026-04-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0ed6a39c8c8d1fdd19a37954668d78586074bb916c389693e949276129e8220c
[INFO] running `Command { std: "docker" "start" "-a" "0ed6a39c8c8d1fdd19a37954668d78586074bb916c389693e949276129e8220c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0ed6a39c8c8d1fdd19a37954668d78586074bb916c389693e949276129e8220c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0ed6a39c8c8d1fdd19a37954668d78586074bb916c389693e949276129e8220c", kill_on_drop: false }`
[INFO] [stdout] 0ed6a39c8c8d1fdd19a37954668d78586074bb916c389693e949276129e8220c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3857dfc927586d1b5e14ae1001a7cad1eeaac7a971c65ba7889406cfb19c06de
[INFO] running `Command { std: "docker" "start" "-a" "3857dfc927586d1b5e14ae1001a7cad1eeaac7a971c65ba7889406cfb19c06de", 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: trait `Callable` is never used
[INFO] [stdout]  --> src/lambdapi.rs:3:7
[INFO] [stdout]   |
[INFO] [stdout] 3 | trait Callable {
[INFO] [stdout]   |       ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `TermInfer` is never used
[INFO] [stdout]   --> src/lambdapi.rs:17:10
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub enum TermInfer {
[INFO] [stdout]    |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `TermCheck` is never used
[INFO] [stdout]   --> src/lambdapi.rs:26:10
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub enum TermCheck {
[INFO] [stdout]    |          ^^^^^^^^^
[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: enum `Value` is never used
[INFO] [stdout]   --> src/lambdapi.rs:32:10
[INFO] [stdout]    |
[INFO] [stdout] 32 | pub enum Value {
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Name` is never used
[INFO] [stdout]   --> src/lambdapi.rs:49:10
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub enum Name {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Neutral` is never used
[INFO] [stdout]   --> src/lambdapi.rs:55:6
[INFO] [stdout]    |
[INFO] [stdout] 55 | enum Neutral {
[INFO] [stdout]    |      ^^^^^^^
[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] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.35s
[INFO] running `Command { std: "docker" "inspect" "3857dfc927586d1b5e14ae1001a7cad1eeaac7a971c65ba7889406cfb19c06de", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3857dfc927586d1b5e14ae1001a7cad1eeaac7a971c65ba7889406cfb19c06de", kill_on_drop: false }`
[INFO] [stdout] 3857dfc927586d1b5e14ae1001a7cad1eeaac7a971c65ba7889406cfb19c06de
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] adbfb92447a08c9068fd0ce1d9023e7bc7ac261c28d861cf5dad900d116d68bf
[INFO] running `Command { std: "docker" "start" "-a" "adbfb92447a08c9068fd0ce1d9023e7bc7ac261c28d861cf5dad900d116d68bf", 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: trait `Callable` is never used
[INFO] [stdout]  --> src/lambdapi.rs:3:7
[INFO] [stdout]   |
[INFO] [stdout] 3 | trait Callable {
[INFO] [stdout]   |       ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `TermInfer` is never used
[INFO] [stdout]   --> src/lambdapi.rs:17:10
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub enum TermInfer {
[INFO] [stdout]    |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `TermCheck` is never used
[INFO] [stdout]   --> src/lambdapi.rs:26:10
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub enum TermCheck {
[INFO] [stdout]    |          ^^^^^^^^^
[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: enum `Value` is never used
[INFO] [stdout]   --> src/lambdapi.rs:32:10
[INFO] [stdout]    |
[INFO] [stdout] 32 | pub enum Value {
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Name` is never used
[INFO] [stdout]   --> src/lambdapi.rs:49:10
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub enum Name {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Neutral` is never used
[INFO] [stdout]   --> src/lambdapi.rs:55:6
[INFO] [stdout]    |
[INFO] [stdout] 55 | enum Neutral {
[INFO] [stdout]    |      ^^^^^^^
[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] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.58s
[INFO] running `Command { std: "docker" "inspect" "adbfb92447a08c9068fd0ce1d9023e7bc7ac261c28d861cf5dad900d116d68bf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "adbfb92447a08c9068fd0ce1d9023e7bc7ac261c28d861cf5dad900d116d68bf", kill_on_drop: false }`
[INFO] [stdout] adbfb92447a08c9068fd0ce1d9023e7bc7ac261c28d861cf5dad900d116d68bf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 38ced80739f515c4dc57c805e7a8fd0ad543be2231667274f6c78cdbf28cde14
[INFO] running `Command { std: "docker" "start" "-a" "38ced80739f515c4dc57c805e7a8fd0ad543be2231667274f6c78cdbf28cde14", kill_on_drop: false }`
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr] warning: trait `Callable` is more private than the item `Value::VLam::0`
[INFO] [stderr]   --> src/lambdapi.rs:33:10
[INFO] [stderr]    |
[INFO] [stderr] 33 |     VLam(Box<dyn Callable>), // This is going to take some thought how to represent functions
[INFO] [stderr]    |          ^^^^^^^^^^^^^^^^^ field `Value::VLam::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but trait `Callable` is only usable at visibility `pub(self)`
[INFO] [stderr]   --> src/lambdapi.rs:3:1
[INFO] [stderr]    |
[INFO] [stderr]  3 | trait Callable {
[INFO] [stderr]    | ^^^^^^^^^^^^^^
[INFO] [stderr]    = note: `#[warn(private_interfaces)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: trait `Callable` is more private than the item `Value::VPi::1`
[INFO] [stderr]   --> src/lambdapi.rs:35:21
[INFO] [stderr]    |
[INFO] [stderr] 35 |     VPi(Box<Value>, Box<dyn Callable>),
[INFO] [stderr]    |                     ^^^^^^^^^^^^^^^^^ field `Value::VPi::1` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but trait `Callable` is only usable at visibility `pub(self)`
[INFO] [stderr]   --> src/lambdapi.rs:3:1
[INFO] [stderr]    |
[INFO] [stderr]  3 | trait Callable {
[INFO] [stderr]    | ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `Neutral` is more private than the item `Value::VNeutral::0`
[INFO] [stderr]   --> src/lambdapi.rs:36:14
[INFO] [stderr]    |
[INFO] [stderr] 36 |     VNeutral(Box<Neutral>),
[INFO] [stderr]    |              ^^^^^^^^^^^^ field `Value::VNeutral::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `Neutral` is only usable at visibility `pub(self)`
[INFO] [stderr]   --> src/lambdapi.rs:55:1
[INFO] [stderr]    |
[INFO] [stderr] 55 | enum Neutral {
[INFO] [stderr]    | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `Callable` is never used
[INFO] [stderr]  --> src/lambdapi.rs:3:7
[INFO] [stderr]   |
[INFO] [stderr] 3 | trait Callable {
[INFO] [stderr]   |       ^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: enum `TermInfer` is never used
[INFO] [stderr]   --> src/lambdapi.rs:17:10
[INFO] [stderr]    |
[INFO] [stderr] 17 | pub enum TermInfer {
[INFO] [stderr]    |          ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum `TermCheck` is never used
[INFO] [stderr]   --> src/lambdapi.rs:26:10
[INFO] [stderr]    |
[INFO] [stderr] 26 | pub enum TermCheck {
[INFO] [stderr]    |          ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `Type` is never used
[INFO] [stderr]   --> src/lambdapi.rs:30:6
[INFO] [stderr]    |
[INFO] [stderr] 30 | type Type = Value;
[INFO] [stderr]    |      ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Value` is never used
[INFO] [stderr]   --> src/lambdapi.rs:32:10
[INFO] [stderr]    |
[INFO] [stderr] 32 | pub enum Value {
[INFO] [stderr]    |          ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Name` is never used
[INFO] [stderr]   --> src/lambdapi.rs:49:10
[INFO] [stderr]    |
[INFO] [stderr] 49 | pub enum Name {
[INFO] [stderr]    |          ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Neutral` is never used
[INFO] [stderr]   --> src/lambdapi.rs:55:6
[INFO] [stderr]    |
[INFO] [stderr] 55 | enum Neutral {
[INFO] [stderr]    |      ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `vfree` is never used
[INFO] [stderr]   --> src/lambdapi.rs:60:4
[INFO] [stderr]    |
[INFO] [stderr] 60 | fn vfree(n: Name) -> Value {
[INFO] [stderr]    |    ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `Env` is never used
[INFO] [stderr]   --> src/lambdapi.rs:64:10
[INFO] [stderr]    |
[INFO] [stderr] 64 | pub type Env = VecDeque<Value>;
[INFO] [stderr]    |          ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `eval_inf` is never used
[INFO] [stderr]   --> src/lambdapi.rs:66:8
[INFO] [stderr]    |
[INFO] [stderr] 66 | pub fn eval_inf(t_i: TermInfer, env: Env) -> Value {
[INFO] [stderr]    |        ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `vapp` is never used
[INFO] [stderr]   --> src/lambdapi.rs:85:4
[INFO] [stderr]    |
[INFO] [stderr] 85 | fn vapp(v1: &Value, v2: &Value) -> Value {
[INFO] [stderr]    |    ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `eval_check` is never used
[INFO] [stderr]   --> src/lambdapi.rs:96:4
[INFO] [stderr]    |
[INFO] [stderr] 96 | fn eval_check(t_c: TermCheck, env: Env) -> Value {
[INFO] [stderr]    |    ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Kind` is never used
[INFO] [stderr]    --> src/lambdapi.rs:113:6
[INFO] [stderr]     |
[INFO] [stderr] 113 | enum Kind {
[INFO] [stderr]     |      ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `Context` is never used
[INFO] [stderr]    --> src/lambdapi.rs:117:6
[INFO] [stderr]     |
[INFO] [stderr] 117 | type Context = VecDeque<(Name, Type)>;
[INFO] [stderr]     |      ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `type_inf0` is never used
[INFO] [stderr]    --> src/lambdapi.rs:119:4
[INFO] [stderr]     |
[INFO] [stderr] 119 | fn type_inf0(c: Context, t_i: TermInfer) -> Result<Type, &'static str> {
[INFO] [stderr]     |    ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `type_inf` is never used
[INFO] [stderr]    --> src/lambdapi.rs:122:4
[INFO] [stderr]     |
[INFO] [stderr] 122 | fn type_inf(i: usize, c: Context, t_i: TermInfer) -> Result<Type, &'static str> {
[INFO] [stderr]     |    ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `type_check` is never used
[INFO] [stderr]    --> src/lambdapi.rs:165:4
[INFO] [stderr]     |
[INFO] [stderr] 165 | fn type_check(i: usize, c: Context, t_c: TermCheck, ty: Type) -> Result<(), &'static str> {
[INFO] [stderr]     |    ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `subst_check` is never used
[INFO] [stderr]    --> src/lambdapi.rs:193:4
[INFO] [stderr]     |
[INFO] [stderr] 193 | fn subst_check(i: usize, t1: TermInfer, t2: TermCheck) -> TermCheck {
[INFO] [stderr]     |    ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `subst_inf` is never used
[INFO] [stderr]    --> src/lambdapi.rs:199:4
[INFO] [stderr]     |
[INFO] [stderr] 199 | fn subst_inf(i: usize, t1: TermInfer, t2: TermInfer) -> TermInfer {
[INFO] [stderr]     |    ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `quote0` is never used
[INFO] [stderr]    --> src/lambdapi.rs:222:8
[INFO] [stderr]     |
[INFO] [stderr] 222 | pub fn quote0(v: Value) -> TermCheck {
[INFO] [stderr]     |        ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `quote` is never used
[INFO] [stderr]    --> src/lambdapi.rs:225:4
[INFO] [stderr]     |
[INFO] [stderr] 225 | fn quote(i: usize, v: Value) -> TermCheck {
[INFO] [stderr]     |    ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `neutral_quote` is never used
[INFO] [stderr]    --> src/lambdapi.rs:237:4
[INFO] [stderr]     |
[INFO] [stderr] 237 | fn neutral_quote(i: usize, n: Neutral) -> TermInfer {
[INFO] [stderr]     |    ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `bound_free` is never used
[INFO] [stderr]    --> src/lambdapi.rs:246:4
[INFO] [stderr]     |
[INFO] [stderr] 246 | fn bound_free(i: usize, n: Name) -> TermInfer {
[INFO] [stderr]     |    ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `dependent-types` (bin "dependent-types" test) generated 26 warnings
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/dependent_types-d0353716c4f9d685)
[INFO] running `Command { std: "docker" "inspect" "38ced80739f515c4dc57c805e7a8fd0ad543be2231667274f6c78cdbf28cde14", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "38ced80739f515c4dc57c805e7a8fd0ad543be2231667274f6c78cdbf28cde14", kill_on_drop: false }`
[INFO] [stdout] 38ced80739f515c4dc57c805e7a8fd0ad543be2231667274f6c78cdbf28cde14
