[INFO] cloning repository https://github.com/spavikevik/stereo [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/spavikevik/stereo" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fspavikevik%2Fstereo", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fspavikevik%2Fstereo'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] cecf45990a3aa6d4ac3226460c0329c203997aed [INFO] checking spavikevik/stereo against master#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fspavikevik%2Fstereo" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/spavikevik/stereo on toolchain 1f12b9b0fdbe735968ac002792a720f0ba4faca6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-3-tc1/source/rust-toolchain [INFO] started tweaking git repo https://github.com/spavikevik/stereo [INFO] finished tweaking git repo https://github.com/spavikevik/stereo [INFO] tweaked toml for git repo https://github.com/spavikevik/stereo written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/spavikevik/stereo already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 3432f09452e51b709d2a46493d19c41a236e4c5065fba92c16e1a89bfdb34532 [INFO] running `Command { std: "docker" "start" "-a" "3432f09452e51b709d2a46493d19c41a236e4c5065fba92c16e1a89bfdb34532", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3432f09452e51b709d2a46493d19c41a236e4c5065fba92c16e1a89bfdb34532", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3432f09452e51b709d2a46493d19c41a236e4c5065fba92c16e1a89bfdb34532", kill_on_drop: false }` [INFO] [stdout] 3432f09452e51b709d2a46493d19c41a236e4c5065fba92c16e1a89bfdb34532 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f6d3107e557f6d64d893fe15e57d6b850e584b145cba2a42e3605c2e6c8623e6 [INFO] running `Command { std: "docker" "start" "-a" "f6d3107e557f6d64d893fe15e57d6b850e584b145cba2a42e3605c2e6c8623e6", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.70 [INFO] [stderr] Compiling thiserror v1.0.50 [INFO] [stderr] Compiling memchr v2.6.4 [INFO] [stderr] Compiling ucd-trie v0.1.6 [INFO] [stderr] Compiling once_cell v1.18.0 [INFO] [stderr] Checking minimal-lexical v0.2.1 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling syn v2.0.39 [INFO] [stderr] Compiling thiserror-impl v1.0.50 [INFO] [stderr] Compiling pest v2.7.5 [INFO] [stderr] Compiling pest_meta v2.7.5 [INFO] [stderr] Compiling pest_generator v2.7.5 [INFO] [stderr] Compiling pest_derive v2.7.5 [INFO] [stderr] Checking lang v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused macro definition: `int_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:1:14 [INFO] [stdout] | [INFO] [stdout] 1 | macro_rules! int_lit { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `int_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:6:16 [INFO] [stdout] | [INFO] [stdout] 6 | pub(crate) use int_lit; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `string_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:8:14 [INFO] [stdout] | [INFO] [stdout] 8 | macro_rules! string_lit { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `string_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:13:16 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) use string_lit; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `bool_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:15:14 [INFO] [stdout] | [INFO] [stdout] 15 | macro_rules! bool_lit { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `bool_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:20:16 [INFO] [stdout] | [INFO] [stdout] 20 | pub(crate) use bool_lit; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `named` [INFO] [stdout] --> src/syntax/ast_helpers.rs:22:14 [INFO] [stdout] | [INFO] [stdout] 22 | macro_rules! named { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `named` [INFO] [stdout] --> src/syntax/ast_helpers.rs:27:16 [INFO] [stdout] | [INFO] [stdout] 27 | pub(crate) use named; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `let_expr` [INFO] [stdout] --> src/syntax/ast_helpers.rs:29:14 [INFO] [stdout] | [INFO] [stdout] 29 | macro_rules! let_expr { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `let_expr` [INFO] [stdout] --> src/syntax/ast_helpers.rs:34:16 [INFO] [stdout] | [INFO] [stdout] 34 | pub(crate) use let_expr; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:36:14 [INFO] [stdout] | [INFO] [stdout] 36 | macro_rules! param { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:49:16 [INFO] [stdout] | [INFO] [stdout] 49 | pub(crate) use param; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `type_param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:51:14 [INFO] [stdout] | [INFO] [stdout] 51 | macro_rules! type_param { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `type_param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:64:16 [INFO] [stdout] | [INFO] [stdout] 64 | pub(crate) use type_param; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `lambda` [INFO] [stdout] --> src/syntax/ast_helpers.rs:66:14 [INFO] [stdout] | [INFO] [stdout] 66 | macro_rules! lambda { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lambda` [INFO] [stdout] --> src/syntax/ast_helpers.rs:85:16 [INFO] [stdout] | [INFO] [stdout] 85 | pub(crate) use lambda; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `infix` [INFO] [stdout] --> src/syntax/ast_helpers.rs:87:14 [INFO] [stdout] | [INFO] [stdout] 87 | macro_rules! infix { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `infix` [INFO] [stdout] --> src/syntax/ast_helpers.rs:92:16 [INFO] [stdout] | [INFO] [stdout] 92 | pub(crate) use infix; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `application` [INFO] [stdout] --> src/syntax/ast_helpers.rs:94:14 [INFO] [stdout] | [INFO] [stdout] 94 | macro_rules! application { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `application` [INFO] [stdout] --> src/syntax/ast_helpers.rs:105:16 [INFO] [stdout] | [INFO] [stdout] 105 | pub(crate) use application; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> src/syntax/ast.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 2 | pub enum Expression { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] 3 | IntegerLiteral(i64), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 4 | StringLiteral(String), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 5 | BooleanLiteral(bool), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 6 | Named(String), [INFO] [stdout] | ^^^^^ [INFO] [stdout] 7 | Let(String, Box, Box), [INFO] [stdout] | ^^^ [INFO] [stdout] 8 | Lambda( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 15 | Application(Box, ArgList), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Expression` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `infix_operation`, `prefix_operation`, and `postfix_operation` are never used [INFO] [stdout] --> src/syntax/ast.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 18 | impl Expression { [INFO] [stdout] | --------------- associated functions in this implementation [INFO] [stdout] 19 | pub fn infix_operation(operator: Expression, lhs: Expression, rhs: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn prefix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 32 | pub fn postfix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Pre`, `In`, and `Post` are never constructed [INFO] [stdout] --> src/syntax/ast.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 45 | pub enum AffixPosition { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 46 | Pre, [INFO] [stdout] | ^^^ [INFO] [stdout] 47 | In, [INFO] [stdout] | ^^ [INFO] [stdout] 48 | Post, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AffixPosition` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Left` and `Right` are never constructed [INFO] [stdout] --> src/syntax/ast.rs:53:5 [INFO] [stdout] | [INFO] [stdout] 52 | pub enum Associativity { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 53 | Left, [INFO] [stdout] | ^^^^ [INFO] [stdout] 54 | Right, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Associativity` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `new` and `new_typed` are never used [INFO] [stdout] --> src/syntax/ast.rs:64:12 [INFO] [stdout] | [INFO] [stdout] 63 | impl TypeParam { [INFO] [stdout] | -------------- associated functions in this implementation [INFO] [stdout] 64 | pub fn new(name: String) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 71 | pub fn new_typed(name: String, type_expr: Expression) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `new` and `new_typed` are never used [INFO] [stdout] --> src/syntax/ast.rs:86:12 [INFO] [stdout] | [INFO] [stdout] 85 | impl Param { [INFO] [stdout] | ---------- associated functions in this implementation [INFO] [stdout] 86 | pub fn new(name: String) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 93 | pub fn new_typed(name: String, type_expr: Expression) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `add_type_param`, `add_param`, `set_params`, and `set_type_params` are never used [INFO] [stdout] --> src/syntax/ast.rs:113:12 [INFO] [stdout] | [INFO] [stdout] 112 | impl ParamList { [INFO] [stdout] | -------------- associated items in this implementation [INFO] [stdout] 113 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 120 | pub fn add_type_param(self, type_param: TypeParam) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 130 | pub fn add_param(self, param: Param) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 140 | pub fn set_params(self, params: Vec) -> Self { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 147 | pub fn set_type_params(self, type_params: Vec) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `PestParser` is never constructed [INFO] [stdout] --> src/syntax/pest_parser.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 15 | pub struct PestParser<'a> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/syntax/pest_parser.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 19 | impl<'a> PestParser<'a> { [INFO] [stdout] | ----------------------- associated items in this implementation [INFO] [stdout] 20 | fn build_ast_from_expr(&self, pair: &Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 25 | fn pratt( [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 38 | fn pratt_loop( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 80 | fn get_op_metadata(&self, pair: Pair) -> OperatorMetadata { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 100 | fn build_primary_expr(&self, pair: Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 155 | fn extract_operator(&self, pair: Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 170 | fn build_let_expr( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 193 | fn build_lambda_expr( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 227 | fn build_return_type_expr(&self, type_expr: Pair) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 236 | fn build_type_params(&self, type_params_opt: Option>) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 247 | fn build_type_param(&self, pair: Pair) -> TypeParam { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 265 | fn build_param(&self, pair: Pair) -> Param { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 283 | fn build_application_expr(&self, identifier: Pair, call: Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 295 | fn build_arg_list(&self, call: Pair) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 304 | fn build_arg(&self, pair: Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 313 | pub fn parse_expr(&self, input: &str) -> Result, Error> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 325 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 331 | pub fn new_with_operator_metadata( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Inference` is never used [INFO] [stdout] --> src/typesystem/inference.rs:4:10 [INFO] [stdout] | [INFO] [stdout] 4 | pub enum Inference { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `into_tuple` is never used [INFO] [stdout] --> src/typesystem/inference.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 9 | impl Inference { [INFO] [stdout] | -------------- method in this implementation [INFO] [stdout] 10 | pub fn into_tuple(self) -> (Type, Substitution) { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `from_iter`, and `compose` are never used [INFO] [stdout] --> src/typesystem/substitution.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 9 | impl Substitution { [INFO] [stdout] | ----------------- associated items in this implementation [INFO] [stdout] 10 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 16 | pub fn from_iter>(it: I) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 35 | pub fn compose(&self, other: &Substitution) -> Self { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Primitive`, `TypeVar`, `Bottom`, and `Function` are never constructed [INFO] [stdout] --> src/typesystem/type.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 6 | pub enum Type { [INFO] [stdout] | ---- variants in this enum [INFO] [stdout] 7 | Primitive(PrimitiveType), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 8 | TypeVar(String), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 9 | Bottom, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 10 | Function(Box, Box), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Type` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Numeric`, `Int`, `String`, `Bool`, and `Star` are never constructed [INFO] [stdout] --> src/typesystem/type.rs:54:5 [INFO] [stdout] | [INFO] [stdout] 53 | pub enum PrimitiveType { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 54 | Numeric, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 55 | Int, [INFO] [stdout] | ^^^ [INFO] [stdout] 56 | String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 57 | Bool, [INFO] [stdout] | ^^^^ [INFO] [stdout] 58 | Star, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PrimitiveType` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `from_type` and `add_type_vars` are never used [INFO] [stdout] --> src/typesystem/type.rs:68:12 [INFO] [stdout] | [INFO] [stdout] 67 | impl TypeScheme { [INFO] [stdout] | --------------- associated items in this implementation [INFO] [stdout] 68 | pub fn from_type(tpe: Type) -> TypeScheme { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 75 | pub fn add_type_vars(&mut self, type_vars: &mut Vec) -> () { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `add_type_alias`, `add_type_binding`, `add_binding`, and `remove_binding` are never used [INFO] [stdout] --> src/typesystem/type_environment.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 12 | impl TypeEnvironment { [INFO] [stdout] | -------------------- associated items in this implementation [INFO] [stdout] 13 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 20 | pub fn add_type_alias(&mut self, name: String, tpe: Type) -> () { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 24 | pub fn add_type_binding(&mut self, name: String, tpe: Type) -> () { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn add_binding(&mut self, name: String, tpe: TypeScheme) -> () { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 32 | pub fn remove_binding(&mut self, name: &str) -> () { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `UnificationError`, `IsFreeTypeVariableError`, and `TypeNotInContextError` are never constructed [INFO] [stdout] --> src/typesystem/type_error.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 8 | pub enum TypeError { [INFO] [stdout] | --------- variants in this enum [INFO] [stdout] 9 | UnificationError(Type, Type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 10 | IsFreeTypeVariableError(String, Type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 11 | TypeNotInContextError(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeError` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `into_error_report` is never used [INFO] [stdout] --> src/typesystem/type_error.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 14 | impl TypeError { [INFO] [stdout] | -------------- method in this implementation [INFO] [stdout] 15 | pub fn into_error_report(self) -> TypeErrorReport { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `add_error`, `add_context`, and `get_errors` are never used [INFO] [stdout] --> src/typesystem/type_error.rs:45:12 [INFO] [stdout] | [INFO] [stdout] 44 | impl TypeErrorReport { [INFO] [stdout] | -------------------- associated items in this implementation [INFO] [stdout] 45 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn add_error(&mut self, type_error: TypeError) -> () { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 57 | pub fn add_context(&mut self, ast: Expression, env: TypeEnvironment) -> () { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 62 | pub fn get_errors(&self) -> &Vec { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `InferenceResult` is never used [INFO] [stdout] --> src/typesystem/typer.rs:11:6 [INFO] [stdout] | [INFO] [stdout] 11 | type InferenceResult = Result; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Typer` is never constructed [INFO] [stdout] --> src/typesystem/typer.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 13 | struct Typer { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/typesystem/typer.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 18 | impl Typer { [INFO] [stdout] | ---------- associated items in this implementation [INFO] [stdout] 19 | pub fn new(builtins: TypeEnvironment) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 26 | pub fn infer_and_panic(&self, expression: Expression, env: TypeEnvironment) -> Type { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 32 | pub fn infer( [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | fn ti(&self, expression: Expression, env: TypeEnvironment) -> InferenceResult { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 127 | fn unify(&self, tpe1: Type, tpe2: Type) -> Result { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 145 | fn are_types_isomorphic(&self, tpe1: Type, tpe2: Type) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 153 | fn instantiate(&self, scheme: TypeScheme) -> Type { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 166 | fn new_type_var(&self, prefix: String) -> Type { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 173 | fn unify_bind_type_var( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 191 | fn eval_type_expr( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 218 | fn get_builtin_type(&self, name: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 223 | fn collect_param_env( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 42 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `name` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let mut name = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:410:17 [INFO] [stdout] | [INFO] [stdout] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stdout] | ------------------------------------------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `return_tpe` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:73:21 [INFO] [stdout] | [INFO] [stdout] 73 | let mut return_tpe = None; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:410:17 [INFO] [stdout] | [INFO] [stdout] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stdout] | ------------------------------------------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `type_expr` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:410:41 [INFO] [stdout] | [INFO] [stdout] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:69:17 [INFO] [stdout] | [INFO] [stdout] 69 | let mut type_params = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:410:17 [INFO] [stdout] | [INFO] [stdout] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stdout] | ------------------------------------------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:72:17 [INFO] [stdout] | [INFO] [stdout] 72 | let mut op_metadata = None; [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:410:17 [INFO] [stdout] | [INFO] [stdout] 410 | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stdout] | ------------------------------------------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `name` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let mut name = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:427:17 [INFO] [stdout] | [INFO] [stdout] 427 | lambda! { "identity", { param!("x") } -> , body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:69:17 [INFO] [stdout] | [INFO] [stdout] 69 | let mut type_params = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:427:17 [INFO] [stdout] | [INFO] [stdout] 427 | lambda! { "identity", { param!("x") } -> , body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:72:17 [INFO] [stdout] | [INFO] [stdout] 72 | let mut op_metadata = None; [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:427:17 [INFO] [stdout] | [INFO] [stdout] 427 | lambda! { "identity", { param!("x") } -> , body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:73:17 [INFO] [stdout] | [INFO] [stdout] 73 | let mut return_tpe = None; [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:427:17 [INFO] [stdout] | [INFO] [stdout] 427 | lambda! { "identity", { param!("x") } -> , body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:17 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:427:41 [INFO] [stdout] | [INFO] [stdout] 427 | lambda! { "identity", { param!("x") } -> , body: named!("x") }, [INFO] [stdout] | ----------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `name` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let mut name = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:444:17 [INFO] [stdout] | [INFO] [stdout] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `return_tpe` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:73:21 [INFO] [stdout] | [INFO] [stdout] 73 | let mut return_tpe = None; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:444:17 [INFO] [stdout] | [INFO] [stdout] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `type_expr` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:444:41 [INFO] [stdout] | [INFO] [stdout] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | ------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:69:17 [INFO] [stdout] | [INFO] [stdout] 69 | let mut type_params = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:444:17 [INFO] [stdout] | [INFO] [stdout] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:72:17 [INFO] [stdout] | [INFO] [stdout] 72 | let mut op_metadata = None; [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:444:17 [INFO] [stdout] | [INFO] [stdout] 444 | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | -------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `name` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let mut name = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:463:17 [INFO] [stdout] | [INFO] [stdout] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | --------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `return_tpe` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:73:21 [INFO] [stdout] | [INFO] [stdout] 73 | let mut return_tpe = None; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:463:17 [INFO] [stdout] | [INFO] [stdout] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | --------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `type_expr` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:463:66 [INFO] [stdout] | [INFO] [stdout] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | ------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:72:17 [INFO] [stdout] | [INFO] [stdout] 72 | let mut op_metadata = None; [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:463:17 [INFO] [stdout] | [INFO] [stdout] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | --------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:54:17 [INFO] [stdout] | [INFO] [stdout] 54 | let mut type_expr = None; [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:463:46 [INFO] [stdout] | [INFO] [stdout] 463 | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] | ---------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `type_param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `name` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let mut name = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:480:17 [INFO] [stdout] | [INFO] [stdout] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `return_tpe` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:73:21 [INFO] [stdout] | [INFO] [stdout] 73 | let mut return_tpe = None; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:480:17 [INFO] [stdout] | [INFO] [stdout] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `type_expr` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:480:37 [INFO] [stdout] | [INFO] [stdout] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `type_expr` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:480:65 [INFO] [stdout] | [INFO] [stdout] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:69:17 [INFO] [stdout] | [INFO] [stdout] 69 | let mut type_params = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:480:17 [INFO] [stdout] | [INFO] [stdout] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:72:17 [INFO] [stdout] | [INFO] [stdout] 72 | let mut op_metadata = None; [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:480:17 [INFO] [stdout] | [INFO] [stdout] 480 | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `name` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | let mut name = None; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:500:17 [INFO] [stdout] | [INFO] [stdout] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), named!("y"))... [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `return_tpe` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:73:21 [INFO] [stdout] | [INFO] [stdout] 73 | let mut return_tpe = None; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:500:17 [INFO] [stdout] | [INFO] [stdout] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), named!("y"))... [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `type_expr` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:500:39 [INFO] [stdout] | [INFO] [stdout] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), na... [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `type_expr` is never read [INFO] [stdout] --> src/syntax/ast_helpers.rs:39:21 [INFO] [stdout] | [INFO] [stdout] 39 | let mut type_expr = None; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:500:67 [INFO] [stdout] | [INFO] [stdout] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), na... [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: this warning originates in the macro `param` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:69:17 [INFO] [stdout] | [INFO] [stdout] 69 | let mut type_params = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:500:17 [INFO] [stdout] | [INFO] [stdout] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), named!("y"))... [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/syntax/ast_helpers.rs:72:17 [INFO] [stdout] | [INFO] [stdout] 72 | let mut op_metadata = None; [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] ::: src/typesystem/typer.rs:500:17 [INFO] [stdout] | [INFO] [stdout] 500 | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!("x"), named!("y"))... [INFO] [stdout] | ----------------------------------------------------------------------------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `lambda` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `prefix_operation` and `postfix_operation` are never used [INFO] [stdout] --> src/syntax/ast.rs:28:12 [INFO] [stdout] | [INFO] [stdout] 18 | impl Expression { [INFO] [stdout] | --------------- associated functions in this implementation [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn prefix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 32 | pub fn postfix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Pre` and `Post` are never constructed [INFO] [stdout] --> src/syntax/ast.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 45 | pub enum AffixPosition { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 46 | Pre, [INFO] [stdout] | ^^^ [INFO] [stdout] 47 | In, [INFO] [stdout] 48 | Post, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AffixPosition` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `from_iter` is never used [INFO] [stdout] --> src/typesystem/substitution.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 9 | impl Substitution { [INFO] [stdout] | ----------------- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 16 | pub fn from_iter>(it: I) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `TypeNotInContextError` is never constructed [INFO] [stdout] --> src/typesystem/type_error.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 8 | pub enum TypeError { [INFO] [stdout] | --------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 11 | TypeNotInContextError(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeError` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `instantiate` is never used [INFO] [stdout] --> src/typesystem/typer.rs:153:8 [INFO] [stdout] | [INFO] [stdout] 18 | impl Typer { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 153 | fn instantiate(&self, scheme: TypeScheme) -> Type { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 37 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.58s [INFO] running `Command { std: "docker" "inspect" "f6d3107e557f6d64d893fe15e57d6b850e584b145cba2a42e3605c2e6c8623e6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f6d3107e557f6d64d893fe15e57d6b850e584b145cba2a42e3605c2e6c8623e6", kill_on_drop: false }` [INFO] [stdout] f6d3107e557f6d64d893fe15e57d6b850e584b145cba2a42e3605c2e6c8623e6 [INFO] checking spavikevik/stereo against try#f9935d29d867449445ee008640ccca1bf1ae0889+rustflags=-Dtail_expr_drop_order for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fspavikevik%2Fstereo" "/workspace/builds/worker-3-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 f9935d29d867449445ee008640ccca1bf1ae0889 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "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" "+f9935d29d867449445ee008640ccca1bf1ae0889" "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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 76c008200a8a135b420a7bc61637e856f47d6bfd35ecb3fe671816a9110883bd [INFO] running `Command { std: "docker" "start" "-a" "76c008200a8a135b420a7bc61637e856f47d6bfd35ecb3fe671816a9110883bd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "76c008200a8a135b420a7bc61637e856f47d6bfd35ecb3fe671816a9110883bd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "76c008200a8a135b420a7bc61637e856f47d6bfd35ecb3fe671816a9110883bd", kill_on_drop: false }` [INFO] [stdout] 76c008200a8a135b420a7bc61637e856f47d6bfd35ecb3fe671816a9110883bd [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 -Dtail_expr_drop_order" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 13afde8000d2b8fb2c9c4bf9008f89cd7d31eaf7f2943ae0293c87c00d177b27 [INFO] running `Command { std: "docker" "start" "-a" "13afde8000d2b8fb2c9c4bf9008f89cd7d31eaf7f2943ae0293c87c00d177b27", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.70 [INFO] [stderr] Compiling thiserror v1.0.50 [INFO] [stderr] Compiling memchr v2.6.4 [INFO] [stderr] Compiling ucd-trie v0.1.6 [INFO] [stderr] Compiling once_cell v1.18.0 [INFO] [stderr] Checking minimal-lexical v0.2.1 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling syn v2.0.39 [INFO] [stderr] Compiling thiserror-impl v1.0.50 [INFO] [stderr] Compiling pest v2.7.5 [INFO] [stderr] Compiling pest_meta v2.7.5 [INFO] [stderr] Compiling pest_generator v2.7.5 [INFO] [stderr] Compiling pest_derive v2.7.5 [INFO] [stderr] Checking lang v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused macro definition: `int_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:1:14 [INFO] [stdout] | [INFO] [stdout] 1 | macro_rules! int_lit { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `int_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:6:16 [INFO] [stdout] | [INFO] [stdout] 6 | pub(crate) use int_lit; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `string_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:8:14 [INFO] [stdout] | [INFO] [stdout] 8 | macro_rules! string_lit { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `string_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:13:16 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) use string_lit; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `bool_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:15:14 [INFO] [stdout] | [INFO] [stdout] 15 | macro_rules! bool_lit { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `bool_lit` [INFO] [stdout] --> src/syntax/ast_helpers.rs:20:16 [INFO] [stdout] | [INFO] [stdout] 20 | pub(crate) use bool_lit; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `named` [INFO] [stdout] --> src/syntax/ast_helpers.rs:22:14 [INFO] [stdout] | [INFO] [stdout] 22 | macro_rules! named { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `named` [INFO] [stdout] --> src/syntax/ast_helpers.rs:27:16 [INFO] [stdout] | [INFO] [stdout] 27 | pub(crate) use named; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `let_expr` [INFO] [stdout] --> src/syntax/ast_helpers.rs:29:14 [INFO] [stdout] | [INFO] [stdout] 29 | macro_rules! let_expr { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `let_expr` [INFO] [stdout] --> src/syntax/ast_helpers.rs:34:16 [INFO] [stdout] | [INFO] [stdout] 34 | pub(crate) use let_expr; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:36:14 [INFO] [stdout] | [INFO] [stdout] 36 | macro_rules! param { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:49:16 [INFO] [stdout] | [INFO] [stdout] 49 | pub(crate) use param; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `type_param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:51:14 [INFO] [stdout] | [INFO] [stdout] 51 | macro_rules! type_param { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `type_param` [INFO] [stdout] --> src/syntax/ast_helpers.rs:64:16 [INFO] [stdout] | [INFO] [stdout] 64 | pub(crate) use type_param; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `lambda` [INFO] [stdout] --> src/syntax/ast_helpers.rs:66:14 [INFO] [stdout] | [INFO] [stdout] 66 | macro_rules! lambda { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lambda` [INFO] [stdout] --> src/syntax/ast_helpers.rs:85:16 [INFO] [stdout] | [INFO] [stdout] 85 | pub(crate) use lambda; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `infix` [INFO] [stdout] --> src/syntax/ast_helpers.rs:87:14 [INFO] [stdout] | [INFO] [stdout] 87 | macro_rules! infix { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `infix` [INFO] [stdout] --> src/syntax/ast_helpers.rs:92:16 [INFO] [stdout] | [INFO] [stdout] 92 | pub(crate) use infix; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `application` [INFO] [stdout] --> src/syntax/ast_helpers.rs:94:14 [INFO] [stdout] | [INFO] [stdout] 94 | macro_rules! application { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `application` [INFO] [stdout] --> src/syntax/ast_helpers.rs:105:16 [INFO] [stdout] | [INFO] [stdout] 105 | pub(crate) use application; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> src/syntax/ast.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 2 | pub enum Expression { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] 3 | IntegerLiteral(i64), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 4 | StringLiteral(String), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 5 | BooleanLiteral(bool), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 6 | Named(String), [INFO] [stdout] | ^^^^^ [INFO] [stdout] 7 | Let(String, Box, Box), [INFO] [stdout] | ^^^ [INFO] [stdout] 8 | Lambda( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 15 | Application(Box, ArgList), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Expression` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `infix_operation`, `prefix_operation`, and `postfix_operation` are never used [INFO] [stdout] --> src/syntax/ast.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 18 | impl Expression { [INFO] [stdout] | --------------- associated functions in this implementation [INFO] [stdout] 19 | pub fn infix_operation(operator: Expression, lhs: Expression, rhs: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn prefix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 32 | pub fn postfix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Pre`, `In`, and `Post` are never constructed [INFO] [stdout] --> src/syntax/ast.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 45 | pub enum AffixPosition { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 46 | Pre, [INFO] [stdout] | ^^^ [INFO] [stdout] 47 | In, [INFO] [stdout] | ^^ [INFO] [stdout] 48 | Post, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AffixPosition` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Left` and `Right` are never constructed [INFO] [stdout] --> src/syntax/ast.rs:53:5 [INFO] [stdout] | [INFO] [stdout] 52 | pub enum Associativity { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 53 | Left, [INFO] [stdout] | ^^^^ [INFO] [stdout] 54 | Right, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Associativity` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `new` and `new_typed` are never used [INFO] [stdout] --> src/syntax/ast.rs:64:12 [INFO] [stdout] | [INFO] [stdout] 63 | impl TypeParam { [INFO] [stdout] | -------------- associated functions in this implementation [INFO] [stdout] 64 | pub fn new(name: String) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 71 | pub fn new_typed(name: String, type_expr: Expression) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `new` and `new_typed` are never used [INFO] [stdout] --> src/syntax/ast.rs:86:12 [INFO] [stdout] | [INFO] [stdout] 85 | impl Param { [INFO] [stdout] | ---------- associated functions in this implementation [INFO] [stdout] 86 | pub fn new(name: String) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 93 | pub fn new_typed(name: String, type_expr: Expression) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `add_type_param`, `add_param`, `set_params`, and `set_type_params` are never used [INFO] [stdout] --> src/syntax/ast.rs:113:12 [INFO] [stdout] | [INFO] [stdout] 112 | impl ParamList { [INFO] [stdout] | -------------- associated items in this implementation [INFO] [stdout] 113 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 120 | pub fn add_type_param(self, type_param: TypeParam) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 130 | pub fn add_param(self, param: Param) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 140 | pub fn set_params(self, params: Vec) -> Self { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 147 | pub fn set_type_params(self, type_params: Vec) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `PestParser` is never constructed [INFO] [stdout] --> src/syntax/pest_parser.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 15 | pub struct PestParser<'a> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/syntax/pest_parser.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 19 | impl<'a> PestParser<'a> { [INFO] [stdout] | ----------------------- associated items in this implementation [INFO] [stdout] 20 | fn build_ast_from_expr(&self, pair: &Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 25 | fn pratt( [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 38 | fn pratt_loop( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 80 | fn get_op_metadata(&self, pair: Pair) -> OperatorMetadata { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 100 | fn build_primary_expr(&self, pair: Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 155 | fn extract_operator(&self, pair: Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 170 | fn build_let_expr( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 193 | fn build_lambda_expr( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 227 | fn build_return_type_expr(&self, type_expr: Pair) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 236 | fn build_type_params(&self, type_params_opt: Option>) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 247 | fn build_type_param(&self, pair: Pair) -> TypeParam { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 265 | fn build_param(&self, pair: Pair) -> Param { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 283 | fn build_application_expr(&self, identifier: Pair, call: Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 295 | fn build_arg_list(&self, call: Pair) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 304 | fn build_arg(&self, pair: Pair) -> Expression { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 313 | pub fn parse_expr(&self, input: &str) -> Result, Error> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 325 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 331 | pub fn new_with_operator_metadata( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Inference` is never used [INFO] [stdout] --> src/typesystem/inference.rs:4:10 [INFO] [stdout] | [INFO] [stdout] 4 | pub enum Inference { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `into_tuple` is never used [INFO] [stdout] --> src/typesystem/inference.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 9 | impl Inference { [INFO] [stdout] | -------------- method in this implementation [INFO] [stdout] 10 | pub fn into_tuple(self) -> (Type, Substitution) { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `from_iter`, and `compose` are never used [INFO] [stdout] --> src/typesystem/substitution.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 9 | impl Substitution { [INFO] [stdout] | ----------------- associated items in this implementation [INFO] [stdout] 10 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 16 | pub fn from_iter>(it: I) -> Self { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 35 | pub fn compose(&self, other: &Substitution) -> Self { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Primitive`, `TypeVar`, `Bottom`, and `Function` are never constructed [INFO] [stdout] --> src/typesystem/type.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 6 | pub enum Type { [INFO] [stdout] | ---- variants in this enum [INFO] [stdout] 7 | Primitive(PrimitiveType), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 8 | TypeVar(String), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 9 | Bottom, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 10 | Function(Box, Box), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Type` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Numeric`, `Int`, `String`, `Bool`, and `Star` are never constructed [INFO] [stdout] --> src/typesystem/type.rs:54:5 [INFO] [stdout] | [INFO] [stdout] 53 | pub enum PrimitiveType { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 54 | Numeric, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 55 | Int, [INFO] [stdout] | ^^^ [INFO] [stdout] 56 | String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 57 | Bool, [INFO] [stdout] | ^^^^ [INFO] [stdout] 58 | Star, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PrimitiveType` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `from_type` and `add_type_vars` are never used [INFO] [stdout] --> src/typesystem/type.rs:68:12 [INFO] [stdout] | [INFO] [stdout] 67 | impl TypeScheme { [INFO] [stdout] | --------------- associated items in this implementation [INFO] [stdout] 68 | pub fn from_type(tpe: Type) -> TypeScheme { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 75 | pub fn add_type_vars(&mut self, type_vars: &mut Vec) -> () { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `add_type_alias`, `add_type_binding`, `add_binding`, and `remove_binding` are never used [INFO] [stdout] --> src/typesystem/type_environment.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 12 | impl TypeEnvironment { [INFO] [stdout] | -------------------- associated items in this implementation [INFO] [stdout] 13 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 20 | pub fn add_type_alias(&mut self, name: String, tpe: Type) -> () { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 24 | pub fn add_type_binding(&mut self, name: String, tpe: Type) -> () { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn add_binding(&mut self, name: String, tpe: TypeScheme) -> () { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 32 | pub fn remove_binding(&mut self, name: &str) -> () { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `UnificationError`, `IsFreeTypeVariableError`, and `TypeNotInContextError` are never constructed [INFO] [stdout] --> src/typesystem/type_error.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 8 | pub enum TypeError { [INFO] [stdout] | --------- variants in this enum [INFO] [stdout] 9 | UnificationError(Type, Type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 10 | IsFreeTypeVariableError(String, Type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 11 | TypeNotInContextError(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeError` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `into_error_report` is never used [INFO] [stdout] --> src/typesystem/type_error.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 14 | impl TypeError { [INFO] [stdout] | -------------- method in this implementation [INFO] [stdout] 15 | pub fn into_error_report(self) -> TypeErrorReport { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `add_error`, `add_context`, and `get_errors` are never used [INFO] [stdout] --> src/typesystem/type_error.rs:45:12 [INFO] [stdout] | [INFO] [stdout] 44 | impl TypeErrorReport { [INFO] [stdout] | -------------------- associated items in this implementation [INFO] [stdout] 45 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn add_error(&mut self, type_error: TypeError) -> () { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 57 | pub fn add_context(&mut self, ast: Expression, env: TypeEnvironment) -> () { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 62 | pub fn get_errors(&self) -> &Vec { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `InferenceResult` is never used [INFO] [stdout] --> src/typesystem/typer.rs:11:6 [INFO] [stdout] | [INFO] [stdout] 11 | type InferenceResult = Result; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Typer` is never constructed [INFO] [stdout] --> src/typesystem/typer.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 13 | struct Typer { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/typesystem/typer.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 18 | impl Typer { [INFO] [stdout] | ---------- associated items in this implementation [INFO] [stdout] 19 | pub fn new(builtins: TypeEnvironment) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 26 | pub fn infer_and_panic(&self, expression: Expression, env: TypeEnvironment) -> Type { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 32 | pub fn infer( [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | fn ti(&self, expression: Expression, env: TypeEnvironment) -> InferenceResult { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 127 | fn unify(&self, tpe1: Type, tpe2: Type) -> Result { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 145 | fn are_types_isomorphic(&self, tpe1: Type, tpe2: Type) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 153 | fn instantiate(&self, scheme: TypeScheme) -> Type { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 166 | fn new_type_var(&self, prefix: String) -> Type { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 173 | fn unify_bind_type_var( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 191 | fn eval_type_expr( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 218 | fn get_builtin_type(&self, name: &str) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 223 | fn collect_param_env( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:21:13 [INFO] [stdout] | [INFO] [stdout] 19 | pub fn infix_operation(operator: Expression, lhs: Expression, rhs: Expression) -> Expression { [INFO] [stdout] | -------------------- --------------- --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 20 | Expression::Application( [INFO] [stdout] 21 | Box::new(operator), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:22:13 [INFO] [stdout] | [INFO] [stdout] 19 | pub fn infix_operation(operator: Expression, lhs: Expression, rhs: Expression) -> Expression { [INFO] [stdout] | -------------------- --------------- --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22 | / ArgList { [INFO] [stdout] 23 | | args: vec![lhs, rhs], [INFO] [stdout] 24 | | }, [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:29:33 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn prefix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | -------------------- --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 29 | Expression::Application(Box::new(operator), ArgList { args: vec![arg] }) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:29:53 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn prefix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | -------------------- --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 29 | Expression::Application(Box::new(operator), ArgList { args: vec![arg] }) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:33:33 [INFO] [stdout] | [INFO] [stdout] 32 | pub fn postfix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | -------------------- --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 33 | Expression::Application(Box::new(operator), ArgList { args: vec![arg] }) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:33:53 [INFO] [stdout] | [INFO] [stdout] 32 | pub fn postfix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | -------------------- --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 33 | Expression::Application(Box::new(operator), ArgList { args: vec![arg] }) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:74:24 [INFO] [stdout] | [INFO] [stdout] 71 | pub fn new_typed(name: String, type_expr: Expression) -> Self { [INFO] [stdout] | --------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 74 | type_expr: Some(type_expr), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:96:24 [INFO] [stdout] | [INFO] [stdout] 93 | pub fn new_typed(name: String, type_expr: Expression) -> Self { [INFO] [stdout] | --------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 96 | type_expr: Some(type_expr), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:126:21 [INFO] [stdout] | [INFO] [stdout] 120 | pub fn add_type_param(self, type_param: TypeParam) -> Self { [INFO] [stdout] | ---- --------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 121 | let mut type_params = self.type_params.clone(); [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 126 | params: self.params.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:135:26 [INFO] [stdout] | [INFO] [stdout] 130 | pub fn add_param(self, param: Param) -> Self { [INFO] [stdout] | ---- ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 131 | let mut params = self.params.clone(); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 135 | type_params: self.type_params.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:142:26 [INFO] [stdout] | [INFO] [stdout] 140 | pub fn set_params(self, params: Vec) -> Self { [INFO] [stdout] | ---- ------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 141 | Self { [INFO] [stdout] 142 | type_params: self.type_params.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:150:21 [INFO] [stdout] | [INFO] [stdout] 147 | pub fn set_type_params(self, type_params: Vec) -> Self { [INFO] [stdout] | ---- --------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 150 | params: self.params.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/substitution.rs:18:27 [INFO] [stdout] | [INFO] [stdout] 16 | pub fn from_iter>(it: I) -> Self { [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 17 | Self { [INFO] [stdout] 18 | type_var_map: HashMap::from_iter(it), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/substitution.rs:44:27 [INFO] [stdout] | [INFO] [stdout] 36 | let new_type_var_map: HashMap = other [INFO] [stdout] | ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 44 | type_var_map: self [INFO] [stdout] | ___________________________^ [INFO] [stdout] 45 | | .type_var_map [INFO] [stdout] 46 | | .clone() [INFO] [stdout] 47 | | .into_iter() [INFO] [stdout] 48 | | .chain(new_type_var_map) [INFO] [stdout] 49 | | .collect(), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/substitution.rs:40:39 [INFO] [stdout] | [INFO] [stdout] 40 | .map(|(k, v)| (k.clone(), v.apply_substitution(other))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/type_environment.rs:53:22 [INFO] [stdout] | [INFO] [stdout] 46 | let new_bindings = self [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 53 | aliases: self.aliases.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/type_environment.rs:49:39 [INFO] [stdout] | [INFO] [stdout] 49 | .map(|(k, v)| (k.clone(), v.apply_substitution(substitution))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:27:15 [INFO] [stdout] | [INFO] [stdout] 26 | pub fn infer_and_panic(&self, expression: Expression, env: TypeEnvironment) -> Type { [INFO] [stdout] | ---------------------- -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 27 | match Typer::infer(self, expression, env) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:38:12 [INFO] [stdout] | [INFO] [stdout] 34 | expression: Expression, [INFO] [stdout] | ---------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 35 | env: TypeEnvironment, [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 36 | ) -> Result { [INFO] [stdout] 37 | let (tpe, subst) = Typer::ti(self, expression, env)?.into_tuple(); [INFO] [stdout] | --- ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 38 | Ok(tpe.apply_substitution(&subst)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:44:15 [INFO] [stdout] | [INFO] [stdout] 42 | fn ti(&self, expression: Expression, env: TypeEnvironment) -> InferenceResult { [INFO] [stdout] | ---------------------- -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 43 | let expr_clone = expression.clone(); [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 44 | match expression.clone() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:83:29 [INFO] [stdout] | [INFO] [stdout] 81 | param_types.iter().fold(return_type, |acc, tpe| { [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 82 | Type::Function( [INFO] [stdout] 83 | Box::new(tpe.apply_substitution(&substitution).clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:84:29 [INFO] [stdout] | [INFO] [stdout] 81 | param_types.iter().fold(return_type, |acc, tpe| { [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 84 | Box::new(acc.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:117:28 [INFO] [stdout] | [INFO] [stdout] 95 | |acc, next_arg_expr| { [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 96 | let (acc_tpe, acc_subst) = acc?.into_tuple(); [INFO] [stdout] | ------- --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 97 | let ret_tpe = Typer::new_type_var(self, "return".to_string()); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 98 | [INFO] [stdout] 99 | let (arg_tpe, arg_subst) = Typer::ti( [INFO] [stdout] | ------- --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 106 | let subst = Typer::unify( [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 117 | Ok(Inference::Partial( [INFO] [stdout] | ____________________________^ [INFO] [stdout] 118 | | ret_tpe.clone().apply_substitution(&subst), [INFO] [stdout] 119 | | subst.compose(&arg_subst).compose(&acc_subst), [INFO] [stdout] 120 | | )) [INFO] [stdout] | | ^ [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | |_________________________these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:128:15 [INFO] [stdout] | [INFO] [stdout] 127 | fn unify(&self, tpe1: Type, tpe2: Type) -> Result { [INFO] [stdout] | ---------- ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 128 | match (tpe1, tpe2) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:146:15 [INFO] [stdout] | [INFO] [stdout] 145 | fn are_types_isomorphic(&self, tpe1: Type, tpe2: Type) -> bool { [INFO] [stdout] | ---------- ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 146 | match self.unify(tpe1.clone(), tpe2.clone()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:233:13 [INFO] [stdout] | [INFO] [stdout] 225 | type_params_list: Vec, [INFO] [stdout] | -------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 226 | params_list: Vec, [INFO] [stdout] | ----------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 227 | env: TypeEnvironment, [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 228 | ) -> (Result, Vec) { [INFO] [stdout] 229 | let param_env = env.clone(); [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 230 | let mut types: Vec = vec![]; [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 233 | / params_list.iter().fold(Ok(param_env), |acc, param| { [INFO] [stdout] 234 | | // let env = acc?; [INFO] [stdout] 235 | | let param_clone = param.clone(); [INFO] [stdout] ... | [INFO] [stdout] 271 | | } [INFO] [stdout] 272 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:244:23 [INFO] [stdout] | [INFO] [stdout] 233 | params_list.iter().fold(Ok(param_env), |acc, param| { [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 234 | // let env = acc?; [INFO] [stdout] 235 | let param_clone = param.clone(); [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 236 | [INFO] [stdout] 237 | let param_type = match param_clone.type_expr { [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 238 | None => Ok(Typer::new_type_var(self, param_clone.name.clone())), [INFO] [stdout] 239 | Some(type_expr) => { [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 244 | match (acc, param_type) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 27 previous errors; 42 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `lang` (bin "lang") due to 28 previous errors; 42 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [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] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:21:13 [INFO] [stdout] | [INFO] [stdout] 19 | pub fn infix_operation(operator: Expression, lhs: Expression, rhs: Expression) -> Expression { [INFO] [stdout] | -------------------- --------------- --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 20 | Expression::Application( [INFO] [stdout] 21 | Box::new(operator), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:22:13 [INFO] [stdout] | [INFO] [stdout] 19 | pub fn infix_operation(operator: Expression, lhs: Expression, rhs: Expression) -> Expression { [INFO] [stdout] | -------------------- --------------- --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 22 | / ArgList { [INFO] [stdout] 23 | | args: vec![lhs, rhs], [INFO] [stdout] 24 | | }, [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:29:33 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn prefix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | -------------------- --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 29 | Expression::Application(Box::new(operator), ArgList { args: vec![arg] }) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:29:53 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn prefix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | -------------------- --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 29 | Expression::Application(Box::new(operator), ArgList { args: vec![arg] }) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:33:33 [INFO] [stdout] | [INFO] [stdout] 32 | pub fn postfix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | -------------------- --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 33 | Expression::Application(Box::new(operator), ArgList { args: vec![arg] }) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:33:53 [INFO] [stdout] | [INFO] [stdout] 32 | pub fn postfix_operation(operator: Expression, arg: Expression) -> Expression { [INFO] [stdout] | -------------------- --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 33 | Expression::Application(Box::new(operator), ArgList { args: vec![arg] }) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:74:24 [INFO] [stdout] | [INFO] [stdout] 71 | pub fn new_typed(name: String, type_expr: Expression) -> Self { [INFO] [stdout] | --------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 74 | type_expr: Some(type_expr), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:96:24 [INFO] [stdout] | [INFO] [stdout] 93 | pub fn new_typed(name: String, type_expr: Expression) -> Self { [INFO] [stdout] | --------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 96 | type_expr: Some(type_expr), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:126:21 [INFO] [stdout] | [INFO] [stdout] 120 | pub fn add_type_param(self, type_param: TypeParam) -> Self { [INFO] [stdout] | ---- --------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 121 | let mut type_params = self.type_params.clone(); [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 126 | params: self.params.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:135:26 [INFO] [stdout] | [INFO] [stdout] 130 | pub fn add_param(self, param: Param) -> Self { [INFO] [stdout] | ---- ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 131 | let mut params = self.params.clone(); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 135 | type_params: self.type_params.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:142:26 [INFO] [stdout] | [INFO] [stdout] 140 | pub fn set_params(self, params: Vec) -> Self { [INFO] [stdout] | ---- ------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 141 | Self { [INFO] [stdout] 142 | type_params: self.type_params.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/syntax/ast.rs:150:21 [INFO] [stdout] | [INFO] [stdout] 147 | pub fn set_type_params(self, type_params: Vec) -> Self { [INFO] [stdout] | ---- --------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 150 | params: self.params.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/substitution.rs:18:27 [INFO] [stdout] | [INFO] [stdout] 16 | pub fn from_iter>(it: I) -> Self { [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 17 | Self { [INFO] [stdout] 18 | type_var_map: HashMap::from_iter(it), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/substitution.rs:44:27 [INFO] [stdout] | [INFO] [stdout] 36 | let new_type_var_map: HashMap = other [INFO] [stdout] | ---------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 44 | type_var_map: self [INFO] [stdout] | ___________________________^ [INFO] [stdout] 45 | | .type_var_map [INFO] [stdout] 46 | | .clone() [INFO] [stdout] 47 | | .into_iter() [INFO] [stdout] 48 | | .chain(new_type_var_map) [INFO] [stdout] 49 | | .collect(), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/substitution.rs:40:39 [INFO] [stdout] | [INFO] [stdout] 40 | .map(|(k, v)| (k.clone(), v.apply_substitution(other))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/type_environment.rs:53:22 [INFO] [stdout] | [INFO] [stdout] 46 | let new_bindings = self [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 53 | aliases: self.aliases.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/type_environment.rs:49:39 [INFO] [stdout] | [INFO] [stdout] 49 | .map(|(k, v)| (k.clone(), v.apply_substitution(substitution))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:27:15 [INFO] [stdout] | [INFO] [stdout] 26 | pub fn infer_and_panic(&self, expression: Expression, env: TypeEnvironment) -> Type { [INFO] [stdout] | ---------------------- -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 27 | match Typer::infer(self, expression, env) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:38:12 [INFO] [stdout] | [INFO] [stdout] 34 | expression: Expression, [INFO] [stdout] | ---------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 35 | env: TypeEnvironment, [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 36 | ) -> Result { [INFO] [stdout] 37 | let (tpe, subst) = Typer::ti(self, expression, env)?.into_tuple(); [INFO] [stdout] | --- ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 38 | Ok(tpe.apply_substitution(&subst)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:44:15 [INFO] [stdout] | [INFO] [stdout] 42 | fn ti(&self, expression: Expression, env: TypeEnvironment) -> InferenceResult { [INFO] [stdout] | ---------------------- -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 43 | let expr_clone = expression.clone(); [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 44 | match expression.clone() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:83:29 [INFO] [stdout] | [INFO] [stdout] 81 | param_types.iter().fold(return_type, |acc, tpe| { [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 82 | Type::Function( [INFO] [stdout] 83 | Box::new(tpe.apply_substitution(&substitution).clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:84:29 [INFO] [stdout] | [INFO] [stdout] 81 | param_types.iter().fold(return_type, |acc, tpe| { [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 84 | Box::new(acc.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:117:28 [INFO] [stdout] | [INFO] [stdout] 95 | |acc, next_arg_expr| { [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 96 | let (acc_tpe, acc_subst) = acc?.into_tuple(); [INFO] [stdout] | ------- --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 97 | let ret_tpe = Typer::new_type_var(self, "return".to_string()); [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 98 | [INFO] [stdout] 99 | let (arg_tpe, arg_subst) = Typer::ti( [INFO] [stdout] | ------- --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 106 | let subst = Typer::unify( [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 117 | Ok(Inference::Partial( [INFO] [stdout] | ____________________________^ [INFO] [stdout] 118 | | ret_tpe.clone().apply_substitution(&subst), [INFO] [stdout] 119 | | subst.compose(&arg_subst).compose(&acc_subst), [INFO] [stdout] 120 | | )) [INFO] [stdout] | | ^ [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | |_________________________these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:128:15 [INFO] [stdout] | [INFO] [stdout] 127 | fn unify(&self, tpe1: Type, tpe2: Type) -> Result { [INFO] [stdout] | ---------- ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 128 | match (tpe1, tpe2) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:146:15 [INFO] [stdout] | [INFO] [stdout] 145 | fn are_types_isomorphic(&self, tpe1: Type, tpe2: Type) -> bool { [INFO] [stdout] | ---------- ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 146 | match self.unify(tpe1.clone(), tpe2.clone()) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:233:13 [INFO] [stdout] | [INFO] [stdout] 225 | type_params_list: Vec, [INFO] [stdout] | -------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 226 | params_list: Vec, [INFO] [stdout] | ----------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 227 | env: TypeEnvironment, [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 228 | ) -> (Result, Vec) { [INFO] [stdout] 229 | let param_env = env.clone(); [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 230 | let mut types: Vec = vec![]; [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 233 | / params_list.iter().fold(Ok(param_env), |acc, param| { [INFO] [stdout] 234 | | // let env = acc?; [INFO] [stdout] 235 | | let param_clone = param.clone(); [INFO] [stdout] ... | [INFO] [stdout] 271 | | } [INFO] [stdout] 272 | | }), [INFO] [stdout] | |______________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:244:23 [INFO] [stdout] | [INFO] [stdout] 233 | params_list.iter().fold(Ok(param_env), |acc, param| { [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 234 | // let env = acc?; [INFO] [stdout] 235 | let param_clone = param.clone(); [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 236 | [INFO] [stdout] 237 | let param_type = match param_clone.type_expr { [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 238 | None => Ok(Typer::new_type_var(self, param_clone.name.clone())), [INFO] [stdout] 239 | Some(type_expr) => { [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 244 | match (acc, param_type) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:297:13 [INFO] [stdout] | [INFO] [stdout] 293 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 294 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 297 | typer.infer_and_panic(int_lit!(1), env.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:298:13 [INFO] [stdout] | [INFO] [stdout] 293 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 294 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 298 | Type::Primitive(PrimitiveType::Numeric) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:308:13 [INFO] [stdout] | [INFO] [stdout] 304 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 305 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 308 | typer.infer_and_panic(string_lit!("Hello"), env.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:309:13 [INFO] [stdout] | [INFO] [stdout] 304 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 305 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 309 | Type::Primitive(PrimitiveType::String) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:319:13 [INFO] [stdout] | [INFO] [stdout] 315 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 316 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 319 | typer.infer_and_panic(bool_lit!(true), env.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:320:13 [INFO] [stdout] | [INFO] [stdout] 315 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 316 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 320 | Type::Primitive(PrimitiveType::Bool) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:332:13 [INFO] [stdout] | [INFO] [stdout] 326 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 327 | [INFO] [stdout] 328 | let mut env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 332 | typer.infer_and_panic(named! { "x" }, env.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:333:13 [INFO] [stdout] | [INFO] [stdout] 326 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 327 | [INFO] [stdout] 328 | let mut env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 333 | Type::Primitive(PrimitiveType::Int) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:345:13 [INFO] [stdout] | [INFO] [stdout] 339 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 340 | [INFO] [stdout] 341 | let mut env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 345 | typer.infer_and_panic(named! { "X" }, env.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:346:13 [INFO] [stdout] | [INFO] [stdout] 339 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 340 | [INFO] [stdout] 341 | let mut env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 346 | Type::Primitive(PrimitiveType::Star) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:356:13 [INFO] [stdout] | [INFO] [stdout] 352 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 353 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [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] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:357:13 [INFO] [stdout] | [INFO] [stdout] 352 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 353 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 357 | Type::Primitive(PrimitiveType::Numeric) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:379:13 [INFO] [stdout] | [INFO] [stdout] 363 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 364 | let mut builtins = TypeEnvironment::new(); [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 377 | let typer = Typer::new(builtins); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 378 | assert_eq!( [INFO] [stdout] 379 | typer.infer_and_panic(infix! { "+", int_lit!(3), int_lit!(4) }, env), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:380:13 [INFO] [stdout] | [INFO] [stdout] 363 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 364 | let mut builtins = TypeEnvironment::new(); [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 377 | let typer = Typer::new(builtins); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 380 | Type::Primitive(PrimitiveType::Numeric) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:409:13 [INFO] [stdout] | [INFO] [stdout] 405 | let typer = setup_typer_for_lambda_tests(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 406 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 409 | / typer.infer_and_panic( [INFO] [stdout] 410 | | lambda! { "identity", { param!("x": named!("int")) } -> named!("int"), body: named!("x") }, [INFO] [stdout] 411 | | env.clone() [INFO] [stdout] 412 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:413:13 [INFO] [stdout] | [INFO] [stdout] 405 | let typer = setup_typer_for_lambda_tests(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 406 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 413 | / Type::Function( [INFO] [stdout] 414 | | Box::new(Type::Primitive(PrimitiveType::Int)), [INFO] [stdout] 415 | | Box::new(Type::Primitive(PrimitiveType::Int)) [INFO] [stdout] 416 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:443:13 [INFO] [stdout] | [INFO] [stdout] 439 | let typer = setup_typer_for_lambda_tests(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 440 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 443 | / typer.infer( [INFO] [stdout] 444 | | lambda! { "identity", { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] 445 | | env.clone() [INFO] [stdout] 446 | | ) [INFO] [stdout] 447 | | .unwrap_err() [INFO] [stdout] | |_____________________________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:462:13 [INFO] [stdout] | [INFO] [stdout] 458 | let typer = setup_typer_for_lambda_tests(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 459 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 462 | / typer.infer_and_panic( [INFO] [stdout] 463 | | lambda! { "identity", types: type_param!("a"), { param!("x": named!("a")) } -> named!("a"), body: named!("x") }, [INFO] [stdout] 464 | | env.clone() [INFO] [stdout] 465 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:466:13 [INFO] [stdout] | [INFO] [stdout] 458 | let typer = setup_typer_for_lambda_tests(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 459 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 466 | / Type::Function( [INFO] [stdout] 467 | | Box::new(Type::TypeVar("a".to_string())), [INFO] [stdout] 468 | | Box::new(Type::TypeVar("a".to_string())) [INFO] [stdout] 469 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:479:13 [INFO] [stdout] | [INFO] [stdout] 475 | let typer = setup_typer_for_lambda_tests(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 476 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 479 | / typer.infer_and_panic( [INFO] [stdout] 480 | | lambda! { "const", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("int"), body: named!("x") }, [INFO] [stdout] 481 | | env.clone() [INFO] [stdout] 482 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:483:13 [INFO] [stdout] | [INFO] [stdout] 475 | let typer = setup_typer_for_lambda_tests(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 476 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 483 | / Type::Function( [INFO] [stdout] 484 | | Box::new(Type::Primitive(PrimitiveType::Int)), [INFO] [stdout] 485 | | Box::new(Type::Function( [INFO] [stdout] 486 | | Box::new(Type::Primitive(PrimitiveType::Int)), [INFO] [stdout] 487 | | Box::new(Type::Primitive(PrimitiveType::Int)) [INFO] [stdout] 488 | | )) [INFO] [stdout] 489 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:499:13 [INFO] [stdout] | [INFO] [stdout] 495 | ... let typer = setup_typer_for_lambda_tests(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 496 | ... let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 499 | / ... typer.infer_and_panic( [INFO] [stdout] 500 | | ... lambda! { "isEqual", {param!("x": named!("int")); param!("y": named!("int"))} -> named!("bool"), body: infix!("==", named!(... [INFO] [stdout] 501 | | ... env.clone() [INFO] [stdout] 502 | | ... ), [INFO] [stdout] | |___________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:503:13 [INFO] [stdout] | [INFO] [stdout] 495 | let typer = setup_typer_for_lambda_tests(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 496 | let env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 503 | / Type::Function( [INFO] [stdout] 504 | | Box::new(Type::Primitive(PrimitiveType::Int)), [INFO] [stdout] 505 | | Box::new(Type::Function( [INFO] [stdout] 506 | | Box::new(Type::Primitive(PrimitiveType::Int)), [INFO] [stdout] 507 | | Box::new(Type::Primitive(PrimitiveType::Bool)) [INFO] [stdout] 508 | | )) [INFO] [stdout] 509 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:530:17 [INFO] [stdout] | [INFO] [stdout] 515 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 516 | [INFO] [stdout] 517 | let mut env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 530 | / typer.infer_and_panic( [INFO] [stdout] 531 | | application! { named!("combine"), { string_lit!("Hello, "), string_lit!("World!") } }, [INFO] [stdout] 532 | | env.clone() [INFO] [stdout] 533 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:534:17 [INFO] [stdout] | [INFO] [stdout] 515 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 516 | [INFO] [stdout] 517 | let mut env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 534 | Type::Primitive(PrimitiveType::String) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:552:13 [INFO] [stdout] | [INFO] [stdout] 540 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 541 | [INFO] [stdout] 542 | let mut env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 552 | / typer.infer_and_panic( [INFO] [stdout] 553 | | application! { named!("identity"), { string_lit!("hello") } }, [INFO] [stdout] 554 | | env.clone() [INFO] [stdout] 555 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:556:13 [INFO] [stdout] | [INFO] [stdout] 540 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 541 | [INFO] [stdout] 542 | let mut env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 556 | Type::Primitive(PrimitiveType::String) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:586:13 [INFO] [stdout] | [INFO] [stdout] 562 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 563 | [INFO] [stdout] 564 | let mut env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 586 | / typer.infer_and_panic( [INFO] [stdout] 587 | | application! { named!("combine"), { named!("identity") } }, [INFO] [stdout] 588 | | env.clone() [INFO] [stdout] 589 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:590:13 [INFO] [stdout] | [INFO] [stdout] 562 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 563 | [INFO] [stdout] 564 | let mut env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 590 | / Type::Function( [INFO] [stdout] 591 | | Box::new(Type::Function( [INFO] [stdout] 592 | | Box::new(Type::TypeVar("a".to_string())), [INFO] [stdout] 593 | | Box::new(Type::TypeVar("a".to_string())) [INFO] [stdout] ... | [INFO] [stdout] 598 | | )) [INFO] [stdout] 599 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:620:13 [INFO] [stdout] | [INFO] [stdout] 605 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 606 | [INFO] [stdout] 607 | let mut env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 620 | / typer [INFO] [stdout] 621 | | .infer( [INFO] [stdout] 622 | | application! { named!("combine"), { int_lit!(3), int_lit!(2) } }, [INFO] [stdout] 623 | | env.clone() [INFO] [stdout] 624 | | ) [INFO] [stdout] 625 | | .unwrap_err() [INFO] [stdout] | |_____________________________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/typesystem/typer.rs:651:13 [INFO] [stdout] | [INFO] [stdout] 636 | let typer = setup_typer(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 637 | [INFO] [stdout] 638 | let mut env = TypeEnvironment::new(); [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 651 | / typer.infer( [INFO] [stdout] 652 | | application! { named!("combine3"), { string_lit!("hello"), string_lit!("hello") } }, [INFO] [stdout] 653 | | env.clone() [INFO] [stdout] 654 | | ) [INFO] [stdout] 655 | | .unwrap_err() [INFO] [stdout] | |_____________________________^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 58 previous errors; 37 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `lang` (bin "lang" test) due to 59 previous errors; 37 warnings emitted [INFO] running `Command { std: "docker" "inspect" "13afde8000d2b8fb2c9c4bf9008f89cd7d31eaf7f2943ae0293c87c00d177b27", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "13afde8000d2b8fb2c9c4bf9008f89cd7d31eaf7f2943ae0293c87c00d177b27", kill_on_drop: false }` [INFO] [stdout] 13afde8000d2b8fb2c9c4bf9008f89cd7d31eaf7f2943ae0293c87c00d177b27