[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#af4a5a13a15fa0c60e06321077ef452f769b42fd for pr-122960-3 [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 af4a5a13a15fa0c60e06321077ef452f769b42fd [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "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" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 0867197d19824bd5f578cab059061ad1b128bfc221e944b784e258292f0a7f5b [INFO] running `Command { std: "docker" "start" "-a" "0867197d19824bd5f578cab059061ad1b128bfc221e944b784e258292f0a7f5b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0867197d19824bd5f578cab059061ad1b128bfc221e944b784e258292f0a7f5b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0867197d19824bd5f578cab059061ad1b128bfc221e944b784e258292f0a7f5b", kill_on_drop: false }` [INFO] [stdout] 0867197d19824bd5f578cab059061ad1b128bfc221e944b784e258292f0a7f5b [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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5deb2b19e7b56f51241d3333ba5ea7af0c3fcfba6b8eb1dca0a4061e967623da [INFO] running `Command { std: "docker" "start" "-a" "5deb2b19e7b56f51241d3333ba5ea7af0c3fcfba6b8eb1dca0a4061e967623da", 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 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.63s [INFO] running `Command { std: "docker" "inspect" "5deb2b19e7b56f51241d3333ba5ea7af0c3fcfba6b8eb1dca0a4061e967623da", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5deb2b19e7b56f51241d3333ba5ea7af0c3fcfba6b8eb1dca0a4061e967623da", kill_on_drop: false }` [INFO] [stdout] 5deb2b19e7b56f51241d3333ba5ea7af0c3fcfba6b8eb1dca0a4061e967623da [INFO] checking spavikevik/stereo against try#36dbcaee1a55543dfc181be52a69d99ff46ff62f for pr-122960-3 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fspavikevik%2Fstereo" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/spavikevik/stereo on toolchain 36dbcaee1a55543dfc181be52a69d99ff46ff62f [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-3-tc2/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-tc2/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" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] eadd6e9e9a22b353c2330e41e1233a67295700c1fdb9b9d81237a3ac1fefb679 [INFO] running `Command { std: "docker" "start" "-a" "eadd6e9e9a22b353c2330e41e1233a67295700c1fdb9b9d81237a3ac1fefb679", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "eadd6e9e9a22b353c2330e41e1233a67295700c1fdb9b9d81237a3ac1fefb679", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "eadd6e9e9a22b353c2330e41e1233a67295700c1fdb9b9d81237a3ac1fefb679", kill_on_drop: false }` [INFO] [stdout] eadd6e9e9a22b353c2330e41e1233a67295700c1fdb9b9d81237a3ac1fefb679 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c1866f3dbbd44bea94a055959d9ef36fd4cf31958ddc5e9c790d44330bd8645b [INFO] running `Command { std: "docker" "start" "-a" "c1866f3dbbd44bea94a055959d9ef36fd4cf31958ddc5e9c790d44330bd8645b", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] Running `cargo fix --edition` [INFO] [stderr] Compiling proc-macro2 v1.0.70 [INFO] [stderr] Compiling thiserror v1.0.50 [INFO] [stderr] Compiling ucd-trie v0.1.6 [INFO] [stderr] Compiling memchr v2.6.4 [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 (/tmp/fixit) [INFO] [stderr] Migrating src/main.rs from 2021 edition to 2024 [INFO] [stderr] warning: failed to automatically apply fixes suggested by rustc to crate `lang` [INFO] [stderr] [INFO] [stderr] after fixes were automatically applied the compiler reported errors within these files: [INFO] [stderr] [INFO] [stderr] * src/syntax/ast_helpers.rs [INFO] [stderr] [INFO] [stderr] This likely indicates a bug in either rustc or cargo itself, [INFO] [stderr] and we would appreciate a bug report! You're likely to see [INFO] [stderr] a number of compiler warnings after this message which cargo [INFO] [stderr] attempted to fix but failed. If you could open an issue at [INFO] [stderr] https://github.com/rust-lang/rust/issues [INFO] [stderr] quoting the full output of this command we'd be very appreciative! [INFO] [stderr] Note that you may be able to make some more progress in the near-term [INFO] [stderr] fixing code with the `--broken-code` flag [INFO] [stderr] [INFO] [stderr] The following errors were reported: [INFO] [stderr] warning: value assigned to `name` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stderr] | [INFO] [stderr] 71 | let mut name = None; [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:410:17 [INFO] [stderr] | [INFO] [stderr] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stderr] | ------------------------------------------------------------------------------------------ in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: `#[warn(unused_assignments)]` on by default [INFO] [stderr] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `return_tpe` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:73:17 [INFO] [stderr] | [INFO] [stderr] 73 | let return_tpe = None; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:410:17 [INFO] [stderr] | [INFO] [stderr] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stderr] | ------------------------------------------------------------------------------------------ in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `type_expr` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:39:17 [INFO] [stderr] | [INFO] [stderr] 39 | let type_expr = None; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:410:41 [INFO] [stderr] | [INFO] [stderr] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stderr] | -------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0384]: cannot assign twice to immutable variable `type_expr` [INFO] [stderr] --> src/syntax/ast_helpers.rs:40:16 [INFO] [stderr] | [INFO] [stderr] 39 | let type_expr = None; [INFO] [stderr] | --------- [INFO] [stderr] | | [INFO] [stderr] | first assignment to `type_expr` [INFO] [stderr] | help: consider making this binding mutable: `mut type_expr` [INFO] [stderr] 40 | $( type_expr = Some($tpe); )? [INFO] [stderr] | ^^^^^^^^^ cannot assign twice to immutable variable [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:410:41 [INFO] [stderr] | [INFO] [stderr] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stderr] | -------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this error originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0384]: cannot assign twice to immutable variable `return_tpe` [INFO] [stderr] --> src/syntax/ast_helpers.rs:80:16 [INFO] [stderr] | [INFO] [stderr] 73 | let return_tpe = None; [INFO] [stderr] | ---------- [INFO] [stderr] | | [INFO] [stderr] | first assignment to `return_tpe` [INFO] [stderr] | help: consider making this binding mutable: `mut return_tpe` [INFO] [stderr] ... [INFO] [stderr] 80 | $( return_tpe = Some(Box::new($return_tpe)); )? [INFO] [stderr] | ^^^^^^^^^^ cannot assign twice to immutable variable [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:410:17 [INFO] [stderr] | [INFO] [stderr] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stderr] | ------------------------------------------------------------------------------------------ in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this error originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `name` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stderr] | [INFO] [stderr] 71 | let mut name = None; [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:427:17 [INFO] [stderr] | [INFO] [stderr] 427 | lambda! { "identity", { param!("x") } -> , body: named!("x") }, [INFO] [stderr] | -------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `name` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stderr] | [INFO] [stderr] 71 | let mut name = None; [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:444:17 [INFO] [stderr] | [INFO] [stderr] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stderr] | -------------------------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `return_tpe` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:73:17 [INFO] [stderr] | [INFO] [stderr] 73 | let return_tpe = None; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:444:17 [INFO] [stderr] | [INFO] [stderr] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stderr] | -------------------------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `type_expr` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:39:17 [INFO] [stderr] | [INFO] [stderr] 39 | let type_expr = None; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:444:41 [INFO] [stderr] | [INFO] [stderr] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stderr] | ------------------------ in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0384]: cannot assign twice to immutable variable `type_expr` [INFO] [stderr] --> src/syntax/ast_helpers.rs:40:16 [INFO] [stderr] | [INFO] [stderr] 39 | let type_expr = None; [INFO] [stderr] | --------- [INFO] [stderr] | | [INFO] [stderr] | first assignment to `type_expr` [INFO] [stderr] | help: consider making this binding mutable: `mut type_expr` [INFO] [stderr] 40 | $( type_expr = Some($tpe); )? [INFO] [stderr] | ^^^^^^^^^ cannot assign twice to immutable variable [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:444:41 [INFO] [stderr] | [INFO] [stderr] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stderr] | ------------------------ in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this error originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0384]: cannot assign twice to immutable variable `return_tpe` [INFO] [stderr] --> src/syntax/ast_helpers.rs:80:16 [INFO] [stderr] | [INFO] [stderr] 73 | let return_tpe = None; [INFO] [stderr] | ---------- [INFO] [stderr] | | [INFO] [stderr] | first assignment to `return_tpe` [INFO] [stderr] | help: consider making this binding mutable: `mut return_tpe` [INFO] [stderr] ... [INFO] [stderr] 80 | $( return_tpe = Some(Box::new($return_tpe)); )? [INFO] [stderr] | ^^^^^^^^^^ cannot assign twice to immutable variable [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:444:17 [INFO] [stderr] | [INFO] [stderr] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stderr] | -------------------------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this error originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `name` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stderr] | [INFO] [stderr] 71 | let mut name = None; [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:463:17 [INFO] [stderr] | [INFO] [stderr] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stderr] | --------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `return_tpe` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:73:17 [INFO] [stderr] | [INFO] [stderr] 73 | let return_tpe = None; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:463:17 [INFO] [stderr] | [INFO] [stderr] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stderr] | --------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `type_expr` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:39:17 [INFO] [stderr] | [INFO] [stderr] 39 | let type_expr = None; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:463:66 [INFO] [stderr] | [INFO] [stderr] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stderr] | ------------------------ in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0384]: cannot assign twice to immutable variable `type_expr` [INFO] [stderr] --> src/syntax/ast_helpers.rs:40:16 [INFO] [stderr] | [INFO] [stderr] 39 | let type_expr = None; [INFO] [stderr] | --------- [INFO] [stderr] | | [INFO] [stderr] | first assignment to `type_expr` [INFO] [stderr] | help: consider making this binding mutable: `mut type_expr` [INFO] [stderr] 40 | $( type_expr = Some($tpe); )? [INFO] [stderr] | ^^^^^^^^^ cannot assign twice to immutable variable [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:463:66 [INFO] [stderr] | [INFO] [stderr] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stderr] | ------------------------ in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this error originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0596]: cannot borrow `type_params` as mutable, as it is not declared as mutable [INFO] [stderr] --> src/syntax/ast_helpers.rs:78:17 [INFO] [stderr] | [INFO] [stderr] 78 | type_params.push($type_param); [INFO] [stderr] | ^^^^^^^^^^^ cannot borrow as mutable [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:463:17 [INFO] [stderr] | [INFO] [stderr] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stderr] | --------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this error originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] help: consider changing this to be mutable [INFO] [stderr] | [INFO] [stderr] 69 | let mut type_params = Vec::new(); [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] error[E0384]: cannot assign twice to immutable variable `return_tpe` [INFO] [stderr] --> src/syntax/ast_helpers.rs:80:16 [INFO] [stderr] | [INFO] [stderr] 73 | let return_tpe = None; [INFO] [stderr] | ---------- [INFO] [stderr] | | [INFO] [stderr] | first assignment to `return_tpe` [INFO] [stderr] | help: consider making this binding mutable: `mut return_tpe` [INFO] [stderr] ... [INFO] [stderr] 80 | $( return_tpe = Some(Box::new($return_tpe)); )? [INFO] [stderr] | ^^^^^^^^^^ cannot assign twice to immutable variable [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:463:17 [INFO] [stderr] | [INFO] [stderr] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stderr] | --------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this error originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `name` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stderr] | [INFO] [stderr] 71 | let mut name = None; [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:480:17 [INFO] [stderr] | [INFO] [stderr] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stderr] | ----------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `return_tpe` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:73:17 [INFO] [stderr] | [INFO] [stderr] 73 | let return_tpe = None; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:480:17 [INFO] [stderr] | [INFO] [stderr] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stderr] | ----------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `type_expr` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:39:17 [INFO] [stderr] | [INFO] [stderr] 39 | let type_expr = None; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:480:37 [INFO] [stderr] | [INFO] [stderr] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stderr] | -------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `type_expr` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:39:17 [INFO] [stderr] | [INFO] [stderr] 39 | let type_expr = None; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:480:65 [INFO] [stderr] | [INFO] [stderr] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stderr] | -------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0384]: cannot assign twice to immutable variable `type_expr` [INFO] [stderr] --> src/syntax/ast_helpers.rs:40:16 [INFO] [stderr] | [INFO] [stderr] 39 | let type_expr = None; [INFO] [stderr] | --------- [INFO] [stderr] | | [INFO] [stderr] | first assignment to `type_expr` [INFO] [stderr] | help: consider making this binding mutable: `mut type_expr` [INFO] [stderr] 40 | $( type_expr = Some($tpe); )? [INFO] [stderr] | ^^^^^^^^^ cannot assign twice to immutable variable [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:480:37 [INFO] [stderr] | [INFO] [stderr] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stderr] | -------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this error originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0384]: cannot assign twice to immutable variable `type_expr` [INFO] [stderr] --> src/syntax/ast_helpers.rs:40:16 [INFO] [stderr] | [INFO] [stderr] 39 | let type_expr = None; [INFO] [stderr] | --------- [INFO] [stderr] | | [INFO] [stderr] | first assignment to `type_expr` [INFO] [stderr] | help: consider making this binding mutable: `mut type_expr` [INFO] [stderr] 40 | $( type_expr = Some($tpe); )? [INFO] [stderr] | ^^^^^^^^^ cannot assign twice to immutable variable [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:480:65 [INFO] [stderr] | [INFO] [stderr] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stderr] | -------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this error originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0384]: cannot assign twice to immutable variable `return_tpe` [INFO] [stderr] --> src/syntax/ast_helpers.rs:80:16 [INFO] [stderr] | [INFO] [stderr] 73 | let return_tpe = None; [INFO] [stderr] | ---------- [INFO] [stderr] | | [INFO] [stderr] | first assignment to `return_tpe` [INFO] [stderr] | help: consider making this binding mutable: `mut return_tpe` [INFO] [stderr] ... [INFO] [stderr] 80 | $( return_tpe = Some(Box::new($return_tpe)); )? [INFO] [stderr] | ^^^^^^^^^^ cannot assign twice to immutable variable [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:480:17 [INFO] [stderr] | [INFO] [stderr] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stderr] | ----------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this error originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `name` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stderr] | [INFO] [stderr] 71 | let mut name = None; [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:500:17 [INFO] [stderr] | [INFO] [stderr] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), named!("y"))... [INFO] [stderr] | ----------------------------------------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `return_tpe` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:73:17 [INFO] [stderr] | [INFO] [stderr] 73 | let return_tpe = None; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:500:17 [INFO] [stderr] | [INFO] [stderr] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), named!("y"))... [INFO] [stderr] | ----------------------------------------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `type_expr` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:39:17 [INFO] [stderr] | [INFO] [stderr] 39 | let type_expr = None; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:500:39 [INFO] [stderr] | [INFO] [stderr] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), na... [INFO] [stderr] | -------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: value assigned to `type_expr` is never read [INFO] [stderr] --> src/syntax/ast_helpers.rs:39:17 [INFO] [stderr] | [INFO] [stderr] 39 | let type_expr = None; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:500:67 [INFO] [stderr] | [INFO] [stderr] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), na... [INFO] [stderr] | -------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0384]: cannot assign twice to immutable variable `type_expr` [INFO] [stderr] --> src/syntax/ast_helpers.rs:40:16 [INFO] [stderr] | [INFO] [stderr] 39 | let type_expr = None; [INFO] [stderr] | --------- [INFO] [stderr] | | [INFO] [stderr] | first assignment to `type_expr` [INFO] [stderr] | help: consider making this binding mutable: `mut type_expr` [INFO] [stderr] 40 | $( type_expr = Some($tpe); )? [INFO] [stderr] | ^^^^^^^^^ cannot assign twice to immutable variable [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:500:39 [INFO] [stderr] | [INFO] [stderr] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), na... [INFO] [stderr] | -------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this error originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0384]: cannot assign twice to immutable variable `type_expr` [INFO] [stderr] --> src/syntax/ast_helpers.rs:40:16 [INFO] [stderr] | [INFO] [stderr] 39 | let type_expr = None; [INFO] [stderr] | --------- [INFO] [stderr] | | [INFO] [stderr] | first assignment to `type_expr` [INFO] [stderr] | help: consider making this binding mutable: `mut type_expr` [INFO] [stderr] 40 | $( type_expr = Some($tpe); )? [INFO] [stderr] | ^^^^^^^^^ cannot assign twice to immutable variable [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:500:67 [INFO] [stderr] | [INFO] [stderr] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), na... [INFO] [stderr] | -------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this error originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0384]: cannot assign twice to immutable variable `return_tpe` [INFO] [stderr] --> src/syntax/ast_helpers.rs:80:16 [INFO] [stderr] | [INFO] [stderr] 73 | let return_tpe = None; [INFO] [stderr] | ---------- [INFO] [stderr] | | [INFO] [stderr] | first assignment to `return_tpe` [INFO] [stderr] | help: consider making this binding mutable: `mut return_tpe` [INFO] [stderr] ... [INFO] [stderr] 80 | $( return_tpe = Some(Box::new($return_tpe)); )? [INFO] [stderr] | ^^^^^^^^^^ cannot assign twice to immutable variable [INFO] [stderr] | [INFO] [stderr] ::: src/typesystem/typer.rs:500:17 [INFO] [stderr] | [INFO] [stderr] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), named!("y"))... [INFO] [stderr] | ----------------------------------------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this error originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error: aborting due to 13 previous errors; 18 warnings emitted [INFO] [stderr] [INFO] [stderr] Some errors have detailed explanations: E0384, E0596. [INFO] [stderr] For more information about an error, try `rustc --explain E0384`. [INFO] [stderr] Original diagnostics will follow. [INFO] [stderr] [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] Fixed src/syntax/ast_helpers.rs (10 fixes) [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 macro definition: `string_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:7:14 [INFO] [stdout] | [INFO] [stdout] 7 | macro_rules! string_lit { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `bool_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:13:14 [INFO] [stdout] | [INFO] [stdout] 13 | macro_rules! bool_lit { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `named` [INFO] [stdout] --> src/syntax/ast_helpers.rs:19:14 [INFO] [stdout] | [INFO] [stdout] 19 | macro_rules! named { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `let_expr` [INFO] [stdout] --> src/syntax/ast_helpers.rs:25:14 [INFO] [stdout] | [INFO] [stdout] 25 | macro_rules! let_expr { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:31:14 [INFO] [stdout] | [INFO] [stdout] 31 | macro_rules! param { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `type_param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:45:14 [INFO] [stdout] | [INFO] [stdout] 45 | macro_rules! type_param { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `lambda` [INFO] [stdout] --> src/syntax/ast_helpers.rs:59:14 [INFO] [stdout] | [INFO] [stdout] 59 | macro_rules! lambda { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `infix` [INFO] [stdout] --> src/syntax/ast_helpers.rs:79:14 [INFO] [stdout] | [INFO] [stdout] 79 | macro_rules! infix { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `application` [INFO] [stdout] --> src/syntax/ast_helpers.rs:85:14 [INFO] [stdout] | [INFO] [stdout] 85 | macro_rules! 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: 32 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.37s [INFO] [stderr] Running `cargo check` to verify 2024 [INFO] [stderr] Checking lang v0.1.0 (/tmp/fixit) [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 macro definition: `string_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:7:14 [INFO] [stdout] | [INFO] [stdout] 7 | macro_rules! string_lit { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `bool_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:13:14 [INFO] [stdout] | [INFO] [stdout] 13 | macro_rules! bool_lit { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `named` [INFO] [stdout] --> src/syntax/ast_helpers.rs:19:14 [INFO] [stdout] | [INFO] [stdout] 19 | macro_rules! named { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `let_expr` [INFO] [stdout] --> src/syntax/ast_helpers.rs:25:14 [INFO] [stdout] | [INFO] [stdout] 25 | macro_rules! let_expr { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:31:14 [INFO] [stdout] | [INFO] [stdout] 31 | macro_rules! param { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `type_param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:45:14 [INFO] [stdout] | [INFO] [stdout] 45 | macro_rules! type_param { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `lambda` [INFO] [stdout] --> src/syntax/ast_helpers.rs:59:14 [INFO] [stdout] | [INFO] [stdout] 59 | macro_rules! lambda { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `infix` [INFO] [stdout] --> src/syntax/ast_helpers.rs:79:14 [INFO] [stdout] | [INFO] [stdout] 79 | macro_rules! infix { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `application` [INFO] [stdout] --> src/syntax/ast_helpers.rs:85:14 [INFO] [stdout] | [INFO] [stdout] 85 | macro_rules! application { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `application` in this scope [INFO] [stdout] --> src/typesystem/typer.rs:652:17 [INFO] [stdout] | [INFO] [stdout] 652 | application! { named!("combine3"), { string_lit!("hello"), string_lit!("hello") } }, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `application` in this scope [INFO] [stdout] --> src/typesystem/typer.rs:622:21 [INFO] [stdout] | [INFO] [stdout] 622 | application! { named!("combine"), { int_lit!(3), int_lit!(2) } }, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `application` in this scope [INFO] [stdout] --> src/typesystem/typer.rs:587:17 [INFO] [stdout] | [INFO] [stdout] 587 | application! { named!("combine"), { named!("identity") } }, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `application` in this scope [INFO] [stdout] --> src/typesystem/typer.rs:553:17 [INFO] [stdout] | [INFO] [stdout] 553 | application! { named!("identity"), { string_lit!("hello") } }, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `application` in this scope [INFO] [stdout] --> src/typesystem/typer.rs:531:21 [INFO] [stdout] | [INFO] [stdout] 531 | application! { named!("combine"), { string_lit!("Hello, "), string_lit!("World!") } }, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `lambda` in this scope [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"), na... [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `lambda` in this scope [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] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `lambda` in this scope [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] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `lambda` in this scope [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] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `lambda` in this scope [INFO] [stdout] --> src/typesystem/typer.rs:427:17 [INFO] [stdout] | [INFO] [stdout] 427 | lambda! { "identity", { param!("x") } -> , body: named!("x") }, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `lambda` in this scope [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] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `infix` in this scope [INFO] [stdout] --> src/typesystem/typer.rs:379:35 [INFO] [stdout] | [INFO] [stdout] 379 | typer.infer_and_panic(infix! { "+", int_lit!(3), int_lit!(4) }, env), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `let_expr` in this scope [INFO] [stdout] --> src/typesystem/typer.rs:356:35 [INFO] [stdout] | [INFO] [stdout] 356 | typer.infer_and_panic(let_expr! {"x" : named!("int") => int_lit!(3) }, env.clone()), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `named` in this scope [INFO] [stdout] --> src/typesystem/typer.rs:345:35 [INFO] [stdout] | [INFO] [stdout] 345 | typer.infer_and_panic(named! { "X" }, env.clone()), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `named` in this scope [INFO] [stdout] --> src/typesystem/typer.rs:332:35 [INFO] [stdout] | [INFO] [stdout] 332 | typer.infer_and_panic(named! { "x" }, env.clone()), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bool_lit` in this scope [INFO] [stdout] --> src/typesystem/typer.rs:319:35 [INFO] [stdout] | [INFO] [stdout] 319 | typer.infer_and_panic(bool_lit!(true), env.clone()), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `string_lit` in this scope [INFO] [stdout] --> src/typesystem/typer.rs:308:35 [INFO] [stdout] | [INFO] [stdout] 308 | typer.infer_and_panic(string_lit!("Hello"), env.clone()), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `int_lit` in this scope [INFO] [stdout] --> src/typesystem/typer.rs:297:35 [INFO] [stdout] | [INFO] [stdout] 297 | typer.infer_and_panic(int_lit!(1), env.clone()), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: have you added the `#[macro_use]` on the module/import? [INFO] [stdout] [INFO] [stdout] [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 macro definition: `string_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:7:14 [INFO] [stdout] | [INFO] [stdout] 7 | macro_rules! string_lit { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `bool_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:13:14 [INFO] [stdout] | [INFO] [stdout] 13 | macro_rules! bool_lit { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `named` [INFO] [stdout] --> src/syntax/ast_helpers.rs:19:14 [INFO] [stdout] | [INFO] [stdout] 19 | macro_rules! named { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `let_expr` [INFO] [stdout] --> src/syntax/ast_helpers.rs:25:14 [INFO] [stdout] | [INFO] [stdout] 25 | macro_rules! let_expr { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:31:14 [INFO] [stdout] | [INFO] [stdout] 31 | macro_rules! param { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `type_param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:45:14 [INFO] [stdout] | [INFO] [stdout] 45 | macro_rules! type_param { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `lambda` [INFO] [stdout] --> src/syntax/ast_helpers.rs:59:14 [INFO] [stdout] | [INFO] [stdout] 59 | macro_rules! lambda { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `infix` [INFO] [stdout] --> src/syntax/ast_helpers.rs:79:14 [INFO] [stdout] | [INFO] [stdout] 79 | macro_rules! infix { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `application` [INFO] [stdout] --> src/syntax/ast_helpers.rs:85:14 [INFO] [stdout] | [INFO] [stdout] 85 | macro_rules! application { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ArgList`, `Expression`, `ParamList`, `Param`, `TypeParam` [INFO] [stdout] --> src/typesystem/typer.rs:280:30 [INFO] [stdout] | [INFO] [stdout] 280 | use crate::syntax::ast::{ArgList, Expression, Param, ParamList, TypeParam}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^ ^^^^^ ^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::syntax::ast_helpers::*` [INFO] [stdout] --> src/typesystem/typer.rs:281:9 [INFO] [stdout] | [INFO] [stdout] 281 | use crate::syntax::ast_helpers::*; [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: 32 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 18 previous errors; 12 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `lang` (bin "lang" test) due to 19 previous errors; 12 warnings emitted [INFO] [stderr] error: failed to check after updating to 2024 [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `cargo check --frozen --all --all-targets --message-format=json` (exit status: 101) [INFO] running `Command { std: "docker" "inspect" "c1866f3dbbd44bea94a055959d9ef36fd4cf31958ddc5e9c790d44330bd8645b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c1866f3dbbd44bea94a055959d9ef36fd4cf31958ddc5e9c790d44330bd8645b", kill_on_drop: false }` [INFO] [stdout] c1866f3dbbd44bea94a055959d9ef36fd4cf31958ddc5e9c790d44330bd8645b