[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#d98a5da813da67eb189387b8ccfb73cf481275d8+rustflags=-Copt-level=3 for pr-138759
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Fnormalization_bench_rs" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-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-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/yportne13/normalization_bench_rs on toolchain d98a5da813da67eb189387b8ccfb73cf481275d8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "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" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d0b4dc4a82e5e82be857ab74780ec9b159962f3fdbbae876a462d5261384da1d
[INFO] running `Command { std: "docker" "start" "-a" "d0b4dc4a82e5e82be857ab74780ec9b159962f3fdbbae876a462d5261384da1d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d0b4dc4a82e5e82be857ab74780ec9b159962f3fdbbae876a462d5261384da1d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d0b4dc4a82e5e82be857ab74780ec9b159962f3fdbbae876a462d5261384da1d", kill_on_drop: false }`
[INFO] [stdout] d0b4dc4a82e5e82be857ab74780ec9b159962f3fdbbae876a462d5261384da1d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 45069916aa50fb9194c007611547027c81baccba9394d059bfbd42a420892126
[INFO] running `Command { std: "docker" "start" "-a" "45069916aa50fb9194c007611547027c81baccba9394d059bfbd42a420892126", 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)]` 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)]` 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)]` 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: 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.79s
[INFO] running `Command { std: "docker" "inspect" "45069916aa50fb9194c007611547027c81baccba9394d059bfbd42a420892126", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "45069916aa50fb9194c007611547027c81baccba9394d059bfbd42a420892126", kill_on_drop: false }`
[INFO] [stdout] 45069916aa50fb9194c007611547027c81baccba9394d059bfbd42a420892126
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 69b376463ab0a31b39c6b21d1b3aa092116ed14b968def9dfe2025ac7d05e020
[INFO] running `Command { std: "docker" "start" "-a" "69b376463ab0a31b39c6b21d1b3aa092116ed14b968def9dfe2025ac7d05e020", 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)]` 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)]` 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(), vec![...
[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)]` 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: 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 3.11s
[INFO] running `Command { std: "docker" "inspect" "69b376463ab0a31b39c6b21d1b3aa092116ed14b968def9dfe2025ac7d05e020", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "69b376463ab0a31b39c6b21d1b3aa092116ed14b968def9dfe2025ac7d05e020", kill_on_drop: false }`
[INFO] [stdout] 69b376463ab0a31b39c6b21d1b3aa092116ed14b968def9dfe2025ac7d05e020
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 76513d84a6c677a014b4c99890dd9f17b566da084dbbac165b591f1abcfaebed
[INFO] running `Command { std: "docker" "start" "-a" "76513d84a6c677a014b4c99890dd9f17b566da084dbbac165b591f1abcfaebed", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `HashSet`
[INFO] [stdout] 
[INFO] [stderr]  --> src/locally.rs:4:33
[INFO] [stdout] running 5 tests
[INFO] [stderr]   |
[INFO] [stderr] 4 | use std::collections::{HashMap, HashSet};
[INFO] [stderr]   |                                 ^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` 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)]` 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(), vec![...
[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)]` on by default
[INFO] [stdout] test pattern::test ... ok
[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: 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 45 warnings (run `cargo fix --bin "normalization_bench_rs" --tests` to apply 1 suggestion)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/normalization_bench_rs-41c56fb11155ee19)
[INFO] [stdout] test locally::test0 ... ok
[INFO] [stdout] test dt::main ... ok
[INFO] [stdout] test locally::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' 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:     0x64e097f6cdc2 - std::backtrace_rs::backtrace::libunwind::trace::hd39b1f53d3cf9745
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x64e097f6cdc2 - std::backtrace_rs::backtrace::trace_unsynchronized::he91d9a75d4e3972b
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x64e097f6cdc2 - std::sys::backtrace::_print_fmt::hca46938f8c6e22cf
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x64e097f6cdc2 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::ha499add612cccf8e
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x64e097f91e53 - core::fmt::rt::Argument::fmt::hd21145b75a833b7a
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x64e097f91e53 - core::fmt::write::hb10c956f5235c8a4
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/fmt/mod.rs:1465:25
[INFO] [stdout]    6:     0x64e097f69fa3 - std::io::default_write_fmt::hdb7615052be2ba4d
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x64e097f69fa3 - std::io::Write::write_fmt::he1bcd251ec6e4153
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x64e097f6cc12 - std::sys::backtrace::BacktraceLock::print::hb47c770ef659fd10
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x64e097f6e32c - std::panicking::default_hook::{{closure}}::hdda8afb9d457a22c
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:300:27
[INFO] [stdout]   10:     0x64e097f6e182 - std::panicking::default_hook::h7c46b44874fe5c9a
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:324:9
[INFO] [stdout]   11:     0x64e097f36264 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h178a5fcedee41e2f
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   12:     0x64e097f36264 - test::test_main_with_exit_callback::{{closure}}::h951a41e0149d6d5d
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x64e097f6ed0b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h13602080f5b63276
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   14:     0x64e097f6ed0b - std::panicking::rust_panic_with_hook::ha6cb99ed099eb1c5
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:841:13
[INFO] [stdout]   15:     0x64e097f6eada - std::panicking::begin_panic_handler::{{closure}}::he11808bc797ee921
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:706:13
[INFO] [stdout]   16:     0x64e097f6d2b9 - std::sys::backtrace::__rust_end_short_backtrace::h9418807cb7346258
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:168:18
[INFO] [stdout]   17:     0x64e097f6e76d - __rustc[18fb429eef004894]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:697:5
[INFO] [stdout]   18:     0x64e097f909d0 - core::panicking::panic_fmt::hd890aeb12c3a3fc3
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x64e097ef7558 - normalization_bench_rs::dt::tests::test_complex_expression::h5ea20ffc785e7038
[INFO] [stdout]                                at /opt/rustwide/workdir/src/dt.rs:217:23
[INFO] [stdout]   20:     0x64e097efc1f9 - normalization_bench_rs::dt::tests::test_complex_expression::{{closure}}::hae7c712163920ba9
[INFO] [stdout]                                at /opt/rustwide/workdir/src/dt.rs:171:33
[INFO] [stdout]   21:     0x64e097efc1f9 - core::ops::function::FnOnce::call_once::h4263aa27b4524acb
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x64e097f3b9eb - core::ops::function::FnOnce::call_once::h2869fb5b0a2b0bdc
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x64e097f3b9eb - test::__rust_begin_short_backtrace::h7dd7142bd62fa711
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/test/src/lib.rs:648:18
[INFO] [stdout]   24:     0x64e097f3abde - test::run_test_in_process::{{closure}}::h43a753f038d36b3f
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/test/src/lib.rs:671:74
[INFO] [stdout]   25:     0x64e097f3abde - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0ca95dd3e12d1e16
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   26:     0x64e097f3abde - std::panicking::catch_unwind::do_call::he308587d70ac34ba
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:589:40
[INFO] [stdout]   27:     0x64e097f3abde - std::panicking::catch_unwind::h30dcba31973e8fb0
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:552:19
[INFO] [stdout]   28:     0x64e097f3abde - std::panic::catch_unwind::hfb68364e5621fbee
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x64e097f3abde - test::run_test_in_process::hcdcc2977903b998a
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/test/src/lib.rs:671:27
[INFO] [stdout]   30:     0x64e097f3abde - test::run_test::{{closure}}::h544a6550958c5d14
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/test/src/lib.rs:592:43
[INFO] [stdout]   31:     0x64e097efe754 - test::run_test::{{closure}}::hb172e48ebe2b92c7
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/test/src/lib.rs:622:41
[INFO] [stdout]   32:     0x64e097efe754 - std::sys::backtrace::__rust_begin_short_backtrace::h7e79d8706638bea0
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/backtrace.rs:152:18
[INFO] [stdout]   33:     0x64e097f0212a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hc4a275f1e71b8ab0
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   34:     0x64e097f0212a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h01ed0d242df78cfd
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   35:     0x64e097f0212a - std::panicking::catch_unwind::do_call::h052f373fb905fee0
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:589:40
[INFO] [stdout]   36:     0x64e097f0212a - std::panicking::catch_unwind::hb425d20c8ffb09c8
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panicking.rs:552:19
[INFO] [stdout]   37:     0x64e097f0212a - std::panic::catch_unwind::ha0d5dfbf18fdeda5
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x64e097f0212a - std::thread::Builder::spawn_unchecked_::{{closure}}::hbe79182bd37949c7
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   39:     0x64e097f0212a - core::ops::function::FnOnce::call_once{{vtable.shim}}::hc096c4a06972fde5
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x64e097f71c67 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h47377e27fb938a26
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   41:     0x64e097f71c67 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h72f1fe5d095abf57
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   42:     0x64e097f71c67 - std::sys::pal::unix::thread::Thread::new::thread_start::h0a4d8e1b9c0d38cf
[INFO] [stdout]                                at /rustc/d98a5da813da67eb189387b8ccfb73cf481275d8/library/std/src/sys/pal/unix/thread.rs:97:17
[INFO] [stdout]   43:     0x744c7f541aa4 - <unknown>
[INFO] [stdout]   44:     0x744c7f5cea34 - clone
[INFO] [stdout]   45:                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.05s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "76513d84a6c677a014b4c99890dd9f17b566da084dbbac165b591f1abcfaebed", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "76513d84a6c677a014b4c99890dd9f17b566da084dbbac165b591f1abcfaebed", kill_on_drop: false }`
[INFO] [stdout] 76513d84a6c677a014b4c99890dd9f17b566da084dbbac165b591f1abcfaebed
