[INFO] cloning repository https://github.com/tolziplohu/pika [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tolziplohu/pika" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftolziplohu%2Fpika", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftolziplohu%2Fpika'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 73a1910be5a42d1daecbfdb3990ced0d5270f3aa [INFO] testing tolziplohu/pika against try#a7ce54db9b096bd1098d07c645b489195a667c9f for pr-137940-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftolziplohu%2Fpika" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/tolziplohu/pika on toolchain a7ce54db9b096bd1098d07c645b489195a667c9f [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a7ce54db9b096bd1098d07c645b489195a667c9f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/tolziplohu/pika [INFO] finished tweaking git repo https://github.com/tolziplohu/pika [INFO] tweaked toml for git repo https://github.com/tolziplohu/pika written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/tolziplohu/pika 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" "+a7ce54db9b096bd1098d07c645b489195a667c9f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+a7ce54db9b096bd1098d07c645b489195a667c9f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] acf8b38da83c63597874eca977a380ed03eee405d082cb5f221dbc79d5422a4b [INFO] running `Command { std: "docker" "start" "-a" "acf8b38da83c63597874eca977a380ed03eee405d082cb5f221dbc79d5422a4b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "acf8b38da83c63597874eca977a380ed03eee405d082cb5f221dbc79d5422a4b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "acf8b38da83c63597874eca977a380ed03eee405d082cb5f221dbc79d5422a4b", kill_on_drop: false }` [INFO] [stdout] acf8b38da83c63597874eca977a380ed03eee405d082cb5f221dbc79d5422a4b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "-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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+a7ce54db9b096bd1098d07c645b489195a667c9f" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] aa78f2abad1b49837e1efce8cff66b4d3fe4e8746d9d747653e5a199d1cf1cfc [INFO] running `Command { std: "docker" "start" "-a" "aa78f2abad1b49837e1efce8cff66b4d3fe4e8746d9d747653e5a199d1cf1cfc", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.69 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Compiling serde v1.0.189 [INFO] [stderr] Compiling libc v0.2.149 [INFO] [stderr] Compiling crossbeam-utils v0.8.16 [INFO] [stderr] Compiling parking_lot_core v0.8.6 [INFO] [stderr] Compiling smallvec v1.11.1 [INFO] [stderr] Compiling serde_json v1.0.107 [INFO] [stderr] Compiling ryu v1.0.15 [INFO] [stderr] Compiling itoa v1.0.9 [INFO] [stderr] Compiling percent-encoding v2.3.0 [INFO] [stderr] Compiling tinyvec v1.6.0 [INFO] [stderr] Compiling instant v0.1.12 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling unicode-bidi v0.3.13 [INFO] [stderr] Compiling unicode-segmentation v1.10.1 [INFO] [stderr] Compiling log v0.4.20 [INFO] [stderr] Compiling form_urlencoded v1.2.0 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling yansi v0.5.1 [INFO] [stderr] Compiling oorandom v11.1.3 [INFO] [stderr] Compiling str_indices v0.4.2 [INFO] [stderr] Compiling text-size v1.1.1 [INFO] [stderr] Compiling countme v3.0.1 [INFO] [stderr] Compiling unicode-width v0.1.11 [INFO] [stderr] Compiling lock_api v0.4.11 [INFO] [stderr] Compiling memoffset v0.9.0 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling ariadne v0.3.0 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Compiling ropey v1.6.1 [INFO] [stderr] Compiling rowan v0.15.13 [INFO] [stderr] Compiling crossbeam-channel v0.5.8 [INFO] [stderr] Compiling unicode-normalization v0.1.22 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling idna v0.4.0 [INFO] [stderr] Compiling parking_lot v0.11.2 [INFO] [stderr] Compiling syn v2.0.38 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling serde_derive v1.0.189 [INFO] [stderr] Compiling serde_repr v0.1.16 [INFO] [stderr] Compiling salsa-macros v0.16.0 [INFO] [stderr] Compiling salsa v0.16.1 [INFO] [stderr] Compiling url v2.4.1 [INFO] [stderr] Compiling lsp-server v0.7.4 [INFO] [stderr] Compiling lsp-types v0.94.1 [INFO] [stderr] Compiling pika2 v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `ariadne::Fmt` [INFO] [stdout] --> src/common.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub use ariadne::Fmt; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `r` [INFO] [stdout] --> src/elab/elaborate.rs:1321:47 [INFO] [stdout] | [INFO] [stdout] 1321 | if let Some((expected_ty, reason, r)) = expected_ty { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_r` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rows` [INFO] [stdout] --> src/elab/pattern.rs:654:61 [INFO] [stdout] | [INFO] [stdout] 654 | fn column_select_heuristic(&self, top_row: &input::Row, rows: &[input::Row]) -> PVar { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rows` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/elab/pattern.rs:1525:13 [INFO] [stdout] | [INFO] [stdout] 1510 | Dec::Switch(v, branches, fallback) => { [INFO] [stdout] | ---------------------------------- matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 1525 | Dec::Switch(_, _, _) => None, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/elab/val.rs:344:40 [INFO] [stdout] | [INFO] [stdout] 344 | pub fn app(mut self, x: Elim, env: &mut Env) -> Val { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `msg` [INFO] [stdout] --> src/server.rs:79:35 [INFO] [stdout] | [INFO] [stdout] 79 | fn handle_response(&mut self, msg: lsp::Response) -> Result<(), Box> { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_msg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `params` [INFO] [stdout] --> src/server.rs:139:26 [INFO] [stdout] | [INFO] [stdout] 139 | let (id, params): (_, GotoDefinitionParams) = [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `def_file` is never used [INFO] [stdout] --> src/elab/mod.rs:82:4 [INFO] [stdout] | [INFO] [stdout] 82 | fn def_file(db: &dyn Elaborator, def: Def) -> File { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/elab/mod.rs:432:11 [INFO] [stdout] | [INFO] [stdout] 432 | Float(f64), [INFO] [stdout] | ----- ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 432 - Float(f64), [INFO] [stdout] 432 + Float(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `SpineNonVariable` and `SpineDuplicate` are never constructed [INFO] [stdout] --> src/elab/metas.rs:179:5 [INFO] [stdout] | [INFO] [stdout] 175 | pub enum MetaSolveError { [INFO] [stdout] | -------------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 179 | SpineNonVariable(Expr), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 180 | SpineNonApp(Elim), [INFO] [stdout] 181 | SpineDuplicate(Name), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `F64` and `F32` are never constructed [INFO] [stdout] --> src/elab/term.rs:195:5 [INFO] [stdout] | [INFO] [stdout] 189 | pub enum Literal { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 195 | F64(u64), [INFO] [stdout] | ^^^ [INFO] [stdout] 196 | /// Stores a u32 representation of the bits of the f32 [INFO] [stdout] 197 | F32(u32), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Literal` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `as_u32` is never used [INFO] [stdout] --> src/elab/var.rs:35:12 [INFO] [stdout] | [INFO] [stdout] 34 | impl Lvl { [INFO] [stdout] | -------- method in this implementation [INFO] [stdout] 35 | pub fn as_u32(self) -> u32 { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `as_u32` is never used [INFO] [stdout] --> src/elab/var.rs:57:12 [INFO] [stdout] | [INFO] [stdout] 56 | impl Size { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] 57 | pub fn as_u32(self) -> u32 { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `pop` is never used [INFO] [stdout] --> src/elab/var.rs:245:12 [INFO] [stdout] | [INFO] [stdout] 183 | impl Env { [INFO] [stdout] | -------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 245 | pub fn pop(&mut self) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `inaccessible` is never used [INFO] [stdout] --> src/parsing/mod.rs:130:8 [INFO] [stdout] | [INFO] [stdout] 108 | pub trait ParserExt: Parser { [INFO] [stdout] | --------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 130 | fn inaccessible(&self, name: SName) -> SName { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Unexpected` and `Other` are never constructed [INFO] [stdout] --> src/parsing/parser.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 9 | enum ParseError { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] 10 | Expected(Cow<'static, str>, Option>), [INFO] [stdout] 11 | Unexpected(Cow<'static, str>, Option>), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] 12 | NonAssoc(Tok, Tok, RelSpan), [INFO] [stdout] 13 | Other(Cow<'static, str>), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `COLOR5` and `is_empty` are never used [INFO] [stdout] --> src/pretty.rs:72:15 [INFO] [stdout] | [INFO] [stdout] 65 | impl Doc { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 72 | pub const COLOR5: ariadne::Color = ariadne::Color::Fixed(158); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 73 | [INFO] [stdout] 74 | pub fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `initialization_params` is never read [INFO] [stdout] --> src/server.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 22 | pub struct Server { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] ... [INFO] [stdout] 25 | initialization_params: InitializeParams, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 42.23s [INFO] running `Command { std: "docker" "inspect" "aa78f2abad1b49837e1efce8cff66b4d3fe4e8746d9d747653e5a199d1cf1cfc", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "aa78f2abad1b49837e1efce8cff66b4d3fe4e8746d9d747653e5a199d1cf1cfc", kill_on_drop: false }` [INFO] [stdout] aa78f2abad1b49837e1efce8cff66b4d3fe4e8746d9d747653e5a199d1cf1cfc [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "-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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+a7ce54db9b096bd1098d07c645b489195a667c9f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c046f6bf95e1ab5485da7174fb0a4af5dfed4e955847a690b13d105d63a38154 [INFO] running `Command { std: "docker" "start" "-a" "c046f6bf95e1ab5485da7174fb0a4af5dfed4e955847a690b13d105d63a38154", kill_on_drop: false }` [INFO] [stdout] warning: unused import: `ariadne::Fmt` [INFO] [stdout] --> src/common.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub use ariadne::Fmt; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `r` [INFO] [stdout] --> src/elab/elaborate.rs:1321:47 [INFO] [stdout] | [INFO] [stdout] 1321 | if let Some((expected_ty, reason, r)) = expected_ty { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_r` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rows` [INFO] [stdout] --> src/elab/pattern.rs:654:61 [INFO] [stdout] | [INFO] [stdout] 654 | fn column_select_heuristic(&self, top_row: &input::Row, rows: &[input::Row]) -> PVar { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rows` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/elab/pattern.rs:1525:13 [INFO] [stdout] | [INFO] [stdout] 1510 | Dec::Switch(v, branches, fallback) => { [INFO] [stdout] | ---------------------------------- matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 1525 | Dec::Switch(_, _, _) => None, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/elab/val.rs:344:40 [INFO] [stdout] | [INFO] [stdout] 344 | pub fn app(mut self, x: Elim, env: &mut Env) -> Val { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `msg` [INFO] [stdout] --> src/server.rs:79:35 [INFO] [stdout] | [INFO] [stdout] 79 | fn handle_response(&mut self, msg: lsp::Response) -> Result<(), Box> { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_msg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `params` [INFO] [stdout] --> src/server.rs:139:26 [INFO] [stdout] | [INFO] [stdout] 139 | let (id, params): (_, GotoDefinitionParams) = [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `def_file` is never used [INFO] [stdout] --> src/elab/mod.rs:82:4 [INFO] [stdout] | [INFO] [stdout] 82 | fn def_file(db: &dyn Elaborator, def: Def) -> File { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling pika2 v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/elab/mod.rs:432:11 [INFO] [stdout] | [INFO] [stdout] 432 | Float(f64), [INFO] [stdout] | ----- ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 432 - Float(f64), [INFO] [stdout] 432 + Float(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `SpineNonVariable` and `SpineDuplicate` are never constructed [INFO] [stdout] --> src/elab/metas.rs:179:5 [INFO] [stdout] | [INFO] [stdout] 175 | pub enum MetaSolveError { [INFO] [stdout] | -------------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 179 | SpineNonVariable(Expr), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 180 | SpineNonApp(Elim), [INFO] [stdout] 181 | SpineDuplicate(Name), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `F64` and `F32` are never constructed [INFO] [stdout] --> src/elab/term.rs:195:5 [INFO] [stdout] | [INFO] [stdout] 189 | pub enum Literal { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 195 | F64(u64), [INFO] [stdout] | ^^^ [INFO] [stdout] 196 | /// Stores a u32 representation of the bits of the f32 [INFO] [stdout] 197 | F32(u32), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Literal` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `as_u32` is never used [INFO] [stdout] --> src/elab/var.rs:35:12 [INFO] [stdout] | [INFO] [stdout] 34 | impl Lvl { [INFO] [stdout] | -------- method in this implementation [INFO] [stdout] 35 | pub fn as_u32(self) -> u32 { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `as_u32` is never used [INFO] [stdout] --> src/elab/var.rs:57:12 [INFO] [stdout] | [INFO] [stdout] 56 | impl Size { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] 57 | pub fn as_u32(self) -> u32 { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `pop` is never used [INFO] [stdout] --> src/elab/var.rs:245:12 [INFO] [stdout] | [INFO] [stdout] 183 | impl Env { [INFO] [stdout] | -------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 245 | pub fn pop(&mut self) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `inaccessible` is never used [INFO] [stdout] --> src/parsing/mod.rs:130:8 [INFO] [stdout] | [INFO] [stdout] 108 | pub trait ParserExt: Parser { [INFO] [stdout] | --------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 130 | fn inaccessible(&self, name: SName) -> SName { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Unexpected` and `Other` are never constructed [INFO] [stdout] --> src/parsing/parser.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 9 | enum ParseError { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] 10 | Expected(Cow<'static, str>, Option>), [INFO] [stdout] 11 | Unexpected(Cow<'static, str>, Option>), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] 12 | NonAssoc(Tok, Tok, RelSpan), [INFO] [stdout] 13 | Other(Cow<'static, str>), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `COLOR5` and `is_empty` are never used [INFO] [stdout] --> src/pretty.rs:72:15 [INFO] [stdout] | [INFO] [stdout] 65 | impl Doc { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 72 | pub const COLOR5: ariadne::Color = ariadne::Color::Fixed(158); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 73 | [INFO] [stdout] 74 | pub fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `initialization_params` is never read [INFO] [stdout] --> src/server.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 22 | pub struct Server { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] ... [INFO] [stdout] 25 | initialization_params: InitializeParams, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ariadne::Fmt` [INFO] [stdout] --> src/common.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub use ariadne::Fmt; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `r` [INFO] [stdout] --> src/elab/elaborate.rs:1321:47 [INFO] [stdout] | [INFO] [stdout] 1321 | if let Some((expected_ty, reason, r)) = expected_ty { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_r` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rows` [INFO] [stdout] --> src/elab/pattern.rs:654:61 [INFO] [stdout] | [INFO] [stdout] 654 | fn column_select_heuristic(&self, top_row: &input::Row, rows: &[input::Row]) -> PVar { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rows` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/elab/pattern.rs:1525:13 [INFO] [stdout] | [INFO] [stdout] 1510 | Dec::Switch(v, branches, fallback) => { [INFO] [stdout] | ---------------------------------- matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 1525 | Dec::Switch(_, _, _) => None, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/elab/val.rs:344:40 [INFO] [stdout] | [INFO] [stdout] 344 | pub fn app(mut self, x: Elim, env: &mut Env) -> Val { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `msg` [INFO] [stdout] --> src/server.rs:79:35 [INFO] [stdout] | [INFO] [stdout] 79 | fn handle_response(&mut self, msg: lsp::Response) -> Result<(), Box> { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_msg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `params` [INFO] [stdout] --> src/server.rs:139:26 [INFO] [stdout] | [INFO] [stdout] 139 | let (id, params): (_, GotoDefinitionParams) = [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `def_file` is never used [INFO] [stdout] --> src/elab/mod.rs:82:4 [INFO] [stdout] | [INFO] [stdout] 82 | fn def_file(db: &dyn Elaborator, def: Def) -> File { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/elab/mod.rs:432:11 [INFO] [stdout] | [INFO] [stdout] 432 | Float(f64), [INFO] [stdout] | ----- ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 432 - Float(f64), [INFO] [stdout] 432 + Float(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `SpineNonVariable` and `SpineDuplicate` are never constructed [INFO] [stdout] --> src/elab/metas.rs:179:5 [INFO] [stdout] | [INFO] [stdout] 175 | pub enum MetaSolveError { [INFO] [stdout] | -------------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 179 | SpineNonVariable(Expr), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 180 | SpineNonApp(Elim), [INFO] [stdout] 181 | SpineDuplicate(Name), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `F64` and `F32` are never constructed [INFO] [stdout] --> src/elab/term.rs:195:5 [INFO] [stdout] | [INFO] [stdout] 189 | pub enum Literal { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 195 | F64(u64), [INFO] [stdout] | ^^^ [INFO] [stdout] 196 | /// Stores a u32 representation of the bits of the f32 [INFO] [stdout] 197 | F32(u32), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Literal` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `as_u32` is never used [INFO] [stdout] --> src/elab/var.rs:35:12 [INFO] [stdout] | [INFO] [stdout] 34 | impl Lvl { [INFO] [stdout] | -------- method in this implementation [INFO] [stdout] 35 | pub fn as_u32(self) -> u32 { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `as_u32` is never used [INFO] [stdout] --> src/elab/var.rs:57:12 [INFO] [stdout] | [INFO] [stdout] 56 | impl Size { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] 57 | pub fn as_u32(self) -> u32 { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `pop` is never used [INFO] [stdout] --> src/elab/var.rs:245:12 [INFO] [stdout] | [INFO] [stdout] 183 | impl Env { [INFO] [stdout] | -------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 245 | pub fn pop(&mut self) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `inaccessible` is never used [INFO] [stdout] --> src/parsing/mod.rs:130:8 [INFO] [stdout] | [INFO] [stdout] 108 | pub trait ParserExt: Parser { [INFO] [stdout] | --------- method in this trait [INFO] [stdout] ... [INFO] [stdout] 130 | fn inaccessible(&self, name: SName) -> SName { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Unexpected` and `Other` are never constructed [INFO] [stdout] --> src/parsing/parser.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 9 | enum ParseError { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] 10 | Expected(Cow<'static, str>, Option>), [INFO] [stdout] 11 | Unexpected(Cow<'static, str>, Option>), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] 12 | NonAssoc(Tok, Tok, RelSpan), [INFO] [stdout] 13 | Other(Cow<'static, str>), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `COLOR5` and `is_empty` are never used [INFO] [stdout] --> src/pretty.rs:72:15 [INFO] [stdout] | [INFO] [stdout] 65 | impl Doc { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 72 | pub const COLOR5: ariadne::Color = ariadne::Color::Fixed(158); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 73 | [INFO] [stdout] 74 | pub fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `initialization_params` is never read [INFO] [stdout] --> src/server.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 22 | pub struct Server { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] ... [INFO] [stdout] 25 | initialization_params: InitializeParams, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 3.65s [INFO] running `Command { std: "docker" "inspect" "c046f6bf95e1ab5485da7174fb0a4af5dfed4e955847a690b13d105d63a38154", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c046f6bf95e1ab5485da7174fb0a4af5dfed4e955847a690b13d105d63a38154", kill_on_drop: false }` [INFO] [stdout] c046f6bf95e1ab5485da7174fb0a4af5dfed4e955847a690b13d105d63a38154 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "-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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+a7ce54db9b096bd1098d07c645b489195a667c9f" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 5f9f91a9bf1754437c3b0931bc7f535e8a10896d7f5297ef83d85899ddc15078 [INFO] running `Command { std: "docker" "start" "-a" "5f9f91a9bf1754437c3b0931bc7f535e8a10896d7f5297ef83d85899ddc15078", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `ariadne::Fmt` [INFO] [stderr] --> src/common.rs:8:9 [INFO] [stderr] | [INFO] [stderr] 8 | pub use ariadne::Fmt; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `r` [INFO] [stderr] --> src/elab/elaborate.rs:1321:47 [INFO] [stderr] | [INFO] [stderr] 1321 | if let Some((expected_ty, reason, r)) = expected_ty { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_r` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `rows` [INFO] [stderr] --> src/elab/pattern.rs:654:61 [INFO] [stderr] | [INFO] [stderr] 654 | fn column_select_heuristic(&self, top_row: &input::Row, rows: &[input::Row]) -> PVar { [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rows` [INFO] [stderr] [INFO] [stderr] warning: unreachable pattern [INFO] [stderr] --> src/elab/pattern.rs:1525:13 [INFO] [stderr] | [INFO] [stderr] 1510 | Dec::Switch(v, branches, fallback) => { [INFO] [stderr] | ---------------------------------- matches all the relevant values [INFO] [stderr] ... [INFO] [stderr] 1525 | Dec::Switch(_, _, _) => None, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `env` [INFO] [stderr] --> src/elab/val.rs:344:40 [INFO] [stderr] | [INFO] [stderr] 344 | pub fn app(mut self, x: Elim, env: &mut Env) -> Val { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `msg` [INFO] [stderr] --> src/server.rs:79:35 [INFO] [stderr] | [INFO] [stderr] 79 | fn handle_response(&mut self, msg: lsp::Response) -> Result<(), Box> { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_msg` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `params` [INFO] [stderr] --> src/server.rs:139:26 [INFO] [stderr] | [INFO] [stderr] 139 | let (id, params): (_, GotoDefinitionParams) = [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params` [INFO] [stderr] [INFO] [stderr] warning: function `def_file` is never used [INFO] [stderr] --> src/elab/mod.rs:82:4 [INFO] [stderr] | [INFO] [stderr] 82 | fn def_file(db: &dyn Elaborator, def: Def) -> File { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/elab/mod.rs:432:11 [INFO] [stderr] | [INFO] [stderr] 432 | Float(f64), [INFO] [stderr] | ----- ^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 432 - Float(f64), [INFO] [stderr] 432 + Float(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: variants `SpineNonVariable` and `SpineDuplicate` are never constructed [INFO] [stderr] --> src/elab/metas.rs:179:5 [INFO] [stderr] | [INFO] [stderr] 175 | pub enum MetaSolveError { [INFO] [stderr] | -------------- variants in this enum [INFO] [stderr] ... [INFO] [stderr] 179 | SpineNonVariable(Expr), [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] 180 | SpineNonApp(Elim), [INFO] [stderr] 181 | SpineDuplicate(Name), [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variants `F64` and `F32` are never constructed [INFO] [stderr] --> src/elab/term.rs:195:5 [INFO] [stderr] | [INFO] [stderr] 189 | pub enum Literal { [INFO] [stderr] | ------- variants in this enum [INFO] [stderr] ... [INFO] [stderr] 195 | F64(u64), [INFO] [stderr] | ^^^ [INFO] [stderr] 196 | /// Stores a u32 representation of the bits of the f32 [INFO] [stderr] 197 | F32(u32), [INFO] [stderr] | ^^^ [INFO] [stderr] | [INFO] [stderr] = note: `Literal` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: method `as_u32` is never used [INFO] [stderr] --> src/elab/var.rs:35:12 [INFO] [stderr] | [INFO] [stderr] 34 | impl Lvl { [INFO] [stderr] | -------- method in this implementation [INFO] [stderr] 35 | pub fn as_u32(self) -> u32 { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `as_u32` is never used [INFO] [stderr] --> src/elab/var.rs:57:12 [INFO] [stderr] | [INFO] [stderr] 56 | impl Size { [INFO] [stderr] | --------- method in this implementation [INFO] [stderr] 57 | pub fn as_u32(self) -> u32 { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `pop` is never used [INFO] [stderr] --> src/elab/var.rs:245:12 [INFO] [stderr] | [INFO] [stderr] 183 | impl Env { [INFO] [stderr] | -------- method in this implementation [INFO] [stderr] ... [INFO] [stderr] 245 | pub fn pop(&mut self) { [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: method `inaccessible` is never used [INFO] [stderr] --> src/parsing/mod.rs:130:8 [INFO] [stderr] | [INFO] [stderr] 108 | pub trait ParserExt: Parser { [INFO] [stderr] | --------- method in this trait [INFO] [stderr] ... [INFO] [stderr] 130 | fn inaccessible(&self, name: SName) -> SName { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variants `Unexpected` and `Other` are never constructed [INFO] [stderr] --> src/parsing/parser.rs:11:5 [INFO] [stderr] | [INFO] [stderr] 9 | enum ParseError { [INFO] [stderr] | ---------- variants in this enum [INFO] [stderr] 10 | Expected(Cow<'static, str>, Option>), [INFO] [stderr] 11 | Unexpected(Cow<'static, str>, Option>), [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] 12 | NonAssoc(Tok, Tok, RelSpan), [INFO] [stderr] 13 | Other(Cow<'static, str>), [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated items `COLOR5` and `is_empty` are never used [INFO] [stderr] --> src/pretty.rs:72:15 [INFO] [stderr] | [INFO] [stderr] 65 | impl Doc { [INFO] [stderr] | -------- associated items in this implementation [INFO] [stderr] ... [INFO] [stderr] 72 | pub const COLOR5: ariadne::Color = ariadne::Color::Fixed(158); [INFO] [stderr] | ^^^^^^ [INFO] [stderr] 73 | [INFO] [stderr] 74 | pub fn is_empty(&self) -> bool { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field `initialization_params` is never read [INFO] [stderr] --> src/server.rs:25:5 [INFO] [stderr] | [INFO] [stderr] 22 | pub struct Server { [INFO] [stderr] | ------ field in this struct [INFO] [stderr] ... [INFO] [stderr] 25 | initialization_params: InitializeParams, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `pika2` (lib) generated 18 warnings (run `cargo fix --lib -p pika2` to apply 1 suggestion) [INFO] [stderr] warning: `pika2` (lib test) generated 18 warnings (18 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.09s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pika2-6f21da6325293272) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/pika2-d7589ed12ca3e207) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/runner.rs (/opt/rustwide/target/debug/deps/runner-b44e992f61394597) [INFO] [stdout] [INFO] [stdout] running 9 tests [INFO] [stdout] test dep_errors ... ok [INFO] [stdout] test capabilities ... ok [INFO] [stdout] test structs ... ok [INFO] [stderr] Error: Expected expression but got 'impl' [INFO] [stderr] ╭─[Traits.pk:7:15] [INFO] [stderr] │ [INFO] [stderr] 7 │ fun print1[a, impl Display[a]](x: a): Str = Display.to_str(x) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected expression but got 'impl' [INFO] [stderr] ───╯ [INFO] [stderr] Error: Expected ']' but got 'impl' [INFO] [stderr] ╭─[Traits.pk:7:15] [INFO] [stderr] │ [INFO] [stderr] 7 │ fun print1[a, impl Display[a]](x: a): Str = Display.to_str(x) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected ']' but got 'impl' [INFO] [stderr] ───╯ [INFO] [stderr] Error: Expected '=' but got 'impl' [INFO] [stderr] ╭─[Traits.pk:7:15] [INFO] [stderr] │ [INFO] [stderr] 7 │ fun print1[a, impl Display[a]](x: a): Str = Display.to_str(x) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected '=' but got 'impl' [INFO] [stderr] ───╯ [INFO] [stderr] Error: Name not found: x [INFO] [stderr] ╭─[Traits.pk:7:60] [INFO] [stderr] │ [INFO] [stderr] 7 │ fun print1[a, impl Display[a]](x: a): Str = Display.to_str(x) [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── This name not found [INFO] [stderr] ───╯ [INFO] [stderr] Error: Could not match types: expected '()' but found 'Str' [INFO] [stderr] ╭─[Traits.pk:7:45] [INFO] [stderr] │ [INFO] [stderr] 7 │ fun print1[a, impl Display[a]](x: a): Str = Display.to_str(x) [INFO] [stderr]  │ ───┬── ────────┬──────── [INFO] [stderr]  │ │ ╰────────── Expected type '()' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────────────────────────────────────────────────────── The type is given here [INFO] [stderr] ───╯ [INFO] [stderr] Error: Could not find solution for type of 'a', of type 'Type', introduced here [INFO] [stderr] ╭─[Traits.pk:7:12] [INFO] [stderr] │ [INFO] [stdout] test gadts ... ok [INFO] [stderr] 7 │ fun print1[a, impl Display[a]](x: a): Str = Display.to_str(x) [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Could not find solution for type of 'a', of type 'Type', introduced here [INFO] [stderr] ───╯ [INFO] [stderr] Error: Expected expression but got 'impl' [INFO] [stderr] ╭─[Traits.pk:11:16] [INFO] [stderr] │ [INFO] [stderr] 11 │ fun test[a, b, impl P[b, a]](x: b): a = P.q(x) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected expression but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected ']' but got 'impl' [INFO] [stderr] ╭─[Traits.pk:11:16] [INFO] [stderr] │ [INFO] [stderr] 11 │ fun test[a, b, impl P[b, a]](x: b): a = P.q(x) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected ']' but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected '=' but got 'impl' [INFO] [stderr] ╭─[Traits.pk:11:16] [INFO] [stderr] │ [INFO] [stderr] 11 │ fun test[a, b, impl P[b, a]](x: b): a = P.q(x) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected '=' but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Name not found: x [INFO] [stderr] ╭─[Traits.pk:11:45] [INFO] [stderr] │ [INFO] [stderr] 11 │ fun test[a, b, impl P[b, a]](x: b): a = P.q(x) [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── This name not found [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find impl for 'P[?2(_, b, a), ]' in this scope [INFO] [stderr] ╭─[Traits.pk:11:41] [INFO] [stderr] │ [INFO] [stderr] 11 │ fun test[a, b, impl P[b, a]](x: b): a = P.q(x) [INFO] [stderr]  │ ─┬─ [INFO] [stderr]  │ ╰─── Could not find impl for 'P[?2(_, b, a), ]' in this scope [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for type of 'a', of type 'Type', introduced here [INFO] [stderr] ╭─[Traits.pk:11:10] [INFO] [stderr] │ [INFO] [stderr] 11 │ fun test[a, b, impl P[b, a]](x: b): a = P.q(x) [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Could not find solution for type of 'a', of type 'Type', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for type of 'b', of type 'Type', introduced here [INFO] [stderr] Error: Expected -> or => after implicit parameters; got dedent [INFO] [stderr] ╭─[Iterator.pk:57:135] [INFO] [stderr] │ [INFO] [stderr] 57 │     # TODO 1) track fields like variables 2) track invalidation and revalidation (and check validity at possible return/effect points) [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─ Expected -> or => after implicit parameters; got dedent [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected dedent but got end of file [INFO] [stderr] ╭─[Traits.pk:11:13] [INFO] [stderr] │ [INFO] [stderr] 11 │ fun test[a, b, impl P[b, a]](x: b): a = P.q(x) [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Could not find solution for type of 'b', of type 'Type', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find impl for 'Q[b, ]' in this scope [INFO] [stderr] ╭─[Traits.pk:15:41] [INFO] [stderr] │ [INFO] [stderr] 15 │ fun test[a, b, q: Q[b, a]](x: b): q.t = Q.q(x) [INFO] [stderr]  │ ─┬─ [INFO] [stderr]  │ ╰─── Could not find impl for 'Q[b, ]' in this scope [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected expression but got 'impl' [INFO] [stderr] ╭─[Traits.pk:19:18] [INFO] [stderr] │ [INFO] [stderr] 19 │ fun print2[a, b, impl Display[a], impl Display[b]](x: a, y: b): Str = do [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected expression but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected ']' but got 'impl' [INFO] [stderr] ╭─[Traits.pk:19:18] [INFO] [stderr] │ [INFO] [stderr] 19 │ fun print2[a, b, impl Display[a], impl Display[b]](x: a, y: b): Str = do [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected ']' but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected '=' but got 'impl' [INFO] [stderr] ╭─[Traits.pk:19:18] [INFO] [stderr] │ [INFO] [stderr] 19 │ fun print2[a, b, impl Display[a], impl Display[b]](x: a, y: b): Str = do [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected '=' but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Name not found: x [INFO] [stderr] ╭─[Iterator.pk:59:1] [INFO] [stderr] │ [INFO] [stderr] 59 │ # TODO allow this to go inside the where block of List [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─ Expected dedent but got end of file [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected -> or => after implicit parameters; got newline [INFO] [stderr] ╭─[Iterator.pk:63:40] [INFO] [stderr] │ [INFO] [stderr] 63 │ ╭─▶             self.list.get(self.idx - 1) [INFO] [stderr] 64 │ ├─▶  [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────── Expected -> or => after implicit parameters; got newline [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected -> or => after implicit parameters; got newline [INFO] [stderr] ╭─[Iterator.pk:72:45] [INFO] [stderr] │ [INFO] [stderr] 72 │         List.Cons(a, List.Cons(b, List.Nil)) [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Expected -> or => after implicit parameters; got newline [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected expression but got 'impl' [INFO] [stderr] ╭─[Iterator.pk:73:12] [INFO] [stderr] │ [INFO] [stderr] 73 │ impl[A, B, impl ToList[B, A]] ToList[(A, B), A] struct [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected expression but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected ']' but got 'impl' [INFO] [stderr] ╭─[Traits.pk:20:13] [INFO] [stderr] │ [INFO] [stderr] 20 │     let s = x.to_str() [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── This name not found [INFO] [stderr] ────╯ [INFO] [stderr] ╭─[Iterator.pk:73:12] [INFO] [stderr] │ [INFO] [stderr] 73 │ impl[A, B, impl ToList[B, A]] ToList[(A, B), A] struct [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected ']' but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected -> or => after implicit parameters; got 'impl' [INFO] [stderr] Error: Multiple ambiguous impls for 'Display[%error]' [INFO] [stderr] ╭─[Traits.pk:20:13] [INFO] [stderr] │ [INFO] [stderr] 20 │     let s = x.to_str() [INFO] [stderr]  │ ────┬─── [INFO] [stderr]  │ ╰───── Multiple ambiguous impls for 'Display[%error]' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Name not found: y [INFO] [stderr] ╭─[Traits.pk:21:14] [INFO] [stderr] │ [INFO] [stderr] 21 │     let s2 = y.to_str() [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── This name not found [INFO] [stderr] ────╯ [INFO] [stderr] Error: Multiple ambiguous impls for 'Display[%error]' [INFO] [stderr] ╭─[Traits.pk:21:14] [INFO] [stderr] │ [INFO] [stderr] 21 │     let s2 = y.to_str() [INFO] [stderr]  │ ────┬─── [INFO] [stderr]  │ ╰───── Multiple ambiguous impls for 'Display[%error]' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected '()' but found 'Str' [INFO] [stderr] ╭─[Traits.pk:22:5] [INFO] [stderr] │ [INFO] [stderr] 19 │ fun print2[a, b, impl Display[a], impl Display[b]](x: a, y: b): Str = do [INFO] [stderr]  │ ───┬── [INFO] [stderr]  │ ╰──── The type is given here [INFO] [stderr]  │ [INFO] [stderr] 22 │     s + s2 [INFO] [stderr]  │ ───┬── [INFO] [stderr]  │ ╰──── Expected type '()' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for type of 'a', of type 'Type', introduced here [INFO] [stderr] ╭─[Traits.pk:19:12] [INFO] [stderr] │ [INFO] [stderr] 19 │ fun print2[a, b, impl Display[a], impl Display[b]](x: a, y: b): Str = do [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Could not find solution for type of 'a', of type 'Type', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for type of 'b', of type 'Type', introduced here [INFO] [stderr] ╭─[Traits.pk:19:15] [INFO] [stderr] │ [INFO] [stderr] 19 │ fun print2[a, b, impl Display[a], impl Display[b]](x: a, y: b): Str = do [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Could not find solution for type of 'b', of type 'Type', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected function type in application, got '()' [INFO] [stderr] ╭─[Traits.pk:41:13] [INFO] [stderr] │ [INFO] [stderr] 41 │     let s = print2("value: ", e) [INFO] [stderr]  │ ───┬── [INFO] [stderr]  │ ╰──── This has type '()' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument 'a' to function 'print2', of type 'imm ?0', introduced here [INFO] [stderr] ╭─[Traits.pk:41:13] [INFO] [stderr] │ [INFO] [stderr] 41 │     let s = print2("value: ", e) [INFO] [stderr]  │ ───┬── [INFO] [stderr]  │ ╰──── Could not find solution for implicit argument 'a' to function 'print2', of type 'imm ?0', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument 'b' to function 'print2', of type 'imm ?1(?0(e, _))', introduced here [INFO] [stderr] ╭─[Traits.pk:41:13] [INFO] [stderr] │ [INFO] [stderr] 41 │     let s = print2("value: ", e) [INFO] [stderr]  │ ───┬── [INFO] [stderr]  │ ╰──── Could not find solution for implicit argument 'b' to function 'print2', of type 'imm ?1(?0(e, _))', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument to function 'print2', of type '()', introduced here [INFO] [stderr] ╭─[Traits.pk:41:13] [INFO] [stderr] │ [INFO] [stderr] 41 │     ╭─[Iterator.pk:73:12] [INFO] [stderr] │ [INFO] [stderr]  le 73 │ impl[A, B, impl ToLit st[B, As ]] ToList[(A, B), A] struct [INFO] [stderr]  │ =  pr──┬─ [INFO] [stderr]  │ ╰─── Expected -> or => after implicit parameters; got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] int2("value:Error: Expected newline or end of definitions; got name [INFO] [stderr]  ", e) [INFO] [stderr]  │ ───┬── [INFO] [stderr]  │ ╰──── Could not find solution for implicit argument to function 'print2', of type '()', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Value of type 'Type' does not take implicit parameters [INFO] [stderr] ╭─[Iterator.pk:73:17] [INFO] [stderr] │ [INFO] [stderr] 73 │ impl[A, B, impl ToList[B, A]] ToList[(A, B), A] struct [INFO] [stderr]  │ ───┬── [INFO] [stderr]  │ ╰──── Expected newline or end of definitions; got name [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected expression but got 'impl' [INFO] [stderr] ╭─[Iterator.pk:78:16] [INFO] [stderr] │ [INFO] [stderr] 78 │ fun list[A, X, impl ToList[X, A]](x: own X): List[A] = x.to_list() [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected expression but got 'impl' [INFO] [stderr] ╭─[Traits.pk:47:29] [INFO] [stderr] │ [INFO] [stderr] 47 │     fun map[a, b](self: own Self[a], f: own a mut-> b): Self[b] [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Value of type 'Type' does not take implicit parameters [INFO] [stderr] ────╯ [INFO] [stderr] Error: Value of type 'Type' does not take implicit parameters [INFO] [stderr] ╭─[Traits.pk:47:57] [INFO] [stderr] │ [INFO] [stderr] 47 │     fun map[a, b](self: own Self[a], f: own a mut-> b): Self[b] [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Value of type 'Type' does not take implicit parameters [INFO] [stderr] ────╯ [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected -> or => after implicit parameters; got newline [INFO] [stderr] Error: Expected ']' but got 'impl' [INFO] [stderr] ╭─[Traits.pk:55:44] [INFO] [stderr] │ [INFO] [stderr] 55 │ ╭─▶         Result.Ok(own a) => Result.Ok(f ╭─[Iterator.pk:78:16] [INFO] [stderr] │ [INFO] [stderr] 78 │ fun list[A, X, impl ToList[X, A]](x: own X): List[A] = x.to_list() [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected ']' but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] (a)) [INFO] [stderr] 56 │ ├─▶  [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────── Expected -> or => after implicit parameters; got newline [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected expression but got 'impl' [INFO] [stderr] ╭─[Traits.pk:57:16] [INFO] [stderr] │ [INFO] [stderr] 57 │ fun doubleM[M, impl Functor[M]](x: own M[U32]): M[U32] = x.map(x => x*2) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected expression but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected ']' but got 'impl' [INFO] [stderr] ╭─[Traits.pk:57:16] [INFO] [stderr] │ [INFO] [stderr] 57 │ fun doubleM[M, impl Functor[M]](x: own M[U32]): M[U32] = x.map(xError: Expected '=' but got 'impl' [INFO] [stderr] ╭─[Iterator.pk:78:16] [INFO] [stderr] │ [INFO] [stderr] 78 │ fun list[A, X, impl ToList[X, A]](x: own X): List[A] = x.to_list() [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected '=' but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Name not found: x [INFO] [stderr] ╭─[Iterator.pk:78:56] [INFO] [stderr] │ [INFO] [stderr] 78 │ fun list[A, X, impl ToList[X, A]](x: own X): List[A] = x.to_list() [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── This name not found [INFO] [stderr] ────╯ [INFO] [stderr]  => x*2) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected ']' but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected '=' but got 'impl' [INFO] [stderr] ╭─[Traits.pk:57:16] [INFO] [stderr] │ [INFO] [stderr] 57 │ fun doubleM[M, impl Functor[M]](x:Error: Could not find impl for 'ToList[%error, ]' in this scope [INFO] [stderr]  own M[U32]): M[U32] = x.map(x => x*2) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected '=' but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Name not found: x [INFO] [stderr] ╭─[Iterator.pk:78:56] [INFO] [stderr] │ [INFO] [stderr] 78 │ fun list[A, X, impl ToList[X, A ╭─[Traits.pk:57:58] [INFO] [stderr] │ [INFO] [stderr] 57 │ fun doubleM[M, impl Functor[M]](x: own M[U32]): M[U32] = x.map(x => x*2) [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── This name not found [INFO] [stderr] ────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter x [INFO] [stderr] ╭─[Traits.pk:57:69] [INFO] [stderr] │ [INFO] [stderr] 57 │ fun doubleM[M, impl Functor[M]](x: own M[U32]): M[U32] = x.map(x => x*2) [INFO] [stderr]  │ ┬ ┬┬─ [INFO] [stderr]  │ │ │╰─── Cannot return value that borrows externally-mutable non-ref parameter x [INFO] [stderr]  │ │ ││ [INFO] [stderr]  │ ╰───────── Non-ref parameter x is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ ││ [INFO] [stderr]  │ ]](x: own X): List[A] = x.to_list() [INFO] [stderr]  │ ────┬──── [INFO] [stderr]  │ ╰────── Could not find impl for 'ToList[%error, ]' in this scope [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected '()' but found 'List[%error]' [INFO] [stderr] ╰──── Non-ref parameter x was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─── The result of this expression borrows non-ref parameter x through the result of this expression [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find impl for 'Functor[%error, ]' in this scope [INFO] [stderr] ╭─[Traits.pk:57:58] [INFO] [stderr] │ [INFO] [stderr] 57 │ fun doubleM[M, impl Functor[M]](x: own M[U32]): M[U32] = x.map(x => x*2) [INFO] [stderr]  │ ──┬── [INFO] [stderr]  │ ╰──── Could not find impl for 'Functor[%error, ]' in this scope [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected '()' but found '' [INFO] [stderr] ╭─[Traits.pk:57:58] [INFO] [stderr] │ [INFO] [stderr] 57 │ fun doubleM[M, impl Functor[M]](x: own M[U32]): M[U32] = x.map(x => x*2) [INFO] [stderr]  │ ───┬─── ───────┬─────── [INFO] [stderr]  │ │ ╰───────── Expected type '()' [INFO] [stderr]  │ │ ╭─[Iterator.pk:78:56] [INFO] [stderr] │ [INFO] [stderr] 78 │ fun list[A, X, impl ToList[X, A]](x: own X): List[A] = x.to_list() [INFO] [stderr]  │ ──┬─ ─────┬───── [INFO] [stderr]  │ │ ╰─────── Expected type '()' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───────────────────────────────────────────────────────────── The type is given here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for type of 'A', of type 'Type', introduced here [INFO] [stderr] ╭─[Iterator.pk:78:10] [INFO] [stderr] [INFO] [stderr]  │ ╰────────────────────────────────────────────────────────────────── The type is given here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for type of 'M', of type 'Type', introduced here [INFO] [stderr] ╭─[Traits.pk:57:13] [INFO] [stderr] │ [INFO] [stderr] 57 │ fun doubleM[M, impl Functor[M]](x: own M[U32]): M[U32] = x.map(x => x*2) [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Could not find solution for type of 'M', of type 'Type', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for type of int literal, of type 'Type', introduced here [INFO] [stderr] │ [INFO] [stderr] 78 │ fun list[A, X, impl ToList[X, A]](x: own X): List[A] = x.to_list() [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Could not find solution for type of 'A', of type 'Type', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] ╭─[Traits.pk:57:71] [INFO] [stderr] │ [INFO] [stderr] 57 │ fun doubleM[M, impl Functor[M]](x: own M[U32]): M[U32] = x.map(x => x*2) [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Could not find solution for type of int literal, of type 'Type', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected function type in application, got '()' [INFO] [stderr] Error: Could not find solution for type of 'X', of type 'Type', introduced here [INFO] [stderr] ╭─[Iterator.pk:78:13] [INFO] [stderr] │ [INFO] [stderr] 78 │ fun list[A, X, impl ToList[X, A]](x: own X): List[A] = x.to_list() [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Could not find solution for type of 'X', of type 'Type', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected expression but got 'impl' [INFO] [stderr] ╭─[Iterator.pk:81:16] [INFO] [stderr] │ [INFO] [stderr] 81 │ fun each[A, I, impl Iterator[I, A]](mut x: own I, f: A mut-> ()) = x.next() match [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected expression but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected ']' but got 'impl' [INFO] [stderr] ╭─[Traits.pk:59:57] [INFO] [stderr] │ [INFO] [stderr] 59 │ fun doubleR[E](x: own Result[U32, E]): Result[U32, E] = doubleM(x) [INFO] [stderr]  │ ───┬─── [INFO] [stderr]  │ ╰───── This has type '()' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument 'M' to function 'doubleM', of type 'Type', introduced here [INFO] [stderr] ╭─[Traits.pk:59:57] [INFO] [stderr] │ [INFO] [stderr] 59 │ fun doubleR[E](x: own Result[U32, E]): Result[U32, E] = doubleM(x) [INFO] [stderr]  │ ───┬─── [INFO] [stderr]  │ ╰───── Could not find solution for implicit argument 'M' to function 'doubleM', of type 'Type', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] ╭─[Iterator.pk:81:16] [INFO] [stderr] │ [INFO] [stderr] 81 │ fun each[A, I, impl Iterator[I, A]](mut x: own I, f: A mut-> ()) = x.next() match [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected ']' but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected '=' but got 'impl' [INFO] [stderr] ╭─[Iterator.pk:81:16] [INFO] [stderr] │ [INFO] [stderr] 81 │ fun each[A, I, impl Iterator[I, A]](mut x: own I, f: A mut-> ()) = x.next() match [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Expected '=' but got 'impl' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Name not found: x [INFO] [stderr] ╭─[Iterator.pk:81:68] [INFO] [stderr] │ [INFO] [stderr] 81 │ fun each[A, I, impl Iterator[I, A]](mut x: own I, f: A mut-> ()) = x.next() match [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── This name not found [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find impl for 'Iterator[%error, ]' in this scope [INFO] [stderr] Error: Could not find solution for implicit argument to function 'doubleM', of type '()', introduced here [INFO] [stderr] ╭─[Traits.pk:59:57] [INFO] [stderr] │ [INFO] [stderr] 59 │ fun doubleR[E](x: own Result[U32, E]): Result[U32, E] = doubleM(x) [INFO] [stderr]  │ ───┬─── [INFO] [stderr]  │ ╰───── Could not find solution for implicit argument to function 'doubleM', of type '()', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected '[a: imm Type, b: imm Type] imm-> (self: own , f: (own a mut-> b)) imm-> ' but found '[A: imm Type, B: imm Type] imm-> (self: own A, f: (own A mut-> B)) imm-> B' [INFO] [stderr] ╭─[Traits.pk:62:6] [INFO] [stderr] │ [INFO] [stderr] 62 │ ╭─▶ impl Functor[[A] => A] struct [INFO] [stderr] 63 │ ├─▶     fun map[A, B](self: own A, f: own A mut-> B): B = f(self) [INFO] [stderr]  │ │ ─┬─ [INFO] [stdout] test references ... ok [INFO] [stderr]  │ ╰─────────────────────────────────────────────────────────────────── Expected type '[a: imm Type, b: imm Type] imm-> (self: own , f: (own a mut-> b)) imm-> ' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──────────────────── The type is given here [INFO] [stderr] ────╯ [INFO] [stderr] Error: `impl` used with non-trait '%error' [INFO] [stderr] ╭─[Traits.pk:62:1] [INFO] [stderr] │ [INFO] [stderr] 62 │ ╭─▶ impl Functor[[A] => A] struct [INFO] [stderr] 63 │ ├─▶     fun map[A, B](self: own A, f: own A mut-> B): B = f(self) [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────────────────────────────────────────────────────────────────── `impl` used with non-trait '%error' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected function type in application, got '()' [INFO] [stderr] ╭─[Traits.pk:65:28] [INFO] [stderr] │ [INFO] [stderr] 65 │ fu ╭─[Iterator.pk:81:68] [INFO] [stderr] │ [INFO] [stderr] 81 │ fun each[A, I, impl Iterator[I, A]](mut x: own I, f: A mut-> ()) = x.next() match [INFO] [stderr]  │ ───┬── [INFO] [stderr]  │ ╰──── Could not find impl for 'Iterator[%error, ]' in this scope [INFO] [stderr] ────╯ [INFO] [stderr] Error: Name not found: f [INFO] [stderr] ╭─[Iterator.pk:84:9] [INFO] [stderr] │ [INFO] [stderr] 84 │         f(val) [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── This name not found [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected function type in application, got '()' [INFO] [stderr] ╭─[Iterator.pk:85:9] [INFO] [stderr] │ [INFO] [stderr] 85 │         each(x, f) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ n doubleQ(x: U32): U32 = doubleM(x) [INFO] [stderr]  │ ───┬─── [INFO] [stderr]  │ ╰───── This has type '()' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument 'M' to function 'doubleM', of type 'imm ?0', introduced here [INFO] [stderr] ╭─[Traits.pk:65:28] [INFO] [stderr] │ [INFO] [stderr] 65 │ fun doubleQ(x: U32): U32 = doubleM(x) [INFO] [stderr]  │ ───┬─── [INFO] [stderr]  │ ╰───── Could not find solution for implicit argument 'M' to function 'doubleM', of type 'imm ?0', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument to function 'doubleM', of type '()', introduced here [INFO] [stderr] ╭─[Traits.pk:65:28] [INFO] [stderr] │ [INFO] [stderr] 65 │ fun doubleQ(x: U32): U32 = doubleM(x) [INFO] [stderr]  │ ───┬─── [INFO] [stderr]  │ ╰───── Could not find solution for implicit argument to function 'doubleM', of type '()', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] ╰─── This has type '()' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for type of 'A', of type 'Type', introduced here [INFO] [stderr] ╭─[Iterator.pk:81:10] [INFO] [stderr] │ [INFO] [stderr] 81 │ fun each[A, I, impl Iterator[I, A]](mut x: own I, f: A mut-> ()) = x.next() match [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Could not find solution for type of 'A', of type 'Type', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for type of 'I', of type 'Type', introduced here [INFO] [stderr] ╭─[Iterator.pk:81:13] [INFO] [stderr] │ [INFO] [stderr] 81 │ fun each[A, I, impl Iterator[I, A]](mut x: own I, f: A mut-> ()) = x.next() match [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Could not find solution for type of 'I', of type 'Type', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument 'A' to function 'each', of type 'imm ?0', introduced here [INFO] [stderr] ╭─[Iterator.pk:85:9] [INFO] [stderr] │ [INFO] [stderr] 85 │         each(x, f) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Could not find solution for implicit argument 'A' to function 'each', of type 'imm ?0', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument 'I' to function 'each', of type 'imm ?1(?3(val, _, _, I, A))', introduced here [INFO] [stderr] ╭─[Iterator.pk:85:9] [INFO] [stderr] │ [INFO] [stderr] 85 │         each(x, f) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Could not find solution for implicit argument 'I' to function 'each', of type 'imm ?1(?3(val, _, _, I, A))', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument to function 'each', of type '()', introduced here [INFO] [stderr] ╭─[Iterator.pk:85:9] [INFO] [stderr] │ [INFO] [stderr] 85 │         each(x, f) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Could not find solution for implicit argument to function 'each', of type '()', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected function type in application, got '()' [INFO] [stderr] ╭─[Iterator.pk:88:27] [INFO] [stderr] │ [INFO] [stderr] 88 │     let list: List[U64] = list(1, 2, 3, 4) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── This has type '()' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Expected function type in application, got '()' [INFO] [stderr] ╭─[Iterator.pk:89:5] [INFO] [stderr] │ [INFO] [stderr] 89 │     each(list.iter()) do x => [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── This has type '()' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument 'A' to function 'list', of type 'imm ?0', introduced here [INFO] [stderr] ╭─[Iterator.pk:88:27] [INFO] [stderr] │ [INFO] [stderr] 88 │     let list: List[U64] = list(1, 2, 3, 4) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Could not find solution for implicit argument 'A' to function 'list', of type 'imm ?0', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument 'X' to function 'list', of type 'imm ?1(?0(_))', introduced here [INFO] [stderr] ╭─[Iterator.pk:88:27] [INFO] [stderr] │ [INFO] [stderr] 88 │     let list: List[U64] = list(1, 2, 3, 4) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Could not find solution for implicit argument 'X' to function 'list', of type 'imm ?1(?0(_))', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument to function 'list', of type '()', introduced here [INFO] [stderr] ╭─[Iterator.pk:88:27] [INFO] [stderr] │ [INFO] [stderr] 88 │     let list: List[U64] = list(1, 2, 3, 4) [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Could not find solution for implicit argument to function 'list', of type '()', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument 'A' to function 'each', of type 'imm ?0', introduced here [INFO] [stderr] ╭─[Iterator.pk:89:5] [INFO] [stderr] │ [INFO] [stderr] 89 │     each(list.iter()) do x => [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Could not find solution for implicit argument 'A' to function 'each', of type 'imm ?0', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument 'I' to function 'each', of type 'imm ?1(?3(list, _))', introduced here [INFO] [stderr] ╭─[Iterator.pk:89:5] [INFO] [stderr] │ [INFO] [stderr] 89 │     each(list.iter()) do x => [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Could not find solution for implicit argument 'I' to function 'each', of type 'imm ?1(?3(list, _))', introduced here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not find solution for implicit argument to function 'each', of type '()', introduced here [INFO] [stderr] ╭─[Iterator.pk:89:5] [INFO] [stderr] │ [INFO] [stderr] 89 │     each(list.iter()) do x => [INFO] [stderr]  │ ──┬─ [INFO] [stderr]  │ ╰─── Could not find solution for implicit argument to function 'each', of type '()', introduced here [INFO] [stderr] ────╯ [INFO] [stdout] test ref_errors ... ok [INFO] [stdout] test iterator ... FAILED [INFO] [stdout] test traits ... FAILED [INFO] [stderr] Error: Could not match types: expected 'own A' but found 'imm A' [INFO] [stderr] ╭─[Smalltt.pk:15:41] [INFO] [stderr] │ [INFO] [stderr] 15 │ let id : [A:_] imm -> own A -> A = x => x [INFO] [stderr]  │ ───────────┬─────────── ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own A' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────────────────────── The type is given here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own A' but found 'imm A'' [INFO] [stderr] ╭─[Smalltt.pk:25:2] [INFO] [stderr] │ [INFO] [stderr] 23 │ let id3 : [A:_] imm -> own A -> A = x => id(x) [INFO] [stderr]  │ ───────────┬─────────── ──┬── [INFO] [stderr]  │ │ ╰──── Expected type 'own A' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────────────────────────── The type is given here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own A' but found 'imm A' [INFO] [stderr] ╭─[Smalltt.pk:29:6] [INFO] [stderr] │ [INFO] [stderr] 27 │ let the : (A : _) imm -> own A -> A = _ => x => x [INFO] [stderr]  │ ────────────┬──────────── ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own A' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──────────────────────────── The type is given here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter x [INFO] [stderr] ╭─[Smalltt.pk:29:6] [INFO] [stderr] │ [INFO] [stderr] 27 │ let the : (A : _) imm -> own A -> A = _ => x => x [INFO] [stderr]  │ ┬ ┬ [INFO] [stderr]  │ │ ╰── Cannot return value that borrows externally-mutable non-ref parameter x [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ ╰─────── Non-ref parameter x is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── Non-ref parameter x was borrowed here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own A' but found 'imm A'' [INFO] [stderr] ╭─[Smalltt.pk:30:50] [INFO] [stderr] │ [INFO] [stderr] 30 │ let id4 : [A:_] imm -> own A -> A = x => the(_)(x) [INFO] [stderr]  │ ───────────┬─────────── ────┬──── [INFO] [stderr]  │ │ ╰────── Expected type 'own A' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────────────────────────────── The type is given here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own A' but found 'imm A' [INFO] [stderr] ╭─[Smalltt.pk:37:6] [INFO] [stderr] │ [INFO] [stderr] 35 │ let const : constTy = x => y => x [INFO] [stderr]  │ ───┬─── ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own A' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────────────────── The type is given here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own B' but found 'imm B' [INFO] [stderr] ╭─[Smalltt.pk:53:14] [INFO] [stderr] │ [INFO] [stderr] 52 │ let true  : Bool = _ => t => f => t [INFO] [stderr]  │ ──┬─ ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own B' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────────────────────── The type is given here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter t [INFO] [stderr] ╭─[Smalltt.pk:53:9] [INFO] [stderr] │ [INFO] [stderr] 52 │ let true  : Bool = _ => t => f => t [INFO] [stderr]  │ ┬ ───┬─┬ [INFO] [stderr]  │ │ ╰──── Cannot return value that borrows externally-mutable non-ref parameter t [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰──────────── Non-ref parameter t is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰── Non-ref parameter t was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──── The result of this expression borrows non-ref parameter t through the result of this expression [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own B' but found 'imm B' [INFO] [stderr] ╭─[Smalltt.pk:55:13] [INFO] [stderr] │ [INFO] [stderr] 53 │ let false : Bool = _ => t => f => f [INFO] [stderr]  │ ──┬─ ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own B' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────────────────────── The type is given here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter f [INFO] [stderr] ╭─[Smalltt.pk:55:13] [INFO] [stderr] │ [INFO] [stderr] 53 │ let false : Bool = _ => t => f => f [INFO] [stderr]  │ ┬ ┬ [INFO] [stderr]  │ │ ╰── Cannot return value that borrows externally-mutable non-ref parameter f [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ ╰─────── Non-ref parameter f is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── Non-ref parameter f was borrowed here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own n' but found 'imm n' [INFO] [stderr] ╭─[Smalltt.pk:67:13] [INFO] [stderr] │ [INFO] [stderr] 64 │ let zero : Nat = [INFO] [stderr]  │ ─┬─ [INFO] [stderr]  │ ╰─── The type is given here [INFO] [stderr] 65 │     n => s => z => z [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Expected type 'own n' [INFO] [stderr] ────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter z [INFO] [stderr] ╭─[Smalltt.pk:67:13] [INFO] [stderr] │ [INFO] [stderr] 65 │     n => s => z => z [INFO] [stderr]  │ ┬ ┬ [INFO] [stderr]  │ │ ╰── Cannot return value that borrows externally-mutable non-ref parameter z [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ ╰─────── Non-ref parameter z is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── Non-ref parameter z was borrowed here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own n' but found 'imm n' [INFO] [stderr] ╭─[Smalltt.pk:70:11] [INFO] [stderr] │ [INFO] [stderr] 68 │     a => n => s => z => s(a(n)(s)(z)) [INFO] [stderr]  │ ───┬─── ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own n' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────── Must have this type to pass as argument to this function [INFO] [stderr] ────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter z [INFO] [stderr] ╭─[Smalltt.pk:70:1] [INFO] [stderr] │ [INFO] [stderr] 68 │     a => n => s => z => s(a(n)(s)(z)) [INFO] [stderr]  │ ┬ ──────┬───┬── [INFO] [stderr]  │ │ ╰──────── Cannot return value that borrows externally-mutable non-ref parameter z [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰─────────────────── Non-ref parameter z is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰──── Non-ref parameter z was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──────── The result of this expression borrows non-ref parameter z through the result of this expression [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own n' but found 'imm n' [INFO] [stderr] ╭─[Smalltt.pk:71:12] [INFO] [stderr] │ [INFO] [stderr] 70 │ let n2 : Nat = n => s => z => s(s(z)) [INFO] [stderr]  │ ┬ ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own n' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──── Must have this type to pass as argument to this function [INFO] [stderr] ────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter z [INFO] [stderr] ╭─[Smalltt.pk:71:8] [INFO] [stderr] │ [INFO] [stderr] 70 │ let n2 : Nat = n => s => z => s(s(z)) [INFO] [stderr]  │ ┬ ───┬┬── [INFO] [stderr]  │ │ ╰───── Cannot return value that borrows externally-mutable non-ref parameter z [INFO] [stderr]  │ │ ││ [INFO] [stderr]  │ ╰───────────── Non-ref parameter z is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ ││ [INFO] [stderr]  │ │╰──── Non-ref parameter z was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───── The result of this expression borrows non-ref parameter z through the result of this expression [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own n' but found 'imm n' [INFO] [stderr] ╭─[Smalltt.pk:73:8] [INFO] [stderr] │ [INFO] [stderr] 71 │ let n5 : Nat = n => s => z => s(s(s(s(s(z))))) [INFO] [stderr]  │ ┬ ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own n' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──── Must have this type to pass as argument to this function [INFO] [stderr] ────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter z [INFO] [stderr] ╭─[Smalltt.pk:71:46] [INFO] [stderr] │ [INFO] [stderr] 71 │ let n5 : Nat = n => s => z => s(s(s(s(s(z))))) [INFO] [stderr]  │ ┬ ────────┬─┬───── [INFO] [stderr]  │ │ ╰───────── Cannot return value that borrows externally-mutable non-ref parameter z [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰────────────────────── Non-ref parameter z is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰─────── Non-ref parameter z was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───────── The result of this expression borrows non-ref parameter z through the result of this expression [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own n' but found 'imm n' [INFO] [stderr] ╭─[Smalltt.pk:76:12] [INFO] [stderr] │ [INFO] [stderr] 74 │     a => b => n => s => z => a(n)(b(n)(s))(z) [INFO] [stderr]  │ ──────┬────── ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own n' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────────── Must have this type to pass as argument to this function [INFO] [stderr] ────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter z [INFO] [stderr] ╭─[Smalltt.pk:74:45] [INFO] [stderr] │ [INFO] [stderr] 74 │     a => b => n => s => z => a(n)(b(n)(s))(z) [INFO] [stderr]  │ ┬ ────────┬─────┬─ [INFO] [stderr]  │ │ ╰───────── Cannot return value that borrows externally-mutable non-ref parameter z [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰────────────────────── Non-ref parameter z is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰─── Non-ref parameter z was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───────── The result of this expression borrows non-ref parameter z through the result of this expression [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own n' but found 'imm n' [INFO] [stderr] ╭─[Smalltt.pk:79:11] [INFO] [stderr] │ [INFO] [stderr] 77 │     a => b => n => s => z => a (n) (s) (b (n) (s) (z)) [INFO] [stderr]  │ ────┬──── ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own n' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───────── Must have this type to pass as argument to this function [INFO] [stderr] ────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter z [INFO] [stderr] ╭─[Smalltt.pk:77:45] [INFO] [stderr] │ [INFO] [stderr] 77 │     a => b => n => s => z => a (n) (s) (b (n) (s) (z)) [INFO] [stderr]  │ ┬ ────────────┬─────────┬── [INFO] [stderr]  │ │ ╰────────────── Cannot return value that borrows externally-mutable non-ref parameter z [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰─────────────────────────────── Non-ref parameter z is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰──── Non-ref parameter z was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────────────── The result of this expression borrows non-ref parameter z through the result of this expression [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own l' but found 'imm l' [INFO] [stderr] ╭─[Smalltt.pk:99:14] [INFO] [stderr] │ [INFO] [stderr] 98 │ let lnil  : [a:_] imm -> List(a) = l => c => n => n [INFO] [stderr]  │ ──────────┬───────── ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own l' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────────────────────────────── The type is given here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter n [INFO] [stderr] ╭─[Smalltt.pk:99:14] [INFO] [stderr] │ [INFO] [stderr] 98 │ let lnil  : [a:_] imm -> List(a) = l => c => n => n [INFO] [stderr]  │ ┬ ┬ [INFO] [stderr]  │ │ ╰── Cannot return value that borrows externally-mutable non-ref parameter n [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ ╰─────── Non-ref parameter n is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── Non-ref parameter n was borrowed here [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own a' but found 'imm a' [INFO] [stderr] ╭─[Smalltt.pk:99:105] [INFO] [stderr] │ [INFO] [stderr] 99 │ let lcons : [a:_] imm -> own a -> own List(a) -> List(a) = a => a_s => l => c => n => c (a) (a_s (l) (c) (n)) [INFO] [stderr]  │ ┬ ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own a' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───── Must have this type to pass as argument to this function [INFO] [stderr] ────╯ [INFO] [stderr] Error: Could not match types: expected 'own l' but found 'imm l' [INFO] [stderr] ╭─[Smalltt.pk:101:11] [INFO] [stderr] │ [INFO] [stderr] 99 │ let lcons : [a:_] imm -> own a -> own List(a) -> List(a) = a => a_s => l => c => n => c (a) (a_s (l) (c) (n)) [INFO] [stderr]  │ ─────┬───── ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own l' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────────── Must have this type to pass as argument to this function [INFO] [stderr] ────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter n [INFO] [stderr] ╭─[Smalltt.pk:99:102] [INFO] [stderr] │ [INFO] [stderr] 99 │ let lcons : [a:_] imm -> own a -> own List(a) -> List(a) = a => a_s => l => c => n => c (a) (a_s (l) (c) (n)) [INFO] [stderr]  │ ┬ ───────────┬────────┬── [INFO] [stderr]  │ │ ╰───────────── Cannot return value that borrows externally-mutable non-ref parameter n [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰───────────────────────────── Non-ref parameter n is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰──── Non-ref parameter n was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───────────── The result of this expression borrows non-ref parameter n through the result of this expression [INFO] [stderr] ────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter a_s [INFO] [stderr] ╭─[Smalltt.pk:99:87] [INFO] [stderr] │ [INFO] [stderr] 99 │ let lcons : [a:_] imm -> own a -> own List(a) -> List(a) = a => a_s => l => c => n => c (a) (a_s (l) (c) (n)) [INFO] [stderr]  │ ─┬─ ───────────────────┬───┬────────────── [INFO] [stderr]  │ │ ╰──────────────────── Cannot return value that borrows externally-mutable non-ref parameter a_s [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰───────────────────────────────────────────── Non-ref parameter a_s is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰──────────────── Non-ref parameter a_s was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──────────────────── The result of this expression borrows non-ref parameter a_s through the result of this expression [INFO] [stderr] ────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter a_s [INFO] [stderr] ╭─[Smalltt.pk:104:32] [INFO] [stderr] │ [INFO] [stderr] 104 │     f => a_s => l => c => a_s (l) (a => c (f (a))) [INFO] [stderr]  │ ─┬─ ───────────┬─────┬──────────────── [INFO] [stderr]  │ │ │ ╰────────────────── Cannot return value that borrows externally-mutable non-ref parameter a_s [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰───────────────────────────────────────── Non-ref parameter a_s is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ ╰──────────────────────── Non-ref parameter a_s was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────────────────── The result of this expression borrows non-ref parameter a_s through the result of this expression [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Could not match types: expected 'own V(zero)' but found 'imm V(zero)' [INFO] [stderr] ╭─[Smalltt.pk:114:13] [INFO] [stderr] │ [INFO] [stderr] 111 │ let vnil : [a:_] imm -> Vec (a) (zero) = [INFO] [stderr]  │ ─────────────┬───────────── [INFO] [stderr]  │ ╰─────────────── The type is given here [INFO] [stderr] 112 │     V => n => c => n [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Expected type 'own V(zero)' [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter n [INFO] [stderr] ╭─[Smalltt.pk:114:8] [INFO] [stderr] │ [INFO] [stderr] 112 │     V => n => c => n [INFO] [stderr]  │ ┬ ───┬─┬ [INFO] [stderr]  │ │ ╰──── Cannot return value that borrows externally-mutable non-ref parameter n [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰──────────── Non-ref parameter n is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰── Non-ref parameter n was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──── The result of this expression borrows non-ref parameter n through the result of this expression [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Could not match types: expected 'own a' but found 'imm a' [INFO] [stderr] ╭─[Smalltt.pk:115:50] [INFO] [stderr] │ [INFO] [stderr] 115 │     a => a_s => V => n => c => c (a) (a_s (V) (n) (c)) [INFO] [stderr]  │ ┬ ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own a' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───── Must have this type to pass as argument to this function [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Could not match types: expected 'own V(zero)' but found 'imm V(zero)' [INFO] [stderr] ╭─[Smalltt.pk:117:7] [INFO] [stderr] │ [INFO] [stderr] 115 │     a => a_s => V => n => c => c (a) (a_s (V) (n) (c)) [INFO] [stderr]  │ ───┬─── ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own V(zero)' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──────── Must have this type to pass as argument to this function [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter n [INFO] [stderr] ╭─[Smalltt.pk:115:42] [INFO] [stderr] │ [INFO] [stderr] 115 │     a => a_s => V => n => c => c (a) (a_s (V) (n) (c)) [INFO] [stderr]  │ ┬ ──────────────┬──────┬────── [INFO] [stderr]  │ │ ╰─────────────── Cannot return value that borrows externally-mutable non-ref parameter n [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰────────────────────────────────── Non-ref parameter n is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰──────── Non-ref parameter n was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────────────── The result of this expression borrows non-ref parameter n through the result of this expression [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter a_s [INFO] [stderr] ╭─[Smalltt.pk:115:32] [INFO] [stderr] │ [INFO] [stderr] 115 │     a => a_s => V => n => c => c (a) (a_s (V) (n) (c)) [INFO] [stderr]  │ ─┬─ ───────────────────┬───┬────────────── [INFO] [stderr]  │ │ ╰──────────────────── Cannot return value that borrows externally-mutable non-ref parameter a_s [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰───────────────────────────────────────────── Non-ref parameter a_s is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰──────────────── Non-ref parameter a_s was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──────────────────── The result of this expression borrows non-ref parameter a_s through the result of this expression [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Could not match types: expected 'own A' but found 'imm A' [INFO] [stderr] ╭─[Smalltt.pk:153:8] [INFO] [stderr] │ [INFO] [stderr] 151 │     a => b => Pair => pair => pair (a) (b) [INFO] [stderr]  │ ──┬─ ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own A' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────── Must have this type to pass as argument to this function [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Could not match types: expected 'own B' but found 'imm B' [INFO] [stderr] ╭─[Smalltt.pk:153:12] [INFO] [stderr] │ [INFO] [stderr] 151 │     a => b => Pair => pair => pair (a) (b) [INFO] [stderr]  │ ────┬─── ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own B' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──────── Must have this type to pass as argument to this function [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter b [INFO] [stderr] ╭─[Smalltt.pk:151:30] [INFO] [stderr] │ [INFO] [stderr] 151 │     a => b => Pair => pair => pair (a) (b) [INFO] [stderr]  │ ┬ ──────────────┬───────────┬─ [INFO] [stderr]  │ │ ╰─────────────── Cannot return value that borrows externally-mutable non-ref parameter b [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰────────────────────────────────── Non-ref parameter b is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰─── Non-ref parameter b was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────────────── The result of this expression borrows non-ref parameter b through the result of this expression [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter x [INFO] [stderr] ╭─[Smalltt.pk:156:7] [INFO] [stderr] │ [INFO] [stderr] 154 │     p => p (_) (x => y => x) [INFO] [stderr]  │ ┬ ───┬─┬ [INFO] [stderr]  │ │ ╰──── Cannot return value that borrows externally-mutable non-ref parameter x [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰──────────── Non-ref parameter x is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰── Non-ref parameter x was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──── The result of this expression borrows non-ref parameter x through the result of this expression [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Could not match types: expected 'own A' but found 'imm A'' [INFO] [stderr] ╭─[Smalltt.pk:154:25] [INFO] [stderr] │ [INFO] [stderr] 153 │ let proj1 : [A:_, B:_] imm -> Pair (A) (B) imm -> A = [INFO] [stderr]  │ ───────────────────┬─────────────────── [INFO] [stderr]  │ ╰───────────────────── The type is given here [INFO] [stderr] 154 │     p => p (_) (x => y => x) [INFO] [stderr]  │ ─────────┬───────── [INFO] [stderr]  │ ╰─────────── Expected type 'own A' [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter y [INFO] [stderr] ╭─[Smalltt.pk:159:12] [INFO] [stderr] │ [INFO] [stderr] 157 │     p => p (_) (x => y => y) [INFO] [stderr]  │ ┬ ┬ [INFO] [stderr]  │ │ ╰── Cannot return value that borrows externally-mutable non-ref parameter y [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ ╰─────── Non-ref parameter y is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── Non-ref parameter y was borrowed here [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Could not match types: expected 'own B' but found 'imm B'' [INFO] [stderr] ╭─[Smalltt.pk:157:25] [INFO] [stderr] │ [INFO] [stderr] 156 │ let proj2 : [A:_, B:_] imm -> Pair (A) (B) imm -> B = [INFO] [stderr]  │ ───────────────────┬─────────────────── [INFO] [stderr]  │ ╰───────────────────── The type is given here [INFO] [stderr] 157 │     p => p (_) (x => y => y) [INFO] [stderr]  │ ─────────┬───────── [INFO] [stderr]  │ ╰─────────── Expected type 'own B' [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Could not match types: expected 'own Top' but found 'imm Top' [INFO] [stderr] ╭─[Smalltt.pk:165:12] [INFO] [stderr] │ [INFO] [stderr] 162 │ let tt : Top = [INFO] [stderr]  │ ─┬─ [INFO] [stderr]  │ ╰─── The type is given here [INFO] [stderr] 163 │     Top => tt => tt [INFO] [stderr]  │ ─┬ [INFO] [stderr]  │ ╰── Expected type 'own Top' [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter tt [INFO] [stderr] ╭─[Smalltt.pk:165:12] [INFO] [stderr] │ [INFO] [stderr] 163 │     Top => tt => tt [INFO] [stderr]  │ ─┬ ─┬ [INFO] [stderr]  │ │ ╰── Cannot return value that borrows externally-mutable non-ref parameter tt [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ ╰──────── Non-ref parameter tt is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── Non-ref parameter tt was borrowed here [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Could not match types: expected 'own Ty' but found 'imm Ty' [INFO] [stderr] ╭─[Smalltt.pk:191:13] [INFO] [stderr] │ [INFO] [stderr] 189 │ let l : Ty = _ => l => _ => l [INFO] [stderr]  │ ─┬ ┬ [INFO] [stderr]  │ │ ╰── Expected type 'own Ty' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───────────────────── The type is given here [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter l [INFO] [stderr] ╭─[Smalltt.pk:191:8] [INFO] [stderr] │ [INFO] [stderr] 189 │ let l : Ty = _ => l => _ => l [INFO] [stderr]  │ ┬ ───┬─┬ [INFO] [stderr]  │ │ ╰──── Cannot return value that borrows externally-mutable non-ref parameter l [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰──────────── Non-ref parameter l is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰── Non-ref parameter l was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──── The result of this expression borrows non-ref parameter l through the result of this expression [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Could not match types: expected 'own Con' but found 'imm Con' [INFO] [stderr] ╭─[Smalltt.pk:200:11] [INFO] [stderr] │ [INFO] [stderr] 197 │ let nil : Con = [INFO] [stderr]  │ ─┬─ [INFO] [stderr]  │ ╰─── The type is given here [INFO] [stderr] 198 │     Con => nil => cons => nil [INFO] [stderr]  │ ─┬─ [INFO] [stderr]  │ ╰─── Expected type 'own Con' [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter nil [INFO] [stderr] ╭─[Smalltt.pk:200:3] [INFO] [stderr] │ [INFO] [stderr] 198 │     Con => nil => cons => nil [INFO] [stderr]  │ ─┬─ ─────┬───┬─ [INFO] [stderr]  │ │ ╰─────── Cannot return value that borrows externally-mutable non-ref parameter nil [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰────────────────── Non-ref parameter nil is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰─── Non-ref parameter nil was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────── The result of this expression borrows non-ref parameter nil through the result of this expression [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Could not match types: expected 'own Con' but found 'imm Con' [INFO] [stderr] ╭─[Smalltt.pk:201:67] [INFO] [stderr] │ [INFO] [stderr] 201 │     P => A => Con => nil => cons => cons (P (Con) (nil) (cons)) (A) [INFO] [stderr]  │ ───┬─── ─┬─ [INFO] [stderr]  │ │ ╰─── Expected type 'own Con' [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────────── Must have this type to pass as argument to this function [INFO] [stderr] ─────╯ [INFO] [stderr] Error: Cannot return value that borrows externally-mutable non-ref parameter nil [INFO] [stderr] ╭─[Smalltt.pk:201:44] [INFO] [stderr] │ [INFO] [stderr] 201 │     P => A => Con => nil => cons => cons (P (Con) (nil) (cons)) (A) [INFO] [stderr]  │ ─┬─ ───────────────────┬────┬────────────── [INFO] [stderr]  │ │ ╰───────────────────── Cannot return value that borrows externally-mutable non-ref parameter nil [INFO] [stderr]  │ │ │ │ [INFO] [stderr]  │ ╰────────────────────────────────────────────── Non-ref parameter nil is mutable and must be annotated with ref in order to escape the function [INFO] [stderr]  │ │ │ [INFO] [stderr]  │ │ ╰──────────────── Non-ref parameter nil was borrowed here [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───────────────────── The result of this expression borrows non-ref parameter nil through the result of this expression [INFO] [stderr] ─────╯ [INFO] [stdout] test smalltt ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- iterator stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'iterator' panicked at tests/runner.rs:17:13: [INFO] [stdout] Test failed with 36 errors [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x64407e937ce2 - std::backtrace_rs::backtrace::libunwind::trace::h8d95625898284e7d [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x64407e937ce2 - std::backtrace_rs::backtrace::trace_unsynchronized::h9eafd5c61303e492 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x64407e937ce2 - std::sys::backtrace::_print_fmt::hec2578e807cc4a3f [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x64407e937ce2 - ::fmt::hd8ebefbbcb1fe23a [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x64407e961773 - core::fmt::rt::Argument::fmt::h09f3c4b7b5ff5386 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/fmt/rt.rs:185:76 [INFO] [stdout] 5: 0x64407e961773 - core::fmt::write::hef9d041e1d5d9592 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/fmt/mod.rs:1449:21 [INFO] [stdout] 6: 0x64407e9349c3 - std::io::Write::write_fmt::h7cfb9383e0a29362 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/io/mod.rs:1890:15 [INFO] [stdout] 7: 0x64407e937b32 - std::sys::backtrace::BacktraceLock::print::h263d323f217ce3a7 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 8: 0x64407e93918a - std::panicking::default_hook::{{closure}}::h25050253f7dc0d3e [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:298:22 [INFO] [stdout] 9: 0x64407e938f79 - std::panicking::default_hook::hf3291a4c87ea2887 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:322:9 [INFO] [stdout] 10: 0x64407e504a57 - as core::ops::function::Fn>::call::h51204ed24e282361 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/alloc/src/boxed.rs:1984:9 [INFO] [stdout] 11: 0x64407e504a57 - test::test_main::{{closure}}::h3588678a150ab7c4 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:136:21 [INFO] [stdout] 12: 0x64407e939c73 - as core::ops::function::Fn>::call::h95d63edfac47e230 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/alloc/src/boxed.rs:1984:9 [INFO] [stdout] 13: 0x64407e939c73 - std::panicking::rust_panic_with_hook::h3550dbeaa1041124 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:839:13 [INFO] [stdout] 14: 0x64407e93992a - std::panicking::begin_panic_handler::{{closure}}::hde0dd646a9e2b5b7 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:704:13 [INFO] [stdout] 15: 0x64407e9381d9 - std::sys::backtrace::__rust_end_short_backtrace::haeb22ba48b4d728e [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:168:18 [INFO] [stdout] 16: 0x64407e9395bd - rust_begin_unwind [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:695:5 [INFO] [stdout] 17: 0x64407e95f7f0 - core::panicking::panic_fmt::hca923aa694825dc3 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/panicking.rs:75:14 [INFO] [stdout] 18: 0x64407e4c9f6e - runner::Test::succeeds::hc7bced906c4248b9 [INFO] [stdout] at /opt/rustwide/workdir/tests/runner.rs:17:13 [INFO] [stdout] 19: 0x64407e4caa2c - runner::iterator::hfa3406a54e9f4e5e [INFO] [stdout] at /opt/rustwide/workdir/tests/runner.rs:78:5 [INFO] [stdout] 20: 0x64407e4ca9e7 - runner::iterator::{{closure}}::he90414f3f16eb7a4 [INFO] [stdout] at /opt/rustwide/workdir/tests/runner.rs:77:14 [INFO] [stdout] 21: 0x64407e4c8d76 - core::ops::function::FnOnce::call_once::hd8517a2457755b30 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 22: 0x64407e50a33b - core::ops::function::FnOnce::call_once::hbd335dbb4bb5fce4 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x64407e50a33b - test::__rust_begin_short_backtrace::h04cc5e3b375a80f9 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:638:18 [INFO] [stdout] 24: 0x64407e5093f5 - test::run_test_in_process::{{closure}}::h820e05c00a84ca94 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:661:60 [INFO] [stdout] 25: 0x64407e5093f5 - as core::ops::function::FnOnce<()>>::call_once::h5d54c80bc199f62c [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 26: 0x64407e5093f5 - std::panicking::try::do_call::h832d61a9fc2b6e3e [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:587:40 [INFO] [stdout] 27: 0x64407e5093f5 - std::panicking::try::h9a404c5f3a090501 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:550:19 [INFO] [stdout] 28: 0x64407e5093f5 - std::panic::catch_unwind::hf5157d4c366d9053 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panic.rs:359:14 [INFO] [stdout] 29: 0x64407e5093f5 - test::run_test_in_process::h671deca6957ee157 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:661:27 [INFO] [stdout] 30: 0x64407e5093f5 - test::run_test::{{closure}}::h8a18e214254d2663 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:582:43 [INFO] [stdout] 31: 0x64407e4cc3e4 - test::run_test::{{closure}}::ha2abac7cc0a13c10 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:612:41 [INFO] [stdout] 32: 0x64407e4cc3e4 - std::sys::backtrace::__rust_begin_short_backtrace::h013f8b8ca29e5f67 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:152:18 [INFO] [stdout] 33: 0x64407e4cff1a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hc0336636a8c55b05 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 34: 0x64407e4cff1a - as core::ops::function::FnOnce<()>>::call_once::h256d9472a72a8c66 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 35: 0x64407e4cff1a - std::panicking::try::do_call::hf49ea3ffcc3bd1db [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:587:40 [INFO] [stdout] 36: 0x64407e4cff1a - std::panicking::try::h2a067a3336161e1c [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:550:19 [INFO] [stdout] 37: 0x64407e4cff1a - std::panic::catch_unwind::h931ea2a9df59b7fa [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panic.rs:359:14 [INFO] [stdout] 38: 0x64407e4cff1a - std::thread::Builder::spawn_unchecked_::{{closure}}::haf08f1439431615c [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 39: 0x64407e4cff1a - core::ops::function::FnOnce::call_once{{vtable.shim}}::hd1dc5dd1edff0233 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 40: 0x64407e93d2ab - as core::ops::function::FnOnce>::call_once::hf6ad22f40418d409 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/alloc/src/boxed.rs:1970:9 [INFO] [stdout] 41: 0x64407e93d2ab - as core::ops::function::FnOnce>::call_once::h734c3e370b18da4b [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/alloc/src/boxed.rs:1970:9 [INFO] [stdout] 42: 0x64407e93d2ab - std::sys::pal::unix::thread::Thread::new::thread_start::hfbde3a90511cd82d [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/pal/unix/thread.rs:109:17 [INFO] [stdout] 43: 0x7196af43fac3 - [INFO] [stdout] 44: 0x7196af4d0a04 - clone [INFO] [stdout] 45: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- traits stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'traits' panicked at tests/runner.rs:17:13: [INFO] [stdout] Test failed with 48 errors [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x64407e937ce2 - std::backtrace_rs::backtrace::libunwind::trace::h8d95625898284e7d [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x64407e937ce2 - std::backtrace_rs::backtrace::trace_unsynchronized::h9eafd5c61303e492 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x64407e937ce2 - std::sys::backtrace::_print_fmt::hec2578e807cc4a3f [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x64407e937ce2 - ::fmt::hd8ebefbbcb1fe23a [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x64407e961773 - core::fmt::rt::Argument::fmt::h09f3c4b7b5ff5386 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/fmt/rt.rs:185:76 [INFO] [stdout] 5: 0x64407e961773 - core::fmt::write::hef9d041e1d5d9592 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/fmt/mod.rs:1449:21 [INFO] [stdout] 6: 0x64407e9349c3 - std::io::Write::write_fmt::h7cfb9383e0a29362 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/io/mod.rs:1890:15 [INFO] [stdout] 7: 0x64407e937b32 - std::sys::backtrace::BacktraceLock::print::h263d323f217ce3a7 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 8: 0x64407e93918a - std::panicking::default_hook::{{closure}}::h25050253f7dc0d3e [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:298:22 [INFO] [stdout] 9: 0x64407e938f79 - std::panicking::default_hook::hf3291a4c87ea2887 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:322:9 [INFO] [stdout] 10: 0x64407e504a57 - as core::ops::function::Fn>::call::h51204ed24e282361 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/alloc/src/boxed.rs:1984:9 [INFO] [stdout] 11: 0x64407e504a57 - test::test_main::{{closure}}::h3588678a150ab7c4 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:136:21 [INFO] [stdout] 12: 0x64407e939c73 - as core::ops::function::Fn>::call::h95d63edfac47e230 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/alloc/src/boxed.rs:1984:9 [INFO] [stdout] 13: 0x64407e939c73 - std::panicking::rust_panic_with_hook::h3550dbeaa1041124 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:839:13 [INFO] [stdout] 14: 0x64407e93992a - std::panicking::begin_panic_handler::{{closure}}::hde0dd646a9e2b5b7 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:704:13 [INFO] [stdout] 15: 0x64407e9381d9 - std::sys::backtrace::__rust_end_short_backtrace::haeb22ba48b4d728e [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:168:18 [INFO] [stdout] 16: 0x64407e9395bd - rust_begin_unwind [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:695:5 [INFO] [stdout] 17: 0x64407e95f7f0 - core::panicking::panic_fmt::hca923aa694825dc3 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/panicking.rs:75:14 [INFO] [stdout] 18: 0x64407e4c9f6e - runner::Test::succeeds::hc7bced906c4248b9 [INFO] [stdout] at /opt/rustwide/workdir/tests/runner.rs:17:13 [INFO] [stdout] 19: 0x64407e4ca9bc - runner::traits::h627017d2998531dd [INFO] [stdout] at /opt/rustwide/workdir/tests/runner.rs:73:5 [INFO] [stdout] 20: 0x64407e4ca977 - runner::traits::{{closure}}::hf8226763e556a9c8 [INFO] [stdout] at /opt/rustwide/workdir/tests/runner.rs:72:12 [INFO] [stdout] 21: 0x64407e4c8d36 - core::ops::function::FnOnce::call_once::hbd42e4a53c4b73dc [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 22: 0x64407e50a33b - core::ops::function::FnOnce::call_once::hbd335dbb4bb5fce4 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x64407e50a33b - test::__rust_begin_short_backtrace::h04cc5e3b375a80f9 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:638:18 [INFO] [stdout] 24: 0x64407e5093f5 - test::run_test_in_process::{{closure}}::h820e05c00a84ca94 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:661:60 [INFO] [stdout] 25: 0x64407e5093f5 - as core::ops::function::FnOnce<()>>::call_once::h5d54c80bc199f62c [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 26: 0x64407e5093f5 - std::panicking::try::do_call::h832d61a9fc2b6e3e [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:587:40 [INFO] [stdout] 27: 0x64407e5093f5 - std::panicking::try::h9a404c5f3a090501 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:550:19 [INFO] [stdout] 28: 0x64407e5093f5 - std::panic::catch_unwind::hf5157d4c366d9053 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panic.rs:359:14 [INFO] [stdout] 29: 0x64407e5093f5 - test::run_test_in_process::h671deca6957ee157 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:661:27 [INFO] [stdout] 30: 0x64407e5093f5 - test::run_test::{{closure}}::h8a18e214254d2663 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:582:43 [INFO] [stdout] 31: 0x64407e4cc3e4 - test::run_test::{{closure}}::ha2abac7cc0a13c10 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:612:41 [INFO] [stdout] 32: 0x64407e4cc3e4 - std::sys::backtrace::__rust_begin_short_backtrace::h013f8b8ca29e5f67 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:152:18 [INFO] [stdout] 33: 0x64407e4cff1a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hc0336636a8c55b05 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 34: 0x64407e4cff1a - as core::ops::function::FnOnce<()>>::call_once::h256d9472a72a8c66 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 35: 0x64407e4cff1a - std::panicking::try::do_call::hf49ea3ffcc3bd1db [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:587:40 [INFO] [stdout] 36: 0x64407e4cff1a - std::panicking::try::h2a067a3336161e1c [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:550:19 [INFO] [stdout] 37: 0x64407e4cff1a - std::panic::catch_unwind::h931ea2a9df59b7fa [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panic.rs:359:14 [INFO] [stdout] 38: 0x64407e4cff1a - std::thread::Builder::spawn_unchecked_::{{closure}}::haf08f1439431615c [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 39: 0x64407e4cff1a - core::ops::function::FnOnce::call_once{{vtable.shim}}::hd1dc5dd1edff0233 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 40: 0x64407e93d2ab - as core::ops::function::FnOnce>::call_once::hf6ad22f40418d409 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/alloc/src/boxed.rs:1970:9 [INFO] [stdout] 41: 0x64407e93d2ab - as core::ops::function::FnOnce>::call_once::h734c3e370b18da4b [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/alloc/src/boxed.rs:1970:9 [INFO] [stdout] 42: 0x64407e93d2ab - std::sys::pal::unix::thread::Thread::new::thread_start::hfbde3a90511cd82d [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/pal/unix/thread.rs:109:17 [INFO] [stdout] 43: 0x7196af43fac3 - [INFO] [stdout] 44: 0x7196af4d0a04 - clone [INFO] [stdout] 45: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- smalltt stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'smalltt' panicked at tests/runner.rs:17:13: [INFO] [stdout] Test failed with 50 errors [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x64407e937ce2 - std::backtrace_rs::backtrace::libunwind::trace::h8d95625898284e7d [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x64407e937ce2 - std::backtrace_rs::backtrace::trace_unsynchronized::h9eafd5c61303e492 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x64407e937ce2 - std::sys::backtrace::_print_fmt::hec2578e807cc4a3f [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x64407e937ce2 - ::fmt::hd8ebefbbcb1fe23a [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x64407e961773 - core::fmt::rt::Argument::fmt::h09f3c4b7b5ff5386 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/fmt/rt.rs:185:76 [INFO] [stdout] 5: 0x64407e961773 - core::fmt::write::hef9d041e1d5d9592 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/fmt/mod.rs:1449:21 [INFO] [stdout] 6: 0x64407e9349c3 - std::io::Write::write_fmt::h7cfb9383e0a29362 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/io/mod.rs:1890:15 [INFO] [stdout] 7: 0x64407e937b32 - std::sys::backtrace::BacktraceLock::print::h263d323f217ce3a7 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 8: 0x64407e93918a - std::panicking::default_hook::{{closure}}::h25050253f7dc0d3e [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:298:22 [INFO] [stdout] 9: 0x64407e938f79 - std::panicking::default_hook::hf3291a4c87ea2887 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:322:9 [INFO] [stdout] 10: 0x64407e504a57 - as core::ops::function::Fn>::call::h51204ed24e282361 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/alloc/src/boxed.rs:1984:9 [INFO] [stdout] 11: 0x64407e504a57 - test::test_main::{{closure}}::h3588678a150ab7c4 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:136:21 [INFO] [stdout] 12: 0x64407e939c73 - as core::ops::function::Fn>::call::h95d63edfac47e230 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/alloc/src/boxed.rs:1984:9 [INFO] [stdout] 13: 0x64407e939c73 - std::panicking::rust_panic_with_hook::h3550dbeaa1041124 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:839:13 [INFO] [stdout] 14: 0x64407e93992a - std::panicking::begin_panic_handler::{{closure}}::hde0dd646a9e2b5b7 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:704:13 [INFO] [stdout] 15: 0x64407e9381d9 - std::sys::backtrace::__rust_end_short_backtrace::haeb22ba48b4d728e [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:168:18 [INFO] [stdout] 16: 0x64407e9395bd - rust_begin_unwind [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:695:5 [INFO] [stdout] 17: 0x64407e95f7f0 - core::panicking::panic_fmt::hca923aa694825dc3 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/panicking.rs:75:14 [INFO] [stdout] 18: 0x64407e4c9f6e - runner::Test::succeeds::hc7bced906c4248b9 [INFO] [stdout] at /opt/rustwide/workdir/tests/runner.rs:17:13 [INFO] [stdout] 19: 0x64407e4ca40c - runner::smalltt::h87e24052d1c1afe0 [INFO] [stdout] at /opt/rustwide/workdir/tests/runner.rs:39:5 [INFO] [stdout] 20: 0x64407e4ca3c7 - runner::smalltt::{{closure}}::hc4de24949de8b685 [INFO] [stdout] at /opt/rustwide/workdir/tests/runner.rs:38:13 [INFO] [stdout] 21: 0x64407e4c8db6 - core::ops::function::FnOnce::call_once::hdf1d9a7e5fbc9191 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 22: 0x64407e50a33b - core::ops::function::FnOnce::call_once::hbd335dbb4bb5fce4 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x64407e50a33b - test::__rust_begin_short_backtrace::h04cc5e3b375a80f9 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:638:18 [INFO] [stdout] 24: 0x64407e5093f5 - test::run_test_in_process::{{closure}}::h820e05c00a84ca94 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:661:60 [INFO] [stdout] 25: 0x64407e5093f5 - as core::ops::function::FnOnce<()>>::call_once::h5d54c80bc199f62c [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 26: 0x64407e5093f5 - std::panicking::try::do_call::h832d61a9fc2b6e3e [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:587:40 [INFO] [stdout] 27: 0x64407e5093f5 - std::panicking::try::h9a404c5f3a090501 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:550:19 [INFO] [stdout] 28: 0x64407e5093f5 - std::panic::catch_unwind::hf5157d4c366d9053 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panic.rs:359:14 [INFO] [stdout] 29: 0x64407e5093f5 - test::run_test_in_process::h671deca6957ee157 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:661:27 [INFO] [stdout] 30: 0x64407e5093f5 - test::run_test::{{closure}}::h8a18e214254d2663 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:582:43 [INFO] [stdout] 31: 0x64407e4cc3e4 - test::run_test::{{closure}}::ha2abac7cc0a13c10 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/test/src/lib.rs:612:41 [INFO] [stdout] 32: 0x64407e4cc3e4 - std::sys::backtrace::__rust_begin_short_backtrace::h013f8b8ca29e5f67 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/backtrace.rs:152:18 [INFO] [stdout] 33: 0x64407e4cff1a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hc0336636a8c55b05 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 34: 0x64407e4cff1a - as core::ops::function::FnOnce<()>>::call_once::h256d9472a72a8c66 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 35: 0x64407e4cff1a - std::panicking::try::do_call::hf49ea3ffcc3bd1db [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:587:40 [INFO] [stdout] 36: 0x64407e4cff1a - std::panicking::try::h2a067a3336161e1c [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panicking.rs:550:19 [INFO] [stdout] 37: 0x64407e4cff1a - std::panic::catch_unwind::h931ea2a9df59b7fa [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/panic.rs:359:14 [INFO] [stdout] 38: 0x64407e4cff1a - std::thread::Builder::spawn_unchecked_::{{closure}}::haf08f1439431615c [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 39: 0x64407e4cff1a - core::ops::function::FnOnce::call_once{{vtable.shim}}::hd1dc5dd1edff0233 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 40: 0x64407e93d2ab - as core::ops::function::FnOnce>::call_once::hf6ad22f40418d409 [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/alloc/src/boxed.rs:1970:9 [INFO] [stdout] 41: 0x64407e93d2ab - as core::ops::function::FnOnce>::call_once::h734c3e370b18da4b [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/alloc/src/boxed.rs:1970:9 [INFO] [stdout] 42: 0x64407e93d2ab - std::sys::pal::unix::thread::Thread::new::thread_start::hfbde3a90511cd82d [INFO] [stdout] at /rustc/a7ce54db9b096bd1098d07c645b489195a667c9f/library/std/src/sys/pal/unix/thread.rs:109:17 [INFO] [stdout] 43: 0x7196af43fac3 - [INFO] [stdout] 44: 0x7196af4d0a04 - clone [INFO] [stdout] 45: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] iterator [INFO] [stdout] smalltt [INFO] [stdout] traits [INFO] [stdout] [INFO] [stdout] test result: FAILED. 6 passed; 3 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.01s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass `--test runner` [INFO] running `Command { std: "docker" "inspect" "5f9f91a9bf1754437c3b0931bc7f535e8a10896d7f5297ef83d85899ddc15078", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5f9f91a9bf1754437c3b0931bc7f535e8a10896d7f5297ef83d85899ddc15078", kill_on_drop: false }` [INFO] [stdout] 5f9f91a9bf1754437c3b0931bc7f535e8a10896d7f5297ef83d85899ddc15078