[INFO] cloning repository https://github.com/yportne13/anqur-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/yportne13/anqur-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Fanqur-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Fanqur-rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 446903eb032eb7f6169c2c497406891446254bad [INFO] checking yportne13/anqur-rs against master#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Fanqur-rs" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/yportne13/anqur-rs 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] started tweaking git repo https://github.com/yportne13/anqur-rs [INFO] finished tweaking git repo https://github.com/yportne13/anqur-rs [INFO] tweaked toml for git repo https://github.com/yportne13/anqur-rs written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/yportne13/anqur-rs 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] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded bytecount v0.6.7 [INFO] [stderr] Downloaded nom-greedyerror v0.5.0 [INFO] [stderr] Downloaded str-concat v0.2.0 [INFO] [stderr] Downloaded nom_locate v4.2.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] 465ae86eccbc2c6c35c6a8f7c54646e1f318b9059a19e31fcf1d32b4ae1719cd [INFO] running `Command { std: "docker" "start" "-a" "465ae86eccbc2c6c35c6a8f7c54646e1f318b9059a19e31fcf1d32b4ae1719cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "465ae86eccbc2c6c35c6a8f7c54646e1f318b9059a19e31fcf1d32b4ae1719cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "465ae86eccbc2c6c35c6a8f7c54646e1f318b9059a19e31fcf1d32b4ae1719cd", kill_on_drop: false }` [INFO] [stdout] 465ae86eccbc2c6c35c6a8f7c54646e1f318b9059a19e31fcf1d32b4ae1719cd [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] 8fbc7d41a318d8c0181c3f631b4de81c6c70aa6a707c5001add49ae704976176 [INFO] running `Command { std: "docker" "start" "-a" "8fbc7d41a318d8c0181c3f631b4de81c6c70aa6a707c5001add49ae704976176", kill_on_drop: false }` [INFO] [stderr] Compiling memchr v2.3.4 [INFO] [stderr] Checking bytecount v0.6.7 [INFO] [stderr] Checking str-concat v0.2.0 [INFO] [stderr] Checking colored v2.1.0 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Checking nom_locate v4.2.0 [INFO] [stderr] Checking nom-greedyerror v0.5.0 [INFO] [stderr] Checking anqur-rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `Expr` and `Param` [INFO] [stdout] --> src/syntax/def.rs:1:26 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::parser::ast::{Param, Expr, Clause}; [INFO] [stdout] | ^^^^^ ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::parser::ast::Id` [INFO] [stdout] --> src/syntax/defvar.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::parser::ast::Id; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Expr` and `Param` [INFO] [stdout] --> src/tyck/classifier.rs:1:27 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{parser::ast::{Param, Clause, Expr}, syntax::term::{Term, ParamTerm}, Diagnostic}; [INFO] [stdout] | ^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/tyck/resolver.rs:154:12 [INFO] [stdout] | [INFO] [stdout] 154 | if (var.is_none() && u.pats().is_empty()) { [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 154 - if (var.is_none() && u.pats().is_empty()) { [INFO] [stdout] 154 + if var.is_none() && u.pats().is_empty() { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> src/locally_nameless.rs:4:33 [INFO] [stdout] | [INFO] [stdout] 4 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Expr` and `Param` [INFO] [stdout] --> src/syntax/def.rs:1:26 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::parser::ast::{Param, Expr, Clause}; [INFO] [stdout] | ^^^^^ ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::parser::ast::Id` [INFO] [stdout] --> src/syntax/defvar.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::parser::ast::Id; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Expr` and `Param` [INFO] [stdout] --> src/tyck/classifier.rs:1:27 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{parser::ast::{Param, Clause, Expr}, syntax::term::{Term, ParamTerm}, Diagnostic}; [INFO] [stdout] | ^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/tyck/resolver.rs:154:12 [INFO] [stdout] | [INFO] [stdout] 154 | if (var.is_none() && u.pats().is_empty()) { [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 154 - if (var.is_none() && u.pats().is_empty()) { [INFO] [stdout] 154 + if var.is_none() && u.pats().is_empty() { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> src/locally_nameless.rs:4:33 [INFO] [stdout] | [INFO] [stdout] 4 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::hash::Hash` [INFO] [stdout] --> src/locally_nameless.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::hash::Hash` [INFO] [stdout] --> src/locally_nameless.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fun` [INFO] [stdout] --> src/syntax/term.rs:89:28 [INFO] [stdout] | [INFO] [stdout] 89 | Term::FnCall { fun, args } => todo!(), [INFO] [stdout] | ^^^ help: try ignoring the field: `fun: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/syntax/term.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | Term::FnCall { fun, args } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fun` [INFO] [stdout] --> src/syntax/term.rs:90:30 [INFO] [stdout] | [INFO] [stdout] 90 | Term::DataCall { fun, args } => todo!(), [INFO] [stdout] | ^^^ help: try ignoring the field: `fun: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/syntax/term.rs:90:35 [INFO] [stdout] | [INFO] [stdout] 90 | Term::DataCall { fun, args } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fun` [INFO] [stdout] --> src/syntax/term.rs:91:29 [INFO] [stdout] | [INFO] [stdout] 91 | Term::ConCall { fun, args } => todo!(), [INFO] [stdout] | ^^^ help: try ignoring the field: `fun: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/syntax/term.rs:91:34 [INFO] [stdout] | [INFO] [stdout] 91 | Term::ConCall { fun, args } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `is_app` [INFO] [stdout] --> src/syntax/term.rs:92:25 [INFO] [stdout] | [INFO] [stdout] 92 | Term::Two { is_app, f, a } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `is_app: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/syntax/term.rs:92:33 [INFO] [stdout] | [INFO] [stdout] 92 | Term::Two { is_app, f, a } => todo!(), [INFO] [stdout] | ^ help: try ignoring the field: `f: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> src/syntax/term.rs:92:36 [INFO] [stdout] | [INFO] [stdout] 92 | Term::Two { is_app, f, a } => todo!(), [INFO] [stdout] | ^ help: try ignoring the field: `a: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/syntax/term.rs:93:26 [INFO] [stdout] | [INFO] [stdout] 93 | Term::Proj { t, is_one } => todo!(), [INFO] [stdout] | ^ help: try ignoring the field: `t: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `is_one` [INFO] [stdout] --> src/syntax/term.rs:93:29 [INFO] [stdout] | [INFO] [stdout] 93 | Term::Proj { t, is_one } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `is_one: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `clauses` [INFO] [stdout] --> src/tyck/classifier.rs:6:17 [INFO] [stdout] | [INFO] [stdout] 6 | pub fn classify(clauses: &[Clause], telescope: &[ParamTerm]) -> Result<(), Diagnostic> { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clauses` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/tyck/classifier.rs:6:43 [INFO] [stdout] | [INFO] [stdout] 6 | pub fn classify(clauses: &[Clause], telescope: &[ParamTerm]) -> Result<(), Diagnostic> { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_telescope` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/tyck/elaborator.rs:162:37 [INFO] [stdout] | [INFO] [stdout] 162 | Def::Data { name, telescope, cons } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/tyck/elaborator.rs:162:43 [INFO] [stdout] | [INFO] [stdout] 162 | Def::Data { name, telescope, cons } => todo!(), [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `telescope: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cons` [INFO] [stdout] --> src/tyck/elaborator.rs:162:54 [INFO] [stdout] | [INFO] [stdout] 162 | Def::Data { name, telescope, cons } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `cons: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/tyck/elaborator.rs:163:37 [INFO] [stdout] | [INFO] [stdout] 163 | Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `owner` [INFO] [stdout] --> src/tyck/elaborator.rs:163:43 [INFO] [stdout] | [INFO] [stdout] 163 | Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `owner: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tele` [INFO] [stdout] --> src/tyck/elaborator.rs:163:50 [INFO] [stdout] | [INFO] [stdout] 163 | Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `tele: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fun` [INFO] [stdout] --> src/syntax/term.rs:89:28 [INFO] [stdout] | [INFO] [stdout] 89 | Term::FnCall { fun, args } => todo!(), [INFO] [stdout] | ^^^ help: try ignoring the field: `fun: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/syntax/term.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | Term::FnCall { fun, args } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fun` [INFO] [stdout] --> src/syntax/term.rs:90:30 [INFO] [stdout] | [INFO] [stdout] 90 | Term::DataCall { fun, args } => todo!(), [INFO] [stdout] | ^^^ help: try ignoring the field: `fun: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/syntax/term.rs:90:35 [INFO] [stdout] | [INFO] [stdout] 90 | Term::DataCall { fun, args } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fun` [INFO] [stdout] --> src/syntax/term.rs:91:29 [INFO] [stdout] | [INFO] [stdout] 91 | Term::ConCall { fun, args } => todo!(), [INFO] [stdout] | ^^^ help: try ignoring the field: `fun: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/syntax/term.rs:91:34 [INFO] [stdout] | [INFO] [stdout] 91 | Term::ConCall { fun, args } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `is_app` [INFO] [stdout] --> src/syntax/term.rs:92:25 [INFO] [stdout] | [INFO] [stdout] 92 | Term::Two { is_app, f, a } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `is_app: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/syntax/term.rs:92:33 [INFO] [stdout] | [INFO] [stdout] 92 | Term::Two { is_app, f, a } => todo!(), [INFO] [stdout] | ^ help: try ignoring the field: `f: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> src/syntax/term.rs:92:36 [INFO] [stdout] | [INFO] [stdout] 92 | Term::Two { is_app, f, a } => todo!(), [INFO] [stdout] | ^ help: try ignoring the field: `a: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/syntax/term.rs:93:26 [INFO] [stdout] | [INFO] [stdout] 93 | Term::Proj { t, is_one } => todo!(), [INFO] [stdout] | ^ help: try ignoring the field: `t: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `is_one` [INFO] [stdout] --> src/syntax/term.rs:93:29 [INFO] [stdout] | [INFO] [stdout] 93 | Term::Proj { t, is_one } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `is_one: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `clauses` [INFO] [stdout] --> src/tyck/classifier.rs:6:17 [INFO] [stdout] | [INFO] [stdout] 6 | pub fn classify(clauses: &[Clause], telescope: &[ParamTerm]) -> Result<(), Diagnostic> { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clauses` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/tyck/classifier.rs:6:43 [INFO] [stdout] | [INFO] [stdout] 6 | pub fn classify(clauses: &[Clause], telescope: &[ParamTerm]) -> Result<(), Diagnostic> { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_telescope` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/tyck/elaborator.rs:162:37 [INFO] [stdout] | [INFO] [stdout] 162 | Def::Data { name, telescope, cons } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/tyck/elaborator.rs:162:43 [INFO] [stdout] | [INFO] [stdout] 162 | Def::Data { name, telescope, cons } => todo!(), [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `telescope: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cons` [INFO] [stdout] --> src/tyck/elaborator.rs:162:54 [INFO] [stdout] | [INFO] [stdout] 162 | Def::Data { name, telescope, cons } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `cons: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/tyck/elaborator.rs:163:37 [INFO] [stdout] | [INFO] [stdout] 163 | Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `owner` [INFO] [stdout] --> src/tyck/elaborator.rs:163:43 [INFO] [stdout] | [INFO] [stdout] 163 | Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `owner: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tele` [INFO] [stdout] --> src/tyck/elaborator.rs:163:50 [INFO] [stdout] | [INFO] [stdout] 163 | Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `tele: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> src/tyck/elaborator.rs:380:14 [INFO] [stdout] | [INFO] [stdout] 380 | for (ty, pat) in params.iter().zip(clause.0.iter()) { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> src/tyck/elaborator.rs:380:14 [INFO] [stdout] | [INFO] [stdout] 380 | for (ty, pat) in params.iter().zip(clause.0.iter()) { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cache` [INFO] [stdout] --> src/tyck/resolver.rs:152:39 [INFO] [stdout] | [INFO] [stdout] 152 | fn pattern(&mut self, u: Pattern, cache: &mut TeleCache) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_cache` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cache` [INFO] [stdout] --> src/tyck/resolver.rs:152:39 [INFO] [stdout] | [INFO] [stdout] 152 | fn pattern(&mut self, u: Pattern, cache: &mut TeleCache) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_cache` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/lib.rs:48:42 [INFO] [stdout] | [INFO] [stdout] 48 | syntax::def::Def::Fn { name, telescope, result: _, body: _ } [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 49 | | syntax::def::Def::Data { name, telescope, cons: _ } => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: try ignoring the field [INFO] [stdout] | [INFO] [stdout] 48 ~ syntax::def::Def::Fn { name, telescope: _, result: _, body: _ } [INFO] [stdout] 49 ~ | syntax::def::Def::Data { name, telescope: _, cons: _ } => { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/lib.rs:52:38 [INFO] [stdout] | [INFO] [stdout] 52 | syntax::def::Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `owner` [INFO] [stdout] --> src/lib.rs:52:44 [INFO] [stdout] | [INFO] [stdout] 52 | syntax::def::Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `owner: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tele` [INFO] [stdout] --> src/lib.rs:52:51 [INFO] [stdout] | [INFO] [stdout] 52 | syntax::def::Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `tele: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/lib.rs:53:39 [INFO] [stdout] | [INFO] [stdout] 53 | syntax::def::Def::Print { telescope, result, body } => { [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `telescope: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> src/lib.rs:53:50 [INFO] [stdout] | [INFO] [stdout] 53 | syntax::def::Def::Print { telescope, result, body } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/lib.rs:53:58 [INFO] [stdout] | [INFO] [stdout] 53 | syntax::def::Def::Print { telescope, result, body } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `main` is never used [INFO] [stdout] --> src/lib.rs:27:4 [INFO] [stdout] | [INFO] [stdout] 27 | fn main() { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run` is never used [INFO] [stdout] --> src/lib.rs:31:4 [INFO] [stdout] | [INFO] [stdout] 31 | fn run(s: &str) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `pattern` is never used [INFO] [stdout] --> src/tyck/resolver.rs:152:8 [INFO] [stdout] | [INFO] [stdout] 30 | impl Resolver { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 152 | fn pattern(&mut self, u: Pattern, cache: &mut TeleCache) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Lam` and `App` are never constructed [INFO] [stdout] --> src/locally_nameless.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 8 | enum Term { [INFO] [stdout] | ---- variants in this enum [INFO] [stdout] 9 | Var(A), [INFO] [stdout] 10 | Lam(A, Box>), [INFO] [stdout] | ^^^ [INFO] [stdout] 11 | App(Box>, Box>), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `app` is never used [INFO] [stdout] --> src/locally_nameless.rs:25:8 [INFO] [stdout] | [INFO] [stdout] 24 | impl Term { [INFO] [stdout] | --------------- method in this implementation [INFO] [stdout] 25 | fn app(self, other: Term) -> Term { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Var` is never used [INFO] [stdout] --> src/locally_nameless.rs:31:6 [INFO] [stdout] | [INFO] [stdout] 31 | enum Var { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `to_locally_nameless` is never used [INFO] [stdout] --> src/locally_nameless.rs:45:4 [INFO] [stdout] | [INFO] [stdout] 45 | fn to_locally_nameless(term: &Term, env: &mut HashMap) -> Term> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `from_locally_nameless` is never used [INFO] [stdout] --> src/locally_nameless.rs:64:4 [INFO] [stdout] | [INFO] [stdout] 64 | fn from_locally_nameless(term: &Term>, env: &mut HashMap) -> Result, String> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `open` is never used [INFO] [stdout] --> src/locally_nameless.rs:93:4 [INFO] [stdout] | [INFO] [stdout] 93 | fn open(image: &Term>, scope: &Term>) -> Term> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `whnf` is never used [INFO] [stdout] --> src/locally_nameless.rs:109:4 [INFO] [stdout] | [INFO] [stdout] 109 | fn whnf(term: &Term>, vec: Vec>>) -> Term> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `full` is never used [INFO] [stdout] --> src/locally_nameless.rs:133:4 [INFO] [stdout] | [INFO] [stdout] 133 | fn full(x: Term) -> Term { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/lib.rs:48:42 [INFO] [stdout] | [INFO] [stdout] 48 | syntax::def::Def::Fn { name, telescope, result: _, body: _ } [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 49 | | syntax::def::Def::Data { name, telescope, cons: _ } => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: try ignoring the field [INFO] [stdout] | [INFO] [stdout] 48 ~ syntax::def::Def::Fn { name, telescope: _, result: _, body: _ } [INFO] [stdout] 49 ~ | syntax::def::Def::Data { name, telescope: _, cons: _ } => { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/lib.rs:52:38 [INFO] [stdout] | [INFO] [stdout] 52 | syntax::def::Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `owner` [INFO] [stdout] --> src/lib.rs:52:44 [INFO] [stdout] | [INFO] [stdout] 52 | syntax::def::Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `owner: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tele` [INFO] [stdout] --> src/lib.rs:52:51 [INFO] [stdout] | [INFO] [stdout] 52 | syntax::def::Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `tele: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/lib.rs:53:39 [INFO] [stdout] | [INFO] [stdout] 53 | syntax::def::Def::Print { telescope, result, body } => { [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `telescope: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> src/lib.rs:53:50 [INFO] [stdout] | [INFO] [stdout] 53 | syntax::def::Def::Print { telescope, result, body } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/lib.rs:53:58 [INFO] [stdout] | [INFO] [stdout] 53 | syntax::def::Def::Print { telescope, result, body } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `pattern` is never used [INFO] [stdout] --> src/tyck/resolver.rs:152:8 [INFO] [stdout] | [INFO] [stdout] 30 | impl Resolver { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 152 | fn pattern(&mut self, u: Pattern, cache: &mut TeleCache) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 45 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 35 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.61s [INFO] running `Command { std: "docker" "inspect" "8fbc7d41a318d8c0181c3f631b4de81c6c70aa6a707c5001add49ae704976176", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8fbc7d41a318d8c0181c3f631b4de81c6c70aa6a707c5001add49ae704976176", kill_on_drop: false }` [INFO] [stdout] 8fbc7d41a318d8c0181c3f631b4de81c6c70aa6a707c5001add49ae704976176 [INFO] checking yportne13/anqur-rs 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%2Fyportne13%2Fanqur-rs" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/yportne13/anqur-rs 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] started tweaking git repo https://github.com/yportne13/anqur-rs [INFO] finished tweaking git repo https://github.com/yportne13/anqur-rs [INFO] tweaked toml for git repo https://github.com/yportne13/anqur-rs written to /workspace/builds/worker-4-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/yportne13/anqur-rs 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-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] 7bb003677cfa25ba791cc316e3d5ee57f7f3a21d65f3e6d9a725411e39bed491 [INFO] running `Command { std: "docker" "start" "-a" "7bb003677cfa25ba791cc316e3d5ee57f7f3a21d65f3e6d9a725411e39bed491", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "7bb003677cfa25ba791cc316e3d5ee57f7f3a21d65f3e6d9a725411e39bed491", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7bb003677cfa25ba791cc316e3d5ee57f7f3a21d65f3e6d9a725411e39bed491", kill_on_drop: false }` [INFO] [stdout] 7bb003677cfa25ba791cc316e3d5ee57f7f3a21d65f3e6d9a725411e39bed491 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] 711926aaacda96bb4160a4003bcbfa50df5411b17b665f77c8eef70a59d645c5 [INFO] running `Command { std: "docker" "start" "-a" "711926aaacda96bb4160a4003bcbfa50df5411b17b665f77c8eef70a59d645c5", kill_on_drop: false }` [INFO] [stderr] Compiling memchr v2.3.4 [INFO] [stderr] Checking bytecount v0.6.7 [INFO] [stderr] Checking str-concat v0.2.0 [INFO] [stderr] Checking colored v2.1.0 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Checking nom_locate v4.2.0 [INFO] [stderr] Checking nom-greedyerror v0.5.0 [INFO] [stderr] Checking anqur-rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `Expr` and `Param` [INFO] [stdout] --> src/syntax/def.rs:1:26 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::parser::ast::{Param, Expr, Clause}; [INFO] [stdout] | ^^^^^ ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::parser::ast::Id` [INFO] [stdout] --> src/syntax/defvar.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::parser::ast::Id; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Expr` and `Param` [INFO] [stdout] --> src/tyck/classifier.rs:1:27 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{parser::ast::{Param, Clause, Expr}, syntax::term::{Term, ParamTerm}, Diagnostic}; [INFO] [stdout] | ^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/tyck/resolver.rs:154:12 [INFO] [stdout] | [INFO] [stdout] 154 | if (var.is_none() && u.pats().is_empty()) { [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 154 - if (var.is_none() && u.pats().is_empty()) { [INFO] [stdout] 154 + if var.is_none() && u.pats().is_empty() { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> src/locally_nameless.rs:4:33 [INFO] [stdout] | [INFO] [stdout] 4 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Expr` and `Param` [INFO] [stdout] --> src/syntax/def.rs:1:26 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::parser::ast::{Param, Expr, Clause}; [INFO] [stdout] | ^^^^^ ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::parser::ast::Id` [INFO] [stdout] --> src/syntax/defvar.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::parser::ast::Id; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Expr` and `Param` [INFO] [stdout] --> src/tyck/classifier.rs:1:27 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{parser::ast::{Param, Clause, Expr}, syntax::term::{Term, ParamTerm}, Diagnostic}; [INFO] [stdout] | ^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/tyck/resolver.rs:154:12 [INFO] [stdout] | [INFO] [stdout] 154 | if (var.is_none() && u.pats().is_empty()) { [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 154 - if (var.is_none() && u.pats().is_empty()) { [INFO] [stdout] 154 + if var.is_none() && u.pats().is_empty() { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> src/locally_nameless.rs:4:33 [INFO] [stdout] | [INFO] [stdout] 4 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::hash::Hash` [INFO] [stdout] --> src/locally_nameless.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::hash::Hash` [INFO] [stdout] --> src/locally_nameless.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fun` [INFO] [stdout] --> src/syntax/term.rs:89:28 [INFO] [stdout] | [INFO] [stdout] 89 | Term::FnCall { fun, args } => todo!(), [INFO] [stdout] | ^^^ help: try ignoring the field: `fun: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/syntax/term.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | Term::FnCall { fun, args } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fun` [INFO] [stdout] --> src/syntax/term.rs:90:30 [INFO] [stdout] | [INFO] [stdout] 90 | Term::DataCall { fun, args } => todo!(), [INFO] [stdout] | ^^^ help: try ignoring the field: `fun: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/syntax/term.rs:90:35 [INFO] [stdout] | [INFO] [stdout] 90 | Term::DataCall { fun, args } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fun` [INFO] [stdout] --> src/syntax/term.rs:91:29 [INFO] [stdout] | [INFO] [stdout] 91 | Term::ConCall { fun, args } => todo!(), [INFO] [stdout] | ^^^ help: try ignoring the field: `fun: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/syntax/term.rs:91:34 [INFO] [stdout] | [INFO] [stdout] 91 | Term::ConCall { fun, args } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `is_app` [INFO] [stdout] --> src/syntax/term.rs:92:25 [INFO] [stdout] | [INFO] [stdout] 92 | Term::Two { is_app, f, a } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `is_app: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/syntax/term.rs:92:33 [INFO] [stdout] | [INFO] [stdout] 92 | Term::Two { is_app, f, a } => todo!(), [INFO] [stdout] | ^ help: try ignoring the field: `f: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> src/syntax/term.rs:92:36 [INFO] [stdout] | [INFO] [stdout] 92 | Term::Two { is_app, f, a } => todo!(), [INFO] [stdout] | ^ help: try ignoring the field: `a: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/syntax/term.rs:93:26 [INFO] [stdout] | [INFO] [stdout] 93 | Term::Proj { t, is_one } => todo!(), [INFO] [stdout] | ^ help: try ignoring the field: `t: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `is_one` [INFO] [stdout] --> src/syntax/term.rs:93:29 [INFO] [stdout] | [INFO] [stdout] 93 | Term::Proj { t, is_one } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `is_one: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `clauses` [INFO] [stdout] --> src/tyck/classifier.rs:6:17 [INFO] [stdout] | [INFO] [stdout] 6 | pub fn classify(clauses: &[Clause], telescope: &[ParamTerm]) -> Result<(), Diagnostic> { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clauses` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/tyck/classifier.rs:6:43 [INFO] [stdout] | [INFO] [stdout] 6 | pub fn classify(clauses: &[Clause], telescope: &[ParamTerm]) -> Result<(), Diagnostic> { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_telescope` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fun` [INFO] [stdout] --> src/syntax/term.rs:89:28 [INFO] [stdout] | [INFO] [stdout] 89 | Term::FnCall { fun, args } => todo!(), [INFO] [stdout] | ^^^ help: try ignoring the field: `fun: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/syntax/term.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | Term::FnCall { fun, args } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fun` [INFO] [stdout] --> src/syntax/term.rs:90:30 [INFO] [stdout] | [INFO] [stdout] 90 | Term::DataCall { fun, args } => todo!(), [INFO] [stdout] | ^^^ help: try ignoring the field: `fun: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/syntax/term.rs:90:35 [INFO] [stdout] | [INFO] [stdout] 90 | Term::DataCall { fun, args } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fun` [INFO] [stdout] --> src/syntax/term.rs:91:29 [INFO] [stdout] | [INFO] [stdout] 91 | Term::ConCall { fun, args } => todo!(), [INFO] [stdout] | ^^^ help: try ignoring the field: `fun: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/syntax/term.rs:91:34 [INFO] [stdout] | [INFO] [stdout] 91 | Term::ConCall { fun, args } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `is_app` [INFO] [stdout] --> src/syntax/term.rs:92:25 [INFO] [stdout] | [INFO] [stdout] 92 | Term::Two { is_app, f, a } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `is_app: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/syntax/term.rs:92:33 [INFO] [stdout] | [INFO] [stdout] 92 | Term::Two { is_app, f, a } => todo!(), [INFO] [stdout] | ^ help: try ignoring the field: `f: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> src/syntax/term.rs:92:36 [INFO] [stdout] | [INFO] [stdout] 92 | Term::Two { is_app, f, a } => todo!(), [INFO] [stdout] | ^ help: try ignoring the field: `a: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/syntax/term.rs:93:26 [INFO] [stdout] | [INFO] [stdout] 93 | Term::Proj { t, is_one } => todo!(), [INFO] [stdout] | ^ help: try ignoring the field: `t: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `is_one` [INFO] [stdout] --> src/syntax/term.rs:93:29 [INFO] [stdout] | [INFO] [stdout] 93 | Term::Proj { t, is_one } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `is_one: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `clauses` [INFO] [stdout] --> src/tyck/classifier.rs:6:17 [INFO] [stdout] | [INFO] [stdout] 6 | pub fn classify(clauses: &[Clause], telescope: &[ParamTerm]) -> Result<(), Diagnostic> { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_clauses` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/tyck/classifier.rs:6:43 [INFO] [stdout] | [INFO] [stdout] 6 | pub fn classify(clauses: &[Clause], telescope: &[ParamTerm]) -> Result<(), Diagnostic> { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_telescope` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/tyck/elaborator.rs:162:37 [INFO] [stdout] | [INFO] [stdout] 162 | Def::Data { name, telescope, cons } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/tyck/elaborator.rs:162:43 [INFO] [stdout] | [INFO] [stdout] 162 | Def::Data { name, telescope, cons } => todo!(), [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `telescope: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cons` [INFO] [stdout] --> src/tyck/elaborator.rs:162:54 [INFO] [stdout] | [INFO] [stdout] 162 | Def::Data { name, telescope, cons } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `cons: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/tyck/elaborator.rs:163:37 [INFO] [stdout] | [INFO] [stdout] 163 | Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `owner` [INFO] [stdout] --> src/tyck/elaborator.rs:163:43 [INFO] [stdout] | [INFO] [stdout] 163 | Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `owner: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tele` [INFO] [stdout] --> src/tyck/elaborator.rs:163:50 [INFO] [stdout] | [INFO] [stdout] 163 | Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `tele: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/tyck/elaborator.rs:162:37 [INFO] [stdout] | [INFO] [stdout] 162 | Def::Data { name, telescope, cons } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/tyck/elaborator.rs:162:43 [INFO] [stdout] | [INFO] [stdout] 162 | Def::Data { name, telescope, cons } => todo!(), [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `telescope: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cons` [INFO] [stdout] --> src/tyck/elaborator.rs:162:54 [INFO] [stdout] | [INFO] [stdout] 162 | Def::Data { name, telescope, cons } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `cons: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/tyck/elaborator.rs:163:37 [INFO] [stdout] | [INFO] [stdout] 163 | Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `owner` [INFO] [stdout] --> src/tyck/elaborator.rs:163:43 [INFO] [stdout] | [INFO] [stdout] 163 | Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `owner: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tele` [INFO] [stdout] --> src/tyck/elaborator.rs:163:50 [INFO] [stdout] | [INFO] [stdout] 163 | Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `tele: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> src/tyck/elaborator.rs:380:14 [INFO] [stdout] | [INFO] [stdout] 380 | for (ty, pat) in params.iter().zip(clause.0.iter()) { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> src/tyck/elaborator.rs:380:14 [INFO] [stdout] | [INFO] [stdout] 380 | for (ty, pat) in params.iter().zip(clause.0.iter()) { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cache` [INFO] [stdout] --> src/tyck/resolver.rs:152:39 [INFO] [stdout] | [INFO] [stdout] 152 | fn pattern(&mut self, u: Pattern, cache: &mut TeleCache) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_cache` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cache` [INFO] [stdout] --> src/tyck/resolver.rs:152:39 [INFO] [stdout] | [INFO] [stdout] 152 | fn pattern(&mut self, u: Pattern, cache: &mut TeleCache) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_cache` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/lib.rs:48:42 [INFO] [stdout] | [INFO] [stdout] 48 | syntax::def::Def::Fn { name, telescope, result: _, body: _ } [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 49 | | syntax::def::Def::Data { name, telescope, cons: _ } => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: try ignoring the field [INFO] [stdout] | [INFO] [stdout] 48 ~ syntax::def::Def::Fn { name, telescope: _, result: _, body: _ } [INFO] [stdout] 49 ~ | syntax::def::Def::Data { name, telescope: _, cons: _ } => { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/lib.rs:52:38 [INFO] [stdout] | [INFO] [stdout] 52 | syntax::def::Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `owner` [INFO] [stdout] --> src/lib.rs:52:44 [INFO] [stdout] | [INFO] [stdout] 52 | syntax::def::Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `owner: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tele` [INFO] [stdout] --> src/lib.rs:52:51 [INFO] [stdout] | [INFO] [stdout] 52 | syntax::def::Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `tele: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/lib.rs:53:39 [INFO] [stdout] | [INFO] [stdout] 53 | syntax::def::Def::Print { telescope, result, body } => { [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `telescope: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> src/lib.rs:53:50 [INFO] [stdout] | [INFO] [stdout] 53 | syntax::def::Def::Print { telescope, result, body } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/lib.rs:53:58 [INFO] [stdout] | [INFO] [stdout] 53 | syntax::def::Def::Print { telescope, result, body } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/lib.rs:48:42 [INFO] [stdout] | [INFO] [stdout] 48 | syntax::def::Def::Fn { name, telescope, result: _, body: _ } [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 49 | | syntax::def::Def::Data { name, telescope, cons: _ } => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: try ignoring the field [INFO] [stdout] | [INFO] [stdout] 48 ~ syntax::def::Def::Fn { name, telescope: _, result: _, body: _ } [INFO] [stdout] 49 ~ | syntax::def::Def::Data { name, telescope: _, cons: _ } => { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/lib.rs:52:38 [INFO] [stdout] | [INFO] [stdout] 52 | syntax::def::Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `owner` [INFO] [stdout] --> src/lib.rs:52:44 [INFO] [stdout] | [INFO] [stdout] 52 | syntax::def::Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `owner: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tele` [INFO] [stdout] --> src/lib.rs:52:51 [INFO] [stdout] | [INFO] [stdout] 52 | syntax::def::Def::Cons { name, owner, tele } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `tele: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `telescope` [INFO] [stdout] --> src/lib.rs:53:39 [INFO] [stdout] | [INFO] [stdout] 53 | syntax::def::Def::Print { telescope, result, body } => { [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `telescope: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> src/lib.rs:53:50 [INFO] [stdout] | [INFO] [stdout] 53 | syntax::def::Def::Print { telescope, result, body } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/lib.rs:53:58 [INFO] [stdout] | [INFO] [stdout] 53 | syntax::def::Def::Print { telescope, result, body } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `pattern` is never used [INFO] [stdout] --> src/tyck/resolver.rs:152:8 [INFO] [stdout] | [INFO] [stdout] 30 | impl Resolver { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 152 | fn pattern(&mut self, u: Pattern, cache: &mut TeleCache) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [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/parser/mod.rs:38:70 [INFO] [stdout] | [INFO] [stdout] 38 | |(_, name, tele, _, result, body)| Decl::Def{name, tele: tele.concat(), result, body} [INFO] [stdout] | -------------------------------- ^^^^^^^^^^^^^ [INFO] [stdout] | | [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] = 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/parser/mod.rs:42:63 [INFO] [stdout] | [INFO] [stdout] 42 | |(_, tele, _, result, _, body)| Decl::Print{tele: tele.concat(), result, body}, [INFO] [stdout] | ----------------------------- ^^^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:46:60 [INFO] [stdout] | [INFO] [stdout] 46 | |(_, name, tele, cons)| Decl::Data{name, tele: tele.concat(), cons} [INFO] [stdout] | --------------------- ^^^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:78:8 [INFO] [stdout] | [INFO] [stdout] 77 | let (s, expr) = expr(s)?; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 78 | Ok((s, Clause(patterns, expr))) [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/parser/mod.rs:86:48 [INFO] [stdout] | [INFO] [stdout] 86 | )), |(_, name, tele)| ConsDecl{name, tele: tele.concat()})(s) [INFO] [stdout] | --------------- ^^^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:91:71 [INFO] [stdout] | [INFO] [stdout] 91 | map(tuple((expr_core1, ws(tag(".1")))), |(expr, _)| Expr::Fst(Box::new(expr))), [INFO] [stdout] | --------- ^^^^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:92:71 [INFO] [stdout] | [INFO] [stdout] 92 | map(tuple((expr_core1, ws(tag(".2")))), |(expr, _)| Expr::Snd(Box::new(expr))), [INFO] [stdout] | --------- ^^^^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:95:13 [INFO] [stdout] | [INFO] [stdout] 93 | map(tuple((expr_core1, arrow, expr)), |(e0, _, e1)| Expr::Dt( [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 94 | true, [INFO] [stdout] 95 | Param(Id("_".to_owned(), Locate::default()), Box::new(e0)), [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/parser/mod.rs:96:13 [INFO] [stdout] | [INFO] [stdout] 93 | map(tuple((expr_core1, arrow, expr)), |(e0, _, e1)| Expr::Dt( [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 96 | Box::new(e1) [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/parser/mod.rs:100:13 [INFO] [stdout] | [INFO] [stdout] 98 | map(tuple((expr_core1, times, expr)), |(e0, _, e1)| Expr::Dt( [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 99 | false, [INFO] [stdout] 100 | Param(Id("_".to_owned(), Locate::default()), Box::new(e0)), [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/parser/mod.rs:101:13 [INFO] [stdout] | [INFO] [stdout] 98 | map(tuple((expr_core1, times, expr)), |(e0, _, e1)| Expr::Dt( [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 101 | Box::new(e1) [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/parser/mod.rs:116:62 [INFO] [stdout] | [INFO] [stdout] 116 | map(tuple((expr_core, many0(expr_core))), |(e0, e1)| e1.into_iter() [INFO] [stdout] | -------- ^^^^^^^^^^^^^^ [INFO] [stdout] | | [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] warning: function `main` is never used [INFO] [stdout] --> src/lib.rs:27:4 [INFO] [stdout] | [INFO] [stdout] 27 | fn main() { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run` is never used [INFO] [stdout] --> src/lib.rs:31:4 [INFO] [stdout] | [INFO] [stdout] 31 | fn run(s: &str) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `pattern` is never used [INFO] [stdout] --> src/tyck/resolver.rs:152:8 [INFO] [stdout] | [INFO] [stdout] 30 | impl Resolver { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 152 | fn pattern(&mut self, u: Pattern, cache: &mut TeleCache) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Lam` and `App` are never constructed [INFO] [stdout] --> src/locally_nameless.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 8 | enum Term { [INFO] [stdout] | ---- variants in this enum [INFO] [stdout] 9 | Var(A), [INFO] [stdout] 10 | Lam(A, Box>), [INFO] [stdout] | ^^^ [INFO] [stdout] 11 | App(Box>, Box>), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [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/parser/mod.rs:117:43 [INFO] [stdout] | [INFO] [stdout] 117 | .fold(e0, |e0, e1i| Expr::Two(Box::new(e0), Box::new(e1i)))), [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] warning: method `app` is never used [INFO] [stdout] --> src/locally_nameless.rs:25:8 [INFO] [stdout] | [INFO] [stdout] 24 | impl Term { [INFO] [stdout] | --------------- method in this implementation [INFO] [stdout] 25 | fn app(self, other: Term) -> Term { [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/parser/mod.rs:117:57 [INFO] [stdout] | [INFO] [stdout] 117 | .fold(e0, |e0, e1i| Expr::Two(Box::new(e0), Box::new(e1i)))), [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] warning: enum `Var` is never used [INFO] [stdout] --> src/locally_nameless.rs:31:6 [INFO] [stdout] | [INFO] [stdout] 31 | enum Var { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `to_locally_nameless` is never used [INFO] [stdout] --> src/locally_nameless.rs:45:4 [INFO] [stdout] | [INFO] [stdout] 45 | fn to_locally_nameless(term: &Term, env: &mut HashMap) -> Term> { [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/parser/mod.rs:125:13 [INFO] [stdout] | [INFO] [stdout] 124 | map(tuple((pi, param, arrow, expr)), |(_, param, _, expr)| { [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 125 | param.into_iter() [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] warning: function `from_locally_nameless` is never used [INFO] [stdout] --> src/locally_nameless.rs:64:4 [INFO] [stdout] | [INFO] [stdout] 64 | fn from_locally_nameless(term: &Term>, env: &mut HashMap) -> Result, String> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `open` is never used [INFO] [stdout] --> src/locally_nameless.rs:93:4 [INFO] [stdout] | [INFO] [stdout] 93 | fn open(image: &Term>, scope: &Term>) -> Term> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `whnf` is never used [INFO] [stdout] --> src/locally_nameless.rs:109:4 [INFO] [stdout] | [INFO] [stdout] 109 | fn whnf(term: &Term>, vec: Vec>>) -> Term> { [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/parser/mod.rs:126:54 [INFO] [stdout] | [INFO] [stdout] 126 | .fold(expr, |e, p| Expr::Dt(true, p, Box::new(e))) [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] warning: function `full` is never used [INFO] [stdout] --> src/locally_nameless.rs:133:4 [INFO] [stdout] | [INFO] [stdout] 133 | fn full(x: Term) -> Term { [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/parser/mod.rs:129:13 [INFO] [stdout] | [INFO] [stdout] 128 | map(tuple((sig, param, arrow, expr)), |(_, param, _, expr)| { [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 129 | param.into_iter() [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/parser/mod.rs:130:55 [INFO] [stdout] | [INFO] [stdout] 130 | .fold(expr, |e, p| Expr::Dt(false, p, Box::new(e))) [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/parser/mod.rs:134:49 [INFO] [stdout] | [INFO] [stdout] 134 | .fold(expr, |e, p| Expr::Lam(p, Box::new(e))) [INFO] [stdout] | - ^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:38:70 [INFO] [stdout] | [INFO] [stdout] 38 | |(_, name, tele, _, result, body)| Decl::Def{name, tele: tele.concat(), result, body} [INFO] [stdout] | -------------------------------- ^^^^^^^^^^^^^ [INFO] [stdout] | | [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] = 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/parser/mod.rs:136:109 [INFO] [stdout] | [INFO] [stdout] 136 | map(tuple((ws(tag("<<")), expr, ws(tag(",")), expr, ws(tag(">>")))), |(_, e0, _, e1, _)| Expr::Pair(Box::new(e0), Box::new(e1))), [INFO] [stdout] | ----------------- ^^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:42:63 [INFO] [stdout] | [INFO] [stdout] 42 | |(_, tele, _, result, _, body)| Decl::Print{tele: tele.concat(), result, body}, [INFO] [stdout] | ----------------------------- ^^^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:136:123 [INFO] [stdout] | [INFO] [stdout] 136 | map(tuple((ws(tag("<<")), expr, ws(tag(",")), expr, ws(tag(">>")))), |(_, e0, _, e1, _)| Expr::Pair(Box::new(e0), Box::new(e1))), [INFO] [stdout] | ----------------- ^^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:46:60 [INFO] [stdout] | [INFO] [stdout] 46 | |(_, name, tele, cons)| Decl::Data{name, tele: tele.concat(), cons} [INFO] [stdout] | --------------------- ^^^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:140:83 [INFO] [stdout] | [INFO] [stdout] 140 | map(tuple((ws(tag("(")), expr, ws(tag(")")))), |(_, expr, _)| Expr::Paren(Box::new(expr))), [INFO] [stdout] | ------------ ^^^^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:78:8 [INFO] [stdout] | [INFO] [stdout] 77 | let (s, expr) = expr(s)?; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 78 | Ok((s, Clause(patterns, expr))) [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/parser/mod.rs:86:48 [INFO] [stdout] | [INFO] [stdout] 86 | )), |(_, name, tele)| ConsDecl{name, tele: tele.concat()})(s) [INFO] [stdout] | --------------- ^^^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:180:8 [INFO] [stdout] | [INFO] [stdout] 178 | let (s, expr) = expr(s)?; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 179 | let (s, _) = ws(tag(")"))(s)?; [INFO] [stdout] 180 | Ok((s, x.into_iter().map(|y| Param(y, Box::new(expr.clone()))).collect())) [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/parser/mod.rs:180:43 [INFO] [stdout] | [INFO] [stdout] 180 | Ok((s, x.into_iter().map(|y| Param(y, Box::new(expr.clone()))).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/parser/mod.rs:91:71 [INFO] [stdout] | [INFO] [stdout] 91 | map(tuple((expr_core1, ws(tag(".1")))), |(expr, _)| Expr::Fst(Box::new(expr))), [INFO] [stdout] | --------- ^^^^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:92:71 [INFO] [stdout] | [INFO] [stdout] 92 | map(tuple((expr_core1, ws(tag(".2")))), |(expr, _)| Expr::Snd(Box::new(expr))), [INFO] [stdout] | --------- ^^^^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:209:12 [INFO] [stdout] | [INFO] [stdout] 201 | mut f: F, [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 207 | let (s, x) = f(s)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 208 | let (s, _) = multispace0(s)?; [INFO] [stdout] 209 | Ok((s, x)) [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/parser/mod.rs:95:13 [INFO] [stdout] | [INFO] [stdout] 93 | map(tuple((expr_core1, arrow, expr)), |(e0, _, e1)| Expr::Dt( [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 94 | true, [INFO] [stdout] 95 | Param(Id("_".to_owned(), Locate::default()), Box::new(e0)), [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/term.rs:50:9 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn subst(&self, x: LocalVar, t: Term) -> Term { [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 50 | Normalizer(std::iter::once((x, t)).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/parser/mod.rs:96:13 [INFO] [stdout] | [INFO] [stdout] 93 | map(tuple((expr_core1, arrow, expr)), |(e0, _, e1)| Expr::Dt( [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 96 | Box::new(e1) [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/term.rs:67:9 [INFO] [stdout] | [INFO] [stdout] 66 | pub fn app(&self, args: Vec) -> Term { [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 67 | args.into_iter() [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/parser/mod.rs:100:13 [INFO] [stdout] | [INFO] [stdout] 98 | map(tuple((expr_core1, times, expr)), |(e0, _, e1)| Expr::Dt( [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 99 | false, [INFO] [stdout] 100 | Param(Id("_".to_owned(), Locate::default()), Box::new(e0)), [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/term.rs:68:19 [INFO] [stdout] | [INFO] [stdout] 66 | pub fn app(&self, args: Vec) -> Term { [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 67 | args.into_iter() [INFO] [stdout] 68 | .fold(self.clone(), |t, a| { [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/parser/mod.rs:101:13 [INFO] [stdout] | [INFO] [stdout] 98 | map(tuple((expr_core1, times, expr)), |(e0, _, e1)| Expr::Dt( [INFO] [stdout] | ----------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 101 | Box::new(e1) [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/parser/mod.rs:116:62 [INFO] [stdout] | [INFO] [stdout] 116 | map(tuple((expr_core, many0(expr_core))), |(e0, e1)| e1.into_iter() [INFO] [stdout] | -------- ^^^^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:117:43 [INFO] [stdout] | [INFO] [stdout] 117 | .fold(e0, |e0, e1i| Expr::Two(Box::new(e0), Box::new(e1i)))), [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/parser/mod.rs:117:57 [INFO] [stdout] | [INFO] [stdout] 117 | .fold(e0, |e0, e1i| Expr::Two(Box::new(e0), Box::new(e1i)))), [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/parser/mod.rs:125:13 [INFO] [stdout] | [INFO] [stdout] 124 | map(tuple((pi, param, arrow, expr)), |(_, param, _, expr)| { [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 125 | param.into_iter() [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/parser/mod.rs:126:54 [INFO] [stdout] | [INFO] [stdout] 126 | .fold(expr, |e, p| Expr::Dt(true, p, Box::new(e))) [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/parser/mod.rs:129:13 [INFO] [stdout] | [INFO] [stdout] 128 | map(tuple((sig, param, arrow, expr)), |(_, param, _, expr)| { [INFO] [stdout] | ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 129 | param.into_iter() [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/parser/mod.rs:130:55 [INFO] [stdout] | [INFO] [stdout] 130 | .fold(expr, |e, p| Expr::Dt(false, p, Box::new(e))) [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/parser/mod.rs:134:49 [INFO] [stdout] | [INFO] [stdout] 134 | .fold(expr, |e, p| Expr::Lam(p, Box::new(e))) [INFO] [stdout] | - ^^^^^^^^^^^ [INFO] [stdout] | | [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/parser/mod.rs:136:109 [INFO] [stdout] | [INFO] [stdout] 136 | map(tuple((ws(tag("<<")), expr, ws(tag(",")), expr, ws(tag(">>")))), |(_, e0, _, e1, _)| Expr::Pair(Box::new(e0), Box::new(e1))), [INFO] [stdout] | ----------------- ^^^^^^^^^^^^ [INFO] [stdout] | | [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/tyck/elaborator.rs:291:12 [INFO] [stdout] | [INFO] [stdout] 105 | let synth = match expr { [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 184 | let t = self.synth(x)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 185 | if let Term::DT { is_pi: false, param, cod: _ } = t.ty { [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 199 | let t = self.synth(x)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 213 | let f = self.synth(f)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 217 | let a = self.inherit(a, ¶m.ty)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 234 | let f = self.synth(f)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 235 | let a = self.synth(a)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 252 | let param = self.synth(¶m.1)?; [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 268 | let cod = self.synth(cod)?; [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 290 | let ty = normalize(&synth.ty); [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 291 | Ok(Synth { well_typed: synth.well_typed, ty }) [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] | 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/parser/mod.rs:136:123 [INFO] [stdout] | [INFO] [stdout] 136 | map(tuple((ws(tag("<<")), expr, ws(tag(",")), expr, ws(tag(">>")))), |(_, e0, _, e1, _)| Expr::Pair(Box::new(e0), Box::new(e1))), [INFO] [stdout] | ----------------- ^^^^^^^^^^^^ [INFO] [stdout] | | [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/tyck/elaborator.rs:131:69 [INFO] [stdout] | [INFO] [stdout] 131 | ... ty: Box::new(x.ty.map_term_id(|x| x + 1145)), [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/parser/mod.rs:140:83 [INFO] [stdout] | [INFO] [stdout] 140 | map(tuple((ws(tag("(")), expr, ws(tag(")")))), |(_, expr, _)| Expr::Paren(Box::new(expr))), [INFO] [stdout] | ------------ ^^^^^^^^^^^^^^ [INFO] [stdout] | | [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/tyck/elaborator.rs:143:73 [INFO] [stdout] | [INFO] [stdout] 142 | ... |x, s| { [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 143 | ... Term::Lam { x: s, body: Box::new(x) } [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/parser/mod.rs:180:8 [INFO] [stdout] | [INFO] [stdout] 178 | let (s, expr) = expr(s)?; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 179 | let (s, _) = ws(tag(")"))(s)?; [INFO] [stdout] 180 | Ok((s, x.into_iter().map(|y| Param(y, Box::new(expr.clone()))).collect())) [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/tyck/elaborator.rs:151:45 [INFO] [stdout] | [INFO] [stdout] 151 | ... ty: Box::new(x.ty.map_term_id(|x| x + 1145)),//TODO: [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/parser/mod.rs:180:43 [INFO] [stdout] | [INFO] [stdout] 180 | Ok((s, x.into_iter().map(|y| Param(y, Box::new(expr.clone()))).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/tyck/elaborator.rs:157:76 [INFO] [stdout] | [INFO] [stdout] 156 | ... |x, s| { [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] 157 | ... Term::DT { is_pi: true, param: s.clone(), cod: Box::new(x) } [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/parser/mod.rs:209:12 [INFO] [stdout] | [INFO] [stdout] 201 | mut f: F, [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 207 | let (s, x) = f(s)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 208 | let (s, _) = multispace0(s)?; [INFO] [stdout] 209 | Ok((s, x)) [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/tyck/elaborator.rs:157:92 [INFO] [stdout] | [INFO] [stdout] 156 | ... |x, s| { [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] 157 | ... Term::DT { is_pi: true, param: s.clone(), cod: Box::new(x) } [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/tyck/elaborator.rs:374:12 [INFO] [stdout] | [INFO] [stdout] 356 | let mut ret = vec![]; [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 374 | Ok((ret, ids)) [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/tyck/resolver.rs:81:12 [INFO] [stdout] | [INFO] [stdout] 78 | let tele = self.tele_cons(cons)?; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 81 | Ok(ConsDecl { name: cons.name.clone(), tele: tele.0 }) [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/tyck/resolver.rs:93:12 [INFO] [stdout] | [INFO] [stdout] 88 | let mut telescope = Vec::new(); [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 93 | Ok((telescope, cache)) [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/tyck/resolver.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 100 | let mut telescope = Vec::new(); [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 105 | Ok((telescope, cache)) [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/term.rs:50:9 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn subst(&self, x: LocalVar, t: Term) -> Term { [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 50 | Normalizer(std::iter::once((x, t)).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/locally_nameless.rs:26:19 [INFO] [stdout] | [INFO] [stdout] 25 | fn app(self, other: Term) -> Term { [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] 26 | Term::App(Box::new(self), Box::new(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/syntax/term.rs:67:9 [INFO] [stdout] | [INFO] [stdout] 66 | pub fn app(&self, args: Vec) -> Term { [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 67 | args.into_iter() [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/locally_nameless.rs:26:35 [INFO] [stdout] | [INFO] [stdout] 25 | fn app(self, other: Term) -> Term { [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] 26 | Term::App(Box::new(self), Box::new(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/syntax/term.rs:68:19 [INFO] [stdout] | [INFO] [stdout] 66 | pub fn app(&self, args: Vec) -> Term { [INFO] [stdout] | --------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 67 | args.into_iter() [INFO] [stdout] 68 | .fold(self.clone(), |t, a| { [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/locally_nameless.rs:56:52 [INFO] [stdout] | [INFO] [stdout] 56 | let new_env = env.iter().map(|(k, v)| (k.clone(), *v + 1)).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/locally_nameless.rs:85:82 [INFO] [stdout] | [INFO] [stdout] 85 | let mut new_env: HashMap<_, _> = env.iter().map(|(k, v)| (k + 1, v.clone())).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/locally_nameless.rs:117:61 [INFO] [stdout] | [INFO] [stdout] 117 | (a, b) => b.iter().fold(a.clone(), |x, y| Term::App(Box::new(x), Box::new(y.clone()))) [INFO] [stdout] | - ^^^^^^^^^^^ [INFO] [stdout] | | [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/locally_nameless.rs:117:74 [INFO] [stdout] | [INFO] [stdout] 117 | (a, b) => b.iter().fold(a.clone(), |x, y| Term::App(Box::new(x), Box::new(y.clone()))) [INFO] [stdout] | - ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [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/locally_nameless.rs:145:33 [INFO] [stdout] | [INFO] [stdout] 144 | fn lam>>(l: &str, r: A) -> Term { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 145 | Term::Lam(l.to_owned(), Box::new(r.into())) [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/locally_nameless.rs:148:19 [INFO] [stdout] | [INFO] [stdout] 147 | fn app>, B: Into>>(l: A, r: B) -> Term { [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] 148 | Term::App(Box::new(l.into()), Box::new(r.into())) [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/locally_nameless.rs:148:39 [INFO] [stdout] | [INFO] [stdout] 147 | fn app>, B: Into>>(l: A, r: B) -> Term { [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] 148 | Term::App(Box::new(l.into()), Box::new(r.into())) [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/locally_nameless.rs:172:33 [INFO] [stdout] | [INFO] [stdout] 171 | fn lam>>(l: &str, r: A) -> Term { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 172 | Term::Lam(l.to_owned(), Box::new(r.into())) [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/locally_nameless.rs:175:19 [INFO] [stdout] | [INFO] [stdout] 174 | fn app>, B: Into>>(l: A, r: B) -> Term { [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] 175 | Term::App(Box::new(l.into()), Box::new(r.into())) [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/locally_nameless.rs:175:39 [INFO] [stdout] | [INFO] [stdout] 174 | fn app>, B: Into>>(l: A, r: B) -> Term { [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] 175 | Term::App(Box::new(l.into()), Box::new(r.into())) [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/tyck/elaborator.rs:291:12 [INFO] [stdout] | [INFO] [stdout] 105 | let synth = match expr { [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 184 | let t = self.synth(x)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 185 | if let Term::DT { is_pi: false, param, cod: _ } = t.ty { [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 199 | let t = self.synth(x)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 213 | let f = self.synth(f)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 217 | let a = self.inherit(a, ¶m.ty)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 234 | let f = self.synth(f)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 235 | let a = self.synth(a)?; [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 252 | let param = self.synth(¶m.1)?; [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 268 | let cod = self.synth(cod)?; [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 290 | let ty = normalize(&synth.ty); [INFO] [stdout] | -- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 291 | Ok(Synth { well_typed: synth.well_typed, ty }) [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] | 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/tyck/elaborator.rs:131:69 [INFO] [stdout] | [INFO] [stdout] 131 | ... ty: Box::new(x.ty.map_term_id(|x| x + 1145)), [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/tyck/elaborator.rs:143:73 [INFO] [stdout] | [INFO] [stdout] 142 | ... |x, s| { [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 143 | ... Term::Lam { x: s, body: Box::new(x) } [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/tyck/elaborator.rs:151:45 [INFO] [stdout] | [INFO] [stdout] 151 | ... ty: Box::new(x.ty.map_term_id(|x| x + 1145)),//TODO: [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/tyck/elaborator.rs:157:76 [INFO] [stdout] | [INFO] [stdout] 156 | ... |x, s| { [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] 157 | ... Term::DT { is_pi: true, param: s.clone(), cod: Box::new(x) } [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/tyck/elaborator.rs:157:92 [INFO] [stdout] | [INFO] [stdout] 156 | ... |x, s| { [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] 157 | ... Term::DT { is_pi: true, param: s.clone(), cod: Box::new(x) } [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/tyck/elaborator.rs:374:12 [INFO] [stdout] | [INFO] [stdout] 356 | let mut ret = vec![]; [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 374 | Ok((ret, ids)) [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/tyck/resolver.rs:81:12 [INFO] [stdout] | [INFO] [stdout] 78 | let tele = self.tele_cons(cons)?; [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 81 | Ok(ConsDecl { name: cons.name.clone(), tele: tele.0 }) [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/tyck/resolver.rs:93:12 [INFO] [stdout] | [INFO] [stdout] 88 | let mut telescope = Vec::new(); [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 93 | Ok((telescope, cache)) [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/tyck/resolver.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 100 | let mut telescope = Vec::new(); [INFO] [stdout] | --------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 105 | Ok((telescope, cache)) [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/locally_nameless.rs:26:19 [INFO] [stdout] | [INFO] [stdout] 25 | fn app(self, other: Term) -> Term { [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] 26 | Term::App(Box::new(self), Box::new(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/locally_nameless.rs:26:35 [INFO] [stdout] | [INFO] [stdout] 25 | fn app(self, other: Term) -> Term { [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] 26 | Term::App(Box::new(self), Box::new(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/locally_nameless.rs:56:52 [INFO] [stdout] | [INFO] [stdout] 56 | let new_env = env.iter().map(|(k, v)| (k.clone(), *v + 1)).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/locally_nameless.rs:85:82 [INFO] [stdout] | [INFO] [stdout] 85 | let mut new_env: HashMap<_, _> = env.iter().map(|(k, v)| (k + 1, v.clone())).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/locally_nameless.rs:117:61 [INFO] [stdout] | [INFO] [stdout] 117 | (a, b) => b.iter().fold(a.clone(), |x, y| Term::App(Box::new(x), Box::new(y.clone()))) [INFO] [stdout] | - ^^^^^^^^^^^ [INFO] [stdout] | | [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/locally_nameless.rs:117:74 [INFO] [stdout] | [INFO] [stdout] 117 | (a, b) => b.iter().fold(a.clone(), |x, y| Term::App(Box::new(x), Box::new(y.clone()))) [INFO] [stdout] | - ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [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: aborting due to 50 previous errors; 35 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 44 previous errors; 45 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `anqur-rs` (lib test) due to 51 previous errors; 35 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `anqur-rs` (lib) due to 45 previous errors; 45 warnings emitted [INFO] running `Command { std: "docker" "inspect" "711926aaacda96bb4160a4003bcbfa50df5411b17b665f77c8eef70a59d645c5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "711926aaacda96bb4160a4003bcbfa50df5411b17b665f77c8eef70a59d645c5", kill_on_drop: false }` [INFO] [stdout] 711926aaacda96bb4160a4003bcbfa50df5411b17b665f77c8eef70a59d645c5