[INFO] cloning repository https://github.com/bam-lang/bam [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/bam-lang/bam" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbam-lang%2Fbam", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbam-lang%2Fbam'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] af5dd0b6d9e9f728f9475757fe3ffea278626263 [INFO] checking bam-lang/bam/af5dd0b6d9e9f728f9475757fe3ffea278626263 against master#ab869e094a907cc5d19b4080f22eccaf347f1f95 for pr-129604 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbam-lang%2Fbam" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/bam-lang/bam on toolchain ab869e094a907cc5d19b4080f22eccaf347f1f95 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-0-tc1/source/.cargo/config.toml [INFO] removed /workspace/builds/worker-0-tc1/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/bam-lang/bam [INFO] finished tweaking git repo https://github.com/bam-lang/bam [INFO] tweaked toml for git repo https://github.com/bam-lang/bam written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/bam-lang/bam 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" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded redox_syscall v0.2.15 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 527d8642f6f23329577b87af4e8927901cb330af28d97b66eb996bd6d433e3ae [INFO] running `Command { std: "docker" "start" "-a" "527d8642f6f23329577b87af4e8927901cb330af28d97b66eb996bd6d433e3ae", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "527d8642f6f23329577b87af4e8927901cb330af28d97b66eb996bd6d433e3ae", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "527d8642f6f23329577b87af4e8927901cb330af28d97b66eb996bd6d433e3ae", kill_on_drop: false }` [INFO] [stdout] 527d8642f6f23329577b87af4e8927901cb330af28d97b66eb996bd6d433e3ae [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7e7f613388ae053bc3fa6c57635af5af69ce0e9e348885b375fc2ab976d962b8 [INFO] running `Command { std: "docker" "start" "-a" "7e7f613388ae053bc3fa6c57635af5af69ce0e9e348885b375fc2ab976d962b8", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.40 [INFO] [stderr] Compiling unicode-ident v1.0.2 [INFO] [stderr] Compiling quote v1.0.20 [INFO] [stderr] Compiling syn v1.0.98 [INFO] [stderr] Compiling libc v0.2.126 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Checking once_cell v1.13.0 [INFO] [stderr] Compiling proc-macro-hack v0.5.19 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling io-lifetimes v0.7.2 [INFO] [stderr] Compiling log v0.4.17 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Checking smallvec v1.9.0 [INFO] [stderr] Compiling rustix v0.35.7 [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Checking tracing-core v0.1.28 [INFO] [stderr] Compiling memchr v2.5.0 [INFO] [stderr] Checking linux-raw-sys v0.0.46 [INFO] [stderr] Checking endian-type v0.1.2 [INFO] [stderr] Checking os_str_bytes v6.2.0 [INFO] [stderr] Compiling anyhow v1.0.58 [INFO] [stderr] Checking nibble_vec v0.1.0 [INFO] [stderr] Compiling heck v0.4.0 [INFO] [stderr] Checking clap_lex v0.2.4 [INFO] [stderr] Checking sharded-slab v0.1.4 [INFO] [stderr] Checking radix_trie v0.2.1 [INFO] [stderr] Checking thread_local v1.1.4 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking strsim v0.10.0 [INFO] [stderr] Compiling indexmap v1.9.1 [INFO] [stderr] Checking unicode-segmentation v1.9.0 [INFO] [stderr] Checking termcolor v1.1.3 [INFO] [stderr] Checking textwrap v0.15.0 [INFO] [stderr] Checking unicode-width v0.1.9 [INFO] [stderr] Checking utf8parse v0.2.0 [INFO] [stderr] Checking pin-project-lite v0.2.9 [INFO] [stderr] Checking tracing-log v0.1.3 [INFO] [stderr] Checking tracing-subscriber v0.3.15 [INFO] [stderr] Compiling getrandom v0.2.7 [INFO] [stderr] Checking dirs-sys-next v0.1.2 [INFO] [stderr] Checking nix v0.24.2 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking dirs-next v2.0.0 [INFO] [stderr] Compiling const-random-macro v0.1.13 [INFO] [stderr] Checking const-random v0.1.13 [INFO] [stderr] Checking ahash v0.3.8 [INFO] [stderr] Checking chumsky v0.8.0 [INFO] [stderr] Checking fd-lock v3.0.6 [INFO] [stderr] Checking rustyline v10.0.0 [INFO] [stderr] Compiling tracing-attributes v0.1.22 [INFO] [stderr] Compiling clap_derive v3.2.7 [INFO] [stderr] Compiling thiserror-impl v1.0.31 [INFO] [stderr] Checking thiserror v1.0.31 [INFO] [stderr] Checking tracing v0.1.35 [INFO] [stderr] Checking clap v3.2.14 [INFO] [stderr] Checking bam v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `bail` [INFO] [stdout] --> src/main.rs:4:22 [INFO] [stdout] | [INFO] [stdout] 4 | use anyhow::{anyhow, bail, Context, Error, Result}; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `tracing::Level` [INFO] [stdout] --> src/main.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use tracing::Level; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `debug` [INFO] [stdout] --> src/types.rs:8:15 [INFO] [stdout] | [INFO] [stdout] 8 | use tracing::{debug, info}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Loop` and `SharedFlow` [INFO] [stdout] --> src/main.rs:20:12 [INFO] [stdout] | [INFO] [stdout] 20 | use eval::{Loop, SharedFlow}; [INFO] [stdout] | ^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `bail` [INFO] [stdout] --> src/main.rs:4:22 [INFO] [stdout] | [INFO] [stdout] 4 | use anyhow::{anyhow, bail, Context, Error, Result}; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `tracing::Level` [INFO] [stdout] --> src/main.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use tracing::Level; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `debug` [INFO] [stdout] --> src/types.rs:8:15 [INFO] [stdout] | [INFO] [stdout] 8 | use tracing::{debug, info}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Loop` and `SharedFlow` [INFO] [stdout] --> src/main.rs:20:12 [INFO] [stdout] | [INFO] [stdout] 20 | use eval::{Loop, SharedFlow}; [INFO] [stdout] | ^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tenv` [INFO] [stdout] --> src/main.rs:103:13 [INFO] [stdout] | [INFO] [stdout] 103 | let mut tenv = GlobalTypeEnv::new(); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_tenv` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tenv` [INFO] [stdout] --> src/main.rs:103:13 [INFO] [stdout] | [INFO] [stdout] 103 | let mut tenv = GlobalTypeEnv::new(); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_tenv` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:103:9 [INFO] [stdout] | [INFO] [stdout] 103 | let mut tenv = GlobalTypeEnv::new(); [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:119:9 [INFO] [stdout] | [INFO] [stdout] 119 | let mut parse_program = |source: String| -> Result> { [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:198:9 [INFO] [stdout] | [INFO] [stdout] 198 | let mut load_stream = [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:103:9 [INFO] [stdout] | [INFO] [stdout] 103 | let mut tenv = GlobalTypeEnv::new(); [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:119:9 [INFO] [stdout] | [INFO] [stdout] 119 | let mut parse_program = |source: String| -> Result> { [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:198:9 [INFO] [stdout] | [INFO] [stdout] 198 | let mut load_stream = [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `input` is never used [INFO] [stdout] --> src/compiler.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 12 | impl Handle { [INFO] [stdout] | ----------- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 19 | pub fn input() -> Self { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Stdin` and `Copy` are never constructed [INFO] [stdout] --> src/compiler.rs:40:5 [INFO] [stdout] | [INFO] [stdout] 38 | pub enum FlatStream { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] 39 | /// Standard input. [INFO] [stdout] 40 | Stdin, [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 48 | Copy(Handle), [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `FlatStream` 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 `current_mut` is never used [INFO] [stdout] --> src/compiler.rs:424:12 [INFO] [stdout] | [INFO] [stdout] 273 | impl Compiler { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 424 | pub fn current_mut(&mut self) -> &Unit { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Loop` is never constructed [INFO] [stdout] --> src/eval.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 19 | pub struct Loop { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `step` is never used [INFO] [stdout] --> src/eval.rs:27:12 [INFO] [stdout] | [INFO] [stdout] 25 | impl Loop { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] 26 | /// Steps through the stream. [INFO] [stdout] 27 | pub fn step(&self) -> Result { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `get_from_head` and `get_from_outer` are never used [INFO] [stdout] --> src/eval.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 71 | impl SharedEnv { [INFO] [stdout] | -------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 104 | pub fn get_from_head(&self, handle: Handle) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 110 | pub fn get_from_outer(&self, handle: Handle) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `make_loop` is never used [INFO] [stdout] --> src/eval.rs:197:12 [INFO] [stdout] | [INFO] [stdout] 187 | impl Factory { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 197 | pub fn make_loop(&self, name: &str) -> Loop { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `UnifVar` is never constructed [INFO] [stdout] --> src/types.rs:143:5 [INFO] [stdout] | [INFO] [stdout] 137 | pub enum Type { [INFO] [stdout] | ---- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 143 | UnifVar(usize), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Type` 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: variants `CannotUnify`, `UnboundVariable`, and `UnboundMachine` are never constructed [INFO] [stdout] --> src/types.rs:171:5 [INFO] [stdout] | [INFO] [stdout] 169 | pub enum TypeError { [INFO] [stdout] | --------- variants in this enum [INFO] [stdout] 170 | #[error("Cannot unify {0} with {1}")] [INFO] [stdout] 171 | CannotUnify(Type, Type), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 174 | UnboundVariable(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 177 | UnboundMachine(String), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeError` 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: field `machine_types` is never read [INFO] [stdout] --> src/types.rs:194:5 [INFO] [stdout] | [INFO] [stdout] 193 | pub struct GlobalTypeEnv { [INFO] [stdout] | ------------- field in this struct [INFO] [stdout] 194 | machine_types: HashMap, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `LocalTypeEnv` is never constructed [INFO] [stdout] --> src/types.rs:205:8 [INFO] [stdout] | [INFO] [stdout] 205 | struct LocalTypeEnv { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check` is never used [INFO] [stdout] --> src/types.rs:211:8 [INFO] [stdout] | [INFO] [stdout] 211 | pub fn check(program: &Program) -> Result<(), TypeError> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_machine_def` is never used [INFO] [stdout] --> src/types.rs:219:8 [INFO] [stdout] | [INFO] [stdout] 219 | pub fn check_machine_def( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_statement` is never used [INFO] [stdout] --> src/types.rs:270:4 [INFO] [stdout] | [INFO] [stdout] 270 | fn check_statement( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `infer_stream` is never used [INFO] [stdout] --> src/types.rs:310:4 [INFO] [stdout] | [INFO] [stdout] 310 | fn infer_stream( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `input` is never used [INFO] [stdout] --> src/compiler.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 12 | impl Handle { [INFO] [stdout] | ----------- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 19 | pub fn input() -> Self { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_builtin_ty` is never used [INFO] [stdout] --> src/types.rs:381:4 [INFO] [stdout] | [INFO] [stdout] 381 | fn get_builtin_ty(builtin: &Builtin) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `new_unif_var` is never used [INFO] [stdout] --> src/types.rs:385:4 [INFO] [stdout] | [INFO] [stdout] 385 | fn new_unif_var(local_env: &mut LocalTypeEnv) -> Type { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `instantiate` is never used [INFO] [stdout] --> src/types.rs:391:4 [INFO] [stdout] | [INFO] [stdout] 391 | fn instantiate(local_env: &mut LocalTypeEnv, machine_ty: MachineType) -> MachineType { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `replace_ty_var` is never used [INFO] [stdout] --> src/types.rs:410:4 [INFO] [stdout] | [INFO] [stdout] 410 | fn replace_ty_var(ty: Type, var: usize, to_replace: &Type) -> Type { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `replace_unif_var` is never used [INFO] [stdout] --> src/types.rs:428:4 [INFO] [stdout] | [INFO] [stdout] 428 | fn replace_unif_var(ty: Type, var: usize, to_replace: &Type) -> Type { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Stdin` and `Copy` are never constructed [INFO] [stdout] --> src/compiler.rs:40:5 [INFO] [stdout] | [INFO] [stdout] 38 | pub enum FlatStream { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] 39 | /// Standard input. [INFO] [stdout] 40 | Stdin, [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 48 | Copy(Handle), [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `FlatStream` 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: function `apply_substitution` is never used [INFO] [stdout] --> src/types.rs:446:4 [INFO] [stdout] | [INFO] [stdout] 446 | fn apply_substitution(subst: &HashMap, ty: Type) -> Type { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `current_mut` is never used [INFO] [stdout] --> src/compiler.rs:424:12 [INFO] [stdout] | [INFO] [stdout] 273 | impl Compiler { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 424 | pub fn current_mut(&mut self) -> &Unit { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Loop` is never constructed [INFO] [stdout] --> src/eval.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 19 | pub struct Loop { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `step` is never used [INFO] [stdout] --> src/eval.rs:27:12 [INFO] [stdout] | [INFO] [stdout] 25 | impl Loop { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] 26 | /// Steps through the stream. [INFO] [stdout] 27 | pub fn step(&self) -> Result { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `unify` is never used [INFO] [stdout] --> src/types.rs:461:4 [INFO] [stdout] | [INFO] [stdout] 461 | fn unify(local_env: &LocalTypeEnv) -> Result, TypeError> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `unify_types` is never used [INFO] [stdout] --> src/types.rs:472:4 [INFO] [stdout] | [INFO] [stdout] 472 | fn unify_types(subst: &mut HashMap, ty1: &Type, ty2: &Type) -> Result<(), TypeError> { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `get_from_head` and `get_from_outer` are never used [INFO] [stdout] --> src/eval.rs:104:12 [INFO] [stdout] | [INFO] [stdout] 71 | impl SharedEnv { [INFO] [stdout] | -------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 104 | pub fn get_from_head(&self, handle: Handle) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 110 | pub fn get_from_outer(&self, handle: Handle) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `free_unif_vars` is never used [INFO] [stdout] --> src/types.rs:505:4 [INFO] [stdout] | [INFO] [stdout] 505 | fn free_unif_vars(subst: &HashMap, result: &mut HashSet, ty: &Type) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `generalize` is never used [INFO] [stdout] --> src/types.rs:522:4 [INFO] [stdout] | [INFO] [stdout] 522 | fn generalize(subst: &HashMap, machine_ty: MachineType) -> MachineType { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `make_loop` is never used [INFO] [stdout] --> src/eval.rs:197:12 [INFO] [stdout] | [INFO] [stdout] 187 | impl Factory { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 197 | pub fn make_loop(&self, name: &str) -> Loop { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `UnifVar` is never constructed [INFO] [stdout] --> src/types.rs:143:5 [INFO] [stdout] | [INFO] [stdout] 137 | pub enum Type { [INFO] [stdout] | ---- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 143 | UnifVar(usize), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Type` 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: variants `CannotUnify`, `UnboundVariable`, and `UnboundMachine` are never constructed [INFO] [stdout] --> src/types.rs:171:5 [INFO] [stdout] | [INFO] [stdout] 169 | pub enum TypeError { [INFO] [stdout] | --------- variants in this enum [INFO] [stdout] 170 | #[error("Cannot unify {0} with {1}")] [INFO] [stdout] 171 | CannotUnify(Type, Type), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 174 | UnboundVariable(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 177 | UnboundMachine(String), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeError` 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: field `machine_types` is never read [INFO] [stdout] --> src/types.rs:194:5 [INFO] [stdout] | [INFO] [stdout] 193 | pub struct GlobalTypeEnv { [INFO] [stdout] | ------------- field in this struct [INFO] [stdout] 194 | machine_types: HashMap, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `LocalTypeEnv` is never constructed [INFO] [stdout] --> src/types.rs:205:8 [INFO] [stdout] | [INFO] [stdout] 205 | struct LocalTypeEnv { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check` is never used [INFO] [stdout] --> src/types.rs:211:8 [INFO] [stdout] | [INFO] [stdout] 211 | pub fn check(program: &Program) -> Result<(), TypeError> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_machine_def` is never used [INFO] [stdout] --> src/types.rs:219:8 [INFO] [stdout] | [INFO] [stdout] 219 | pub fn check_machine_def( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_statement` is never used [INFO] [stdout] --> src/types.rs:270:4 [INFO] [stdout] | [INFO] [stdout] 270 | fn check_statement( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `infer_stream` is never used [INFO] [stdout] --> src/types.rs:310:4 [INFO] [stdout] | [INFO] [stdout] 310 | fn infer_stream( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_builtin_ty` is never used [INFO] [stdout] --> src/types.rs:381:4 [INFO] [stdout] | [INFO] [stdout] 381 | fn get_builtin_ty(builtin: &Builtin) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `new_unif_var` is never used [INFO] [stdout] --> src/types.rs:385:4 [INFO] [stdout] | [INFO] [stdout] 385 | fn new_unif_var(local_env: &mut LocalTypeEnv) -> Type { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `instantiate` is never used [INFO] [stdout] --> src/types.rs:391:4 [INFO] [stdout] | [INFO] [stdout] 391 | fn instantiate(local_env: &mut LocalTypeEnv, machine_ty: MachineType) -> MachineType { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `replace_ty_var` is never used [INFO] [stdout] --> src/types.rs:410:4 [INFO] [stdout] | [INFO] [stdout] 410 | fn replace_ty_var(ty: Type, var: usize, to_replace: &Type) -> Type { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `replace_unif_var` is never used [INFO] [stdout] --> src/types.rs:428:4 [INFO] [stdout] | [INFO] [stdout] 428 | fn replace_unif_var(ty: Type, var: usize, to_replace: &Type) -> Type { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `apply_substitution` is never used [INFO] [stdout] --> src/types.rs:446:4 [INFO] [stdout] | [INFO] [stdout] 446 | fn apply_substitution(subst: &HashMap, ty: Type) -> Type { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `unify` is never used [INFO] [stdout] --> src/types.rs:461:4 [INFO] [stdout] | [INFO] [stdout] 461 | fn unify(local_env: &LocalTypeEnv) -> Result, TypeError> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `unify_types` is never used [INFO] [stdout] --> src/types.rs:472:4 [INFO] [stdout] | [INFO] [stdout] 472 | fn unify_types(subst: &mut HashMap, ty1: &Type, ty2: &Type) -> Result<(), TypeError> { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `free_unif_vars` is never used [INFO] [stdout] --> src/types.rs:505:4 [INFO] [stdout] | [INFO] [stdout] 505 | fn free_unif_vars(subst: &HashMap, result: &mut HashSet, ty: &Type) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `generalize` is never used [INFO] [stdout] --> src/types.rs:522:4 [INFO] [stdout] | [INFO] [stdout] 522 | fn generalize(subst: &HashMap, machine_ty: MachineType) -> MachineType { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/types.rs:246:9 [INFO] [stdout] | [INFO] [stdout] 246 | check_statement(global_env, &mut local_env, statement); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 246 | let _ = check_statement(global_env, &mut local_env, statement); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/types.rs:246:9 [INFO] [stdout] | [INFO] [stdout] 246 | check_statement(global_env, &mut local_env, statement); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 246 | let _ = check_statement(global_env, &mut local_env, statement); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 34 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 34 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 18.10s [INFO] running `Command { std: "docker" "inspect" "7e7f613388ae053bc3fa6c57635af5af69ce0e9e348885b375fc2ab976d962b8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7e7f613388ae053bc3fa6c57635af5af69ce0e9e348885b375fc2ab976d962b8", kill_on_drop: false }` [INFO] [stdout] 7e7f613388ae053bc3fa6c57635af5af69ce0e9e348885b375fc2ab976d962b8