[INFO] cloning repository https://github.com/yportne13/normalization_bench_rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/yportne13/normalization_bench_rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Fnormalization_bench_rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Fnormalization_bench_rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 4c48eccbf0a555134e44e826a130cd73081951ff
[INFO] testing yportne13/normalization_bench_rs against master#2fd6efc32704647e64d3d646d21c4c68eae100e4 for pr-149852-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Fnormalization_bench_rs" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/yportne13/normalization_bench_rs
[INFO] finished tweaking git repo https://github.com/yportne13/normalization_bench_rs
[INFO] tweaked toml for git repo https://github.com/yportne13/normalization_bench_rs written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/yportne13/normalization_bench_rs on toolchain 2fd6efc32704647e64d3d646d21c4c68eae100e4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/yportne13/normalization_bench_rs 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" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 44c41149632b95ef1c5c9aad9c08bca83ebc2e6670e0e32a1d126885d975371f
[INFO] running `Command { std: "docker" "start" "-a" "44c41149632b95ef1c5c9aad9c08bca83ebc2e6670e0e32a1d126885d975371f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "44c41149632b95ef1c5c9aad9c08bca83ebc2e6670e0e32a1d126885d975371f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "44c41149632b95ef1c5c9aad9c08bca83ebc2e6670e0e32a1d126885d975371f", kill_on_drop: false }`
[INFO] [stdout] 44c41149632b95ef1c5c9aad9c08bca83ebc2e6670e0e32a1d126885d975371f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 71a894e6f3da523980283b9adbc310ac9fc0476ef7b1b52de68798929705a613
[INFO] running `Command { std: "docker" "start" "-a" "71a894e6f3da523980283b9adbc310ac9fc0476ef7b1b52de68798929705a613", kill_on_drop: false }`
[INFO] [stderr]    Compiling normalization_bench_rs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> src/locally.rs:4:33
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::collections::{HashMap, HashSet};
[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::hash::Hash`
[INFO] [stdout]  --> src/locally.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use std::hash::Hash;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x_`
[INFO] [stdout]    --> src/nbe_closure_dt.rs:206:36
[INFO] [stdout]     |
[INFO] [stdout] 206 |         (Raw::Lam(x, t), Value::Pi(x_, a_, b)) => {
[INFO] [stdout]     |                                    ^^ help: if this is intentional, prefix it with an underscore: `_x_`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `u`
[INFO] [stdout]    --> src/dt.rs:124:9
[INFO] [stdout]     |
[INFO] [stdout] 124 |     let u = infer_type(ctx, t)?;
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_u`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/dt.rs:132:13
[INFO] [stdout]     |
[INFO] [stdout] 132 | fn infer_pi(ctx: &mut Context, e: &Rc<Expr>) -> Result<(Variable, Rc<Expr>, Rc<Expr>), String> {
[INFO] [stdout]     |             ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/dt.rs:143:16
[INFO] [stdout]     |
[INFO] [stdout] 143 | fn check_equal(ctx: &mut Context, e1: &Rc<Expr>, e2: &Rc<Expr>) -> Result<(), String> {
[INFO] [stdout]     |                ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Raw` is never used
[INFO] [stdout]  --> src/nbe_closure_dt.rs:4:6
[INFO] [stdout]   |
[INFO] [stdout] 4 | enum Raw {
[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 `apply` is never used
[INFO] [stdout]   --> src/nbe_closure_dt.rs:37:8
[INFO] [stdout]    |
[INFO] [stdout] 36 | impl Closure {
[INFO] [stdout]    | ------------ method in this implementation
[INFO] [stdout] 37 |     fn apply(self, arg: Value) -> Value {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `apply_val` is never used
[INFO] [stdout]   --> src/nbe_closure_dt.rs:76:4
[INFO] [stdout]    |
[INFO] [stdout] 76 | fn apply_val(vf: Value, va: Value) -> Value {
[INFO] [stdout]    |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `conv` is never used
[INFO] [stdout]    --> src/nbe_closure_dt.rs:123:4
[INFO] [stdout]     |
[INFO] [stdout] 123 | fn conv(l: usize, t: &Value, u: &Value) -> bool {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Cxt` is never constructed
[INFO] [stdout]    --> src/nbe_closure_dt.rs:142:8
[INFO] [stdout]     |
[INFO] [stdout] 142 | struct Cxt {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `empty`, `bind`, and `define` are never used
[INFO] [stdout]    --> src/nbe_closure_dt.rs:150:8
[INFO] [stdout]     |
[INFO] [stdout] 149 | impl Cxt {
[INFO] [stdout]     | -------- associated items in this implementation
[INFO] [stdout] 150 |     fn empty(pos: usize) -> Self {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 160 |     fn bind(&self, x: String, a: Value) -> Self {
[INFO] [stdout]     |        ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 174 |     fn define(&self, x: String, t: Value, a: Value) -> Self {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `report` is never used
[INFO] [stdout]    --> src/nbe_closure_dt.rs:186:4
[INFO] [stdout]     |
[INFO] [stdout] 186 | fn report(cxt: &Cxt, msg: &str) -> Result<(Term, Value), (String, usize)> {
[INFO] [stdout]     |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `check` is never used
[INFO] [stdout]    --> src/nbe_closure_dt.rs:199:4
[INFO] [stdout]     |
[INFO] [stdout] 199 | fn check(cxt: &Cxt, t: &Raw, a: &Value) -> Result<Term, (String, usize)> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `infer` is never used
[INFO] [stdout]    --> src/nbe_closure_dt.rs:242:4
[INFO] [stdout]     |
[INFO] [stdout] 242 | fn infer(cxt: &Cxt, t: &Raw) -> Result<(Term, Value), (String, usize)> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Term` is never used
[INFO] [stdout]  --> src/locally.rs:8:6
[INFO] [stdout]   |
[INFO] [stdout] 8 | enum Term<A> {
[INFO] [stdout]   |      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `app` is never used
[INFO] [stdout]   --> src/locally.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 24 | impl<A> Term<A> {
[INFO] [stdout]    | --------------- method in this implementation
[INFO] [stdout] 25 |     fn app(self, other: Term<A>) -> Term<A> {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Var` is never used
[INFO] [stdout]   --> src/locally.rs:31:6
[INFO] [stdout]    |
[INFO] [stdout] 31 | enum Var<A> {
[INFO] [stdout]    |      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `to_locally_nameless` is never used
[INFO] [stdout]   --> src/locally.rs:45:4
[INFO] [stdout]    |
[INFO] [stdout] 45 | fn to_locally_nameless<A: Ord + std::hash::Hash + Eq + Clone>(term: &Term<A>, env: &mut HashMap<A, i32>) -> Term<Var<A>> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `from_locally_nameless` is never used
[INFO] [stdout]   --> src/locally.rs:64:4
[INFO] [stdout]    |
[INFO] [stdout] 64 | fn from_locally_nameless<A: std::hash::Hash + Eq + Clone>(term: &Term<Var<A>>, env: &mut HashMap<i32, A>) -> Result<Term<A>, String> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `open` is never used
[INFO] [stdout]   --> src/locally.rs:93:4
[INFO] [stdout]    |
[INFO] [stdout] 93 | fn open<A: std::hash::Hash + Eq + Clone>(image: &Term<Var<A>>, scope: &Term<Var<A>>) -> Term<Var<A>> {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `whnf` is never used
[INFO] [stdout]    --> src/locally.rs:109:4
[INFO] [stdout]     |
[INFO] [stdout] 109 | fn whnf<A: std::hash::Hash + Eq + Clone>(term: &Term<Var<A>>, mut vec: Vec<Term<Var<A>>>) -> Term<Var<A>> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `full` is never used
[INFO] [stdout]    --> src/locally.rs:135:4
[INFO] [stdout]     |
[INFO] [stdout] 135 | fn full(x: Term<String>) -> Term<String> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Expr` is never used
[INFO] [stdout]  --> src/dt.rs:5:6
[INFO] [stdout]   |
[INFO] [stdout] 5 | enum Expr {
[INFO] [stdout]   |      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Abstraction` is never constructed
[INFO] [stdout]   --> src/dt.rs:14:8
[INFO] [stdout]    |
[INFO] [stdout] 14 | struct Abstraction {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Variable` is never used
[INFO] [stdout]   --> src/dt.rs:21:6
[INFO] [stdout]    |
[INFO] [stdout] 21 | enum Variable {
[INFO] [stdout]    |      ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Context` is never constructed
[INFO] [stdout]   --> src/dt.rs:28:8
[INFO] [stdout]    |
[INFO] [stdout] 28 | struct Context {
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `lookup_ty`, `lookup_value`, and `extend` are never used
[INFO] [stdout]   --> src/dt.rs:33:8
[INFO] [stdout]    |
[INFO] [stdout] 32 | impl Context {
[INFO] [stdout]    | ------------ associated items in this implementation
[INFO] [stdout] 33 |     fn new() -> Self {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 39 |     fn lookup_ty(&self, x: &Variable) -> Option<&Rc<Expr>> {
[INFO] [stdout]    |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 43 |     fn lookup_value(&self, x: &Variable) -> Option<&Option<Rc<Expr>>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 47 |     fn extend(&mut self, x: Variable, ty: Rc<Expr>, value: Option<Rc<Expr>>) {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `refresh` is never used
[INFO] [stdout]   --> src/dt.rs:52:4
[INFO] [stdout]    |
[INFO] [stdout] 52 | fn refresh(x: &Variable) -> Variable {
[INFO] [stdout]    |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `subst` is never used
[INFO] [stdout]   --> src/dt.rs:63:4
[INFO] [stdout]    |
[INFO] [stdout] 63 | fn subst(s: &HashMap<Variable, Rc<Expr>>, e: &Rc<Expr>) -> Rc<Expr> {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `subst_abstraction` is never used
[INFO] [stdout]   --> src/dt.rs:73:4
[INFO] [stdout]    |
[INFO] [stdout] 73 | fn subst_abstraction(s: &HashMap<Variable, Rc<Expr>>, a: &Abstraction) -> Abstraction {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `infer_type` is never used
[INFO] [stdout]   --> src/dt.rs:87:4
[INFO] [stdout]    |
[INFO] [stdout] 87 | fn infer_type(ctx: &mut Context, e: &Rc<Expr>) -> Result<Rc<Expr>, String> {
[INFO] [stdout]    |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `infer_universe` is never used
[INFO] [stdout]    --> src/dt.rs:123:4
[INFO] [stdout]     |
[INFO] [stdout] 123 | fn infer_universe(ctx: &mut Context, t: &Rc<Expr>) -> Result<i32, String> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `infer_pi` is never used
[INFO] [stdout]    --> src/dt.rs:132:4
[INFO] [stdout]     |
[INFO] [stdout] 132 | fn infer_pi(ctx: &mut Context, e: &Rc<Expr>) -> Result<(Variable, Rc<Expr>, Rc<Expr>), String> {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `check_equal` is never used
[INFO] [stdout]    --> src/dt.rs:143:4
[INFO] [stdout]     |
[INFO] [stdout] 143 | fn check_equal(ctx: &mut Context, e1: &Rc<Expr>, e2: &Rc<Expr>) -> Result<(), String> {
[INFO] [stdout]     |    ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `PathId` is never used
[INFO] [stdout]  --> src/parser.rs:3:10
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub type PathId = u32;
[INFO] [stdout]   |          ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Span` is never constructed
[INFO] [stdout]  --> src/parser.rs:6:12
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub struct Span<T> {
[INFO] [stdout]   |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `ToSpan` is never used
[INFO] [stdout]   --> src/parser.rs:13:11
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub trait ToSpan<'a> {
[INFO] [stdout]    |           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]   --> src/parser.rs:30:12
[INFO] [stdout]    |
[INFO] [stdout] 29 | impl<T> Span<T> {
[INFO] [stdout]    | --------------- methods in this implementation
[INFO] [stdout] 30 |     pub fn map<U>(self, f: impl Fn(T) -> U) -> Span<U> {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 38 |     pub fn len(&self) -> u32 {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 41 |     pub fn is_empty(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 44 |     pub fn contains(&self, offset: usize) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 47 |     pub fn diagnostic<U: AsRef<str>>(&self, severity: Severity, msg: U) -> Diagnostic {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 56 |     pub fn error<U: AsRef<str>>(&self, msg: U) -> Diagnostic {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 59 |     pub fn warning<U: AsRef<str>>(&self, msg: U) -> Diagnostic {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 62 |     pub fn info<U: AsRef<str>>(&self, msg: U) -> Diagnostic {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 65 |     pub fn note<U: AsRef<str>>(&self, msg: U) -> (PathId, u32, u32, String) {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Severity` is never used
[INFO] [stdout]    --> src/parser.rs:105:10
[INFO] [stdout]     |
[INFO] [stdout] 105 | pub enum Severity {
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Diagnostic` is never constructed
[INFO] [stdout]    --> src/parser.rs:112:12
[INFO] [stdout]     |
[INFO] [stdout] 112 | pub struct Diagnostic {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `with_note` is never used
[INFO] [stdout]    --> src/parser.rs:121:12
[INFO] [stdout]     |
[INFO] [stdout] 120 | impl Diagnostic {
[INFO] [stdout]     | --------------- method in this implementation
[INFO] [stdout] 121 |     pub fn with_note(mut self, note: (PathId, u32, u32, String)) -> Diagnostic {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `with`, `or`, `map`, `option`, and `many0_sep` are never used
[INFO] [stdout]    --> src/parser.rs:129:8
[INFO] [stdout]     |
[INFO] [stdout] 127 | pub trait Parser<I: Copy, A>: Sized + Copy {
[INFO] [stdout]     |           ------ methods in this trait
[INFO] [stdout] 128 |     fn parse(&self, input: I) -> Option<(I, A)>;
[INFO] [stdout] 129 |     fn with<P, B>(self, rhs: P) -> impl Parser<I, (A, B)>
[INFO] [stdout]     |        ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 140 |     fn or<P>(self, rhs: P) -> impl Parser<I, A>
[INFO] [stdout]     |        ^^
[INFO] [stdout] ...
[INFO] [stdout] 146 |     fn map<B, F>(self, f: F) -> impl Parser<I, B>
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 155 |     fn option(self) -> impl Parser<I, Option<A>> {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 173 |     fn many0_sep<P, X>(self, sep: P) -> impl Parser<I, Vec<A>>
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Input` is never used
[INFO] [stdout]    --> src/parser.rs:211:10
[INFO] [stdout]     |
[INFO] [stdout] 211 | pub type Input<'a> = Span<&'a str>;
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Maybe` is never used
[INFO] [stdout]    --> src/parser.rs:214:10
[INFO] [stdout]     |
[INFO] [stdout] 214 | pub enum Maybe<T, E> {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `map`, `and_then`, and `unwrap_or_else` are never used
[INFO] [stdout]    --> src/parser.rs:231:12
[INFO] [stdout]     |
[INFO] [stdout] 230 | impl<T, E> Maybe<T, E> {
[INFO] [stdout]     | ---------------------- methods in this implementation
[INFO] [stdout] 231 |     pub fn map<U, F>(self, mut f: F) -> Maybe<U, E>
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 240 |     pub fn and_then<U, F>(self, f: F) -> Maybe<U, E>
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 249 |     pub fn unwrap_or_else<F>(self, f: F) -> T
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `raise_err` is never used
[INFO] [stdout]    --> src/parser.rs:261:12
[INFO] [stdout]     |
[INFO] [stdout] 260 | impl<T, E: Debug> Maybe<T, E> {
[INFO] [stdout]     | ----------------------------- method in this implementation
[INFO] [stdout] 261 |     pub fn raise_err(self, err: &mut Vec<Diagnostic>) -> Self {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `maybe` is never used
[INFO] [stdout]    --> src/parser.rs:281:8
[INFO] [stdout]     |
[INFO] [stdout] 281 | pub fn maybe<'a: 'b, 'b, T, P, N: 'a + Copy, E: Copy>(
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `pmatch` is never used
[INFO] [stdout]    --> src/parser.rs:296:8
[INFO] [stdout]     |
[INFO] [stdout] 296 | pub fn pmatch<'a, P: Pattern + Copy>(pat: P) -> impl Parser<Input<'a>, Span<&'a str>> {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is` is never used
[INFO] [stdout]    --> src/parser.rs:320:8
[INFO] [stdout]     |
[INFO] [stdout] 320 | pub fn is<'a, P: Pattern + Copy>(pat: P) -> impl Parser<Input<'a>, Span<&'a str>> {
[INFO] [stdout]     |        ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `AstDebug` is never used
[INFO] [stdout]    --> src/parser.rs:341:11
[INFO] [stdout]     |
[INFO] [stdout] 341 | pub trait AstDebug {
[INFO] [stdout]     |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Var` is never used
[INFO] [stdout]  --> src/pattern.rs:6:6
[INFO] [stdout]   |
[INFO] [stdout] 6 | type Var = i32;
[INFO] [stdout]   |      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `TypeName` is never used
[INFO] [stdout]  --> src/pattern.rs:8:6
[INFO] [stdout]   |
[INFO] [stdout] 8 | type TypeName = String;
[INFO] [stdout]   |      ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Constructor` is never used
[INFO] [stdout]  --> src/pattern.rs:9:6
[INFO] [stdout]   |
[INFO] [stdout] 9 | type Constructor = String;
[INFO] [stdout]   |      ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Type` is never used
[INFO] [stdout]   --> src/pattern.rs:12:10
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub enum Type {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Pattern` is never used
[INFO] [stdout]   --> src/pattern.rs:18:10
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub enum Pattern {
[INFO] [stdout]    |          ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `MatchBody` is never used
[INFO] [stdout]   --> src/pattern.rs:24:6
[INFO] [stdout]    |
[INFO] [stdout] 24 | type MatchBody = i32;
[INFO] [stdout]    |      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `DecisionTree` is never used
[INFO] [stdout]   --> src/pattern.rs:27:10
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub enum DecisionTree {
[INFO] [stdout]    |          ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Warning` is never used
[INFO] [stdout]   --> src/pattern.rs:34:10
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub enum Warning {
[INFO] [stdout]    |          ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Compiler` is never constructed
[INFO] [stdout]   --> src/pattern.rs:39:12
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub struct Compiler {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `fresh`, `fill_context`, `next_hole`, `compile_aux`, and `compile` are never used
[INFO] [stdout]    --> src/pattern.rs:47:12
[INFO] [stdout]     |
[INFO] [stdout]  46 | impl Compiler {
[INFO] [stdout]     | ------------- associated items in this implementation
[INFO] [stdout]  47 |     pub fn new() -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  59 |     fn fresh(&mut self) -> i32 {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  64 |     fn fill_context(ctx: &MatchContext, pat: &Pattern) -> Pattern {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  82 |     fn next_hole(ctx: &MatchContext, pat: &Pattern) -> MatchContext {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 104 |     fn compile_aux(
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 218 |     pub fn compile(&mut self, typ: &Type, arms: &[(Pattern, MatchBody)]) -> (Rc<DecisionTree>, Vec<Warning>) {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `MatchContext` is never used
[INFO] [stdout]    --> src/pattern.rs:246:6
[INFO] [stdout]     |
[INFO] [stdout] 246 | enum MatchContext {
[INFO] [stdout]     |      ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `MatchArm` is never constructed
[INFO] [stdout]    --> src/pattern.rs:257:8
[INFO] [stdout]     |
[INFO] [stdout] 257 | struct MatchArm {
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.68s
[INFO] running `Command { std: "docker" "inspect" "71a894e6f3da523980283b9adbc310ac9fc0476ef7b1b52de68798929705a613", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "71a894e6f3da523980283b9adbc310ac9fc0476ef7b1b52de68798929705a613", kill_on_drop: false }`
[INFO] [stdout] 71a894e6f3da523980283b9adbc310ac9fc0476ef7b1b52de68798929705a613
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1eadc4f0afb98759a13f051a51150a495a041218ff6c1e12d66ce81cae2c242e
[INFO] running `Command { std: "docker" "start" "-a" "1eadc4f0afb98759a13f051a51150a495a041218ff6c1e12d66ce81cae2c242e", kill_on_drop: false }`
[INFO] [stderr]    Compiling normalization_bench_rs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> src/locally.rs:4:33
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::collections::{HashMap, HashSet};
[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::hash::Hash`
[INFO] [stdout]  --> src/locally.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use std::hash::Hash;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x_`
[INFO] [stdout]    --> src/nbe_closure_dt.rs:206:36
[INFO] [stdout]     |
[INFO] [stdout] 206 |         (Raw::Lam(x, t), Value::Pi(x_, a_, b)) => {
[INFO] [stdout]     |                                    ^^ help: if this is intentional, prefix it with an underscore: `_x_`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `u`
[INFO] [stdout]    --> src/dt.rs:124:9
[INFO] [stdout]     |
[INFO] [stdout] 124 |     let u = infer_type(ctx, t)?;
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_u`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/dt.rs:132:13
[INFO] [stdout]     |
[INFO] [stdout] 132 | fn infer_pi(ctx: &mut Context, e: &Rc<Expr>) -> Result<(Variable, Rc<Expr>, Rc<Expr>), String> {
[INFO] [stdout]     |             ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]    --> src/dt.rs:143:16
[INFO] [stdout]     |
[INFO] [stdout] 143 | fn check_equal(ctx: &mut Context, e1: &Rc<Expr>, e2: &Rc<Expr>) -> Result<(), String> {
[INFO] [stdout]     |                ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `either_type`
[INFO] [stdout]    --> src/pattern.rs:267:9
[INFO] [stdout]     |
[INFO] [stdout] 267 |     let either_type = |x: Type, y: Type| Type::Cons("either".to_string(), vec![("Left".to_string(), vec![x]), ("Right".to_string(),...
[INFO] [stdout]     |         ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_either_type`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p_left`
[INFO] [stdout]    --> src/pattern.rs:276:9
[INFO] [stdout]     |
[INFO] [stdout] 276 |     let p_left = |p: Pattern| Pattern::PCon("Left".to_string(), vec![p]);
[INFO] [stdout]     |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_p_left`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p_right`
[INFO] [stdout]    --> src/pattern.rs:277:9
[INFO] [stdout]     |
[INFO] [stdout] 277 |     let p_right = |p: Pattern| Pattern::PCon("Right".to_string(), vec![p]);
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_p_right`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex1`
[INFO] [stdout]    --> src/pattern.rs:282:9
[INFO] [stdout]     |
[INFO] [stdout] 282 |     let ex1 = (
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ex1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex2`
[INFO] [stdout]    --> src/pattern.rs:287:9
[INFO] [stdout]     |
[INFO] [stdout] 287 |     let ex2 = (
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ex2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex3`
[INFO] [stdout]    --> src/pattern.rs:292:9
[INFO] [stdout]     |
[INFO] [stdout] 292 |     let ex3 = (
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ex3`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex4`
[INFO] [stdout]    --> src/pattern.rs:302:9
[INFO] [stdout]     |
[INFO] [stdout] 302 |     let ex4 = (
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ex4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex5`
[INFO] [stdout]    --> src/pattern.rs:311:9
[INFO] [stdout]     |
[INFO] [stdout] 311 |     let ex5 = (
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ex5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex6`
[INFO] [stdout]    --> src/pattern.rs:319:9
[INFO] [stdout]     |
[INFO] [stdout] 319 |     let ex6 = (
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ex6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ex8`
[INFO] [stdout]    --> src/pattern.rs:340:9
[INFO] [stdout]     |
[INFO] [stdout] 340 |     let ex8 = (
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ex8`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Raw` is never used
[INFO] [stdout]  --> src/nbe_closure_dt.rs:4:6
[INFO] [stdout]   |
[INFO] [stdout] 4 | enum Raw {
[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 `apply` is never used
[INFO] [stdout]   --> src/nbe_closure_dt.rs:37:8
[INFO] [stdout]    |
[INFO] [stdout] 36 | impl Closure {
[INFO] [stdout]    | ------------ method in this implementation
[INFO] [stdout] 37 |     fn apply(self, arg: Value) -> Value {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `apply_val` is never used
[INFO] [stdout]   --> src/nbe_closure_dt.rs:76:4
[INFO] [stdout]    |
[INFO] [stdout] 76 | fn apply_val(vf: Value, va: Value) -> Value {
[INFO] [stdout]    |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `conv` is never used
[INFO] [stdout]    --> src/nbe_closure_dt.rs:123:4
[INFO] [stdout]     |
[INFO] [stdout] 123 | fn conv(l: usize, t: &Value, u: &Value) -> bool {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Cxt` is never constructed
[INFO] [stdout]    --> src/nbe_closure_dt.rs:142:8
[INFO] [stdout]     |
[INFO] [stdout] 142 | struct Cxt {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `empty`, `bind`, and `define` are never used
[INFO] [stdout]    --> src/nbe_closure_dt.rs:150:8
[INFO] [stdout]     |
[INFO] [stdout] 149 | impl Cxt {
[INFO] [stdout]     | -------- associated items in this implementation
[INFO] [stdout] 150 |     fn empty(pos: usize) -> Self {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 160 |     fn bind(&self, x: String, a: Value) -> Self {
[INFO] [stdout]     |        ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 174 |     fn define(&self, x: String, t: Value, a: Value) -> Self {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `report` is never used
[INFO] [stdout]    --> src/nbe_closure_dt.rs:186:4
[INFO] [stdout]     |
[INFO] [stdout] 186 | fn report(cxt: &Cxt, msg: &str) -> Result<(Term, Value), (String, usize)> {
[INFO] [stdout]     |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `check` is never used
[INFO] [stdout]    --> src/nbe_closure_dt.rs:199:4
[INFO] [stdout]     |
[INFO] [stdout] 199 | fn check(cxt: &Cxt, t: &Raw, a: &Value) -> Result<Term, (String, usize)> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `infer` is never used
[INFO] [stdout]    --> src/nbe_closure_dt.rs:242:4
[INFO] [stdout]     |
[INFO] [stdout] 242 | fn infer(cxt: &Cxt, t: &Raw) -> Result<(Term, Value), (String, usize)> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Dummy` is never constructed
[INFO] [stdout]   --> src/dt.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 21 | enum Variable {
[INFO] [stdout]    |      -------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 24 |     Dummy,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Variable` 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 `lookup_value` is never used
[INFO] [stdout]   --> src/dt.rs:43:8
[INFO] [stdout]    |
[INFO] [stdout] 32 | impl Context {
[INFO] [stdout]    | ------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 43 |     fn lookup_value(&self, x: &Variable) -> Option<&Option<Rc<Expr>>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `PathId` is never used
[INFO] [stdout]  --> src/parser.rs:3:10
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub type PathId = u32;
[INFO] [stdout]   |          ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Span` is never constructed
[INFO] [stdout]  --> src/parser.rs:6:12
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub struct Span<T> {
[INFO] [stdout]   |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `ToSpan` is never used
[INFO] [stdout]   --> src/parser.rs:13:11
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub trait ToSpan<'a> {
[INFO] [stdout]    |           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]   --> src/parser.rs:30:12
[INFO] [stdout]    |
[INFO] [stdout] 29 | impl<T> Span<T> {
[INFO] [stdout]    | --------------- methods in this implementation
[INFO] [stdout] 30 |     pub fn map<U>(self, f: impl Fn(T) -> U) -> Span<U> {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 38 |     pub fn len(&self) -> u32 {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 41 |     pub fn is_empty(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 44 |     pub fn contains(&self, offset: usize) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 47 |     pub fn diagnostic<U: AsRef<str>>(&self, severity: Severity, msg: U) -> Diagnostic {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 56 |     pub fn error<U: AsRef<str>>(&self, msg: U) -> Diagnostic {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 59 |     pub fn warning<U: AsRef<str>>(&self, msg: U) -> Diagnostic {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 62 |     pub fn info<U: AsRef<str>>(&self, msg: U) -> Diagnostic {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 65 |     pub fn note<U: AsRef<str>>(&self, msg: U) -> (PathId, u32, u32, String) {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Severity` is never used
[INFO] [stdout]    --> src/parser.rs:105:10
[INFO] [stdout]     |
[INFO] [stdout] 105 | pub enum Severity {
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Diagnostic` is never constructed
[INFO] [stdout]    --> src/parser.rs:112:12
[INFO] [stdout]     |
[INFO] [stdout] 112 | pub struct Diagnostic {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `with_note` is never used
[INFO] [stdout]    --> src/parser.rs:121:12
[INFO] [stdout]     |
[INFO] [stdout] 120 | impl Diagnostic {
[INFO] [stdout]     | --------------- method in this implementation
[INFO] [stdout] 121 |     pub fn with_note(mut self, note: (PathId, u32, u32, String)) -> Diagnostic {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `with`, `or`, `map`, `option`, and `many0_sep` are never used
[INFO] [stdout]    --> src/parser.rs:129:8
[INFO] [stdout]     |
[INFO] [stdout] 127 | pub trait Parser<I: Copy, A>: Sized + Copy {
[INFO] [stdout]     |           ------ methods in this trait
[INFO] [stdout] 128 |     fn parse(&self, input: I) -> Option<(I, A)>;
[INFO] [stdout] 129 |     fn with<P, B>(self, rhs: P) -> impl Parser<I, (A, B)>
[INFO] [stdout]     |        ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 140 |     fn or<P>(self, rhs: P) -> impl Parser<I, A>
[INFO] [stdout]     |        ^^
[INFO] [stdout] ...
[INFO] [stdout] 146 |     fn map<B, F>(self, f: F) -> impl Parser<I, B>
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 155 |     fn option(self) -> impl Parser<I, Option<A>> {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 173 |     fn many0_sep<P, X>(self, sep: P) -> impl Parser<I, Vec<A>>
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Input` is never used
[INFO] [stdout]    --> src/parser.rs:211:10
[INFO] [stdout]     |
[INFO] [stdout] 211 | pub type Input<'a> = Span<&'a str>;
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Maybe` is never used
[INFO] [stdout]    --> src/parser.rs:214:10
[INFO] [stdout]     |
[INFO] [stdout] 214 | pub enum Maybe<T, E> {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `map`, `and_then`, and `unwrap_or_else` are never used
[INFO] [stdout]    --> src/parser.rs:231:12
[INFO] [stdout]     |
[INFO] [stdout] 230 | impl<T, E> Maybe<T, E> {
[INFO] [stdout]     | ---------------------- methods in this implementation
[INFO] [stdout] 231 |     pub fn map<U, F>(self, mut f: F) -> Maybe<U, E>
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 240 |     pub fn and_then<U, F>(self, f: F) -> Maybe<U, E>
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 249 |     pub fn unwrap_or_else<F>(self, f: F) -> T
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `raise_err` is never used
[INFO] [stdout]    --> src/parser.rs:261:12
[INFO] [stdout]     |
[INFO] [stdout] 260 | impl<T, E: Debug> Maybe<T, E> {
[INFO] [stdout]     | ----------------------------- method in this implementation
[INFO] [stdout] 261 |     pub fn raise_err(self, err: &mut Vec<Diagnostic>) -> Self {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `maybe` is never used
[INFO] [stdout]    --> src/parser.rs:281:8
[INFO] [stdout]     |
[INFO] [stdout] 281 | pub fn maybe<'a: 'b, 'b, T, P, N: 'a + Copy, E: Copy>(
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `pmatch` is never used
[INFO] [stdout]    --> src/parser.rs:296:8
[INFO] [stdout]     |
[INFO] [stdout] 296 | pub fn pmatch<'a, P: Pattern + Copy>(pat: P) -> impl Parser<Input<'a>, Span<&'a str>> {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is` is never used
[INFO] [stdout]    --> src/parser.rs:320:8
[INFO] [stdout]     |
[INFO] [stdout] 320 | pub fn is<'a, P: Pattern + Copy>(pat: P) -> impl Parser<Input<'a>, Span<&'a str>> {
[INFO] [stdout]     |        ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `AstDebug` is never used
[INFO] [stdout]    --> src/parser.rs:341:11
[INFO] [stdout]     |
[INFO] [stdout] 341 | pub trait AstDebug {
[INFO] [stdout]     |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/pattern.rs:29:10
[INFO] [stdout]    |
[INFO] [stdout] 29 |     Leaf(MatchBody),
[INFO] [stdout]    |     ---- ^^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `DecisionTree` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 29 -     Leaf(MatchBody),
[INFO] [stdout] 29 +     Leaf(()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]   --> src/pattern.rs:30:12
[INFO] [stdout]    |
[INFO] [stdout] 30 |     Branch(TypeName, Var, Vec<(Constructor, Vec<Var>, Rc<DecisionTree>)>),
[INFO] [stdout]    |     ------ ^^^^^^^^  ^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     fields in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `DecisionTree` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]    |
[INFO] [stdout] 30 -     Branch(TypeName, Var, Vec<(Constructor, Vec<Var>, Rc<DecisionTree>)>),
[INFO] [stdout] 30 +     Branch((), (), ()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/pattern.rs:35:17
[INFO] [stdout]    |
[INFO] [stdout] 35 |     Unreachable(MatchBody),
[INFO] [stdout]    |     ----------- ^^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Warning` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 35 -     Unreachable(MatchBody),
[INFO] [stdout] 35 +     Unreachable(()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/pattern.rs:36:15
[INFO] [stdout]    |
[INFO] [stdout] 36 |     Unmatched(Pattern),
[INFO] [stdout]    |     --------- ^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Warning` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 36 -     Unmatched(Pattern),
[INFO] [stdout] 36 +     Unmatched(()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.17s
[INFO] running `Command { std: "docker" "inspect" "1eadc4f0afb98759a13f051a51150a495a041218ff6c1e12d66ce81cae2c242e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1eadc4f0afb98759a13f051a51150a495a041218ff6c1e12d66ce81cae2c242e", kill_on_drop: false }`
[INFO] [stdout] 1eadc4f0afb98759a13f051a51150a495a041218ff6c1e12d66ce81cae2c242e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 96255eeed315f603460a4676966ce5adc1c2928c30b5fcbf9dd6a798f26f4944
[INFO] running `Command { std: "docker" "start" "-a" "96255eeed315f603460a4676966ce5adc1c2928c30b5fcbf9dd6a798f26f4944", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `HashSet`
[INFO] [stderr]  --> src/locally.rs:4:33
[INFO] [stderr]   |
[INFO] [stderr] 4 | use std::collections::{HashMap, HashSet};
[INFO] [stderr]   |                                 ^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::hash::Hash`
[INFO] [stderr]  --> src/locally.rs:5:5
[INFO] [stderr]   |
[INFO] [stderr] 5 | use std::hash::Hash;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `x_`
[INFO] [stderr]    --> src/nbe_closure_dt.rs:206:36
[INFO] [stderr]     |
[INFO] [stderr] 206 |         (Raw::Lam(x, t), Value::Pi(x_, a_, b)) => {
[INFO] [stderr]     |                                    ^^ help: if this is intentional, prefix it with an underscore: `_x_`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `u`
[INFO] [stderr]    --> src/dt.rs:124:9
[INFO] [stderr]     |
[INFO] [stderr] 124 |     let u = infer_type(ctx, t)?;
[INFO] [stderr]     |         ^ help: if this is intentional, prefix it with an underscore: `_u`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ctx`
[INFO] [stderr]    --> src/dt.rs:132:13
[INFO] [stderr]     |
[INFO] [stderr] 132 | fn infer_pi(ctx: &mut Context, e: &Rc<Expr>) -> Result<(Variable, Rc<Expr>, Rc<Expr>), String> {
[INFO] [stderr]     |             ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ctx`
[INFO] [stderr]    --> src/dt.rs:143:16
[INFO] [stderr]     |
[INFO] [stderr] 143 | fn check_equal(ctx: &mut Context, e1: &Rc<Expr>, e2: &Rc<Expr>) -> Result<(), String> {
[INFO] [stderr]     |                ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `either_type`
[INFO] [stderr]    --> src/pattern.rs:267:9
[INFO] [stderr]     |
[INFO] [stderr] 267 |     let either_type = |x: Type, y: Type| Type::Cons("either".to_string(), vec![("Left".to_string(), vec![x]), ("Right".to_string(),...
[INFO] [stderr]     |         ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_either_type`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `p_left`
[INFO] [stderr]    --> src/pattern.rs:276:9
[INFO] [stderr]     |
[INFO] [stderr] 276 |     let p_left = |p: Pattern| Pattern::PCon("Left".to_string(), vec![p]);
[INFO] [stderr]     |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_p_left`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `p_right`
[INFO] [stderr]    --> src/pattern.rs:277:9
[INFO] [stderr]     |
[INFO] [stderr] 277 |     let p_right = |p: Pattern| Pattern::PCon("Right".to_string(), vec![p]);
[INFO] [stderr]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_p_right`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex1`
[INFO] [stderr]    --> src/pattern.rs:282:9
[INFO] [stderr]     |
[INFO] [stderr] 282 |     let ex1 = (
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ex1`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex2`
[INFO] [stderr]    --> src/pattern.rs:287:9
[INFO] [stderr]     |
[INFO] [stderr] 287 |     let ex2 = (
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ex2`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex3`
[INFO] [stderr]    --> src/pattern.rs:292:9
[INFO] [stderr]     |
[INFO] [stderr] 292 |     let ex3 = (
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ex3`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex4`
[INFO] [stderr]    --> src/pattern.rs:302:9
[INFO] [stderr]     |
[INFO] [stderr] 302 |     let ex4 = (
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ex4`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex5`
[INFO] [stderr]    --> src/pattern.rs:311:9
[INFO] [stderr]     |
[INFO] [stderr] 311 |     let ex5 = (
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ex5`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex6`
[INFO] [stderr]    --> src/pattern.rs:319:9
[INFO] [stderr]     |
[INFO] [stderr] 319 |     let ex6 = (
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ex6`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ex8`
[INFO] [stderr]    --> src/pattern.rs:340:9
[INFO] [stderr]     |
[INFO] [stderr] 340 |     let ex8 = (
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ex8`
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Raw` is never used
[INFO] [stderr]  --> src/nbe_closure_dt.rs:4:6
[INFO] [stderr]   |
[INFO] [stderr] 4 | enum Raw {
[INFO] [stderr]   |      ^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method `apply` is never used
[INFO] [stderr]   --> src/nbe_closure_dt.rs:37:8
[INFO] [stderr]    |
[INFO] [stderr] 36 | impl Closure {
[INFO] [stderr]    | ------------ method in this implementation
[INFO] [stderr] 37 |     fn apply(self, arg: Value) -> Value {
[INFO] [stderr]    |        ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `apply_val` is never used
[INFO] [stderr]   --> src/nbe_closure_dt.rs:76:4
[INFO] [stderr]    |
[INFO] [stderr] 76 | fn apply_val(vf: Value, va: Value) -> Value {
[INFO] [stderr]    |    ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `conv` is never used
[INFO] [stderr]    --> src/nbe_closure_dt.rs:123:4
[INFO] [stderr]     |
[INFO] [stderr] 123 | fn conv(l: usize, t: &Value, u: &Value) -> bool {
[INFO] [stderr]     |    ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `Cxt` is never constructed
[INFO] [stderr]    --> src/nbe_closure_dt.rs:142:8
[INFO] [stderr]     |
[INFO] [stderr] 142 | struct Cxt {
[INFO] [stderr]     |        ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `empty`, `bind`, and `define` are never used
[INFO] [stderr]    --> src/nbe_closure_dt.rs:150:8
[INFO] [stderr]     |
[INFO] [stderr] 149 | impl Cxt {
[INFO] [stderr]     | -------- associated items in this implementation
[INFO] [stderr] 150 |     fn empty(pos: usize) -> Self {
[INFO] [stderr]     |        ^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 160 |     fn bind(&self, x: String, a: Value) -> Self {
[INFO] [stderr]     |        ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 174 |     fn define(&self, x: String, t: Value, a: Value) -> Self {
[INFO] [stderr]     |        ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `report` is never used
[INFO] [stderr]    --> src/nbe_closure_dt.rs:186:4
[INFO] [stderr]     |
[INFO] [stderr] 186 | fn report(cxt: &Cxt, msg: &str) -> Result<(Term, Value), (String, usize)> {
[INFO] [stderr]     |    ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `check` is never used
[INFO] [stderr]    --> src/nbe_closure_dt.rs:199:4
[INFO] [stderr]     |
[INFO] [stderr] 199 | fn check(cxt: &Cxt, t: &Raw, a: &Value) -> Result<Term, (String, usize)> {
[INFO] [stderr]     |    ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `infer` is never used
[INFO] [stderr]    --> src/nbe_closure_dt.rs:242:4
[INFO] [stderr]     |
[INFO] [stderr] 242 | fn infer(cxt: &Cxt, t: &Raw) -> Result<(Term, Value), (String, usize)> {
[INFO] [stderr]     |    ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant `Dummy` is never constructed
[INFO] [stderr]   --> src/dt.rs:24:5
[INFO] [stderr]    |
[INFO] [stderr] 21 | enum Variable {
[INFO] [stderr]    |      -------- variant in this enum
[INFO] [stderr] ...
[INFO] [stderr] 24 |     Dummy,
[INFO] [stderr]    |     ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Variable` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: method `lookup_value` is never used
[INFO] [stderr]   --> src/dt.rs:43:8
[INFO] [stderr]    |
[INFO] [stderr] 32 | impl Context {
[INFO] [stderr]    | ------------ method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 43 |     fn lookup_value(&self, x: &Variable) -> Option<&Option<Rc<Expr>>> {
[INFO] [stderr]    |        ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `PathId` is never used
[INFO] [stderr]  --> src/parser.rs:3:10
[INFO] [stderr]   |
[INFO] [stderr] 3 | pub type PathId = u32;
[INFO] [stderr]   |          ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `Span` is never constructed
[INFO] [stderr]  --> src/parser.rs:6:12
[INFO] [stderr]   |
[INFO] [stderr] 6 | pub struct Span<T> {
[INFO] [stderr]   |            ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `ToSpan` is never used
[INFO] [stderr]   --> src/parser.rs:13:11
[INFO] [stderr]    |
[INFO] [stderr] 13 | pub trait ToSpan<'a> {
[INFO] [stderr]    |           ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: multiple methods are never used
[INFO] [stderr]   --> src/parser.rs:30:12
[INFO] [stderr]    |
[INFO] [stderr] 29 | impl<T> Span<T> {
[INFO] [stderr]    | --------------- methods in this implementation
[INFO] [stderr] 30 |     pub fn map<U>(self, f: impl Fn(T) -> U) -> Span<U> {
[INFO] [stderr]    |            ^^^
[INFO] [stderr] ...
[INFO] [stderr] 38 |     pub fn len(&self) -> u32 {
[INFO] [stderr]    |            ^^^
[INFO] [stderr] ...
[INFO] [stderr] 41 |     pub fn is_empty(&self) -> bool {
[INFO] [stderr]    |            ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 44 |     pub fn contains(&self, offset: usize) -> bool {
[INFO] [stderr]    |            ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 47 |     pub fn diagnostic<U: AsRef<str>>(&self, severity: Severity, msg: U) -> Diagnostic {
[INFO] [stderr]    |            ^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 56 |     pub fn error<U: AsRef<str>>(&self, msg: U) -> Diagnostic {
[INFO] [stderr]    |            ^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 59 |     pub fn warning<U: AsRef<str>>(&self, msg: U) -> Diagnostic {
[INFO] [stderr]    |            ^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 62 |     pub fn info<U: AsRef<str>>(&self, msg: U) -> Diagnostic {
[INFO] [stderr]    |            ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 65 |     pub fn note<U: AsRef<str>>(&self, msg: U) -> (PathId, u32, u32, String) {
[INFO] [stderr]    |            ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Severity` is never used
[INFO] [stderr]    --> src/parser.rs:105:10
[INFO] [stderr]     |
[INFO] [stderr] 105 | pub enum Severity {
[INFO] [stderr]     |          ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `Diagnostic` is never constructed
[INFO] [stderr]    --> src/parser.rs:112:12
[INFO] [stderr]     |
[INFO] [stderr] 112 | pub struct Diagnostic {
[INFO] [stderr]     |            ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method `with_note` is never used
[INFO] [stderr]    --> src/parser.rs:121:12
[INFO] [stderr]     |
[INFO] [stderr] 120 | impl Diagnostic {
[INFO] [stderr]     | --------------- method in this implementation
[INFO] [stderr] 121 |     pub fn with_note(mut self, note: (PathId, u32, u32, String)) -> Diagnostic {
[INFO] [stderr]     |            ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: methods `with`, `or`, `map`, `option`, and `many0_sep` are never used
[INFO] [stderr]    --> src/parser.rs:129:8
[INFO] [stderr]     |
[INFO] [stderr] 127 | pub trait Parser<I: Copy, A>: Sized + Copy {
[INFO] [stderr]     |           ------ methods in this trait
[INFO] [stderr] 128 |     fn parse(&self, input: I) -> Option<(I, A)>;
[INFO] [stderr] 129 |     fn with<P, B>(self, rhs: P) -> impl Parser<I, (A, B)>
[INFO] [stderr]     |        ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 140 |     fn or<P>(self, rhs: P) -> impl Parser<I, A>
[INFO] [stderr]     |        ^^
[INFO] [stderr] ...
[INFO] [stderr] 146 |     fn map<B, F>(self, f: F) -> impl Parser<I, B>
[INFO] [stderr]     |        ^^^
[INFO] [stderr] ...
[INFO] [stderr] 155 |     fn option(self) -> impl Parser<I, Option<A>> {
[INFO] [stderr]     |        ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 173 |     fn many0_sep<P, X>(self, sep: P) -> impl Parser<I, Vec<A>>
[INFO] [stderr]     |        ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `Input` is never used
[INFO] [stderr]    --> src/parser.rs:211:10
[INFO] [stderr]     |
[INFO] [stderr] 211 | pub type Input<'a> = Span<&'a str>;
[INFO] [stderr]     |          ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Maybe` is never used
[INFO] [stderr]    --> src/parser.rs:214:10
[INFO] [stderr]     |
[INFO] [stderr] 214 | pub enum Maybe<T, E> {
[INFO] [stderr]     |          ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: methods `map`, `and_then`, and `unwrap_or_else` are never used
[INFO] [stderr]    --> src/parser.rs:231:12
[INFO] [stderr]     |
[INFO] [stderr] 230 | impl<T, E> Maybe<T, E> {
[INFO] [stderr]     | ---------------------- methods in this implementation
[INFO] [stderr] 231 |     pub fn map<U, F>(self, mut f: F) -> Maybe<U, E>
[INFO] [stderr]     |            ^^^
[INFO] [stderr] ...
[INFO] [stderr] 240 |     pub fn and_then<U, F>(self, f: F) -> Maybe<U, E>
[INFO] [stderr]     |            ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 249 |     pub fn unwrap_or_else<F>(self, f: F) -> T
[INFO] [stderr]     |            ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method `raise_err` is never used
[INFO] [stderr]    --> src/parser.rs:261:12
[INFO] [stderr]     |
[INFO] [stderr] 260 | impl<T, E: Debug> Maybe<T, E> {
[INFO] [stderr]     | ----------------------------- method in this implementation
[INFO] [stderr] 261 |     pub fn raise_err(self, err: &mut Vec<Diagnostic>) -> Self {
[INFO] [stderr]     |            ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `maybe` is never used
[INFO] [stderr]    --> src/parser.rs:281:8
[INFO] [stderr]     |
[INFO] [stderr] 281 | pub fn maybe<'a: 'b, 'b, T, P, N: 'a + Copy, E: Copy>(
[INFO] [stderr]     |        ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `pmatch` is never used
[INFO] [stderr]    --> src/parser.rs:296:8
[INFO] [stderr]     |
[INFO] [stderr] 296 | pub fn pmatch<'a, P: Pattern + Copy>(pat: P) -> impl Parser<Input<'a>, Span<&'a str>> {
[INFO] [stderr]     |        ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `is` is never used
[INFO] [stderr]    --> src/parser.rs:320:8
[INFO] [stderr]     |
[INFO] [stderr] 320 | pub fn is<'a, P: Pattern + Copy>(pat: P) -> impl Parser<Input<'a>, Span<&'a str>> {
[INFO] [stderr]     |        ^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `AstDebug` is never used
[INFO] [stderr]    --> src/parser.rs:341:11
[INFO] [stderr]     |
[INFO] [stderr] 341 | pub trait AstDebug {
[INFO] [stderr]     |           ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `0` is never read
[INFO] [stderr]   --> src/pattern.rs:29:10
[INFO] [stderr]    |
[INFO] [stderr] 29 |     Leaf(MatchBody),
[INFO] [stderr]    |     ---- ^^^^^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     field in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `DecisionTree` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stderr]    |
[INFO] [stderr] 29 -     Leaf(MatchBody),
[INFO] [stderr] 29 +     Leaf(()),
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: fields `0`, `1`, and `2` are never read
[INFO] [stderr]   --> src/pattern.rs:30:12
[INFO] [stderr]    |
[INFO] [stderr] 30 |     Branch(TypeName, Var, Vec<(Constructor, Vec<Var>, Rc<DecisionTree>)>),
[INFO] [stderr]    |     ------ ^^^^^^^^  ^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     fields in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `DecisionTree` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stderr]    |
[INFO] [stderr] 30 -     Branch(TypeName, Var, Vec<(Constructor, Vec<Var>, Rc<DecisionTree>)>),
[INFO] [stderr] 30 +     Branch((), (), ()),
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: field `0` is never read
[INFO] [stderr]   --> src/pattern.rs:35:17
[INFO] [stderr]    |
[INFO] [stderr] 35 |     Unreachable(MatchBody),
[INFO] [stderr]    |     ----------- ^^^^^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     field in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Warning` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stderr]    |
[INFO] [stderr] 35 -     Unreachable(MatchBody),
[INFO] [stderr] 35 +     Unreachable(()),
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: field `0` is never read
[INFO] [stderr]   --> src/pattern.rs:36:15
[INFO] [stderr]    |
[INFO] [stderr] 36 |     Unmatched(Pattern),
[INFO] [stderr]    |     --------- ^^^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     field in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Warning` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stderr]    |
[INFO] [stderr] 36 -     Unmatched(Pattern),
[INFO] [stderr] 36 +     Unmatched(()),
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: `normalization_bench_rs` (bin "normalization_bench_rs" test) generated 47 warnings (run `cargo fix --bin "normalization_bench_rs" -p normalization_bench_rs --tests` to apply 15 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/normalization_bench_rs-2836e70f450bc1c7)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test dt::main ... ok
[INFO] [stdout] test locally::test0 ... ok
[INFO] [stdout] test locally::test ... ok
[INFO] [stdout] test pattern::test ... ok
[INFO] [stdout] test dt::tests::test_complex_expression ... FAILED
[INFO] [stderr] error: test failed, to rerun pass `--bin normalization_bench_rs`
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- dt::tests::test_complex_expression stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'dt::tests::test_complex_expression' (25) panicked at src/dt.rs:217:23:
[INFO] [stdout] Error during type inference: Expected a Pi type but get App(Lambda(Abstraction { var: String("f"), typ: Pi(Abstraction { var: String("x"), typ: Universe(0), body: Universe(0) }), body: Lambda(Abstraction { var: String("x"), typ: Universe(0), body: App(Var(String("f")), App(Var(String("f")), Var(String("x")))) }) }), Lambda(Abstraction { var: String("y"), typ: Universe(0), body: Var(String("y")) }))
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55cb5db906e2 - std[716c9a7a72e5c14e]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x55cb5db906e2 - std[716c9a7a72e5c14e]::backtrace_rs::backtrace::trace_unsynchronized::<std[716c9a7a72e5c14e]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x55cb5db906e2 - std[716c9a7a72e5c14e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x55cb5db906e2 - <<std[716c9a7a72e5c14e]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[c5ed12ab89cc536a]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x55cb5dba536a - <core[c5ed12ab89cc536a]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x55cb5dba536a - core[c5ed12ab89cc536a]::fmt::write
[INFO] [stdout]    6:     0x55cb5db95516 - std[716c9a7a72e5c14e]::io::default_write_fmt::<alloc[9c68fdf4f4f29218]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x55cb5db95516 - <alloc[9c68fdf4f4f29218]::vec::Vec<u8> as std[716c9a7a72e5c14e]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x55cb5db6ebaf - <std[716c9a7a72e5c14e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x55cb5db6ebaf - std[716c9a7a72e5c14e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x55cb5db889c9 - std[716c9a7a72e5c14e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x55cb5db242ce - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn for<'a, 'b> core[c5ed12ab89cc536a]::ops::function::Fn<(&'a std[716c9a7a72e5c14e]::panic::PanicHookInfo<'b>,), Output = ()> + core[c5ed12ab89cc536a]::marker::Sync + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::Fn<(&std[716c9a7a72e5c14e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x55cb5db242ce - test[64760d2bdea328cc]::test_main_with_exit_callback::<test[64760d2bdea328cc]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x55cb5db88b82 - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn for<'a, 'b> core[c5ed12ab89cc536a]::ops::function::Fn<(&'a std[716c9a7a72e5c14e]::panic::PanicHookInfo<'b>,), Output = ()> + core[c5ed12ab89cc536a]::marker::Sync + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::Fn<(&std[716c9a7a72e5c14e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x55cb5db88b82 - std[716c9a7a72e5c14e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x55cb5db6ec68 - std[716c9a7a72e5c14e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x55cb5db66639 - std[716c9a7a72e5c14e]::sys::backtrace::__rust_end_short_backtrace::<std[716c9a7a72e5c14e]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x55cb5db6fabd - __rustc[4f0b026143eab78e]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x55cb5dba5a3c - core[c5ed12ab89cc536a]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x55cb5db10816 - normalization_bench_rs[1db0e2bbee34c271]::dt::tests::test_complex_expression
[INFO] [stdout]                                at /opt/rustwide/workdir/src/dt.rs:217:23
[INFO] [stdout]   20:     0x55cb5db0f667 - normalization_bench_rs[1db0e2bbee34c271]::dt::tests::test_complex_expression::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/dt.rs:171:33
[INFO] [stdout]   21:     0x55cb5db05546 - <normalization_bench_rs[1db0e2bbee34c271]::dt::tests::test_complex_expression::{closure#0} as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x55cb5db1867b - <fn() -> core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x55cb5db1867b - test[64760d2bdea328cc]::__rust_begin_short_backtrace::<core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>, fn() -> core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:663:18
[INFO] [stdout]   24:     0x55cb5db24eda - test[64760d2bdea328cc]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:686:74
[INFO] [stdout]   25:     0x55cb5db24eda - <core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   26:     0x55cb5db24eda - std[716c9a7a72e5c14e]::panicking::catch_unwind::do_call::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>, core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x55cb5db24eda - std[716c9a7a72e5c14e]::panicking::catch_unwind::<core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>, core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x55cb5db24eda - std[716c9a7a72e5c14e]::panic::catch_unwind::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>, core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x55cb5db24eda - test[64760d2bdea328cc]::run_test_in_process
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:686:27
[INFO] [stdout]   30:     0x55cb5db24eda - test[64760d2bdea328cc]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:607:43
[INFO] [stdout]   31:     0x55cb5db1f3a4 - test[64760d2bdea328cc]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:637:41
[INFO] [stdout]   32:     0x55cb5db1f3a4 - std[716c9a7a72e5c14e]::sys::backtrace::__rust_begin_short_backtrace::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x55cb5db279d2 - std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   34:     0x55cb5db279d2 - <core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   35:     0x55cb5db279d2 - std[716c9a7a72e5c14e]::panicking::catch_unwind::do_call::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x55cb5db279d2 - std[716c9a7a72e5c14e]::panicking::catch_unwind::<(), core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x55cb5db279d2 - std[716c9a7a72e5c14e]::panic::catch_unwind::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x55cb5db279d2 - std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   39:     0x55cb5db279d2 - <std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1} as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x55cb5db8ff8f - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn core[c5ed12ab89cc536a]::ops::function::FnOnce<(), Output = ()> + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   41:     0x55cb5db8ff8f - <std[716c9a7a72e5c14e]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   42:     0x7d1ee439baa4 - <unknown>
[INFO] [stdout]   43:     0x7d1ee4428a64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     dt::tests::test_complex_expression
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 4 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "96255eeed315f603460a4676966ce5adc1c2928c30b5fcbf9dd6a798f26f4944", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "96255eeed315f603460a4676966ce5adc1c2928c30b5fcbf9dd6a798f26f4944", kill_on_drop: false }`
[INFO] [stdout] 96255eeed315f603460a4676966ce5adc1c2928c30b5fcbf9dd6a798f26f4944
