[INFO] cloning repository https://github.com/spavikevik/stereo [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/spavikevik/stereo" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fspavikevik%2Fstereo", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fspavikevik%2Fstereo'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] cecf45990a3aa6d4ac3226460c0329c203997aed [INFO] checking spavikevik/stereo against master#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fspavikevik%2Fstereo" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/spavikevik/stereo on toolchain 1f12b9b0fdbe735968ac002792a720f0ba4faca6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-3-tc1/source/rust-toolchain [INFO] started tweaking git repo https://github.com/spavikevik/stereo [INFO] finished tweaking git repo https://github.com/spavikevik/stereo [INFO] tweaked toml for git repo https://github.com/spavikevik/stereo written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/spavikevik/stereo 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" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 3432f09452e51b709d2a46493d19c41a236e4c5065fba92c16e1a89bfdb34532 [INFO] running `Command { std: "docker" "start" "-a" "3432f09452e51b709d2a46493d19c41a236e4c5065fba92c16e1a89bfdb34532", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3432f09452e51b709d2a46493d19c41a236e4c5065fba92c16e1a89bfdb34532", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3432f09452e51b709d2a46493d19c41a236e4c5065fba92c16e1a89bfdb34532", kill_on_drop: false }` [INFO] [stdout] 3432f09452e51b709d2a46493d19c41a236e4c5065fba92c16e1a89bfdb34532 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f6d3107e557f6d64d893fe15e57d6b850e584b145cba2a42e3605c2e6c8623e6 [INFO] running `Command { std: "docker" "start" "-a" "f6d3107e557f6d64d893fe15e57d6b850e584b145cba2a42e3605c2e6c8623e6", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.70 [INFO] [stderr] Compiling thiserror v1.0.50 [INFO] [stderr] Compiling memchr v2.6.4 [INFO] [stderr] Compiling ucd-trie v0.1.6 [INFO] [stderr] Compiling once_cell v1.18.0 [INFO] [stderr] Checking minimal-lexical v0.2.1 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling syn v2.0.39 [INFO] [stderr] Compiling thiserror-impl v1.0.50 [INFO] [stderr] Compiling pest v2.7.5 [INFO] [stderr] Compiling pest_meta v2.7.5 [INFO] [stderr] Compiling pest_generator v2.7.5 [INFO] [stderr] Compiling pest_derive v2.7.5 [INFO] [stderr] Checking lang v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused macro definition: `int_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:1:14 [INFO] [stdout] | [INFO] [stdout] 1 | macro_rules! int_lit { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `int_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:6:16 [INFO] [stdout] | [INFO] [stdout] 6 | pub(crate) use int_lit; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `string_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:8:14 [INFO] [stdout] | [INFO] [stdout] 8 | macro_rules! string_lit { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `string_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:13:16 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) use string_lit; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `bool_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:15:14 [INFO] [stdout] | [INFO] [stdout] 15 | macro_rules! bool_lit { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `bool_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:20:16 [INFO] [stdout] | [INFO] [stdout] 20 | pub(crate) use bool_lit; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `named` [INFO] [stdout] --> src/syntax/ast_helpers.rs:22:14 [INFO] [stdout] | [INFO] [stdout] 22 | macro_rules! named { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `named` [INFO] [stdout] --> src/syntax/ast_helpers.rs:27:16 [INFO] [stdout] | [INFO] [stdout] 27 | pub(crate) use named; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `let_expr` [INFO] [stdout] --> src/syntax/ast_helpers.rs:29:14 [INFO] [stdout] | [INFO] [stdout] 29 | macro_rules! let_expr { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `let_expr` [INFO] [stdout] --> src/syntax/ast_helpers.rs:34:16 [INFO] [stdout] | [INFO] [stdout] 34 | pub(crate) use let_expr; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:36:14 [INFO] [stdout] | [INFO] [stdout] 36 | macro_rules! param { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:49:16 [INFO] [stdout] | [INFO] [stdout] 49 | pub(crate) use param; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `type_param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:51:14 [INFO] [stdout] | [INFO] [stdout] 51 | macro_rules! type_param { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `type_param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:64:16 [INFO] [stdout] | [INFO] [stdout] 64 | pub(crate) use type_param; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `lambda` [INFO] [stdout] --> src/syntax/ast_helpers.rs:66:14 [INFO] [stdout] | [INFO] [stdout] 66 | macro_rules! lambda { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lambda` [INFO] [stdout] --> src/syntax/ast_helpers.rs:85:16 [INFO] [stdout] | [INFO] [stdout] 85 | pub(crate) use lambda; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `infix` [INFO] [stdout] --> src/syntax/ast_helpers.rs:87:14 [INFO] [stdout] | [INFO] [stdout] 87 | macro_rules! infix { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `infix` [INFO] [stdout] --> src/syntax/ast_helpers.rs:92:16 [INFO] [stdout] | [INFO] [stdout] 92 | pub(crate) use infix; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `application` [INFO] [stdout] --> src/syntax/ast_helpers.rs:94:14 [INFO] [stdout] | [INFO] [stdout] 94 | macro_rules! application { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `application` [INFO] [stdout] --> src/syntax/ast_helpers.rs:105:16 [INFO] [stdout] | [INFO] [stdout] 105 | pub(crate) use application; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> src/syntax/ast.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 2 | pub enum Expression { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] 3 | IntegerLiteral(i64), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 4 | StringLiteral(String), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 5 | BooleanLiteral(bool), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 6 | Named(String), [INFO] [stdout] | ^^^^^ [INFO] [stdout] 7 | Let(String, Box, Box), [INFO] [stdout] | ^^^ [INFO] [stdout] 8 | Lambda( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 15 | Application(Box, ArgList), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Expression` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `infix_operation`, `prefix_operation`, and `postfix_operation` are never used [INFO] [stdout] --> src/syntax/ast.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 18 | impl Expression { [INFO] [stdout] | --------------- associated functions in this implementation [INFO] [stdout] 19 | pub fn infix_operation(operator: Expression, lhs: Expression, rhs: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn prefix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 32 | pub fn postfix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Pre`, `In`, and `Post` are never constructed [INFO] [stdout] --> src/syntax/ast.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 45 | pub enum AffixPosition { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 46 | Pre, [INFO] [stdout] | ^^^ [INFO] [stdout] 47 | In, [INFO] [stdout] | ^^ [INFO] [stdout] 48 | Post, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AffixPosition` 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 `Left` and `Right` are never constructed [INFO] [stdout] --> src/syntax/ast.rs:53:5 [INFO] [stdout] | [INFO] [stdout] 52 | pub enum Associativity { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 53 | Left, [INFO] [stdout] | ^^^^ [INFO] [stdout] 54 | Right, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Associativity` 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: associated functions `new` and `new_typed` are never used [INFO] [stdout] --> src/syntax/ast.rs:64:12 [INFO] [stdout] | [INFO] [stdout] 63 | impl TypeParam { [INFO] [stdout] | -------------- associated functions in this implementation [INFO] [stdout] 64 | pub fn new(name: String) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 71 | pub fn new_typed(name: String, type_expr: Expression) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `new` and `new_typed` are never used [INFO] [stdout] --> src/syntax/ast.rs:86:12 [INFO] [stdout] | [INFO] [stdout] 85 | impl Param { [INFO] [stdout] | ---------- associated functions in this implementation [INFO] [stdout] 86 | pub fn new(name: String) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 93 | pub fn new_typed(name: String, type_expr: Expression) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `add_type_param`, `add_param`, `set_params`, and `set_type_params` are never used [INFO] [stdout] --> src/syntax/ast.rs:113:12 [INFO] [stdout] | [INFO] [stdout] 112 | impl ParamList { [INFO] [stdout] | -------------- associated items in this implementation [INFO] [stdout] 113 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 120 | pub fn add_type_param(self, type_param: TypeParam) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 130 | pub fn add_param(self, param: Param) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 140 | pub fn set_params(self, params: Vec) -> Self { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 147 | pub fn set_type_params(self, type_params: Vec) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `PestParser` is never constructed [INFO] [stdout] --> src/syntax/pest_parser.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 15 | pub struct PestParser<'a> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/syntax/pest_parser.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 19 | impl<'a> PestParser<'a> { [INFO] [stdout] | ----------------------- associated items in this implementation [INFO] [stdout] 20 | fn build_ast_from_expr(&self, pair: &Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 25 | fn pratt( [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 38 | fn pratt_loop( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 80 | fn get_op_metadata(&self, pair: Pair) -> OperatorMetadata { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 100 | fn build_primary_expr(&self, pair: Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 155 | fn extract_operator(&self, pair: Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 170 | fn build_let_expr( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 193 | fn build_lambda_expr( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 227 | fn build_return_type_expr(&self, type_expr: Pair) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 236 | fn build_type_params(&self, type_params_opt: Option>) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 247 | fn build_type_param(&self, pair: Pair) -> TypeParam { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 265 | fn build_param(&self, pair: Pair) -> Param { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 283 | fn build_application_expr(&self, identifier: Pair, call: Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 295 | fn build_arg_list(&self, call: Pair) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 304 | fn build_arg(&self, pair: Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 313 | pub fn parse_expr(&self, input: &str) -> Result, Error> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 325 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 331 | pub fn new_with_operator_metadata( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Inference` is never used [INFO] [stdout] --> src/typesystem/inference.rs:4:10 [INFO] [stdout] | [INFO] [stdout] 4 | pub enum Inference { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `into_tuple` is never used [INFO] [stdout] --> src/typesystem/inference.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 9 | impl Inference { [INFO] [stdout] | -------------- method in this implementation [INFO] [stdout] 10 | pub fn into_tuple(self) -> (Type, Substitution) { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `from_iter`, and `compose` are never used [INFO] [stdout] --> src/typesystem/substitution.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 9 | impl Substitution { [INFO] [stdout] | ----------------- associated items in this implementation [INFO] [stdout] 10 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 16 | pub fn from_iter>(it: I) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 35 | pub fn compose(&self, other: &Substitution) -> Self { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Primitive`, `TypeVar`, `Bottom`, and `Function` are never constructed [INFO] [stdout] --> src/typesystem/type.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 6 | pub enum Type { [INFO] [stdout] | ---- variants in this enum [INFO] [stdout] 7 | Primitive(PrimitiveType), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 8 | TypeVar(String), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 9 | Bottom, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 10 | Function(Box, Box), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Type` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Numeric`, `Int`, `String`, `Bool`, and `Star` are never constructed [INFO] [stdout] --> src/typesystem/type.rs:54:5 [INFO] [stdout] | [INFO] [stdout] 53 | pub enum PrimitiveType { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 54 | Numeric, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 55 | Int, [INFO] [stdout] | ^^^ [INFO] [stdout] 56 | String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 57 | Bool, [INFO] [stdout] | ^^^^ [INFO] [stdout] 58 | Star, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PrimitiveType` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `from_type` and `add_type_vars` are never used [INFO] [stdout] --> src/typesystem/type.rs:68:12 [INFO] [stdout] | [INFO] [stdout] 67 | impl TypeScheme { [INFO] [stdout] | --------------- associated items in this implementation [INFO] [stdout] 68 | pub fn from_type(tpe: Type) -> TypeScheme { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 75 | pub fn add_type_vars(&mut self, type_vars: &mut Vec) -> () { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `add_type_alias`, `add_type_binding`, `add_binding`, and `remove_binding` are never used [INFO] [stdout] --> src/typesystem/type_environment.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 12 | impl TypeEnvironment { [INFO] [stdout] | -------------------- associated items in this implementation [INFO] [stdout] 13 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 20 | pub fn add_type_alias(&mut self, name: String, tpe: Type) -> () { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 24 | pub fn add_type_binding(&mut self, name: String, tpe: Type) -> () { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn add_binding(&mut self, name: String, tpe: TypeScheme) -> () { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 32 | pub fn remove_binding(&mut self, name: &str) -> () { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `UnificationError`, `IsFreeTypeVariableError`, and `TypeNotInContextError` are never constructed [INFO] [stdout] --> src/typesystem/type_error.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 8 | pub enum TypeError { [INFO] [stdout] | --------- variants in this enum [INFO] [stdout] 9 | UnificationError(Type, Type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 10 | IsFreeTypeVariableError(String, Type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 11 | TypeNotInContextError(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeError` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `into_error_report` is never used [INFO] [stdout] --> src/typesystem/type_error.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 14 | impl TypeError { [INFO] [stdout] | -------------- method in this implementation [INFO] [stdout] 15 | pub fn into_error_report(self) -> TypeErrorReport { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `add_error`, `add_context`, and `get_errors` are never used [INFO] [stdout] --> src/typesystem/type_error.rs:45:12 [INFO] [stdout] | [INFO] [stdout] 44 | impl TypeErrorReport { [INFO] [stdout] | -------------------- associated items in this implementation [INFO] [stdout] 45 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn add_error(&mut self, type_error: TypeError) -> () { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 57 | pub fn add_context(&mut self, ast: Expression, env: TypeEnvironment) -> () { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 62 | pub fn get_errors(&self) -> &Vec { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `InferenceResult` is never used [INFO] [stdout] --> src/typesystem/typer.rs:11:6 [INFO] [stdout] | [INFO] [stdout] 11 | type InferenceResult = Result; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Typer` is never constructed [INFO] [stdout] --> src/typesystem/typer.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 13 | struct Typer { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/typesystem/typer.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 18 | impl Typer { [INFO] [stdout] | ---------- associated items in this implementation [INFO] [stdout] 19 | pub fn new(builtins: TypeEnvironment) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 26 | pub fn infer_and_panic(&self, expression: Expression, env: TypeEnvironment) -> Type { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 32 | pub fn infer( [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | fn ti(&self, expression: Expression, env: TypeEnvironment) -> InferenceResult { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 127 | fn unify(&self, tpe1: Type, tpe2: Type) -> Result { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 145 | fn are_types_isomorphic(&self, tpe1: Type, tpe2: Type) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 153 | fn instantiate(&self, scheme: TypeScheme) -> Type { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 166 | fn new_type_var(&self, prefix: String) -> Type { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 173 | fn unify_bind_type_var( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 191 | fn eval_type_expr( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 218 | fn get_builtin_type(&self, name: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 223 | fn collect_param_env( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 42 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `name` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let mut name = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:410:17 [INFO] [stdout] | [INFO] [stdout] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stdout] | ------------------------------------------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `return_tpe` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:73:21 [INFO] [stdout] | [INFO] [stdout] 73 | let mut return_tpe = None; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:410:17 [INFO] [stdout] | [INFO] [stdout] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stdout] | ------------------------------------------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `type_expr` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:410:41 [INFO] [stdout] | [INFO] [stdout] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:69:17 [INFO] [stdout] | [INFO] [stdout] 69 | let mut type_params = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:410:17 [INFO] [stdout] | [INFO] [stdout] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stdout] | ------------------------------------------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:72:17 [INFO] [stdout] | [INFO] [stdout] 72 | let mut op_metadata = None; [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:410:17 [INFO] [stdout] | [INFO] [stdout] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stdout] | ------------------------------------------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `name` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let mut name = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:427:17 [INFO] [stdout] | [INFO] [stdout] 427 | lambda! { "identity", { param!("x") } -> , body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:69:17 [INFO] [stdout] | [INFO] [stdout] 69 | let mut type_params = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:427:17 [INFO] [stdout] | [INFO] [stdout] 427 | lambda! { "identity", { param!("x") } -> , body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:72:17 [INFO] [stdout] | [INFO] [stdout] 72 | let mut op_metadata = None; [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:427:17 [INFO] [stdout] | [INFO] [stdout] 427 | lambda! { "identity", { param!("x") } -> , body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:73:17 [INFO] [stdout] | [INFO] [stdout] 73 | let mut return_tpe = None; [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:427:17 [INFO] [stdout] | [INFO] [stdout] 427 | lambda! { "identity", { param!("x") } -> , body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:17 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:427:41 [INFO] [stdout] | [INFO] [stdout] 427 | lambda! { "identity", { param!("x") } -> , body: named!("x") }, [INFO] [stdout] | ----------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `name` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let mut name = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:444:17 [INFO] [stdout] | [INFO] [stdout] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `return_tpe` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:73:21 [INFO] [stdout] | [INFO] [stdout] 73 | let mut return_tpe = None; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:444:17 [INFO] [stdout] | [INFO] [stdout] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `type_expr` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:444:41 [INFO] [stdout] | [INFO] [stdout] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | ------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:69:17 [INFO] [stdout] | [INFO] [stdout] 69 | let mut type_params = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:444:17 [INFO] [stdout] | [INFO] [stdout] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:72:17 [INFO] [stdout] | [INFO] [stdout] 72 | let mut op_metadata = None; [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:444:17 [INFO] [stdout] | [INFO] [stdout] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `name` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let mut name = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:463:17 [INFO] [stdout] | [INFO] [stdout] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | --------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `return_tpe` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:73:21 [INFO] [stdout] | [INFO] [stdout] 73 | let mut return_tpe = None; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:463:17 [INFO] [stdout] | [INFO] [stdout] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | --------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `type_expr` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:463:66 [INFO] [stdout] | [INFO] [stdout] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | ------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:72:17 [INFO] [stdout] | [INFO] [stdout] 72 | let mut op_metadata = None; [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:463:17 [INFO] [stdout] | [INFO] [stdout] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | --------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:54:17 [INFO] [stdout] | [INFO] [stdout] 54 | let mut type_expr = None; [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:463:46 [INFO] [stdout] | [INFO] [stdout] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `type_param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `name` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let mut name = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:480:17 [INFO] [stdout] | [INFO] [stdout] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `return_tpe` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:73:21 [INFO] [stdout] | [INFO] [stdout] 73 | let mut return_tpe = None; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:480:17 [INFO] [stdout] | [INFO] [stdout] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `type_expr` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:480:37 [INFO] [stdout] | [INFO] [stdout] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `type_expr` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:480:65 [INFO] [stdout] | [INFO] [stdout] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:69:17 [INFO] [stdout] | [INFO] [stdout] 69 | let mut type_params = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:480:17 [INFO] [stdout] | [INFO] [stdout] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:72:17 [INFO] [stdout] | [INFO] [stdout] 72 | let mut op_metadata = None; [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:480:17 [INFO] [stdout] | [INFO] [stdout] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `name` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let mut name = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:500:17 [INFO] [stdout] | [INFO] [stdout] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), named!("y"))... [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `return_tpe` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:73:21 [INFO] [stdout] | [INFO] [stdout] 73 | let mut return_tpe = None; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:500:17 [INFO] [stdout] | [INFO] [stdout] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), named!("y"))... [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `type_expr` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:500:39 [INFO] [stdout] | [INFO] [stdout] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), na... [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `type_expr` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:500:67 [INFO] [stdout] | [INFO] [stdout] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), na... [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:69:17 [INFO] [stdout] | [INFO] [stdout] 69 | let mut type_params = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:500:17 [INFO] [stdout] | [INFO] [stdout] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), named!("y"))... [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:72:17 [INFO] [stdout] | [INFO] [stdout] 72 | let mut op_metadata = None; [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:500:17 [INFO] [stdout] | [INFO] [stdout] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), named!("y"))... [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `prefix_operation` and `postfix_operation` are never used [INFO] [stdout] --> src/syntax/ast.rs:28:12 [INFO] [stdout] | [INFO] [stdout] 18 | impl Expression { [INFO] [stdout] | --------------- associated functions in this implementation [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn prefix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 32 | pub fn postfix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Pre` and `Post` are never constructed [INFO] [stdout] --> src/syntax/ast.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 45 | pub enum AffixPosition { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 46 | Pre, [INFO] [stdout] | ^^^ [INFO] [stdout] 47 | In, [INFO] [stdout] 48 | Post, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AffixPosition` 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: associated function `from_iter` is never used [INFO] [stdout] --> src/typesystem/substitution.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 9 | impl Substitution { [INFO] [stdout] | ----------------- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 16 | pub fn from_iter>(it: I) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `TypeNotInContextError` is never constructed [INFO] [stdout] --> src/typesystem/type_error.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 8 | pub enum TypeError { [INFO] [stdout] | --------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 11 | TypeNotInContextError(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeError` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `instantiate` is never used [INFO] [stdout] --> src/typesystem/typer.rs:153:8 [INFO] [stdout] | [INFO] [stdout] 18 | impl Typer { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 153 | fn instantiate(&self, scheme: TypeScheme) -> Type { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 37 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.58s [INFO] running `Command { std: "docker" "inspect" "f6d3107e557f6d64d893fe15e57d6b850e584b145cba2a42e3605c2e6c8623e6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f6d3107e557f6d64d893fe15e57d6b850e584b145cba2a42e3605c2e6c8623e6", kill_on_drop: false }` [INFO] [stdout] f6d3107e557f6d64d893fe15e57d6b850e584b145cba2a42e3605c2e6c8623e6