[INFO] cloning repository https://github.com/jihoo12/owl
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jihoo12/owl" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjihoo12%2Fowl", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjihoo12%2Fowl'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 56e75475d8d5388a0d34a04105e6382fcbee0c1a
[INFO] checking jihoo12/owl against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6 for pr-133502-30
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjihoo12%2Fowl" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/jihoo12/owl
[INFO] finished tweaking git repo https://github.com/jihoo12/owl
[INFO] tweaked toml for git repo https://github.com/jihoo12/owl written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/jihoo12/owl on toolchain 3154cc1a3e6424e44f438a95007d043ed5ceaaf6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/jihoo12/owl 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" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 0b41d4d8dac2a9f6a328568133ccf02c227cc6a860f2e685dd7554777f7abb28
[INFO] running `Command { std: "docker" "start" "0b41d4d8dac2a9f6a328568133ccf02c227cc6a860f2e685dd7554777f7abb28", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0b41d4d8dac2a9f6a328568133ccf02c227cc6a860f2e685dd7554777f7abb28", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "0b41d4d8dac2a9f6a328568133ccf02c227cc6a860f2e685dd7554777f7abb28" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0b41d4d8dac2a9f6a328568133ccf02c227cc6a860f2e685dd7554777f7abb28", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "0b41d4d8dac2a9f6a328568133ccf02c227cc6a860f2e685dd7554777f7abb28" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]     Checking owl-kernel v0.1.0 (/opt/rustwide/workdir/crates/owl-kernel)
[INFO] [stderr]     Checking owl v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Meta` in this scope
[INFO] [stdout]    --> crates/owl-kernel/src/typechecker/termination.rs:332:11
[INFO] [stdout]     |
[INFO] [stdout] 332 |         | Meta(_) => Ok(()),
[INFO] [stdout]     |           ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout]   7 + use crate::Term::Meta;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `names` in this scope
[INFO] [stdout]    --> crates/owl-kernel/src/typechecker/mod.rs:365:32
[INFO] [stdout]     |
[INFO] [stdout] 365 |                     show_term(&names, &nbe_eval_ctx(ctx.len(), a, session))
[INFO] [stdout]     |                                ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `names` in this scope
[INFO] [stdout]    --> crates/owl-kernel/src/typechecker/mod.rs:953:32
[INFO] [stdout]     |
[INFO] [stdout] 953 |                     show_term(&names, &other)
[INFO] [stdout]     |                                ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `names` in this scope
[INFO] [stdout]     --> crates/owl-kernel/src/typechecker/mod.rs:2944:32
[INFO] [stdout]      |
[INFO] [stdout] 2944 |                     show_term(&names, &other)
[INFO] [stdout]      |                                ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::sync::Arc`
[INFO] [stdout]  --> crates/owl-kernel/src/typechecker/cumulativity.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::sync::Arc;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `LevelExpr`
[INFO] [stdout]  --> crates/owl-kernel/src/typechecker/cumulativity.rs:8:31
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::syntax::{Datatype, LevelExpr, Term, Variance, compute_param_variances};
[INFO] [stdout]   |                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `dnf_bot`
[INFO] [stdout]     --> crates/owl-kernel/src/typechecker/mod.rs:3013:30
[INFO] [stdout]      |
[INFO] [stdout] 3013 |     use crate::interval::{I, dnf_bot};
[INFO] [stdout]      |                              ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Meta` in this scope
[INFO] [stdout]    --> crates/owl-kernel/src/typechecker/termination.rs:332:11
[INFO] [stdout]     |
[INFO] [stdout] 332 |         | Meta(_) => Ok(()),
[INFO] [stdout]     |           ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout]   7 + use crate::Term::Meta;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `names` in this scope
[INFO] [stdout]    --> crates/owl-kernel/src/typechecker/mod.rs:365:32
[INFO] [stdout]     |
[INFO] [stdout] 365 |                     show_term(&names, &nbe_eval_ctx(ctx.len(), a, session))
[INFO] [stdout]     |                                ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `names` in this scope
[INFO] [stdout]    --> crates/owl-kernel/src/typechecker/mod.rs:953:32
[INFO] [stdout]     |
[INFO] [stdout] 953 |                     show_term(&names, &other)
[INFO] [stdout]     |                                ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `names` in this scope
[INFO] [stdout]     --> crates/owl-kernel/src/typechecker/mod.rs:2944:32
[INFO] [stdout]      |
[INFO] [stdout] 2944 |                     show_term(&names, &other)
[INFO] [stdout]      |                                ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::sync::Arc`
[INFO] [stdout]    --> crates/owl-kernel/src/syntax/positivity.rs:629:9
[INFO] [stdout]     |
[INFO] [stdout] 629 |     use std::sync::Arc;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::sync::Arc`
[INFO] [stdout]  --> crates/owl-kernel/src/typechecker/cumulativity.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::sync::Arc;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `LevelExpr`
[INFO] [stdout]  --> crates/owl-kernel/src/typechecker/cumulativity.rs:8:31
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::syntax::{Datatype, LevelExpr, Term, Variance, compute_param_variances};
[INFO] [stdout]   |                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `dnf_bot`
[INFO] [stdout]     --> crates/owl-kernel/src/typechecker/mod.rs:3013:30
[INFO] [stdout]      |
[INFO] [stdout] 3013 |     use crate::interval::{I, dnf_bot};
[INFO] [stdout]      |                              ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::sync::Arc`
[INFO] [stdout]  --> src/cubical/typechecker/cumulativity.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::sync::Arc;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `LevelExpr`
[INFO] [stdout]  --> src/cubical/typechecker/cumulativity.rs:8:40
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::cubical::syntax::{Datatype, LevelExpr, Term, Variance, compute_param_variances};
[INFO] [stdout]   |                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `find_implicit_arg`
[INFO] [stdout]   --> src/cubical/typechecker/mod.rs:25:40
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub use implicit::{fill_implicit_args, find_implicit_arg};
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `dnf_bot`
[INFO] [stdout]     --> src/cubical/typechecker/mod.rs:3185:39
[INFO] [stdout]      |
[INFO] [stdout] 3185 |     use crate::cubical::interval::{I, dnf_bot};
[INFO] [stdout]      |                                       ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::sync::Arc`
[INFO] [stdout]    --> src/cubical/syntax/positivity.rs:629:9
[INFO] [stdout]     |
[INFO] [stdout] 629 |     use std::sync::Arc;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `LevelExpr`
[INFO] [stdout]  --> src/cubical/typechecker/cumulativity.rs:8:40
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::cubical::syntax::{Datatype, LevelExpr, Term, Variance, compute_param_variances};
[INFO] [stdout]   |                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `find_implicit_arg`
[INFO] [stdout]   --> src/cubical/typechecker/mod.rs:25:40
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub use implicit::{fill_implicit_args, find_implicit_arg};
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `dnf_bot`
[INFO] [stdout]     --> src/cubical/typechecker/mod.rs:3185:39
[INFO] [stdout]      |
[INFO] [stdout] 3185 |     use crate::cubical::interval::{I, dnf_bot};
[INFO] [stdout]      |                                       ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Globals`
[INFO] [stdout]   --> src/cubical/dependent_pi_transport_test.rs:12:31
[INFO] [stdout]    |
[INFO] [stdout] 12 |     use crate::cubical::nbe::{Globals, Scope, Value, eval_nbe, nbe_eval};
[INFO] [stdout]    |                               ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::sync::Arc`
[INFO] [stdout]   --> src/cubical/dependent_pi_transport_test.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 15 |     use std::sync::Arc;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::sync::Mutex`
[INFO] [stdout]   --> src/cubical/dependent_pi_transport_test.rs:16:9
[INFO] [stdout]    |
[INFO] [stdout] 16 |     use std::sync::Mutex;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> crates/owl-kernel/src/nbe/eval.rs:868:53
[INFO] [stdout]     |
[INFO] [stdout] 868 |             Value::VCon("Unit".into(), "tt".into(), Arc::new([]))
[INFO] [stdout]     |             -----------                             ^^^^^^^^^^^^ expected `Vec<Value>`, found `Arc<[_; 0]>`
[INFO] [stdout]     |             |
[INFO] [stdout]     |             arguments to this enum variant are incorrect
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected struct `Vec<value::Value>`
[INFO] [stdout]                found struct `std::sync::Arc<[_; 0]>`
[INFO] [stdout] note: tuple variant defined here
[INFO] [stdout]    --> crates/owl-kernel/src/nbe/value.rs:139:5
[INFO] [stdout]     |
[INFO] [stdout] 139 |     VCon(Name, Name, Vec<Value>),
[INFO] [stdout]     |     ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]     |
[INFO] [stdout] 868 |             Value::VCon("Unit".into(), "tt".into(), Arc::new([]).to_vec())
[INFO] [stdout]     |                                                                 +++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> crates/owl-kernel/src/nbe/eval.rs:868:53
[INFO] [stdout]     |
[INFO] [stdout] 868 |             Value::VCon("Unit".into(), "tt".into(), Arc::new([]))
[INFO] [stdout]     |             -----------                             ^^^^^^^^^^^^ expected `Vec<Value>`, found `Arc<[_; 0]>`
[INFO] [stdout]     |             |
[INFO] [stdout]     |             arguments to this enum variant are incorrect
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected struct `Vec<Value>`
[INFO] [stdout]                found struct `Arc<[_; 0]>`
[INFO] [stdout] note: tuple variant defined here
[INFO] [stdout]    --> crates/owl-kernel/src/nbe/value.rs:139:5
[INFO] [stdout]     |
[INFO] [stdout] 139 |     VCon(Name, Name, Vec<Value>),
[INFO] [stdout]     |     ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]     |
[INFO] [stdout] 868 |             Value::VCon("Unit".into(), "tt".into(), Arc::new([]).to_vec())
[INFO] [stdout]     |                                                                 +++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> crates/owl-kernel/src/typechecker/mod.rs:201:30
[INFO] [stdout]     |
[INFO] [stdout] 201 |                     .find_dt(d)
[INFO] [stdout]     |                      ------- ^ expected `&str`, found `String`
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> crates/owl-kernel/src/session.rs:119:12
[INFO] [stdout]     |
[INFO] [stdout] 119 |     pub fn find_dt(&self, name: &str) -> Option<&Datatype> {
[INFO] [stdout]     |            ^^^^^^^        ----------
[INFO] [stdout] help: consider borrowing here
[INFO] [stdout]     |
[INFO] [stdout] 201 |                     .find_dt(&d)
[INFO] [stdout]     |                              +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> crates/owl-kernel/src/typechecker/mod.rs:920:55
[INFO] [stdout]     |
[INFO] [stdout] 920 |                     if let Some(dt) = session.find_dt(dname) {
[INFO] [stdout]     |                                               ------- ^^^^^ expected `&str`, found `String`
[INFO] [stdout]     |                                               |
[INFO] [stdout]     |                                               arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> crates/owl-kernel/src/session.rs:119:12
[INFO] [stdout]     |
[INFO] [stdout] 119 |     pub fn find_dt(&self, name: &str) -> Option<&Datatype> {
[INFO] [stdout]     |            ^^^^^^^        ----------
[INFO] [stdout] help: consider borrowing here
[INFO] [stdout]     |
[INFO] [stdout] 920 |                     if let Some(dt) = session.find_dt(&dname) {
[INFO] [stdout]     |                                                       +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> crates/owl-kernel/src/typechecker/mod.rs:965:34
[INFO] [stdout]     |
[INFO] [stdout] 965 |                         .find_dt(dname)
[INFO] [stdout]     |                          ------- ^^^^^ expected `&str`, found `String`
[INFO] [stdout]     |                          |
[INFO] [stdout]     |                          arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> crates/owl-kernel/src/session.rs:119:12
[INFO] [stdout]     |
[INFO] [stdout] 119 |     pub fn find_dt(&self, name: &str) -> Option<&Datatype> {
[INFO] [stdout]     |            ^^^^^^^        ----------
[INFO] [stdout] help: consider borrowing here
[INFO] [stdout]     |
[INFO] [stdout] 965 |                         .find_dt(&dname)
[INFO] [stdout]     |                                  +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> crates/owl-kernel/src/typechecker/mod.rs:201:30
[INFO] [stdout]     |
[INFO] [stdout] 201 |                     .find_dt(d)
[INFO] [stdout]     |                      ------- ^ expected `&str`, found `String`
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> crates/owl-kernel/src/session.rs:119:12
[INFO] [stdout]     |
[INFO] [stdout] 119 |     pub fn find_dt(&self, name: &str) -> Option<&Datatype> {
[INFO] [stdout]     |            ^^^^^^^        ----------
[INFO] [stdout] help: consider borrowing here
[INFO] [stdout]     |
[INFO] [stdout] 201 |                     .find_dt(&d)
[INFO] [stdout]     |                              +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> crates/owl-kernel/src/typechecker/mod.rs:920:55
[INFO] [stdout]     |
[INFO] [stdout] 920 |                     if let Some(dt) = session.find_dt(dname) {
[INFO] [stdout]     |                                               ------- ^^^^^ expected `&str`, found `String`
[INFO] [stdout]     |                                               |
[INFO] [stdout]     |                                               arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> crates/owl-kernel/src/session.rs:119:12
[INFO] [stdout]     |
[INFO] [stdout] 119 |     pub fn find_dt(&self, name: &str) -> Option<&Datatype> {
[INFO] [stdout]     |            ^^^^^^^        ----------
[INFO] [stdout] help: consider borrowing here
[INFO] [stdout]     |
[INFO] [stdout] 920 |                     if let Some(dt) = session.find_dt(&dname) {
[INFO] [stdout]     |                                                       +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> crates/owl-kernel/src/typechecker/mod.rs:965:34
[INFO] [stdout]     |
[INFO] [stdout] 965 |                         .find_dt(dname)
[INFO] [stdout]     |                          ------- ^^^^^ expected `&str`, found `String`
[INFO] [stdout]     |                          |
[INFO] [stdout]     |                          arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> crates/owl-kernel/src/session.rs:119:12
[INFO] [stdout]     |
[INFO] [stdout] 119 |     pub fn find_dt(&self, name: &str) -> Option<&Datatype> {
[INFO] [stdout]     |            ^^^^^^^        ----------
[INFO] [stdout] help: consider borrowing here
[INFO] [stdout]     |
[INFO] [stdout] 965 |                         .find_dt(&dname)
[INFO] [stdout]     |                                  +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]     --> crates/owl-kernel/src/typechecker/mod.rs:1664:26
[INFO] [stdout]      |
[INFO] [stdout] 1664 |                 .find_dt(d)
[INFO] [stdout]      |                  ------- ^ expected `&str`, found `String`
[INFO] [stdout]      |                  |
[INFO] [stdout]      |                  arguments to this method are incorrect
[INFO] [stdout]      |
[INFO] [stdout] note: method defined here
[INFO] [stdout]     --> crates/owl-kernel/src/session.rs:119:12
[INFO] [stdout]      |
[INFO] [stdout]  119 |     pub fn find_dt(&self, name: &str) -> Option<&Datatype> {
[INFO] [stdout]      |            ^^^^^^^        ----------
[INFO] [stdout] help: consider borrowing here
[INFO] [stdout]      |
[INFO] [stdout] 1664 |                 .find_dt(&d)
[INFO] [stdout]      |                          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]     --> crates/owl-kernel/src/typechecker/mod.rs:1664:26
[INFO] [stdout]      |
[INFO] [stdout] 1664 |                 .find_dt(d)
[INFO] [stdout]      |                  ------- ^ expected `&str`, found `String`
[INFO] [stdout]      |                  |
[INFO] [stdout]      |                  arguments to this method are incorrect
[INFO] [stdout]      |
[INFO] [stdout] note: method defined here
[INFO] [stdout]     --> crates/owl-kernel/src/session.rs:119:12
[INFO] [stdout]      |
[INFO] [stdout]  119 |     pub fn find_dt(&self, name: &str) -> Option<&Datatype> {
[INFO] [stdout]      |            ^^^^^^^        ----------
[INFO] [stdout] help: consider borrowing here
[INFO] [stdout]      |
[INFO] [stdout] 1664 |                 .find_dt(&d)
[INFO] [stdout]      |                          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]     --> crates/owl-kernel/src/typechecker/mod.rs:2627:26
[INFO] [stdout]      |
[INFO] [stdout] 2627 |                 .find_dt(expected_d)
[INFO] [stdout]      |                  ------- ^^^^^^^^^^ expected `&str`, found `String`
[INFO] [stdout]      |                  |
[INFO] [stdout]      |                  arguments to this method are incorrect
[INFO] [stdout]      |
[INFO] [stdout] note: method defined here
[INFO] [stdout]     --> crates/owl-kernel/src/session.rs:119:12
[INFO] [stdout]      |
[INFO] [stdout]  119 |     pub fn find_dt(&self, name: &str) -> Option<&Datatype> {
[INFO] [stdout]      |            ^^^^^^^        ----------
[INFO] [stdout] help: consider borrowing here
[INFO] [stdout]      |
[INFO] [stdout] 2627 |                 .find_dt(&expected_d)
[INFO] [stdout]      |                          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]     --> crates/owl-kernel/src/typechecker/mod.rs:2627:26
[INFO] [stdout]      |
[INFO] [stdout] 2627 |                 .find_dt(expected_d)
[INFO] [stdout]      |                  ------- ^^^^^^^^^^ expected `&str`, found `String`
[INFO] [stdout]      |                  |
[INFO] [stdout]      |                  arguments to this method are incorrect
[INFO] [stdout]      |
[INFO] [stdout] note: method defined here
[INFO] [stdout]     --> crates/owl-kernel/src/session.rs:119:12
[INFO] [stdout]      |
[INFO] [stdout]  119 |     pub fn find_dt(&self, name: &str) -> Option<&Datatype> {
[INFO] [stdout]      |            ^^^^^^^        ----------
[INFO] [stdout] help: consider borrowing here
[INFO] [stdout]      |
[INFO] [stdout] 2627 |                 .find_dt(&expected_d)
[INFO] [stdout]      |                          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_iclos`
[INFO] [stdout]    --> crates/owl-kernel/src/nbe/hcomp.rs:451:58
[INFO] [stdout]     |
[INFO] [stdout] 451 |             (Value::VPath(a_elem, _, _), Value::VPLam(_, base_iclos)) => {
[INFO] [stdout]     |                                                          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_iclos`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_iclos`
[INFO] [stdout]    --> crates/owl-kernel/src/nbe/hcomp.rs:451:58
[INFO] [stdout]     |
[INFO] [stdout] 451 |             (Value::VPath(a_elem, _, _), Value::VPLam(_, base_iclos)) => {
[INFO] [stdout]     |                                                          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_iclos`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_iclos`
[INFO] [stdout]     --> crates/owl-kernel/src/nbe/hcomp.rs:1932:58
[INFO] [stdout]      |
[INFO] [stdout] 1932 |             (Value::VPath(a_elem, _, _), Value::VPLam(_, base_iclos)) => {
[INFO] [stdout]      |                                                          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_iclos`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_iclos`
[INFO] [stdout]     --> crates/owl-kernel/src/nbe/hcomp.rs:1932:58
[INFO] [stdout]      |
[INFO] [stdout] 1932 |             (Value::VPath(a_elem, _, _), Value::VPLam(_, base_iclos)) => {
[INFO] [stdout]      |                                                          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_iclos`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0308, E0425, E0531.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0308`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `owl-kernel` (lib) due to 10 previous errors; 5 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]     --> src/cubical/driver/mod.rs:1037:16
[INFO] [stdout]      |
[INFO] [stdout] 1037 |         |acc, (n, t)| {
[INFO] [stdout]      |                ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0308, E0425, E0531.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0308`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `owl-kernel` (lib test) due to 10 previous errors; 6 warnings emitted
[INFO] [stdout] warning: unused variable: `base_iclos`
[INFO] [stdout]    --> src/cubical/nbe/hcomp.rs:448:58
[INFO] [stdout]     |
[INFO] [stdout] 448 |             (Value::VPath(a_elem, _, _), Value::VPLam(_, base_iclos)) => {
[INFO] [stdout]     |                                                          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_iclos`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_iclos`
[INFO] [stdout]     --> src/cubical/nbe/hcomp.rs:1929:58
[INFO] [stdout]      |
[INFO] [stdout] 1929 |             (Value::VPath(a_elem, _, _), Value::VPLam(_, base_iclos)) => {
[INFO] [stdout]      |                                                          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_iclos`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]     --> src/cubical/driver/mod.rs:1037:16
[INFO] [stdout]      |
[INFO] [stdout] 1037 |         |acc, (n, t)| {
[INFO] [stdout]      |                ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `captured_return_args` is never read
[INFO] [stdout]    --> src/cubical/parser/grammar.rs:319:44
[INFO] [stdout]     |
[INFO] [stdout] 319 |             let mut captured_return_args = Vec::new();
[INFO] [stdout]     |                                            ^^^^^^^^^^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 322 |                     captured_return_args = result_args.clone();
[INFO] [stdout]     |                     -------------------- `captured_return_args` is overwritten here before the previous value is read
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_iclos`
[INFO] [stdout]    --> src/cubical/nbe/hcomp.rs:448:58
[INFO] [stdout]     |
[INFO] [stdout] 448 |             (Value::VPath(a_elem, _, _), Value::VPLam(_, base_iclos)) => {
[INFO] [stdout]     |                                                          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_iclos`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_iclos`
[INFO] [stdout]     --> src/cubical/nbe/hcomp.rs:1929:58
[INFO] [stdout]      |
[INFO] [stdout] 1929 |             (Value::VPath(a_elem, _, _), Value::VPLam(_, base_iclos)) => {
[INFO] [stdout]      |                                                          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_iclos`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `captured_return_args` is never read
[INFO] [stdout]    --> src/cubical/parser/grammar.rs:319:44
[INFO] [stdout]     |
[INFO] [stdout] 319 |             let mut captured_return_args = Vec::new();
[INFO] [stdout]     |                                            ^^^^^^^^^^ this value is reassigned later and never used
[INFO] [stdout] ...
[INFO] [stdout] 322 |                     captured_return_args = result_args.clone();
[INFO] [stdout]     |                     -------------------- `captured_return_args` is overwritten here before the previous value is read
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `find_instance` is never used
[INFO] [stdout]   --> src/cubical/env.rs:82:12
[INFO] [stdout]    |
[INFO] [stdout] 42 | impl Env {
[INFO] [stdout]    | -------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 82 |     pub fn find_instance(&self, target_ty: &Term, session: &mut Session) -> Option<Term> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `is_dot` and `dot_con` are never used
[INFO] [stdout]   --> src/cubical/parser/patterns.rs:39:12
[INFO] [stdout]    |
[INFO] [stdout] 28 | impl Pat {
[INFO] [stdout]    | -------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 39 |     pub fn is_dot(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 44 |     pub fn dot_con(&self) -> Option<&str> {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `has_path_app`, `with_expr`, and `with_name` are never read
[INFO] [stdout]    --> src/cubical/parser/patterns.rs:177:9
[INFO] [stdout]     |
[INFO] [stdout] 169 | pub struct MatchArm {
[INFO] [stdout]     |            -------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 177 |     pub has_path_app: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 180 |     pub with_expr: Option<Term>,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 181 |     /// The `as` name from the `with` clause (`as y` in `with e as y`).
[INFO] [stdout] 182 |     pub with_name: Option<Name>,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `MatchArm` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `interval_is_concrete` is never used
[INFO] [stdout]    --> src/cubical/session.rs:261:12
[INFO] [stdout]     |
[INFO] [stdout] 101 | impl Session {
[INFO] [stdout]     | ------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 261 |     pub fn interval_is_concrete(&self, level: usize, endpoint: &I) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Level` is never used
[INFO] [stdout]   --> src/cubical/syntax/mod.rs:16:10
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub type Level = i32;
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `eval_or_default`, `is_concrete`, and `subst` are never used
[INFO] [stdout]    --> src/cubical/syntax/mod.rs:64:12
[INFO] [stdout]     |
[INFO] [stdout]  46 | impl LevelExpr {
[INFO] [stdout]     | -------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  64 |     pub fn eval_or_default(&self, ctx: &[i32]) -> i32 {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  93 |     pub fn is_concrete(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 119 |     pub fn subst(j: i32, s: &LevelExpr, l: &LevelExpr) -> LevelExpr {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `check_str` is never used
[INFO] [stdout]   --> src/cubical/driver/tests/mod.rs:17:15
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub(super) fn check_str(source: &str) -> Result<(), RunError> {
[INFO] [stdout]    |               ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `find_instance` is never used
[INFO] [stdout]   --> src/cubical/env.rs:82:12
[INFO] [stdout]    |
[INFO] [stdout] 42 | impl Env {
[INFO] [stdout]    | -------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 82 |     pub fn find_instance(&self, target_ty: &Term, session: &mut Session) -> Option<Term> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `is_dot` and `dot_con` are never used
[INFO] [stdout]   --> src/cubical/parser/patterns.rs:39:12
[INFO] [stdout]    |
[INFO] [stdout] 28 | impl Pat {
[INFO] [stdout]    | -------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 39 |     pub fn is_dot(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 44 |     pub fn dot_con(&self) -> Option<&str> {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `has_path_app`, `with_expr`, and `with_name` are never read
[INFO] [stdout]    --> src/cubical/parser/patterns.rs:177:9
[INFO] [stdout]     |
[INFO] [stdout] 169 | pub struct MatchArm {
[INFO] [stdout]     |            -------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 177 |     pub has_path_app: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 180 |     pub with_expr: Option<Term>,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 181 |     /// The `as` name from the `with` clause (`as y` in `with e as y`).
[INFO] [stdout] 182 |     pub with_name: Option<Name>,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `MatchArm` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `interval_is_concrete` is never used
[INFO] [stdout]    --> src/cubical/session.rs:261:12
[INFO] [stdout]     |
[INFO] [stdout] 101 | impl Session {
[INFO] [stdout]     | ------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 261 |     pub fn interval_is_concrete(&self, level: usize, endpoint: &I) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Level` is never used
[INFO] [stdout]   --> src/cubical/syntax/mod.rs:16:10
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub type Level = i32;
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `eval_or_default`, `is_concrete`, and `subst` are never used
[INFO] [stdout]    --> src/cubical/syntax/mod.rs:64:12
[INFO] [stdout]     |
[INFO] [stdout]  46 | impl LevelExpr {
[INFO] [stdout]     | -------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  64 |     pub fn eval_or_default(&self, ctx: &[i32]) -> i32 {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  93 |     pub fn is_concrete(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 119 |     pub fn subst(j: i32, s: &LevelExpr, l: &LevelExpr) -> LevelExpr {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "0b41d4d8dac2a9f6a328568133ccf02c227cc6a860f2e685dd7554777f7abb28", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0b41d4d8dac2a9f6a328568133ccf02c227cc6a860f2e685dd7554777f7abb28", kill_on_drop: false }`
[INFO] [stdout] 0b41d4d8dac2a9f6a328568133ccf02c227cc6a860f2e685dd7554777f7abb28
