[INFO] cloning repository https://github.com/MarkRoss470/prop-compiler
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/MarkRoss470/prop-compiler" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarkRoss470%2Fprop-compiler", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarkRoss470%2Fprop-compiler'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 8f8b9b5c8a09245f3e3fc43eca1aeb50254efe61
[INFO] testing MarkRoss470/prop-compiler against master#733b47ea4b1b86216f14ef56e49440c33933f230+rustflags=-Copt-level=3 for pr-138759
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarkRoss470%2Fprop-compiler" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/MarkRoss470/prop-compiler
[INFO] finished tweaking git repo https://github.com/MarkRoss470/prop-compiler
[INFO] tweaked toml for git repo https://github.com/MarkRoss470/prop-compiler written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/MarkRoss470/prop-compiler on toolchain 733b47ea4b1b86216f14ef56e49440c33933f230
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/MarkRoss470/prop-compiler 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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2126c4acf2626630a25d54bbec7b5c03abdce87a058e8de70677f856ebfdb2b6
[INFO] running `Command { std: "docker" "start" "-a" "2126c4acf2626630a25d54bbec7b5c03abdce87a058e8de70677f856ebfdb2b6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2126c4acf2626630a25d54bbec7b5c03abdce87a058e8de70677f856ebfdb2b6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2126c4acf2626630a25d54bbec7b5c03abdce87a058e8de70677f856ebfdb2b6", kill_on_drop: false }`
[INFO] [stdout] 2126c4acf2626630a25d54bbec7b5c03abdce87a058e8de70677f856ebfdb2b6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] afb966436984a1b5b0cce25abcc7fe7e8f6b938cd59d9ade005635ffbda3ad69
[INFO] running `Command { std: "docker" "start" "-a" "afb966436984a1b5b0cce25abcc7fe7e8f6b938cd59d9ade005635ffbda3ad69", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling hashbrown v0.15.4
[INFO] [stderr]    Compiling syn v2.0.103
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling string-interner v0.19.0
[INFO] [stderr]    Compiling zerovec-derive v0.11.1
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.0
[INFO] [stderr]    Compiling zerofrom v0.1.6
[INFO] [stderr]    Compiling yoke v0.8.0
[INFO] [stderr]    Compiling zerovec v0.11.2
[INFO] [stderr]    Compiling zerotrie v0.2.2
[INFO] [stderr]    Compiling tinystr v0.8.1
[INFO] [stderr]    Compiling potential_utf v0.1.2
[INFO] [stderr]    Compiling icu_collections v2.0.0
[INFO] [stderr]    Compiling icu_locale_core v2.0.0
[INFO] [stderr]    Compiling icu_provider v2.0.0
[INFO] [stderr]    Compiling icu_properties v2.0.1
[INFO] [stderr]    Compiling prop-compiler v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `TypeError`
[INFO] [stdout]  --> src/main.rs:3:21
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::typeck::{TypeError, TypingEnvironment};
[INFO] [stdout]   |                     ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::parser::combinators::tuples::HeterogeneousTupleExt`
[INFO] [stdout]  --> src/parser/ast/mod.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::parser::combinators::tuples::HeterogeneousTupleExt;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `DebugExt` and `OptionalExt`
[INFO] [stdout]  --> src/parser/ast/item/data.rs:6:45
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::parser::combinators::modifiers::{DebugExt, OptionalExt};
[INFO] [stdout]   |                                             ^^^^^^^^  ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `whitespace`
[INFO] [stdout]  --> src/parser/ast/item/def.rs:5:52
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::parser::atoms::whitespace::{InBlockExt, whitespace};
[INFO] [stdout]   |                                                    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::parser::combinators::modifiers::OptionalExt`
[INFO] [stdout]  --> src/parser/ast/item/def.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::parser::combinators::modifiers::OptionalExt;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `IgnoreValExt`
[INFO] [stdout]  --> src/parser/ast/item/mod.rs:9:45
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::parser::combinators::modifiers::{IgnoreValExt, MapExt, OptionalExt};
[INFO] [stdout]   |                                             ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DebugExt`
[INFO] [stdout]  --> src/parser/atoms/literal.rs:2:45
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::parser::combinators::modifiers::{DebugExt, ReparseExt, VerifyExt};
[INFO] [stdout]   |                                             ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `todo`
[INFO] [stdout]  --> src/parser/atoms/whitespace.rs:5:37
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::parser::{Parser, parser, todo};
[INFO] [stdout]   |                                     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::parser::combinators::repeat::FinalSeparatorBehaviour::ForbidFinal`
[INFO] [stdout]  --> src/parser/atoms/mod.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::parser::combinators::repeat::FinalSeparatorBehaviour::ForbidFinal;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Repeat0Ext` and `Repeat1WithSeparatorExt`
[INFO] [stdout]  --> src/parser/atoms/mod.rs:9:42
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::parser::combinators::repeat::{Repeat0Ext, Repeat1Ext, Repeat1WithSeparatorExt};
[INFO] [stdout]   |                                          ^^^^^^^^^^              ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `HeterogeneousTupleExt` and `HomogeneousTupleExt`
[INFO] [stdout]   --> src/parser/atoms/mod.rs:10:42
[INFO] [stdout]    |
[INFO] [stdout] 10 | use crate::parser::combinators::tuples::{HeterogeneousTupleExt, HomogeneousTupleExt};
[INFO] [stdout]    |                                          ^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Interner` and `PrettyPrint`
[INFO] [stdout]   --> src/parser/atoms/mod.rs:11:32
[INFO] [stdout]    |
[INFO] [stdout] 11 | use crate::parser::{InternKey, Interner, ParseResult, Parser, PrettyPrint, parser};
[INFO] [stdout]    |                                ^^^^^^^^                       ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `IdContinue` and `IdStart`
[INFO] [stdout]   --> src/parser/atoms/mod.rs:12:29
[INFO] [stdout]    |
[INFO] [stdout] 12 | use icu_properties::props::{IdContinue, IdStart, Math};
[INFO] [stdout]    |                             ^^^^^^^^^^  ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::io::Write`
[INFO] [stdout]   --> src/parser/atoms/mod.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::io::Write;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ParseContext` and `todo`
[INFO] [stdout]  --> src/parser/combinators/modifiers.rs:2:21
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::parser::{ParseContext, ParseResult, Parser, parser, todo};
[INFO] [stdout]   |                     ^^^^^^^^^^^^                               ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ThenIgnoreExt`
[INFO] [stdout]  --> src/parser/combinators/repeat.rs:1:45
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::parser::combinators::modifiers::{ThenIgnoreExt, VerifyExt};
[INFO] [stdout]   |                                             ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `todo`
[INFO] [stdout]  --> src/parser/combinators/repeat.rs:2:50
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::parser::{ParseResult, Parser, parser, todo};
[INFO] [stdout]   |                                                  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `whitespace`
[INFO] [stdout]  --> src/parser/combinators/tuples.rs:1:63
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::parser::atoms::whitespace::{SurroundWhitespaceExt, whitespace};
[INFO] [stdout]   |                                                               ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `parser`
[INFO] [stdout]  --> src/parser/combinators/tuples.rs:3:42
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::parser::{ParseResult, Parser, parser};
[INFO] [stdout]   |                                          ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ParseResult`, `Parser`, and `parser`
[INFO] [stdout]  --> src/parser/combinators/mod.rs:5:21
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::parser::{ParseResult, Parser, parser};
[INFO] [stdout]   |                     ^^^^^^^^^^^  ^^^^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `TypedTermKind`
[INFO] [stdout]  --> src/typeck/context.rs:4:51
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::typeck::term::{TypedBinder, TypedTerm, TypedTermKind};
[INFO] [stdout]   |                                                   ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `TypedTermKind`
[INFO] [stdout]  --> src/typeck/data/mod.rs:6:51
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::typeck::term::{TypedBinder, TypedTerm, TypedTermKind};
[INFO] [stdout]   |                                                   ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::rc::Rc`
[INFO] [stdout]  --> src/typeck/data/mod.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use std::rc::Rc;
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `OwnedPath`
[INFO] [stdout]  --> src/typeck/term/constructors.rs:1:47
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::parser::atoms::ident::{Identifier, OwnedPath};
[INFO] [stdout]   |                                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `LevelArgs`
[INFO] [stdout]  --> src/typeck/term/constructors.rs:3:35
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::typeck::level::{Level, LevelArgs};
[INFO] [stdout]   |                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `AdtConstructor`
[INFO] [stdout]  --> src/typeck/term/def_eq.rs:4:32
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::typeck::data::{Adt, AdtConstructor};
[INFO] [stdout]   |                                ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `OwnedPath`
[INFO] [stdout]  --> src/typeck/term/mod.rs:9:47
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::parser::atoms::ident::{Identifier, OwnedPath};
[INFO] [stdout]   |                                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `LevelArgs`
[INFO] [stdout]   --> src/typeck/term/mod.rs:10:35
[INFO] [stdout]    |
[INFO] [stdout] 10 | use crate::typeck::level::{Level, LevelArgs};
[INFO] [stdout]    |                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::parser::PrettyPrint`
[INFO] [stdout]  --> src/main.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::parser::PrettyPrint;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/typeck/data/mod.rs:201:14
[INFO] [stdout]     |
[INFO] [stdout] 201 |         for (i, constructor) in adt.constructors.iter().enumerate() {
[INFO] [stdout]     |              ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/typeck/data/mod.rs:343:9
[INFO] [stdout]     |
[INFO] [stdout] 343 |         name: Identifier,
[INFO] [stdout]     |         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/typeck/term/accessors.rs:145:36
[INFO] [stdout]     |
[INFO] [stdout] 145 |             BoundVariable { index, name } => *index == id,
[INFO] [stdout]     |                                    ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `value_definition`
[INFO] [stdout]    --> src/parser/ast/item/def.rs:22:1
[INFO] [stdout]     |
[INFO] [stdout] 22  | pub fn value_definition() -> impl Parser<Output = ValueDefinition> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `value_definition` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout]     = note: `#[warn(private_interfaces)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `term`
[INFO] [stdout]    --> src/parser/ast/term.rs:75:1
[INFO] [stdout]     |
[INFO] [stdout] 75  | pub fn term() -> impl Parser<Output = Term> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `term` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `bracketed_binder`
[INFO] [stdout]    --> src/parser/ast/term.rs:117:1
[INFO] [stdout]     |
[INFO] [stdout] 117 | pub fn bracketed_binder() -> impl Parser<Output = Binder> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `bracketed_binder` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `binder`
[INFO] [stdout]    --> src/parser/ast/term.rs:133:1
[INFO] [stdout]     |
[INFO] [stdout] 133 | pub fn binder() -> impl Parser<Output = Binder> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `binder` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `identifier`
[INFO] [stdout]    --> src/parser/atoms/ident.rs:101:1
[INFO] [stdout]     |
[INFO] [stdout] 101 | pub fn identifier() -> impl Parser<Output = Identifier> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `identifier` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `keyword`
[INFO] [stdout]    --> src/parser/atoms/ident.rs:105:1
[INFO] [stdout]     |
[INFO] [stdout] 105 | pub fn keyword(kw: &str) -> impl Parser<Output = ()> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `keyword` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `path`
[INFO] [stdout]    --> src/parser/atoms/ident.rs:113:1
[INFO] [stdout]     |
[INFO] [stdout] 113 | pub fn path() -> impl Parser<Output = OwnedPath> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `path` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `nat_literal`
[INFO] [stdout]    --> src/parser/atoms/literal.rs:6:1
[INFO] [stdout]     |
[INFO] [stdout] 6   | pub fn nat_literal() -> impl Parser<Output = usize> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `nat_literal` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `newline_and_indent`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:18:1
[INFO] [stdout]     |
[INFO] [stdout] 18  | pub fn newline_and_indent() -> impl Parser<Output = ()> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `newline_and_indent` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `whitespace`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:39:1
[INFO] [stdout]     |
[INFO] [stdout] 39  | pub fn whitespace() -> impl Parser<Output = ()> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `whitespace` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `non_newline_whitespace`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:50:1
[INFO] [stdout]     |
[INFO] [stdout] 50  | pub fn non_newline_whitespace() -> impl Parser<Output = ()> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `non_newline_whitespace` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `SurroundWhitespaceExt`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:57:1
[INFO] [stdout]     |
[INFO] [stdout] 57  | pub trait SurroundWhitespaceExt: Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ trait `SurroundWhitespaceExt` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout]     = note: `#[warn(private_bounds)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `<P as SurroundWhitespaceExt>::surround_whitespace`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:62:5
[INFO] [stdout]     |
[INFO] [stdout] 62  |     fn surround_whitespace(self) -> impl Parser<Output = Self::Output> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `<P as SurroundWhitespaceExt>::surround_whitespace` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated type `Parser::Output` is more private than the item `<P as SurroundWhitespaceExt>::surround_whitespace`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:62:5
[INFO] [stdout]     |
[INFO] [stdout] 62  |     fn surround_whitespace(self) -> impl Parser<Output = Self::Output> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `<P as SurroundWhitespaceExt>::surround_whitespace` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but associated type `Parser::Output` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:125:5
[INFO] [stdout]     |
[INFO] [stdout] 125 |     type Output;
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `InBlockExt`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:67:1
[INFO] [stdout]     |
[INFO] [stdout] 67  | pub trait InBlockExt: Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ trait `InBlockExt` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Parser` is more private than the item `<P as InBlockExt>::in_block`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:73:5
[INFO] [stdout]     |
[INFO] [stdout] 73  |     fn in_block(self) -> impl Parser<Output = Self::Output> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `<P as InBlockExt>::in_block` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated type `Parser::Output` is more private than the item `<P as InBlockExt>::in_block`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:73:5
[INFO] [stdout]     |
[INFO] [stdout] 73  |     fn in_block(self) -> impl Parser<Output = Self::Output> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `<P as InBlockExt>::in_block` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but associated type `Parser::Output` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:125:5
[INFO] [stdout]     |
[INFO] [stdout] 125 |     type Output;
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `typeck::PrettyPrintContext<'a>` is more private than the item `TypingEnvironment::pretty_print_val`
[INFO] [stdout]    --> src/typeck/mod.rs:230:5
[INFO] [stdout]     |
[INFO] [stdout] 230 |     pub fn pretty_print_val(&'a self, val: &impl PrettyPrint<PrettyPrintContext<'a>>) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `TypingEnvironment::pretty_print_val` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but type `typeck::PrettyPrintContext<'a>` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/typeck/mod.rs:181:1
[INFO] [stdout]     |
[INFO] [stdout] 181 | struct PrettyPrintContext<'a> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `typeck::PrettyPrintContext<'a>` is more private than the item `TypingEnvironment::pretty_println_val`
[INFO] [stdout]    --> src/typeck/mod.rs:238:5
[INFO] [stdout]     |
[INFO] [stdout] 238 |     pub fn pretty_println_val(&'a self, val: &impl PrettyPrint<PrettyPrintContext<'a>>) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `TypingEnvironment::pretty_println_val` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but type `typeck::PrettyPrintContext<'a>` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/typeck/mod.rs:181:1
[INFO] [stdout]     |
[INFO] [stdout] 181 | struct PrettyPrintContext<'a> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `unwrap` is never used
[INFO] [stdout]   --> src/parser/mod.rs:35:12
[INFO] [stdout]    |
[INFO] [stdout] 26 | impl<T> ParseResult<T> {
[INFO] [stdout]    | ---------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 35 |     pub fn unwrap(self) -> T {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Class` and `Instance` are never constructed
[INFO] [stdout]   --> src/parser/ast/item/mod.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub enum Item {
[INFO] [stdout]    |          ---- variants in this enum
[INFO] [stdout] 18 |     DataDefinition(DataDefinition),
[INFO] [stdout] 19 |     Class,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 20 |     Instance,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Item` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/parser/ast/item/mod.rs:37:12
[INFO] [stdout]    |
[INFO] [stdout] 36 | impl LevelParameters {
[INFO] [stdout]    | -------------------- associated function in this implementation
[INFO] [stdout] 37 |     pub fn new(params: &[Identifier]) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/parser/ast/term.rs:35:12
[INFO] [stdout]    |
[INFO] [stdout] 34 | impl LevelArgs {
[INFO] [stdout]    | -------------- associated function in this implementation
[INFO] [stdout] 35 |     pub fn new() -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/parser/atoms/mod.rs:40:21
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub struct Operator(InternKey);
[INFO] [stdout]    |            -------- ^^^^^^^^^
[INFO] [stdout]    |            |
[INFO] [stdout]    |            field in this struct
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing this field
[INFO] [stdout]    = note: `Operator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `RESERVED_OPERATORS` is never used
[INFO] [stdout]   --> src/parser/atoms/mod.rs:45:7
[INFO] [stdout]    |
[INFO] [stdout] 45 | const RESERVED_OPERATORS: &[&str] = &[".", ":", ":=", "=>", "|"];
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `operator` is never used
[INFO] [stdout]   --> src/parser/atoms/mod.rs:65:15
[INFO] [stdout]    |
[INFO] [stdout] 65 | pub(super) fn operator() -> impl Parser<Output = Operator> {
[INFO] [stdout]    |               ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `append` is never used
[INFO] [stdout]   --> src/parser/atoms/ident.rs:37:12
[INFO] [stdout]    |
[INFO] [stdout] 24 | impl OwnedPath {
[INFO] [stdout]    | -------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 37 |     pub fn append(mut self, id: Identifier) -> Self {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `non_newline_whitespace` is never used
[INFO] [stdout]   --> src/parser/atoms/whitespace.rs:50:8
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub fn non_newline_whitespace() -> impl Parser<Output = ()> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `MapStrExt` is never used
[INFO] [stdout]    --> src/parser/combinators/modifiers.rs:101:11
[INFO] [stdout]     |
[INFO] [stdout] 101 | pub trait MapStrExt: Parser {
[INFO] [stdout]     |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `DebugExt` is never used
[INFO] [stdout]    --> src/parser/combinators/modifiers.rs:145:11
[INFO] [stdout]     |
[INFO] [stdout] 145 | pub trait DebugExt: Parser {
[INFO] [stdout]     |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `ThenIgnoreExt` is never used
[INFO] [stdout]    --> src/parser/combinators/modifiers.rs:167:11
[INFO] [stdout]     |
[INFO] [stdout] 167 | pub trait ThenIgnoreExt: Parser {
[INFO] [stdout]     |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `RepeatUntilExt` is never used
[INFO] [stdout]    --> src/parser/combinators/repeat.rs:106:11
[INFO] [stdout]     |
[INFO] [stdout] 106 | pub trait RepeatUntilExt: Parser {
[INFO] [stdout]     |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `fold_1` is never used
[INFO] [stdout]    --> src/parser/combinators/repeat.rs:201:8
[INFO] [stdout]     |
[INFO] [stdout] 200 | pub trait Fold1Ext: Parser {
[INFO] [stdout]     |           -------- method in this trait
[INFO] [stdout] 201 |     fn fold_1<F: Fn(Self::Output, Self::Output) -> Self::Output>(
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `assemble_telescope` is never used
[INFO] [stdout]   --> src/typeck/mod.rs:71:8
[INFO] [stdout]    |
[INFO] [stdout] 36 | impl TypingEnvironment {
[INFO] [stdout]    | ---------------------- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 71 |     fn assemble_telescope(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `get_binder` is never used
[INFO] [stdout]    --> src/typeck/mod.rs:164:8
[INFO] [stdout]     |
[INFO] [stdout] 142 | impl<'a> TypingContext<'a> {
[INFO] [stdout]     | -------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 164 |     fn get_binder(&self, index: usize) -> Option<&'a TypedBinder> {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `pretty_print_val` is never used
[INFO] [stdout]    --> src/typeck/mod.rs:230:12
[INFO] [stdout]     |
[INFO] [stdout] 216 | impl<'a> TypingEnvironment {
[INFO] [stdout]     | -------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 230 |     pub fn pretty_print_val(&'a self, val: &impl PrettyPrint<PrettyPrintContext<'a>>) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `from_level_parameters` and `instantiate_parameters` are never used
[INFO] [stdout]   --> src/typeck/level.rs:56:12
[INFO] [stdout]    |
[INFO] [stdout] 51 | impl LevelArgs {
[INFO] [stdout]    | -------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 56 |     pub fn from_level_parameters(level_parameters: &LevelParameters) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 67 |     pub fn instantiate_parameters(&self, other: &LevelArgs) -> LevelArgs {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `resolve_ty` is never used
[INFO] [stdout]   --> src/typeck/namespace.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 22 | impl Namespace {
[INFO] [stdout]    | -------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 60 |     pub fn resolve_ty(&self, path: Path, level_args: &LevelArgs) -> Result<TypedTerm, TypeError> {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `is_bound_variable` is never used
[INFO] [stdout]   --> src/typeck/term/accessors.rs:41:12
[INFO] [stdout]    |
[INFO] [stdout] 6  | impl TypedTerm {
[INFO] [stdout]    | -------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 41 |     pub fn is_bound_variable(&self) -> Option<(usize, Option<Identifier>)> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]    --> src/parser/mod.rs:109:15
[INFO] [stdout]     |
[INFO] [stdout] 109 |     fn borrow(&mut self) -> ParseContext {
[INFO] [stdout]     |               ^^^^^^^^^     ------------ the lifetime gets resolved as `'_`
[INFO] [stdout]     |               |
[INFO] [stdout]     |               this lifetime flows to the output
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]     |
[INFO] [stdout] 109 |     fn borrow(&mut self) -> ParseContext<'_> {
[INFO] [stdout]     |                                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]    --> src/parser/mod.rs:116:24
[INFO] [stdout]     |
[INFO] [stdout] 116 |     fn borrow_indented(&mut self) -> ParseContext {
[INFO] [stdout]     |                        ^^^^^^^^^     ------------ the lifetime gets resolved as `'_`
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        this lifetime flows to the output
[INFO] [stdout]     |
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]     |
[INFO] [stdout] 116 |     fn borrow_indented(&mut self) -> ParseContext<'_> {
[INFO] [stdout]     |                                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]    --> src/parser/mod.rs:170:24
[INFO] [stdout]     |
[INFO] [stdout] 170 |     fn borrow_indented(&self) -> PrettyPrintContext {
[INFO] [stdout]     |                        ^^^^^     ------------------ the lifetime gets resolved as `'_`
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        this lifetime flows to the output
[INFO] [stdout]     |
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]     |
[INFO] [stdout] 170 |     fn borrow_indented(&self) -> PrettyPrintContext<'_> {
[INFO] [stdout]     |                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]   --> src/parser/atoms/ident.rs:29:19
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn borrow(&self) -> Path {
[INFO] [stdout]    |                   ^^^^^     ---- the lifetime gets resolved as `'_`
[INFO] [stdout]    |                   |
[INFO] [stdout]    |                   this lifetime flows to the output
[INFO] [stdout]    |
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn borrow(&self) -> Path<'_> {
[INFO] [stdout]    |                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]    --> src/typeck/mod.rs:194:17
[INFO] [stdout]     |
[INFO] [stdout] 194 |     fn interner(&self) -> Ref<Interner> {
[INFO] [stdout]     |                 ^^^^^     ------------- the lifetime gets resolved as `'_`
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 this lifetime flows to the output
[INFO] [stdout]     |
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]     |
[INFO] [stdout] 194 |     fn interner(&self) -> Ref<'_, Interner> {
[INFO] [stdout]     |                               +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 26s
[INFO] running `Command { std: "docker" "inspect" "afb966436984a1b5b0cce25abcc7fe7e8f6b938cd59d9ade005635ffbda3ad69", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "afb966436984a1b5b0cce25abcc7fe7e8f6b938cd59d9ade005635ffbda3ad69", kill_on_drop: false }`
[INFO] [stdout] afb966436984a1b5b0cce25abcc7fe7e8f6b938cd59d9ade005635ffbda3ad69
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 36b0a914eb95cf0a2628188af0d003a0f8c2b6cdd1a4fa987b479fdad490831d
[INFO] running `Command { std: "docker" "start" "-a" "36b0a914eb95cf0a2628188af0d003a0f8c2b6cdd1a4fa987b479fdad490831d", kill_on_drop: false }`
[INFO] [stderr]    Compiling prop-compiler v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `TypeError`
[INFO] [stdout]  --> src/main.rs:3:21
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::typeck::{TypeError, TypingEnvironment};
[INFO] [stdout]   |                     ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::parser::combinators::tuples::HeterogeneousTupleExt`
[INFO] [stdout]  --> src/parser/ast/mod.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::parser::combinators::tuples::HeterogeneousTupleExt;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `DebugExt` and `OptionalExt`
[INFO] [stdout]  --> src/parser/ast/item/data.rs:6:45
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::parser::combinators::modifiers::{DebugExt, OptionalExt};
[INFO] [stdout]   |                                             ^^^^^^^^  ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::rc::Rc`
[INFO] [stdout]    --> src/parser/ast/item/data.rs:114:9
[INFO] [stdout]     |
[INFO] [stdout] 114 |     use std::rc::Rc;
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `whitespace`
[INFO] [stdout]  --> src/parser/ast/item/def.rs:5:52
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::parser::atoms::whitespace::{InBlockExt, whitespace};
[INFO] [stdout]   |                                                    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::parser::combinators::modifiers::OptionalExt`
[INFO] [stdout]  --> src/parser/ast/item/def.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::parser::combinators::modifiers::OptionalExt;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `IgnoreValExt`
[INFO] [stdout]  --> src/parser/ast/item/mod.rs:9:45
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::parser::combinators::modifiers::{IgnoreValExt, MapExt, OptionalExt};
[INFO] [stdout]   |                                             ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DebugExt`
[INFO] [stdout]  --> src/parser/atoms/literal.rs:2:45
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::parser::combinators::modifiers::{DebugExt, ReparseExt, VerifyExt};
[INFO] [stdout]   |                                             ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `todo`
[INFO] [stdout]  --> src/parser/atoms/whitespace.rs:5:37
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::parser::{Parser, parser, todo};
[INFO] [stdout]   |                                     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]   --> src/parser/atoms/whitespace.rs:80:9
[INFO] [stdout]    |
[INFO] [stdout] 80 |     use super::*;
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::parser::combinators::repeat::FinalSeparatorBehaviour::ForbidFinal`
[INFO] [stdout]  --> src/parser/atoms/mod.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::parser::combinators::repeat::FinalSeparatorBehaviour::ForbidFinal;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Repeat0Ext` and `Repeat1WithSeparatorExt`
[INFO] [stdout]  --> src/parser/atoms/mod.rs:9:42
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::parser::combinators::repeat::{Repeat0Ext, Repeat1Ext, Repeat1WithSeparatorExt};
[INFO] [stdout]   |                                          ^^^^^^^^^^              ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `HeterogeneousTupleExt` and `HomogeneousTupleExt`
[INFO] [stdout]   --> src/parser/atoms/mod.rs:10:42
[INFO] [stdout]    |
[INFO] [stdout] 10 | use crate::parser::combinators::tuples::{HeterogeneousTupleExt, HomogeneousTupleExt};
[INFO] [stdout]    |                                          ^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Interner` and `PrettyPrint`
[INFO] [stdout]   --> src/parser/atoms/mod.rs:11:32
[INFO] [stdout]    |
[INFO] [stdout] 11 | use crate::parser::{InternKey, Interner, ParseResult, Parser, PrettyPrint, parser};
[INFO] [stdout]    |                                ^^^^^^^^                       ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `IdContinue` and `IdStart`
[INFO] [stdout]   --> src/parser/atoms/mod.rs:12:29
[INFO] [stdout]    |
[INFO] [stdout] 12 | use icu_properties::props::{IdContinue, IdStart, Math};
[INFO] [stdout]    |                             ^^^^^^^^^^  ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::io::Write`
[INFO] [stdout]   --> src/parser/atoms/mod.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::io::Write;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ParseContext` and `todo`
[INFO] [stdout]  --> src/parser/combinators/modifiers.rs:2:21
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::parser::{ParseContext, ParseResult, Parser, parser, todo};
[INFO] [stdout]   |                     ^^^^^^^^^^^^                               ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ThenIgnoreExt`
[INFO] [stdout]  --> src/parser/combinators/repeat.rs:1:45
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::parser::combinators::modifiers::{ThenIgnoreExt, VerifyExt};
[INFO] [stdout]   |                                             ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `todo`
[INFO] [stdout]  --> src/parser/combinators/repeat.rs:2:50
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::parser::{ParseResult, Parser, parser, todo};
[INFO] [stdout]   |                                                  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `whitespace`
[INFO] [stdout]  --> src/parser/combinators/tuples.rs:1:63
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::parser::atoms::whitespace::{SurroundWhitespaceExt, whitespace};
[INFO] [stdout]   |                                                               ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `parser`
[INFO] [stdout]  --> src/parser/combinators/tuples.rs:3:42
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::parser::{ParseResult, Parser, parser};
[INFO] [stdout]   |                                          ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ParseResult`, `Parser`, and `parser`
[INFO] [stdout]  --> src/parser/combinators/mod.rs:5:21
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::parser::{ParseResult, Parser, parser};
[INFO] [stdout]   |                     ^^^^^^^^^^^  ^^^^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `TypedTermKind`
[INFO] [stdout]  --> src/typeck/context.rs:4:51
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::typeck::term::{TypedBinder, TypedTerm, TypedTermKind};
[INFO] [stdout]   |                                                   ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::rc::Rc`
[INFO] [stdout]  --> src/typeck/data/mod.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use std::rc::Rc;
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::parser::ast::parse_file`
[INFO] [stdout]  --> src/typeck/data/tests.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::parser::ast::parse_file;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]    --> src/typeck/namespace.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |     use super::*;
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `OwnedPath`
[INFO] [stdout]  --> src/typeck/term/constructors.rs:1:47
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::parser::atoms::ident::{Identifier, OwnedPath};
[INFO] [stdout]   |                                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `LevelArgs`
[INFO] [stdout]  --> src/typeck/term/constructors.rs:3:35
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::typeck::level::{Level, LevelArgs};
[INFO] [stdout]   |                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `AdtConstructor`
[INFO] [stdout]  --> src/typeck/term/def_eq.rs:4:32
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::typeck::data::{Adt, AdtConstructor};
[INFO] [stdout]   |                                ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::parser::ast::parse_file`
[INFO] [stdout]  --> src/typeck/term/tests.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::parser::ast::parse_file;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::typeck::TypingEnvironment`
[INFO] [stdout]  --> src/typeck/term/tests.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::typeck::TypingEnvironment;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `OwnedPath`
[INFO] [stdout]  --> src/typeck/term/mod.rs:9:47
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::parser::atoms::ident::{Identifier, OwnedPath};
[INFO] [stdout]   |                                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `LevelArgs`
[INFO] [stdout]   --> src/typeck/term/mod.rs:10:35
[INFO] [stdout]    |
[INFO] [stdout] 10 | use crate::typeck::level::{Level, LevelArgs};
[INFO] [stdout]    |                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::parser::PrettyPrint`
[INFO] [stdout]  --> src/main.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::parser::PrettyPrint;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `id_v`
[INFO] [stdout]    --> src/parser/ast/term.rs:344:13
[INFO] [stdout]     |
[INFO] [stdout] 344 |         let id_v = Identifier::from_str("v", context.interner);
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_id_v`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tyss`
[INFO] [stdout]    --> src/typeck/context.rs:165:13
[INFO] [stdout]     |
[INFO] [stdout] 165 |         let tyss = tys.succ();
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_tyss`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `path_a`
[INFO] [stdout]    --> src/typeck/context.rs:209:13
[INFO] [stdout]     |
[INFO] [stdout] 209 |         let path_a = OwnedPath::from_id(id_a);
[INFO] [stdout]     |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_path_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/typeck/data/mod.rs:201:14
[INFO] [stdout]     |
[INFO] [stdout] 201 |         for (i, constructor) in adt.constructors.iter().enumerate() {
[INFO] [stdout]     |              ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/typeck/data/mod.rs:343:9
[INFO] [stdout]     |
[INFO] [stdout] 343 |         name: Identifier,
[INFO] [stdout]     |         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> src/typeck/term/accessors.rs:145:36
[INFO] [stdout]     |
[INFO] [stdout] 145 |             BoundVariable { index, name } => *index == id,
[INFO] [stdout]     |                                    ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `value_definition`
[INFO] [stdout]    --> src/parser/ast/item/def.rs:22:1
[INFO] [stdout]     |
[INFO] [stdout] 22  | pub fn value_definition() -> impl Parser<Output = ValueDefinition> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `value_definition` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout]     = note: `#[warn(private_interfaces)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `ast::term::term`
[INFO] [stdout]    --> src/parser/ast/term.rs:75:1
[INFO] [stdout]     |
[INFO] [stdout] 75  | pub fn term() -> impl Parser<Output = Term> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `ast::term::term` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `bracketed_binder`
[INFO] [stdout]    --> src/parser/ast/term.rs:117:1
[INFO] [stdout]     |
[INFO] [stdout] 117 | pub fn bracketed_binder() -> impl Parser<Output = Binder> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `bracketed_binder` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `binder`
[INFO] [stdout]    --> src/parser/ast/term.rs:133:1
[INFO] [stdout]     |
[INFO] [stdout] 133 | pub fn binder() -> impl Parser<Output = Binder> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `binder` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `ident::identifier`
[INFO] [stdout]    --> src/parser/atoms/ident.rs:101:1
[INFO] [stdout]     |
[INFO] [stdout] 101 | pub fn identifier() -> impl Parser<Output = Identifier> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `ident::identifier` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `keyword`
[INFO] [stdout]    --> src/parser/atoms/ident.rs:105:1
[INFO] [stdout]     |
[INFO] [stdout] 105 | pub fn keyword(kw: &str) -> impl Parser<Output = ()> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `keyword` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `ident::path`
[INFO] [stdout]    --> src/parser/atoms/ident.rs:113:1
[INFO] [stdout]     |
[INFO] [stdout] 113 | pub fn path() -> impl Parser<Output = OwnedPath> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `ident::path` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `nat_literal`
[INFO] [stdout]    --> src/parser/atoms/literal.rs:6:1
[INFO] [stdout]     |
[INFO] [stdout] 6   | pub fn nat_literal() -> impl Parser<Output = usize> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `nat_literal` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `newline_and_indent`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:18:1
[INFO] [stdout]     |
[INFO] [stdout] 18  | pub fn newline_and_indent() -> impl Parser<Output = ()> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `newline_and_indent` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `whitespace`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:39:1
[INFO] [stdout]     |
[INFO] [stdout] 39  | pub fn whitespace() -> impl Parser<Output = ()> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `whitespace` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `non_newline_whitespace`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:50:1
[INFO] [stdout]     |
[INFO] [stdout] 50  | pub fn non_newline_whitespace() -> impl Parser<Output = ()> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `non_newline_whitespace` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `SurroundWhitespaceExt`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:57:1
[INFO] [stdout]     |
[INFO] [stdout] 57  | pub trait SurroundWhitespaceExt: Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ trait `SurroundWhitespaceExt` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout]     = note: `#[warn(private_bounds)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `<P as SurroundWhitespaceExt>::surround_whitespace`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:62:5
[INFO] [stdout]     |
[INFO] [stdout] 62  |     fn surround_whitespace(self) -> impl Parser<Output = Self::Output> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `<P as SurroundWhitespaceExt>::surround_whitespace` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated type `parser::Parser::Output` is more private than the item `<P as SurroundWhitespaceExt>::surround_whitespace`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:62:5
[INFO] [stdout]     |
[INFO] [stdout] 62  |     fn surround_whitespace(self) -> impl Parser<Output = Self::Output> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `<P as SurroundWhitespaceExt>::surround_whitespace` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but associated type `parser::Parser::Output` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:125:5
[INFO] [stdout]     |
[INFO] [stdout] 125 |     type Output;
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `InBlockExt`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:67:1
[INFO] [stdout]     |
[INFO] [stdout] 67  | pub trait InBlockExt: Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ trait `InBlockExt` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `parser::Parser` is more private than the item `<P as InBlockExt>::in_block`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:73:5
[INFO] [stdout]     |
[INFO] [stdout] 73  |     fn in_block(self) -> impl Parser<Output = Self::Output> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `<P as InBlockExt>::in_block` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | trait Parser {
[INFO] [stdout]     | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated type `parser::Parser::Output` is more private than the item `<P as InBlockExt>::in_block`
[INFO] [stdout]    --> src/parser/atoms/whitespace.rs:73:5
[INFO] [stdout]     |
[INFO] [stdout] 73  |     fn in_block(self) -> impl Parser<Output = Self::Output> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `<P as InBlockExt>::in_block` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but associated type `parser::Parser::Output` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/parser/mod.rs:125:5
[INFO] [stdout]     |
[INFO] [stdout] 125 |     type Output;
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `typeck::PrettyPrintContext<'a>` is more private than the item `typeck::TypingEnvironment::pretty_print_val`
[INFO] [stdout]    --> src/typeck/mod.rs:230:5
[INFO] [stdout]     |
[INFO] [stdout] 230 |     pub fn pretty_print_val(&'a self, val: &impl PrettyPrint<PrettyPrintContext<'a>>) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `typeck::TypingEnvironment::pretty_print_val` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but type `typeck::PrettyPrintContext<'a>` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/typeck/mod.rs:181:1
[INFO] [stdout]     |
[INFO] [stdout] 181 | struct PrettyPrintContext<'a> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `typeck::PrettyPrintContext<'a>` is more private than the item `typeck::TypingEnvironment::pretty_println_val`
[INFO] [stdout]    --> src/typeck/mod.rs:238:5
[INFO] [stdout]     |
[INFO] [stdout] 238 |     pub fn pretty_println_val(&'a self, val: &impl PrettyPrint<PrettyPrintContext<'a>>) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `typeck::TypingEnvironment::pretty_println_val` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but type `typeck::PrettyPrintContext<'a>` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/typeck/mod.rs:181:1
[INFO] [stdout]     |
[INFO] [stdout] 181 | struct PrettyPrintContext<'a> {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Class` and `Instance` are never constructed
[INFO] [stdout]   --> src/parser/ast/item/mod.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub enum Item {
[INFO] [stdout]    |          ---- variants in this enum
[INFO] [stdout] 18 |     DataDefinition(DataDefinition),
[INFO] [stdout] 19 |     Class,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 20 |     Instance,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Item` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/parser/atoms/mod.rs:40:21
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub struct Operator(InternKey);
[INFO] [stdout]    |            -------- ^^^^^^^^^
[INFO] [stdout]    |            |
[INFO] [stdout]    |            field in this struct
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing this field
[INFO] [stdout]    = note: `Operator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `operator` is never used
[INFO] [stdout]   --> src/parser/atoms/mod.rs:65:15
[INFO] [stdout]    |
[INFO] [stdout] 65 | pub(super) fn operator() -> impl Parser<Output = Operator> {
[INFO] [stdout]    |               ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `non_newline_whitespace` is never used
[INFO] [stdout]   --> src/parser/atoms/whitespace.rs:50:8
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub fn non_newline_whitespace() -> impl Parser<Output = ()> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `MapStrExt` is never used
[INFO] [stdout]    --> src/parser/combinators/modifiers.rs:101:11
[INFO] [stdout]     |
[INFO] [stdout] 101 | pub trait MapStrExt: Parser {
[INFO] [stdout]     |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `DebugExt` is never used
[INFO] [stdout]    --> src/parser/combinators/modifiers.rs:145:11
[INFO] [stdout]     |
[INFO] [stdout] 145 | pub trait DebugExt: Parser {
[INFO] [stdout]     |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `ThenIgnoreExt` is never used
[INFO] [stdout]    --> src/parser/combinators/modifiers.rs:167:11
[INFO] [stdout]     |
[INFO] [stdout] 167 | pub trait ThenIgnoreExt: Parser {
[INFO] [stdout]     |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `RepeatUntilExt` is never used
[INFO] [stdout]    --> src/parser/combinators/repeat.rs:106:11
[INFO] [stdout]     |
[INFO] [stdout] 106 | pub trait RepeatUntilExt: Parser {
[INFO] [stdout]     |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `fold_1` is never used
[INFO] [stdout]    --> src/parser/combinators/repeat.rs:201:8
[INFO] [stdout]     |
[INFO] [stdout] 200 | pub trait Fold1Ext: Parser {
[INFO] [stdout]     |           -------- method in this trait
[INFO] [stdout] 201 |     fn fold_1<F: Fn(Self::Output, Self::Output) -> Self::Output>(
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `assemble_telescope` is never used
[INFO] [stdout]   --> src/typeck/mod.rs:71:8
[INFO] [stdout]    |
[INFO] [stdout] 36 | impl TypingEnvironment {
[INFO] [stdout]    | ---------------------- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 71 |     fn assemble_telescope(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `get_binder` is never used
[INFO] [stdout]    --> src/typeck/mod.rs:164:8
[INFO] [stdout]     |
[INFO] [stdout] 142 | impl<'a> TypingContext<'a> {
[INFO] [stdout]     | -------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 164 |     fn get_binder(&self, index: usize) -> Option<&'a TypedBinder> {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `pretty_print_val` is never used
[INFO] [stdout]    --> src/typeck/mod.rs:230:12
[INFO] [stdout]     |
[INFO] [stdout] 216 | impl<'a> TypingEnvironment {
[INFO] [stdout]     | -------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 230 |     pub fn pretty_print_val(&'a self, val: &impl PrettyPrint<PrettyPrintContext<'a>>) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `from_level_parameters` and `instantiate_parameters` are never used
[INFO] [stdout]   --> src/typeck/level.rs:56:12
[INFO] [stdout]    |
[INFO] [stdout] 51 | impl LevelArgs {
[INFO] [stdout]    | -------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 56 |     pub fn from_level_parameters(level_parameters: &LevelParameters) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 67 |     pub fn instantiate_parameters(&self, other: &LevelArgs) -> LevelArgs {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `resolve_ty` is never used
[INFO] [stdout]   --> src/typeck/namespace.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 22 | impl Namespace {
[INFO] [stdout]    | -------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 60 |     pub fn resolve_ty(&self, path: Path, level_args: &LevelArgs) -> Result<TypedTerm, TypeError> {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `is_bound_variable` is never used
[INFO] [stdout]   --> src/typeck/term/accessors.rs:41:12
[INFO] [stdout]    |
[INFO] [stdout] 6  | impl TypedTerm {
[INFO] [stdout]    | -------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 41 |     pub fn is_bound_variable(&self) -> Option<(usize, Option<Identifier>)> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]    --> src/parser/mod.rs:109:15
[INFO] [stdout]     |
[INFO] [stdout] 109 |     fn borrow(&mut self) -> ParseContext {
[INFO] [stdout]     |               ^^^^^^^^^     ------------ the lifetime gets resolved as `'_`
[INFO] [stdout]     |               |
[INFO] [stdout]     |               this lifetime flows to the output
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]     |
[INFO] [stdout] 109 |     fn borrow(&mut self) -> ParseContext<'_> {
[INFO] [stdout]     |                                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]    --> src/parser/mod.rs:116:24
[INFO] [stdout]     |
[INFO] [stdout] 116 |     fn borrow_indented(&mut self) -> ParseContext {
[INFO] [stdout]     |                        ^^^^^^^^^     ------------ the lifetime gets resolved as `'_`
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        this lifetime flows to the output
[INFO] [stdout]     |
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]     |
[INFO] [stdout] 116 |     fn borrow_indented(&mut self) -> ParseContext<'_> {
[INFO] [stdout]     |                                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]    --> src/parser/mod.rs:170:24
[INFO] [stdout]     |
[INFO] [stdout] 170 |     fn borrow_indented(&self) -> PrettyPrintContext {
[INFO] [stdout]     |                        ^^^^^     ------------------ the lifetime gets resolved as `'_`
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        this lifetime flows to the output
[INFO] [stdout]     |
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]     |
[INFO] [stdout] 170 |     fn borrow_indented(&self) -> PrettyPrintContext<'_> {
[INFO] [stdout]     |                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]   --> src/parser/atoms/ident.rs:29:19
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn borrow(&self) -> Path {
[INFO] [stdout]    |                   ^^^^^     ---- the lifetime gets resolved as `'_`
[INFO] [stdout]    |                   |
[INFO] [stdout]    |                   this lifetime flows to the output
[INFO] [stdout]    |
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]    |
[INFO] [stdout] 29 |     pub fn borrow(&self) -> Path<'_> {
[INFO] [stdout]    |                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]    --> src/typeck/mod.rs:194:17
[INFO] [stdout]     |
[INFO] [stdout] 194 |     fn interner(&self) -> Ref<Interner> {
[INFO] [stdout]     |                 ^^^^^     ------------- the lifetime gets resolved as `'_`
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 this lifetime flows to the output
[INFO] [stdout]     |
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]     |
[INFO] [stdout] 194 |     fn interner(&self) -> Ref<'_, Interner> {
[INFO] [stdout]     |                               +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 21.31s
[INFO] running `Command { std: "docker" "inspect" "36b0a914eb95cf0a2628188af0d003a0f8c2b6cdd1a4fa987b479fdad490831d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "36b0a914eb95cf0a2628188af0d003a0f8c2b6cdd1a4fa987b479fdad490831d", kill_on_drop: false }`
[INFO] [stdout] 36b0a914eb95cf0a2628188af0d003a0f8c2b6cdd1a4fa987b479fdad490831d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] f4b24b68e0a0d052a7ae4b4735d915fec37f13c6bbe8ad9242825b1f41524c1a
[INFO] running `Command { std: "docker" "start" "-a" "f4b24b68e0a0d052a7ae4b4735d915fec37f13c6bbe8ad9242825b1f41524c1a", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `TypeError`
[INFO] [stderr]  --> src/main.rs:3:21
[INFO] [stderr]   |
[INFO] [stderr] 3 | use crate::typeck::{TypeError, TypingEnvironment};
[INFO] [stderr]   |                     ^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `crate::parser::combinators::tuples::HeterogeneousTupleExt`
[INFO] [stderr]  --> src/parser/ast/mod.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 | use crate::parser::combinators::tuples::HeterogeneousTupleExt;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `DebugExt` and `OptionalExt`
[INFO] [stderr]  --> src/parser/ast/item/data.rs:6:45
[INFO] [stderr]   |
[INFO] [stderr] 6 | use crate::parser::combinators::modifiers::{DebugExt, OptionalExt};
[INFO] [stderr]   |                                             ^^^^^^^^  ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::rc::Rc`
[INFO] [stderr]    --> src/parser/ast/item/data.rs:114:9
[INFO] [stderr]     |
[INFO] [stderr] 114 |     use std::rc::Rc;
[INFO] [stderr]     |         ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `whitespace`
[INFO] [stderr]  --> src/parser/ast/item/def.rs:5:52
[INFO] [stderr]   |
[INFO] [stderr] 5 | use crate::parser::atoms::whitespace::{InBlockExt, whitespace};
[INFO] [stderr]   |                                                    ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `crate::parser::combinators::modifiers::OptionalExt`
[INFO] [stderr]  --> src/parser/ast/item/def.rs:6:5
[INFO] [stderr]   |
[INFO] [stderr] 6 | use crate::parser::combinators::modifiers::OptionalExt;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `IgnoreValExt`
[INFO] [stderr]  --> src/parser/ast/item/mod.rs:9:45
[INFO] [stderr]   |
[INFO] [stderr] 9 | use crate::parser::combinators::modifiers::{IgnoreValExt, MapExt, OptionalExt};
[INFO] [stderr]   |                                             ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `DebugExt`
[INFO] [stderr]  --> src/parser/atoms/literal.rs:2:45
[INFO] [stderr]   |
[INFO] [stderr] 2 | use crate::parser::combinators::modifiers::{DebugExt, ReparseExt, VerifyExt};
[INFO] [stderr]   |                                             ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `todo`
[INFO] [stderr]  --> src/parser/atoms/whitespace.rs:5:37
[INFO] [stderr]   |
[INFO] [stderr] 5 | use crate::parser::{Parser, parser, todo};
[INFO] [stderr]   |                                     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `super::*`
[INFO] [stderr]   --> src/parser/atoms/whitespace.rs:80:9
[INFO] [stderr]    |
[INFO] [stderr] 80 |     use super::*;
[INFO] [stderr]    |         ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `crate::parser::combinators::repeat::FinalSeparatorBehaviour::ForbidFinal`
[INFO] [stderr]  --> src/parser/atoms/mod.rs:8:5
[INFO] [stderr]   |
[INFO] [stderr] 8 | use crate::parser::combinators::repeat::FinalSeparatorBehaviour::ForbidFinal;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `Repeat0Ext` and `Repeat1WithSeparatorExt`
[INFO] [stderr]  --> src/parser/atoms/mod.rs:9:42
[INFO] [stderr]   |
[INFO] [stderr] 9 | use crate::parser::combinators::repeat::{Repeat0Ext, Repeat1Ext, Repeat1WithSeparatorExt};
[INFO] [stderr]   |                                          ^^^^^^^^^^              ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `HeterogeneousTupleExt` and `HomogeneousTupleExt`
[INFO] [stderr]   --> src/parser/atoms/mod.rs:10:42
[INFO] [stderr]    |
[INFO] [stderr] 10 | use crate::parser::combinators::tuples::{HeterogeneousTupleExt, HomogeneousTupleExt};
[INFO] [stderr]    |                                          ^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `Interner` and `PrettyPrint`
[INFO] [stderr]   --> src/parser/atoms/mod.rs:11:32
[INFO] [stderr]    |
[INFO] [stderr] 11 | use crate::parser::{InternKey, Interner, ParseResult, Parser, PrettyPrint, parser};
[INFO] [stderr]    |                                ^^^^^^^^                       ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `IdContinue` and `IdStart`
[INFO] [stderr]   --> src/parser/atoms/mod.rs:12:29
[INFO] [stderr]    |
[INFO] [stderr] 12 | use icu_properties::props::{IdContinue, IdStart, Math};
[INFO] [stderr]    |                             ^^^^^^^^^^  ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::io::Write`
[INFO] [stderr]   --> src/parser/atoms/mod.rs:14:5
[INFO] [stderr]    |
[INFO] [stderr] 14 | use std::io::Write;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `ParseContext` and `todo`
[INFO] [stderr]  --> src/parser/combinators/modifiers.rs:2:21
[INFO] [stderr]   |
[INFO] [stderr] 2 | use crate::parser::{ParseContext, ParseResult, Parser, parser, todo};
[INFO] [stderr]   |                     ^^^^^^^^^^^^                               ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `ThenIgnoreExt`
[INFO] [stderr]  --> src/parser/combinators/repeat.rs:1:45
[INFO] [stderr]   |
[INFO] [stderr] 1 | use crate::parser::combinators::modifiers::{ThenIgnoreExt, VerifyExt};
[INFO] [stderr]   |                                             ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `todo`
[INFO] [stderr]  --> src/parser/combinators/repeat.rs:2:50
[INFO] [stderr]   |
[INFO] [stderr] 2 | use crate::parser::{ParseResult, Parser, parser, todo};
[INFO] [stderr]   |                                                  ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `whitespace`
[INFO] [stderr]  --> src/parser/combinators/tuples.rs:1:63
[INFO] [stderr]   |
[INFO] [stderr] 1 | use crate::parser::atoms::whitespace::{SurroundWhitespaceExt, whitespace};
[INFO] [stderr]   |                                                               ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `parser`
[INFO] [stderr]  --> src/parser/combinators/tuples.rs:3:42
[INFO] [stderr]   |
[INFO] [stderr] 3 | use crate::parser::{ParseResult, Parser, parser};
[INFO] [stderr]   |                                          ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `ParseResult`, `Parser`, and `parser`
[INFO] [stderr]  --> src/parser/combinators/mod.rs:5:21
[INFO] [stderr]   |
[INFO] [stderr] 5 | use crate::parser::{ParseResult, Parser, parser};
[INFO] [stderr]   |                     ^^^^^^^^^^^  ^^^^^^  ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `TypedTermKind`
[INFO] [stderr]  --> src/typeck/context.rs:4:51
[INFO] [stderr]   |
[INFO] [stderr] 4 | use crate::typeck::term::{TypedBinder, TypedTerm, TypedTermKind};
[INFO] [stderr]   |                                                   ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::rc::Rc`
[INFO] [stderr]  --> src/typeck/data/mod.rs:9:5
[INFO] [stderr]   |
[INFO] [stderr] 9 | use std::rc::Rc;
[INFO] [stderr]   |     ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `crate::parser::ast::parse_file`
[INFO] [stderr]  --> src/typeck/data/tests.rs:3:5
[INFO] [stderr]   |
[INFO] [stderr] 3 | use crate::parser::ast::parse_file;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `super::*`
[INFO] [stderr]    --> src/typeck/namespace.rs:171:9
[INFO] [stderr]     |
[INFO] [stderr] 171 |     use super::*;
[INFO] [stderr]     |         ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `OwnedPath`
[INFO] [stderr]  --> src/typeck/term/constructors.rs:1:47
[INFO] [stderr]   |
[INFO] [stderr] 1 | use crate::parser::atoms::ident::{Identifier, OwnedPath};
[INFO] [stderr]   |                                               ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `LevelArgs`
[INFO] [stderr]  --> src/typeck/term/constructors.rs:3:35
[INFO] [stderr]   |
[INFO] [stderr] 3 | use crate::typeck::level::{Level, LevelArgs};
[INFO] [stderr]   |                                   ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `AdtConstructor`
[INFO] [stderr]  --> src/typeck/term/def_eq.rs:4:32
[INFO] [stderr]   |
[INFO] [stderr] 4 | use crate::typeck::data::{Adt, AdtConstructor};
[INFO] [stderr]   |                                ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `crate::parser::ast::parse_file`
[INFO] [stderr]  --> src/typeck/term/tests.rs:2:5
[INFO] [stderr]   |
[INFO] [stderr] 2 | use crate::parser::ast::parse_file;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `crate::typeck::TypingEnvironment`
[INFO] [stderr]  --> src/typeck/term/tests.rs:3:5
[INFO] [stderr]   |
[INFO] [stderr] 3 | use crate::typeck::TypingEnvironment;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `OwnedPath`
[INFO] [stderr]  --> src/typeck/term/mod.rs:9:47
[INFO] [stderr]   |
[INFO] [stderr] 9 | use crate::parser::atoms::ident::{Identifier, OwnedPath};
[INFO] [stderr]   |                                               ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `LevelArgs`
[INFO] [stderr]   --> src/typeck/term/mod.rs:10:35
[INFO] [stderr]    |
[INFO] [stderr] 10 | use crate::typeck::level::{Level, LevelArgs};
[INFO] [stderr]    |                                   ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `crate::parser::PrettyPrint`
[INFO] [stderr]  --> src/main.rs:1:5
[INFO] [stderr]   |
[INFO] [stderr] 1 | use crate::parser::PrettyPrint;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `id_v`
[INFO] [stderr]    --> src/parser/ast/term.rs:344:13
[INFO] [stderr]     |
[INFO] [stderr] 344 |         let id_v = Identifier::from_str("v", context.interner);
[INFO] [stderr]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_id_v`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `tyss`
[INFO] [stderr]    --> src/typeck/context.rs:165:13
[INFO] [stderr]     |
[INFO] [stderr] 165 |         let tyss = tys.succ();
[INFO] [stderr]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_tyss`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `path_a`
[INFO] [stderr]    --> src/typeck/context.rs:209:13
[INFO] [stderr]     |
[INFO] [stderr] 209 |         let path_a = OwnedPath::from_id(id_a);
[INFO] [stderr]     |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_path_a`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `i`
[INFO] [stderr]    --> src/typeck/data/mod.rs:201:14
[INFO] [stderr]     |
[INFO] [stderr] 201 |         for (i, constructor) in adt.constructors.iter().enumerate() {
[INFO] [stderr]     |              ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]    --> src/typeck/data/mod.rs:343:9
[INFO] [stderr]     |
[INFO] [stderr] 343 |         name: Identifier,
[INFO] [stderr]     |         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]    --> src/typeck/term/accessors.rs:145:36
[INFO] [stderr]     |
[INFO] [stderr] 145 |             BoundVariable { index, name } => *index == id,
[INFO] [stderr]     |                                    ^^^^ help: try ignoring the field: `name: _`
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `value_definition`
[INFO] [stderr]    --> src/parser/ast/item/def.rs:22:1
[INFO] [stderr]     |
[INFO] [stderr] 22  | pub fn value_definition() -> impl Parser<Output = ValueDefinition> {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `value_definition` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr]     = note: `#[warn(private_interfaces)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `ast::term::term`
[INFO] [stderr]    --> src/parser/ast/term.rs:75:1
[INFO] [stderr]     |
[INFO] [stderr] 75  | pub fn term() -> impl Parser<Output = Term> {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `ast::term::term` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `bracketed_binder`
[INFO] [stderr]    --> src/parser/ast/term.rs:117:1
[INFO] [stderr]     |
[INFO] [stderr] 117 | pub fn bracketed_binder() -> impl Parser<Output = Binder> {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `bracketed_binder` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `binder`
[INFO] [stderr]    --> src/parser/ast/term.rs:133:1
[INFO] [stderr]     |
[INFO] [stderr] 133 | pub fn binder() -> impl Parser<Output = Binder> {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `binder` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `ident::identifier`
[INFO] [stderr]    --> src/parser/atoms/ident.rs:101:1
[INFO] [stderr]     |
[INFO] [stderr] 101 | pub fn identifier() -> impl Parser<Output = Identifier> {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `ident::identifier` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `keyword`
[INFO] [stderr]    --> src/parser/atoms/ident.rs:105:1
[INFO] [stderr]     |
[INFO] [stderr] 105 | pub fn keyword(kw: &str) -> impl Parser<Output = ()> {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `keyword` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `ident::path`
[INFO] [stderr]    --> src/parser/atoms/ident.rs:113:1
[INFO] [stderr]     |
[INFO] [stderr] 113 | pub fn path() -> impl Parser<Output = OwnedPath> {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `ident::path` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `nat_literal`
[INFO] [stderr]    --> src/parser/atoms/literal.rs:6:1
[INFO] [stderr]     |
[INFO] [stderr] 6   | pub fn nat_literal() -> impl Parser<Output = usize> {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `nat_literal` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `newline_and_indent`
[INFO] [stderr]    --> src/parser/atoms/whitespace.rs:18:1
[INFO] [stderr]     |
[INFO] [stderr] 18  | pub fn newline_and_indent() -> impl Parser<Output = ()> {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `newline_and_indent` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `whitespace`
[INFO] [stderr]    --> src/parser/atoms/whitespace.rs:39:1
[INFO] [stderr]     |
[INFO] [stderr] 39  | pub fn whitespace() -> impl Parser<Output = ()> {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `whitespace` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `non_newline_whitespace`
[INFO] [stderr]    --> src/parser/atoms/whitespace.rs:50:1
[INFO] [stderr]     |
[INFO] [stderr] 50  | pub fn non_newline_whitespace() -> impl Parser<Output = ()> {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `non_newline_whitespace` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `SurroundWhitespaceExt`
[INFO] [stderr]    --> src/parser/atoms/whitespace.rs:57:1
[INFO] [stderr]     |
[INFO] [stderr] 57  | pub trait SurroundWhitespaceExt: Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ trait `SurroundWhitespaceExt` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr]     = note: `#[warn(private_bounds)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `<P as SurroundWhitespaceExt>::surround_whitespace`
[INFO] [stderr]    --> src/parser/atoms/whitespace.rs:62:5
[INFO] [stderr]     |
[INFO] [stderr] 62  |     fn surround_whitespace(self) -> impl Parser<Output = Self::Output> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `<P as SurroundWhitespaceExt>::surround_whitespace` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated type `parser::Parser::Output` is more private than the item `<P as SurroundWhitespaceExt>::surround_whitespace`
[INFO] [stderr]    --> src/parser/atoms/whitespace.rs:62:5
[INFO] [stderr]     |
[INFO] [stderr] 62  |     fn surround_whitespace(self) -> impl Parser<Output = Self::Output> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `<P as SurroundWhitespaceExt>::surround_whitespace` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but associated type `parser::Parser::Output` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:125:5
[INFO] [stderr]     |
[INFO] [stderr] 125 |     type Output;
[INFO] [stderr]     |     ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `InBlockExt`
[INFO] [stderr]    --> src/parser/atoms/whitespace.rs:67:1
[INFO] [stderr]     |
[INFO] [stderr] 67  | pub trait InBlockExt: Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ trait `InBlockExt` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `parser::Parser` is more private than the item `<P as InBlockExt>::in_block`
[INFO] [stderr]    --> src/parser/atoms/whitespace.rs:73:5
[INFO] [stderr]     |
[INFO] [stderr] 73  |     fn in_block(self) -> impl Parser<Output = Self::Output> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `<P as InBlockExt>::in_block` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but trait `parser::Parser` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:124:1
[INFO] [stderr]     |
[INFO] [stderr] 124 | trait Parser {
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated type `parser::Parser::Output` is more private than the item `<P as InBlockExt>::in_block`
[INFO] [stderr]    --> src/parser/atoms/whitespace.rs:73:5
[INFO] [stderr]     |
[INFO] [stderr] 73  |     fn in_block(self) -> impl Parser<Output = Self::Output> {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `<P as InBlockExt>::in_block` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but associated type `parser::Parser::Output` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/parser/mod.rs:125:5
[INFO] [stderr]     |
[INFO] [stderr] 125 |     type Output;
[INFO] [stderr]     |     ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `typeck::PrettyPrintContext<'a>` is more private than the item `typeck::TypingEnvironment::pretty_print_val`
[INFO] [stderr]    --> src/typeck/mod.rs:230:5
[INFO] [stderr]     |
[INFO] [stderr] 230 |     pub fn pretty_print_val(&'a self, val: &impl PrettyPrint<PrettyPrintContext<'a>>) {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `typeck::TypingEnvironment::pretty_print_val` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but type `typeck::PrettyPrintContext<'a>` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/typeck/mod.rs:181:1
[INFO] [stderr]     |
[INFO] [stderr] 181 | struct PrettyPrintContext<'a> {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `typeck::PrettyPrintContext<'a>` is more private than the item `typeck::TypingEnvironment::pretty_println_val`
[INFO] [stderr]    --> src/typeck/mod.rs:238:5
[INFO] [stderr]     |
[INFO] [stderr] 238 |     pub fn pretty_println_val(&'a self, val: &impl PrettyPrint<PrettyPrintContext<'a>>) {
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `typeck::TypingEnvironment::pretty_println_val` is reachable at visibility `pub(crate)`
[INFO] [stderr]     |
[INFO] [stderr] note: but type `typeck::PrettyPrintContext<'a>` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/typeck/mod.rs:181:1
[INFO] [stderr]     |
[INFO] [stderr] 181 | struct PrettyPrintContext<'a> {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variants `Class` and `Instance` are never constructed
[INFO] [stderr]   --> src/parser/ast/item/mod.rs:19:5
[INFO] [stderr]    |
[INFO] [stderr] 17 | pub enum Item {
[INFO] [stderr]    |          ---- variants in this enum
[INFO] [stderr] 18 |     DataDefinition(DataDefinition),
[INFO] [stderr] 19 |     Class,
[INFO] [stderr]    |     ^^^^^
[INFO] [stderr] 20 |     Instance,
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Item` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: field `0` is never read
[INFO] [stderr]   --> src/parser/atoms/mod.rs:40:21
[INFO] [stderr]    |
[INFO] [stderr] 40 | pub struct Operator(InternKey);
[INFO] [stderr]    |            -------- ^^^^^^^^^
[INFO] [stderr]    |            |
[INFO] [stderr]    |            field in this struct
[INFO] [stderr]    |
[INFO] [stderr]    = help: consider removing this field
[INFO] [stderr]    = note: `Operator` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: function `operator` is never used
[INFO] [stderr]   --> src/parser/atoms/mod.rs:65:15
[INFO] [stderr]    |
[INFO] [stderr] 65 | pub(super) fn operator() -> impl Parser<Output = Operator> {
[INFO] [stderr]    |               ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `non_newline_whitespace` is never used
[INFO] [stderr]   --> src/parser/atoms/whitespace.rs:50:8
[INFO] [stderr]    |
[INFO] [stderr] 50 | pub fn non_newline_whitespace() -> impl Parser<Output = ()> {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `MapStrExt` is never used
[INFO] [stderr]    --> src/parser/combinators/modifiers.rs:101:11
[INFO] [stderr]     |
[INFO] [stderr] 101 | pub trait MapStrExt: Parser {
[INFO] [stderr]     |           ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `DebugExt` is never used
[INFO] [stderr]    --> src/parser/combinators/modifiers.rs:145:11
[INFO] [stderr]     |
[INFO] [stderr] 145 | pub trait DebugExt: Parser {
[INFO] [stderr]     |           ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `ThenIgnoreExt` is never used
[INFO] [stderr]    --> src/parser/combinators/modifiers.rs:167:11
[INFO] [stderr]     |
[INFO] [stderr] 167 | pub trait ThenIgnoreExt: Parser {
[INFO] [stderr]     |           ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `RepeatUntilExt` is never used
[INFO] [stderr]    --> src/parser/combinators/repeat.rs:106:11
[INFO] [stderr]     |
[INFO] [stderr] 106 | pub trait RepeatUntilExt: Parser {
[INFO] [stderr]     |           ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method `fold_1` is never used
[INFO] [stderr]    --> src/parser/combinators/repeat.rs:201:8
[INFO] [stderr]     |
[INFO] [stderr] 200 | pub trait Fold1Ext: Parser {
[INFO] [stderr]     |           -------- method in this trait
[INFO] [stderr] 201 |     fn fold_1<F: Fn(Self::Output, Self::Output) -> Self::Output>(
[INFO] [stderr]     |        ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `assemble_telescope` is never used
[INFO] [stderr]   --> src/typeck/mod.rs:71:8
[INFO] [stderr]    |
[INFO] [stderr] 36 | impl TypingEnvironment {
[INFO] [stderr]    | ---------------------- associated function in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 71 |     fn assemble_telescope(
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method `get_binder` is never used
[INFO] [stderr]    --> src/typeck/mod.rs:164:8
[INFO] [stderr]     |
[INFO] [stderr] 142 | impl<'a> TypingContext<'a> {
[INFO] [stderr]     | -------------------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 164 |     fn get_binder(&self, index: usize) -> Option<&'a TypedBinder> {
[INFO] [stderr]     |        ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method `pretty_print_val` is never used
[INFO] [stderr]    --> src/typeck/mod.rs:230:12
[INFO] [stderr]     |
[INFO] [stderr] 216 | impl<'a> TypingEnvironment {
[INFO] [stderr]     | -------------------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 230 |     pub fn pretty_print_val(&'a self, val: &impl PrettyPrint<PrettyPrintContext<'a>>) {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `from_level_parameters` and `instantiate_parameters` are never used
[INFO] [stderr]   --> src/typeck/level.rs:56:12
[INFO] [stderr]    |
[INFO] [stderr] 51 | impl LevelArgs {
[INFO] [stderr]    | -------------- associated items in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 56 |     pub fn from_level_parameters(level_parameters: &LevelParameters) -> Self {
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 67 |     pub fn instantiate_parameters(&self, other: &LevelArgs) -> LevelArgs {
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method `resolve_ty` is never used
[INFO] [stderr]   --> src/typeck/namespace.rs:60:12
[INFO] [stderr]    |
[INFO] [stderr] 22 | impl Namespace {
[INFO] [stderr]    | -------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 60 |     pub fn resolve_ty(&self, path: Path, level_args: &LevelArgs) -> Result<TypedTerm, TypeError> {
[INFO] [stderr]    |            ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method `is_bound_variable` is never used
[INFO] [stderr]   --> src/typeck/term/accessors.rs:41:12
[INFO] [stderr]    |
[INFO] [stderr] 6  | impl TypedTerm {
[INFO] [stderr]    | -------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 41 |     pub fn is_bound_variable(&self) -> Option<(usize, Option<Identifier>)> {
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stderr]    --> src/parser/mod.rs:109:15
[INFO] [stderr]     |
[INFO] [stderr] 109 |     fn borrow(&mut self) -> ParseContext {
[INFO] [stderr]     |               ^^^^^^^^^     ------------ the lifetime gets resolved as `'_`
[INFO] [stderr]     |               |
[INFO] [stderr]     |               this lifetime flows to the output
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stderr]     |
[INFO] [stderr] 109 |     fn borrow(&mut self) -> ParseContext<'_> {
[INFO] [stderr]     |                                         ++++
[INFO] [stderr] 
[INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stderr]    --> src/parser/mod.rs:116:24
[INFO] [stderr]     |
[INFO] [stderr] 116 |     fn borrow_indented(&mut self) -> ParseContext {
[INFO] [stderr]     |                        ^^^^^^^^^     ------------ the lifetime gets resolved as `'_`
[INFO] [stderr]     |                        |
[INFO] [stderr]     |                        this lifetime flows to the output
[INFO] [stderr]     |
[INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stderr]     |
[INFO] [stderr] 116 |     fn borrow_indented(&mut self) -> ParseContext<'_> {
[INFO] [stderr]     |                                                  ++++
[INFO] [stderr] 
[INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stderr]    --> src/parser/mod.rs:170:24
[INFO] [stderr]     |
[INFO] [stderr] 170 |     fn borrow_indented(&self) -> PrettyPrintContext {
[INFO] [stderr]     |                        ^^^^^     ------------------ the lifetime gets resolved as `'_`
[INFO] [stderr]     |                        |
[INFO] [stderr]     |                        this lifetime flows to the output
[INFO] [stderr]     |
[INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stderr]     |
[INFO] [stderr] 170 |     fn borrow_indented(&self) -> PrettyPrintContext<'_> {
[INFO] [stderr]     |                                                    ++++
[INFO] [stderr] 
[INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stderr]   --> src/parser/atoms/ident.rs:29:19
[INFO] [stderr]    |
[INFO] [stderr] 29 |     pub fn borrow(&self) -> Path {
[INFO] [stderr]    |                   ^^^^^     ---- the lifetime gets resolved as `'_`
[INFO] [stderr]    |                   |
[INFO] [stderr]    |                   this lifetime flows to the output
[INFO] [stderr]    |
[INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stderr]    |
[INFO] [stderr] 29 |     pub fn borrow(&self) -> Path<'_> {
[INFO] [stderr]    |                                 ++++
[INFO] [stderr] 
[INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stderr]    --> src/typeck/mod.rs:194:17
[INFO] [stderr]     |
[INFO] [stderr] 194 |     fn interner(&self) -> Ref<Interner> {
[INFO] [stderr]     |                 ^^^^^     ------------- the lifetime gets resolved as `'_`
[INFO] [stderr]     |                 |
[INFO] [stderr]     |                 this lifetime flows to the output
[INFO] [stderr]     |
[INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stderr]     |
[INFO] [stderr] 194 |     fn interner(&self) -> Ref<'_, Interner> {
[INFO] [stderr]     |                               +++
[INFO] [stderr] 
[INFO] [stderr] warning: `prop-compiler` (bin "prop-compiler" test) generated 79 warnings (run `cargo fix --bin "prop-compiler" --tests` to apply 33 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/prop_compiler-ad089551c492c91d)
[INFO] [stdout] 
[INFO] [stdout] running 32 tests
[INFO] [stdout] test parser::ast::item::data::tests::test_data_definition ... ok
[INFO] [stdout] test parser::ast::item::tests::test_level_params ... ok
[INFO] [stdout] test parser::ast::term::tests::test_pi_type ... ok
[INFO] [stdout] test parser::atoms::ident::tests::test_identifier ... ok
[INFO] [stdout] test parser::atoms::ident::tests::test_keywords_are_identifiers ... ok
[INFO] [stdout] test parser::atoms::ident::tests::test_path ... ok
[INFO] [stdout] test parser::atoms::tests::test_sorted_lists ... ok
[INFO] [stdout] test parser::atoms::ident::tests::test_reserved_identifiers_sorted ... ok
[INFO] [stdout] test typeck::data::tests::test_resolve_adt_eq ... ok
[INFO] [stdout] test parser::combinators::repeat::tests::test_repeat_1_with_separator ... ok
[INFO] [stdout] test typeck::context::tests::test_resolve_identifier ... ok
[INFO] [stdout] test typeck::level::tests::test_cmp_norm ... ok
[INFO] [stdout] test typeck::level::tests::test_def_eq ... ok
[INFO] [stdout] test typeck::data::tests::test_resolve_adt_list ... ok
[INFO] [stdout] False
[INFO] [stdout] T?0
[INFO] [stdout] test typeck::data::tests::test_resolve_adt_nat ... ok
[INFO] [stdout] test typeck::context::tests::test_resolve_path ... ok
[INFO] [stdout] test typeck::level::tests::test_instantiate_parameters ... ok
[INFO] [stdout] test typeck::data::tests::test_invalid_adt_definitions ... ok
[INFO] [stdout] test typeck::level::tests::test_is_geq ... ok
[INFO] [stdout] test typeck::level::tests::test_normalize ... ok
[INFO] [stdout] test typeck::level::tests::test_normalize_imax ... ok
[INFO] [stdout] test typeck::level::tests::test_normalize_max ... ok
[INFO] [stdout] test typeck::level::tests::test_resolve_level ... ok
[INFO] [stdout] Nat.zero
[INFO] [stdout] Nat.zero
[INFO] [stdout] Nat.zero
[INFO] [stdout] test typeck::level::tests::test_set_level_params ... ok
[INFO] [stdout] (Nat.succ Nat.zero)
[INFO] [stdout] (Nat.succ Nat.zero)
[INFO] [stdout] (Nat.succ Nat.zero)
[INFO] [stdout] Nat.succ
[INFO] [stdout] Nat.succ
[INFO] [stdout] Nat.succ
[INFO] [stdout] Nat.zero
[INFO] [stdout] (Nat.succ Nat.zero)
[INFO] [stdout] (Nat.succ _?0)
[INFO] [stdout] Nat.zero
[INFO] [stdout] Nat.zero
[INFO] [stdout] Nat.zero
[INFO] [stdout] ((fun (x: Nat) => Nat.zero) Nat.zero)
[INFO] [stdout] Nat.zero
[INFO] [stdout] Nat.zero
[INFO] [stdout] ((fun (f: ((_: Nat) -> Nat)) => (fun (x: Nat) => (f?1 (f?1 x?0)))) (fun (x: Nat) => (Nat.succ x?0)))
[INFO] [stdout] (fun (x: Nat) => ((fun (x: Nat) => (Nat.succ x?0)) ((fun (x: Nat) => (Nat.succ x?0)) x?0)))
[INFO] [stdout] (fun (x: Nat) => (Nat.succ (Nat.succ x?0)))
[INFO] [stdout] (Nat.succ ((fun (x: Nat) => (Nat.succ x?0)) _?0))
[INFO] [stdout] (Nat.succ (Nat.succ _?0))
[INFO] [stdout] (Nat.succ _?0)
[INFO] [stdout] (Nat.succ _?0)
[INFO] [stdout] ((fun (f: ((_: Nat) -> Nat)) => (f?0 (f?0 Nat.zero))) (fun (x: Nat) => (Nat.succ x?0)))
[INFO] [stdout] (Nat.succ ((fun (x: Nat) => (Nat.succ x?0)) Nat.zero))
[INFO] [stdout] (Nat.succ (Nat.succ Nat.zero))
[INFO] [stdout] (Nat.succ ((fun (x: Nat) => (Nat.succ x?0)) Nat.zero))
[INFO] [stdout] (Nat.succ (Nat.succ Nat.zero))
[INFO] [stdout] (Nat.succ Nat.zero)
[INFO] [stdout] (Nat.succ Nat.zero)
[INFO] [stdout] Nat.succ
[INFO] [stdout] Nat.succ
[INFO] [stdout] (fun (x: Nat) => (Nat.succ x?0))
[INFO] [stdout] (fun (f: ((_: Nat) -> Nat)) => f?0)
[INFO] [stdout] (fun (f: ((_: Nat) -> Nat)) => f?0)
[INFO] [stdout] (fun (f: ((_: Nat) -> Nat)) => (fun (x: Nat) => (f?1 x?0)))
[INFO] [stdout] (fun (f: ((_: Nat) -> ((_: Nat) -> Nat))) => (fun (x: Nat) => (fun (y: Nat) => ((f?2 x?1) y?0))))
[INFO] [stdout] (fun (f: ((_: Nat) -> ((_: Nat) -> Nat))) => (fun (x: Nat) => (fun (y: Nat) => ((f?2 x?1) y?0))))
[INFO] [stdout] (fun (f: ((_: Nat) -> ((_: Nat) -> Nat))) => f?0)
[INFO] [stdout] _?1
[INFO] [stdout] _?0
[INFO] [stdout] (fun (x: Nat) => (fun (y: Nat) => x?1))
[INFO] [stdout] (fun (x: Nat) => (fun (y: Nat) => x?1))
[INFO] [stdout] (fun (y: Nat) => (fun (x: Nat) => y?1))
[INFO] [stdout] P.c1
[INFO] [stdout] P.c1
[INFO] [stdout] P.c1
[INFO] [stdout] P.c2
[INFO] [stdout] P.c2
[INFO] [stdout] P.c2
[INFO] [stdout] P.c1
[INFO] [stdout] P.c1
[INFO] [stdout] P.c2
[INFO] [stdout] (fun (x: P) => (fun (y: P) => x?1))
[INFO] [stdout] (fun (x: P) => (fun (y: P) => x?1))
[INFO] [stdout] (fun (x: P) => (fun (y: P) => y?0))
[INFO] [stdout] (fun (x: P) => (fun (y: P) => x?1))
[INFO] [stdout] (fun (x: P) => (fun (y: P) => x?1))
[INFO] [stdout] (fun (x: P) => (fun (y: P) => P.c1))
[INFO] [stdout] Nat
[INFO] [stdout] Nat
[INFO] [stdout] ((_: Nat) -> ((_: ((fun (x: Nat) => Nat) _?0)) -> ((fun (x: Nat) => Nat) (Nat.succ _?1))))
[INFO] [stdout] ((_n: Nat) -> ((d: Nat) -> Nat))
[INFO] [stdout] ((_: ((fun (x: Nat) => Nat) _?0)) -> ((fun (x: Nat) => Nat) (Nat.succ _?1)))
[INFO] [stdout] ((d: Nat) -> Nat)
[INFO] [stdout] Nat
[INFO] [stdout] Nat
[INFO] [stdout] Nat
[INFO] [stdout] Nat
[INFO] [stdout] ((((Nat.rec (fun (x: Nat) => Nat)) Nat.zero) (fun (_n: Nat) => (fun (d: Nat) => (Nat.succ (Nat.succ d?0))))) (Nat.succ (Nat.succ Nat.zero)))
[INFO] [stdout] (((fun (_n: Nat) => (fun (d: Nat) => (Nat.succ (Nat.succ d?0)))) (Nat.succ Nat.zero)) ((((Nat.rec (fun (x: Nat) => Nat)) Nat.zero) (fun (_n: Nat) => (fun (d: Nat) => (Nat.succ (Nat.succ d?0))))) (Nat.succ Nat.zero)))
[INFO] [stdout] (Nat.succ (Nat.succ ((((Nat.rec (fun (x: Nat) => Nat)) Nat.zero) (fun (_n: Nat) => (fun (d: Nat) => (Nat.succ (Nat.succ d?0))))) (Nat.succ Nat.zero))))
[INFO] [stdout] (Nat.succ (Nat.succ (Nat.succ (Nat.succ Nat.zero))))
[INFO] [stdout] Nat
[INFO] [stdout] Nat
[INFO] [stdout] (((fun (_n: Nat) => (fun (d: Nat) => (Nat.succ (Nat.succ d?0)))) (Nat.succ Nat.zero)) ((((Nat.rec (fun (x: Nat) => Nat)) Nat.zero) (fun (_n: Nat) => (fun (d: Nat) => (Nat.succ (Nat.succ d?0))))) (Nat.succ Nat.zero)))
[INFO] [stdout] (Nat.succ (Nat.succ ((((Nat.rec (fun (x: Nat) => Nat)) Nat.zero) (fun (_n: Nat) => (fun (d: Nat) => (Nat.succ (Nat.succ d?0))))) (Nat.succ Nat.zero))))
[INFO] [stdout] (Nat.succ (Nat.succ (Nat.succ (Nat.succ Nat.zero))))
[INFO] [stdout] (Nat.succ ((((Nat.rec (fun (x: Nat) => Nat)) Nat.zero) (fun (_n: Nat) => (fun (d: Nat) => (Nat.succ (Nat.succ d?0))))) (Nat.succ Nat.zero)))
[INFO] [stdout] (Nat.succ (Nat.succ (Nat.succ Nat.zero)))
[INFO] [stdout] (((fun (_n: Nat) => (fun (d: Nat) => (Nat.succ (Nat.succ d?0)))) Nat.zero) ((((Nat.rec (fun (x: Nat) => Nat)) Nat.zero) (fun (_n: Nat) => (fun (d: Nat) => (Nat.succ (Nat.succ d?0))))) Nat.zero))
[INFO] [stdout] (Nat.succ (Nat.succ ((((Nat.rec (fun (x: Nat) => Nat)) Nat.zero) (fun (_n: Nat) => (fun (d: Nat) => (Nat.succ (Nat.succ d?0))))) Nat.zero)))
[INFO] [stdout] (Nat.succ (Nat.succ Nat.zero))
[INFO] [stdout] (Nat.succ ((((Nat.rec (fun (x: Nat) => Nat)) Nat.zero) (fun (_n: Nat) => (fun (d: Nat) => (Nat.succ (Nat.succ d?0))))) Nat.zero))
[INFO] [stdout] (Nat.succ Nat.zero)
[INFO] [stdout] Nat.zero
[INFO] [stdout] Nat.zero
[INFO] [stdout] Nat.zero
[INFO] [stdout] (List Nat)
[INFO] [stdout] (List Nat)
[INFO] [stdout] ((_: Nat) -> ((_: (List Nat)) -> ((_: ((fun (x: (List Nat)) => (List Nat)) _?0)) -> ((fun (x: (List Nat)) => (List Nat)) (((List.cons Nat) _?2) _?1)))))
[INFO] [stdout] ((x: Nat) -> ((xs: (List Nat)) -> ((m: (List Nat)) -> (List Nat))))
[INFO] [stdout] ((_: (List Nat)) -> ((_: ((fun (x: (List Nat)) => (List Nat)) _?0)) -> ((fun (x: (List Nat)) => (List Nat)) (((List.cons Nat) _?2) _?1))))
[INFO] [stdout] ((xs: (List Nat)) -> ((m: (List Nat)) -> (List Nat)))
[INFO] [stdout] ((_: ((fun (x: (List Nat)) => (List Nat)) _?0)) -> ((fun (x: (List Nat)) => (List Nat)) (((List.cons Nat) _?2) _?1)))
[INFO] [stdout] ((m: (List Nat)) -> (List Nat))
[INFO] [stdout] (List Nat)
[INFO] [stdout] (List Nat)
[INFO] [stdout] (List Nat)
[INFO] [stdout] (List Nat)
[INFO] [stdout] (((((List.rec Nat) (fun (x: (List Nat)) => (List Nat))) (List.nil Nat)) (fun (x: Nat) => (fun (xs: (List Nat)) => (fun (m: (List Nat)) => (((List.cons Nat) (Nat.succ x?2)) m?0))))) (((List.cons Nat) Nat.zero) (((List.cons Nat) (Nat.succ Nat.zero)) (((List.cons Nat) (Nat.succ (Nat.succ Nat.zero))) (List.nil Nat)))))
[INFO] [stdout] ((((fun (x: Nat) => (fun (xs: (List Nat)) => (fun (m: (List Nat)) => (((List.cons Nat) (Nat.succ x?2)) m?0)))) Nat.zero) (((List.cons Nat) (Nat.succ Nat.zero)) (((List.cons Nat) (Nat.succ (Nat.succ Nat.zero))) (List.nil Nat)))) (((((List.rec Nat) (fun (x: (List Nat)) => (List Nat))) (List.nil Nat)) (fun (x: Nat) => (fun (xs: (List Nat)) => (fun (m: (List Nat)) => (((List.cons Nat) (Nat.succ x?2)) m?0))))) (((List.cons Nat) (Nat.succ Nat.zero)) (((List.cons Nat) (Nat.succ (Nat.succ Nat.zero))) (List.nil Nat)))))
[INFO] [stdout] (((List.cons Nat) (Nat.succ Nat.zero)) (((((List.rec Nat) (fun (x: (List Nat)) => (List Nat))) (List.nil Nat)) (fun (x: Nat) => (fun (xs: (List Nat)) => (fun (m: (List Nat)) => (((List.cons Nat) (Nat.succ x?2)) m?0))))) (((List.cons Nat) (Nat.succ Nat.zero)) (((List.cons Nat) (Nat.succ (Nat.succ Nat.zero))) (List.nil Nat)))))
[INFO] [stdout] (((List.cons Nat) (Nat.succ Nat.zero)) (((List.cons Nat) (Nat.succ (Nat.succ Nat.zero))) (((List.cons Nat) (Nat.succ (Nat.succ (Nat.succ Nat.zero)))) (List.nil Nat))))
[INFO] [stdout] (List Nat)
[INFO] [stdout] (List Nat)
[INFO] [stdout] ((((fun (x: Nat) => (fun (xs: (List Nat)) => (fun (m: (List Nat)) => (((List.cons Nat) (Nat.succ x?2)) m?0)))) Nat.zero) (((List.cons Nat) (Nat.succ Nat.zero)) (((List.cons Nat) (Nat.succ (Nat.succ Nat.zero))) (List.nil Nat)))) (((((List.rec Nat) (fun (x: (List Nat)) => (List Nat))) (List.nil Nat)) (fun (x: Nat) => (fun (xs: (List Nat)) => (fun (m: (List Nat)) => (((List.cons Nat) (Nat.succ x?2)) m?0))))) (((List.cons Nat) (Nat.succ Nat.zero)) (((List.cons Nat) (Nat.succ (Nat.succ Nat.zero))) (List.nil Nat)))))
[INFO] [stdout] (((List.cons Nat) (Nat.succ Nat.zero)) (((((List.rec Nat) (fun (x: (List Nat)) => (List Nat))) (List.nil Nat)) (fun (x: Nat) => (fun (xs: (List Nat)) => (fun (m: (List Nat)) => (((List.cons Nat) (Nat.succ x?2)) m?0))))) (((List.cons Nat) (Nat.succ Nat.zero)) (((List.cons Nat) (Nat.succ (Nat.succ Nat.zero))) (List.nil Nat)))))
[INFO] [stdout] (((List.cons Nat) (Nat.succ Nat.zero)) (((List.cons Nat) (Nat.succ (Nat.succ Nat.zero))) (((List.cons Nat) (Nat.succ (Nat.succ (Nat.succ Nat.zero)))) (List.nil Nat))))
[INFO] [stdout] ((((fun (x: Nat) => (fun (xs: (List Nat)) => (fun (m: (List Nat)) => (((List.cons Nat) (Nat.succ x?2)) m?0)))) (Nat.succ Nat.zero)) (((List.cons Nat) (Nat.succ (Nat.succ Nat.zero))) (List.nil Nat))) (((((List.rec Nat) (fun (x: (List Nat)) => (List Nat))) (List.nil Nat)) (fun (x: Nat) => (fun (xs: (List Nat)) => (fun (m: (List Nat)) => (((List.cons Nat) (Nat.succ x?2)) m?0))))) (((List.cons Nat) (Nat.succ (Nat.succ Nat.zero))) (List.nil Nat))))
[INFO] [stdout] (((List.cons Nat) (Nat.succ (Nat.succ Nat.zero))) (((((List.rec Nat) (fun (x: (List Nat)) => (List Nat))) (List.nil Nat)) (fun (x: Nat) => (fun (xs: (List Nat)) => (fun (m: (List Nat)) => (((List.cons Nat) (Nat.succ x?2)) m?0))))) (((List.cons Nat) (Nat.succ (Nat.succ Nat.zero))) (List.nil Nat))))
[INFO] [stdout] (((List.cons Nat) (Nat.succ (Nat.succ Nat.zero))) (((List.cons Nat) (Nat.succ (Nat.succ (Nat.succ Nat.zero)))) (List.nil Nat)))
[INFO] [stdout] ((((fun (x: Nat) => (fun (xs: (List Nat)) => (fun (m: (List Nat)) => (((List.cons Nat) (Nat.succ x?2)) m?0)))) (Nat.succ (Nat.succ Nat.zero))) (List.nil Nat)) (((((List.rec Nat) (fun (x: (List Nat)) => (List Nat))) (List.nil Nat)) (fun (x: Nat) => (fun (xs: (List Nat)) => (fun (m: (List Nat)) => (((List.cons Nat) (Nat.succ x?2)) m?0))))) (List.nil Nat)))
[INFO] [stdout] (((List.cons Nat) (Nat.succ (Nat.succ (Nat.succ Nat.zero)))) (((((List.rec Nat) (fun (x: (List Nat)) => (List Nat))) (List.nil Nat)) (fun (x: Nat) => (fun (xs: (List Nat)) => (fun (m: (List Nat)) => (((List.cons Nat) (Nat.succ x?2)) m?0))))) (List.nil Nat)))
[INFO] [stdout] (((List.cons Nat) (Nat.succ (Nat.succ (Nat.succ Nat.zero)))) (List.nil Nat))
[INFO] [stdout] (List.nil Nat)
[INFO] [stdout] (List.nil Nat)
[INFO] [stdout] (List.nil Nat)
[INFO] [stdout] test typeck::term::def_eq::tests::test_def_eq ... ok
[INFO] [stdout] test parser::atoms::tests::test_str_exact ... ok
[INFO] [stdout] test typeck::term::def_eq::tests::test_recursor_reduction ... ok
[INFO] [stdout] test typeck::term::tests::test_replace_binder ... ok
[INFO] [stdout] test typeck::term::tests::test_make_application_stack ... ok
[INFO] [stdout] ((T: Sort u) -> ((R: ((_: T?0) -> ((_: T?1) -> Sort 0))) -> ((motive: ((x: T?1) -> ((_: (((Acc T?2) R?1) x?0)) -> Sort m))) -> ((acc: ((x: T?2) -> ((h: ((y: T?3) -> ((_: ((R?3 y?0) x?1)) -> (((Acc T?5) R?4) y?1)))) -> ((_: ((y: T?4) -> ((hy: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((h?2 y?1) hy?0))))) -> ((motive?3 x?2) ((((Acc.acc T?5) R?4) x?2) h?1)))))) -> ((x: T?3) -> ((a: (((Acc T?4) R?3) x?0)) -> ((motive?3 x?1) a?0)))))))
[INFO] [stdout] ((T: Sort u) -> ((R: ((_: T?0) -> ((_: T?1) -> Sort 0))) -> ((motive: ((_: T?1) -> ((_: (((Acc T?2) R?1) _?0)) -> Sort m))) -> ((acc: ((x: T?2) -> ((_: ((y: T?3) -> ((_: ((R?3 y?0) x?1)) -> (((Acc T?5) R?4) y?1)))) -> ((_: ((y: T?4) -> ((_: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((_?2 y?1) _?0))))) -> ((motive?3 x?2) ((((Acc.acc T?5) R?4) x?2) _?1)))))) -> ((_: T?3) -> ((_: (((Acc T?4) R?3) _?0)) -> ((motive?3 _?1) _?0)))))))
[INFO] [stdout] ((R: ((_: T?0) -> ((_: T?1) -> Sort 0))) -> ((motive: ((x: T?1) -> ((_: (((Acc T?2) R?1) x?0)) -> Sort m))) -> ((acc: ((x: T?2) -> ((h: ((y: T?3) -> ((_: ((R?3 y?0) x?1)) -> (((Acc T?5) R?4) y?1)))) -> ((_: ((y: T?4) -> ((hy: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((h?2 y?1) hy?0))))) -> ((motive?3 x?2) ((((Acc.acc T?5) R?4) x?2) h?1)))))) -> ((x: T?3) -> ((a: (((Acc T?4) R?3) x?0)) -> ((motive?3 x?1) a?0))))))
[INFO] [stdout] ((R: ((_: T?0) -> ((_: T?1) -> Sort 0))) -> ((motive: ((_: T?1) -> ((_: (((Acc T?2) R?1) _?0)) -> Sort m))) -> ((acc: ((x: T?2) -> ((_: ((y: T?3) -> ((_: ((R?3 y?0) x?1)) -> (((Acc T?5) R?4) y?1)))) -> ((_: ((y: T?4) -> ((_: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((_?2 y?1) _?0))))) -> ((motive?3 x?2) ((((Acc.acc T?5) R?4) x?2) _?1)))))) -> ((_: T?3) -> ((_: (((Acc T?4) R?3) _?0)) -> ((motive?3 _?1) _?0))))))
[INFO] [stdout] ((motive: ((x: T?1) -> ((_: (((Acc T?2) R?1) x?0)) -> Sort m))) -> ((acc: ((x: T?2) -> ((h: ((y: T?3) -> ((_: ((R?3 y?0) x?1)) -> (((Acc T?5) R?4) y?1)))) -> ((_: ((y: T?4) -> ((hy: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((h?2 y?1) hy?0))))) -> ((motive?3 x?2) ((((Acc.acc T?5) R?4) x?2) h?1)))))) -> ((x: T?3) -> ((a: (((Acc T?4) R?3) x?0)) -> ((motive?3 x?1) a?0)))))
[INFO] [stdout] ((motive: ((_: T?1) -> ((_: (((Acc T?2) R?1) _?0)) -> Sort m))) -> ((acc: ((x: T?2) -> ((_: ((y: T?3) -> ((_: ((R?3 y?0) x?1)) -> (((Acc T?5) R?4) y?1)))) -> ((_: ((y: T?4) -> ((_: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((_?2 y?1) _?0))))) -> ((motive?3 x?2) ((((Acc.acc T?5) R?4) x?2) _?1)))))) -> ((_: T?3) -> ((_: (((Acc T?4) R?3) _?0)) -> ((motive?3 _?1) _?0)))))
[INFO] [stdout] ((acc: ((x: T?2) -> ((h: ((y: T?3) -> ((_: ((R?3 y?0) x?1)) -> (((Acc T?5) R?4) y?1)))) -> ((_: ((y: T?4) -> ((hy: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((h?2 y?1) hy?0))))) -> ((motive?3 x?2) ((((Acc.acc T?5) R?4) x?2) h?1)))))) -> ((x: T?3) -> ((a: (((Acc T?4) R?3) x?0)) -> ((motive?3 x?1) a?0))))
[INFO] [stdout] ((acc: ((x: T?2) -> ((_: ((y: T?3) -> ((_: ((R?3 y?0) x?1)) -> (((Acc T?5) R?4) y?1)))) -> ((_: ((y: T?4) -> ((_: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((_?2 y?1) _?0))))) -> ((motive?3 x?2) ((((Acc.acc T?5) R?4) x?2) _?1)))))) -> ((_: T?3) -> ((_: (((Acc T?4) R?3) _?0)) -> ((motive?3 _?1) _?0))))
[INFO] [stdout] ((x: T?2) -> ((h: ((y: T?3) -> ((_: ((R?3 y?0) x?1)) -> (((Acc T?5) R?4) y?1)))) -> ((_: ((y: T?4) -> ((hy: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((h?2 y?1) hy?0))))) -> ((motive?3 x?2) ((((Acc.acc T?5) R?4) x?2) h?1)))))
[INFO] [stdout] ((x: T?2) -> ((_: ((y: T?3) -> ((_: ((R?3 y?0) x?1)) -> (((Acc T?5) R?4) y?1)))) -> ((_: ((y: T?4) -> ((_: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((_?2 y?1) _?0))))) -> ((motive?3 x?2) ((((Acc.acc T?5) R?4) x?2) _?1)))))
[INFO] [stdout] ((h: ((y: T?3) -> ((_: ((R?3 y?0) x?1)) -> (((Acc T?5) R?4) y?1)))) -> ((_: ((y: T?4) -> ((hy: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((h?2 y?1) hy?0))))) -> ((motive?3 x?2) ((((Acc.acc T?5) R?4) x?2) h?1))))
[INFO] [stdout] ((_: ((y: T?3) -> ((_: ((R?3 y?0) x?1)) -> (((Acc T?5) R?4) y?1)))) -> ((_: ((y: T?4) -> ((_: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((_?2 y?1) _?0))))) -> ((motive?3 x?2) ((((Acc.acc T?5) R?4) x?2) _?1))))
[INFO] [stdout] ((_: ((y: T?4) -> ((hy: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((h?2 y?1) hy?0))))) -> ((motive?3 x?2) ((((Acc.acc T?5) R?4) x?2) h?1)))
[INFO] [stdout] ((_: ((y: T?4) -> ((_: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((_?2 y?1) _?0))))) -> ((motive?3 x?2) ((((Acc.acc T?5) R?4) x?2) _?1)))
[INFO] [stdout] ((y: T?4) -> ((hy: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((h?2 y?1) hy?0))))
[INFO] [stdout] ((y: T?4) -> ((_: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((_?2 y?1) _?0))))
[INFO] [stdout] ((hy: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((h?2 y?1) hy?0)))
[INFO] [stdout] ((_: ((R?4 y?0) x?2)) -> ((motive?4 y?1) ((_?2 y?1) _?0)))
[INFO] [stdout] ((motive?4 y?1) ((h?2 y?1) hy?0))
[INFO] [stdout] ((motive?4 y?1) ((_?2 y?1) _?0))
[INFO] [stdout] test typeck::data::tests::test_adt_recursors ... ok
[INFO] [stdout] test parser::atoms::whitespace::tests::test_whitespace ... FAILED
[INFO] [stdout] test typeck::namespace::tests::test_resolve_path ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- parser::atoms::whitespace::tests::test_whitespace stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'parser::atoms::whitespace::tests::test_whitespace' panicked at src/parser/atoms/whitespace.rs:84:9:
[INFO] [stdout] not yet implemented: Test whitespace and newline parsing
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61104bd2b7f2 - std::backtrace_rs::backtrace::libunwind::trace::h73a647620bf1c49d
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x61104bd2b7f2 - std::backtrace_rs::backtrace::trace_unsynchronized::hd4d513ed96cb3cb1
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x61104bd2b7f2 - std::sys::backtrace::_print_fmt::h61bb95f7476aafa5
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x61104bd2b7f2 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::ha2e7e3a01df69042
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x61104bd50943 - core::fmt::rt::Argument::fmt::hf14163372f0f9a76
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x61104bd50943 - core::fmt::write::h7cb8f63788cd01d2
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/fmt/mod.rs:1465:25
[INFO] [stdout]    6:     0x61104bd28783 - std::io::default_write_fmt::h9ed739ccee8a150c
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x61104bd28783 - std::io::Write::write_fmt::h1c0a32da913b32f1
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x61104bd2b642 - std::sys::backtrace::BacktraceLock::print::h3ec4d7883eb25e61
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x61104bd2cd5c - std::panicking::default_hook::{{closure}}::h29548987efd832cb
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:300:27
[INFO] [stdout]   10:     0x61104bd2cbb2 - std::panicking::default_hook::ha25170a15c643514
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:324:9
[INFO] [stdout]   11:     0x61104bcf3fb4 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h562adeecbf43c420
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   12:     0x61104bcf3fb4 - test::test_main_with_exit_callback::{{closure}}::h97dd2a879d27e0e4
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x61104bd2d73b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h7e85cbdbda26fdb7
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   14:     0x61104bd2d73b - std::panicking::rust_panic_with_hook::h0d81afcd829aa24b
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:841:13
[INFO] [stdout]   15:     0x61104bd2d4d6 - std::panicking::begin_panic_handler::{{closure}}::hc84a33f1202346cf
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:699:13
[INFO] [stdout]   16:     0x61104bd2bce9 - std::sys::backtrace::__rust_end_short_backtrace::h373067a14f6c59aa
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:168:18
[INFO] [stdout]   17:     0x61104bd2d19d - __rustc[beb0385846a06d21]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:697:5
[INFO] [stdout]   18:     0x61104bd4f460 - core::panicking::panic_fmt::ha33fa2ae772efba9
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x61104bcb832c - prop_compiler::parser::atoms::whitespace::tests::test_whitespace::h0e2a44053b74e6ce
[INFO] [stdout]                                at /opt/rustwide/workdir/src/parser/atoms/whitespace.rs:84:9
[INFO] [stdout]   20:     0x61104bcb19b6 - prop_compiler::parser::atoms::whitespace::tests::test_whitespace::{{closure}}::h506f3a942f0caa99
[INFO] [stdout]                                at /opt/rustwide/workdir/src/parser/atoms/whitespace.rs:83:25
[INFO] [stdout]   21:     0x61104bcb19b6 - core::ops::function::FnOnce::call_once::h1d029df9415fd657
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x61104bcf96eb - core::ops::function::FnOnce::call_once::hf84b9c3d864a6959
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x61104bcf96eb - test::__rust_begin_short_backtrace::h5724e31441c16fcb
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:648:18
[INFO] [stdout]   24:     0x61104bcf892e - test::run_test_in_process::{{closure}}::hbc28c9aa91793d7d
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:671:74
[INFO] [stdout]   25:     0x61104bcf892e - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hc17b0e238c0f8f3e
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   26:     0x61104bcf892e - std::panicking::catch_unwind::do_call::hcdbce0d6dd6c83ce
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:589:40
[INFO] [stdout]   27:     0x61104bcf892e - std::panicking::catch_unwind::h9477967ceea044e8
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:552:19
[INFO] [stdout]   28:     0x61104bcf892e - std::panic::catch_unwind::h616a2e249da12e16
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x61104bcf892e - test::run_test_in_process::h2758deb0f2e54430
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:671:27
[INFO] [stdout]   30:     0x61104bcf892e - test::run_test::{{closure}}::habe5cd2564b18aaa
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:592:43
[INFO] [stdout]   31:     0x61104bcbc4d4 - test::run_test::{{closure}}::h9a0a6928f1a15421
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:622:41
[INFO] [stdout]   32:     0x61104bcbc4d4 - std::sys::backtrace::__rust_begin_short_backtrace::hd68b5332434a22ca
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:152:18
[INFO] [stdout]   33:     0x61104bcbfe7a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h264ddcc3098eacae
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   34:     0x61104bcbfe7a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h9fa39489749d6f3c
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   35:     0x61104bcbfe7a - std::panicking::catch_unwind::do_call::hb9a1944b9f85100f
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:589:40
[INFO] [stdout]   36:     0x61104bcbfe7a - std::panicking::catch_unwind::h0c6f100786c0dad8
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:552:19
[INFO] [stdout]   37:     0x61104bcbfe7a - std::panic::catch_unwind::hf6084e2723385823
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x61104bcbfe7a - std::thread::Builder::spawn_unchecked_::{{closure}}::hf0af58ce658143ad
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   39:     0x61104bcbfe7a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h88a14f9b2e79f9de
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x61104bd30697 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf31256ba38644b65
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   41:     0x61104bd30697 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h100ad77f3448041b
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   42:     0x61104bd30697 - std::sys::pal::unix::thread::Thread::new::thread_start::h1a22ded422ce395b
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/pal/unix/thread.rs:97:17
[INFO] [stdout]   43:     0x7296bef0aaa4 - <unknown>
[INFO] [stdout]   44:     0x7296bef97a34 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- typeck::namespace::tests::test_resolve_path stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'typeck::namespace::tests::test_resolve_path' panicked at src/typeck/namespace.rs:175:9:
[INFO] [stdout] not yet implemented
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61104bd2b7f2 - std::backtrace_rs::backtrace::libunwind::trace::h73a647620bf1c49d
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x61104bd2b7f2 - std::backtrace_rs::backtrace::trace_unsynchronized::hd4d513ed96cb3cb1
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x61104bd2b7f2 - std::sys::backtrace::_print_fmt::h61bb95f7476aafa5
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x61104bd2b7f2 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::ha2e7e3a01df69042
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x61104bd50943 - core::fmt::rt::Argument::fmt::hf14163372f0f9a76
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x61104bd50943 - core::fmt::write::h7cb8f63788cd01d2
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/fmt/mod.rs:1465:25
[INFO] [stdout]    6:     0x61104bd28783 - std::io::default_write_fmt::h9ed739ccee8a150c
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x61104bd28783 - std::io::Write::write_fmt::h1c0a32da913b32f1
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x61104bd2b642 - std::sys::backtrace::BacktraceLock::print::h3ec4d7883eb25e61
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x61104bd2cd5c - std::panicking::default_hook::{{closure}}::h29548987efd832cb
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:300:27
[INFO] [stdout]   10:     0x61104bd2cbb2 - std::panicking::default_hook::ha25170a15c643514
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:324:9
[INFO] [stdout]   11:     0x61104bcf3fb4 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h562adeecbf43c420
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   12:     0x61104bcf3fb4 - test::test_main_with_exit_callback::{{closure}}::h97dd2a879d27e0e4
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x61104bd2d73b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h7e85cbdbda26fdb7
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   14:     0x61104bd2d73b - std::panicking::rust_panic_with_hook::h0d81afcd829aa24b
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:841:13
[INFO] [stdout]   15:     0x61104bd2d4d6 - std::panicking::begin_panic_handler::{{closure}}::hc84a33f1202346cf
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:699:13
[INFO] [stdout]   16:     0x61104bd2bce9 - std::sys::backtrace::__rust_end_short_backtrace::h373067a14f6c59aa
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:168:18
[INFO] [stdout]   17:     0x61104bd2d19d - __rustc[beb0385846a06d21]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:697:5
[INFO] [stdout]   18:     0x61104bd4f460 - core::panicking::panic_fmt::ha33fa2ae772efba9
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x61104bd4f4cc - core::panicking::panic::hd2a569f4f37f7e10
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/panicking.rs:145:5
[INFO] [stdout]   20:     0x61104bcba9ba - prop_compiler::typeck::namespace::tests::test_resolve_path::hf7d3860a74675d58
[INFO] [stdout]                                at /opt/rustwide/workdir/src/typeck/namespace.rs:175:9
[INFO] [stdout]   21:     0x61104bcb41a6 - prop_compiler::typeck::namespace::tests::test_resolve_path::{{closure}}::h5228619c1faec348
[INFO] [stdout]                                at /opt/rustwide/workdir/src/typeck/namespace.rs:174:27
[INFO] [stdout]   22:     0x61104bcb41a6 - core::ops::function::FnOnce::call_once::h69f8bb8ba7a3329e
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x61104bcf96eb - core::ops::function::FnOnce::call_once::hf84b9c3d864a6959
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x61104bcf96eb - test::__rust_begin_short_backtrace::h5724e31441c16fcb
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:648:18
[INFO] [stdout]   25:     0x61104bcf892e - test::run_test_in_process::{{closure}}::hbc28c9aa91793d7d
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:671:74
[INFO] [stdout]   26:     0x61104bcf892e - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hc17b0e238c0f8f3e
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   27:     0x61104bcf892e - std::panicking::catch_unwind::do_call::hcdbce0d6dd6c83ce
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:589:40
[INFO] [stdout]   28:     0x61104bcf892e - std::panicking::catch_unwind::h9477967ceea044e8
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:552:19
[INFO] [stdout]   29:     0x61104bcf892e - std::panic::catch_unwind::h616a2e249da12e16
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panic.rs:359:14
[INFO] [stdout]   30:     0x61104bcf892e - test::run_test_in_process::h2758deb0f2e54430
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:671:27
[INFO] [stdout]   31:     0x61104bcf892e - test::run_test::{{closure}}::habe5cd2564b18aaa
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:592:43
[INFO] [stdout]   32:     0x61104bcbc4d4 - test::run_test::{{closure}}::h9a0a6928f1a15421
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:622:41
[INFO] [stdout]   33:     0x61104bcbc4d4 - std::sys::backtrace::__rust_begin_short_backtrace::hd68b5332434a22ca
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:152:18
[INFO] [stdout]   34:     0x61104bcbfe7a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h264ddcc3098eacae
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   35:     0x61104bcbfe7a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h9fa39489749d6f3c
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   36:     0x61104bcbfe7a - std::panicking::catch_unwind::do_call::hb9a1944b9f85100f
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:589:40
[INFO] [stdout]   37:     0x61104bcbfe7a - std::panicking::catch_unwind::h0c6f100786c0dad8
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:552:19
[INFO] [stdout]   38:     0x61104bcbfe7a - std::panic::catch_unwind::hf6084e2723385823
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panic.rs:359:14
[INFO] [stdout]   39:     0x61104bcbfe7a - std::thread::Builder::spawn_unchecked_::{{closure}}::hf0af58ce658143ad
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   40:     0x61104bcbfe7a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h88a14f9b2e79f9de
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x61104bd30697 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf31256ba38644b65
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   42:     0x61104bd30697 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h100ad77f3448041b
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   43:     0x61104bd30697 - std::sys::pal::unix::thread::Thread::new::thread_start::h1a22ded422ce395b
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/pal/unix/thread.rs:97:17
[INFO] [stdout]   44:     0x7296bef0aaa4 - <unknown>
[INFO] [stdout]   45:     0x7296bef97a34 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     parser::atoms::whitespace::tests::test_whitespace
[INFO] [stdout]     typeck::namespace::tests::test_resolve_path
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 30 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--bin prop-compiler`
[INFO] running `Command { std: "docker" "inspect" "f4b24b68e0a0d052a7ae4b4735d915fec37f13c6bbe8ad9242825b1f41524c1a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f4b24b68e0a0d052a7ae4b4735d915fec37f13c6bbe8ad9242825b1f41524c1a", kill_on_drop: false }`
[INFO] [stdout] f4b24b68e0a0d052a7ae4b4735d915fec37f13c6bbe8ad9242825b1f41524c1a
