[INFO] cloning repository https://github.com/barmettlerl/tiny-compiler
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/barmettlerl/tiny-compiler" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbarmettlerl%2Ftiny-compiler", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbarmettlerl%2Ftiny-compiler'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] b0c3e57b9911fa01aa47499bcdd0eb1d6272479b
[INFO] checking barmettlerl/tiny-compiler/b0c3e57b9911fa01aa47499bcdd0eb1d6272479b against try#4d98531622e1718ae0bc3c7a1ab9cd8938428452+rustflags=-Dtail_expr_drop_order for pr-129604
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbarmettlerl%2Ftiny-compiler" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/barmettlerl/tiny-compiler on toolchain 4d98531622e1718ae0bc3c7a1ab9cd8938428452
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/barmettlerl/tiny-compiler
[INFO] finished tweaking git repo https://github.com/barmettlerl/tiny-compiler
[INFO] tweaked toml for git repo https://github.com/barmettlerl/tiny-compiler written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/barmettlerl/tiny-compiler 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" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] a2a43b5a6c3e5ab302e020700f16dcbaa4100afcef857ace1a0a11d686ff767f
[INFO] running `Command { std: "docker" "start" "-a" "a2a43b5a6c3e5ab302e020700f16dcbaa4100afcef857ace1a0a11d686ff767f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a2a43b5a6c3e5ab302e020700f16dcbaa4100afcef857ace1a0a11d686ff767f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a2a43b5a6c3e5ab302e020700f16dcbaa4100afcef857ace1a0a11d686ff767f", kill_on_drop: false }`
[INFO] [stdout] a2a43b5a6c3e5ab302e020700f16dcbaa4100afcef857ace1a0a11d686ff767f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dtail_expr_drop_order" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+4d98531622e1718ae0bc3c7a1ab9cd8938428452" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8d4c9a18a694e1c7212242e73bfc2ba55ef239c42df4bf5b229e60af9d9d5238
[INFO] running `Command { std: "docker" "start" "-a" "8d4c9a18a694e1c7212242e73bfc2ba55ef239c42df4bf5b229e60af9d9d5238", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.152
[INFO] [stderr]     Checking getrandom v0.2.12
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking fos_fun v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `T`
[INFO] [stdout]   --> src/evaluator.rs:58:16
[INFO] [stdout]    |
[INFO] [stdout] 58 |         Abs(x, T, e) if x == var => term.clone(),
[INFO] [stdout]    |                ^ help: if this is intentional, prefix it with an underscore: `_T`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T`
[INFO] [stdout]   --> src/evaluator.rs:58:16
[INFO] [stdout]    |
[INFO] [stdout] 58 |         Abs(x, T, e) if x == var => term.clone(),
[INFO] [stdout]    |                ^ help: if this is intentional, prefix it with an underscore: `_T`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]   --> src/evaluator.rs:58:19
[INFO] [stdout]    |
[INFO] [stdout] 58 |         Abs(x, T, e) if x == var => term.clone(),
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]   --> src/evaluator.rs:58:19
[INFO] [stdout]    |
[INFO] [stdout] 58 |         Abs(x, T, e) if x == var => term.clone(),
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]   --> src/term.rs:42:26
[INFO] [stdout]    |
[INFO] [stdout] 42 |             Term::Var(_, T) => T.clone(),
[INFO] [stdout]    |                          ^ help: convert the identifier to snake case: `t`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]   --> src/term.rs:43:26
[INFO] [stdout]    |
[INFO] [stdout] 43 |             Term::Abs(_, T, _) => T.clone(),
[INFO] [stdout]    |                          ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]   --> src/term.rs:45:32
[INFO] [stdout]    |
[INFO] [stdout] 45 |                 Type::Arrow(_, T2) => *T2,
[INFO] [stdout]    |                                ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]   --> src/term.rs:86:28
[INFO] [stdout]    |
[INFO] [stdout] 86 |             Term::Var(var, T) => Term::Var(var.clone(), T.clone()),
[INFO] [stdout]    |                            ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]   --> src/term.rs:42:26
[INFO] [stdout]    |
[INFO] [stdout] 42 |             Term::Var(_, T) => T.clone(),
[INFO] [stdout]    |                          ^ help: convert the identifier to snake case: `t`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]   --> src/term.rs:87:28
[INFO] [stdout]    |
[INFO] [stdout] 87 |             Term::Abs(var, T, term) => Term::Abs(var.clone(), T.clone(), term.clone()),
[INFO] [stdout]    |                            ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T1` should have a snake case name
[INFO] [stdout]    --> src/term.rs:102:30
[INFO] [stdout]     |
[INFO] [stdout] 102 |             (Term::Var(var1, T1), Term::Var(var2, T2)) => var1 == var2 && T1 == T2,
[INFO] [stdout]     |                              ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]    --> src/term.rs:102:51
[INFO] [stdout]     |
[INFO] [stdout] 102 |             (Term::Var(var1, T1), Term::Var(var2, T2)) => var1 == var2 && T1 == T2,
[INFO] [stdout]     |                                                   ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T1` should have a snake case name
[INFO] [stdout]    --> src/term.rs:103:30
[INFO] [stdout]     |
[INFO] [stdout] 103 |             (Term::Abs(var1, T1, term1), Term::Abs(var2, T2, term2)) => {
[INFO] [stdout]     |                              ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]   --> src/term.rs:43:26
[INFO] [stdout]    |
[INFO] [stdout] 43 |             Term::Abs(_, T, _) => T.clone(),
[INFO] [stdout]    |                          ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]    --> src/term.rs:103:58
[INFO] [stdout]     |
[INFO] [stdout] 103 |             (Term::Abs(var1, T1, term1), Term::Abs(var2, T2, term2)) => {
[INFO] [stdout]     |                                                          ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]   --> src/term.rs:45:32
[INFO] [stdout]    |
[INFO] [stdout] 45 |                 Type::Arrow(_, T2) => *T2,
[INFO] [stdout]    |                                ^^ help: convert the identifier to snake case: `t2`
[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/evaluator.rs:16:11
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub fn eval(term: Term) -> Term {
[INFO] [stdout]    |             ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 16 |     match term.clone() {
[INFO] [stdout]    |           ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this changes meaning in Rust 2024
[INFO] [stdout]    = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout]    = note: requested on the command line with `-D tail-expr-drop-order`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]   --> src/term.rs:86:28
[INFO] [stdout]    |
[INFO] [stdout] 86 |             Term::Var(var, T) => Term::Var(var.clone(), T.clone()),
[INFO] [stdout]    |                            ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]   --> src/term.rs:87:28
[INFO] [stdout]    |
[INFO] [stdout] 87 |             Term::Abs(var, T, term) => Term::Abs(var.clone(), T.clone(), term.clone()),
[INFO] [stdout]    |                            ^ help: convert the identifier to snake case: `t`
[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/evaluator.rs:55:11
[INFO] [stdout]    |
[INFO] [stdout] 54 | fn substitute(term: Term, var: &str, new_term: 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] 55 |     match term.clone() {
[INFO] [stdout]    |           ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this changes meaning in Rust 2024
[INFO] [stdout]    = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T1` should have a snake case name
[INFO] [stdout]    --> src/term.rs:102:30
[INFO] [stdout]     |
[INFO] [stdout] 102 |             (Term::Var(var1, T1), Term::Var(var2, T2)) => var1 == var2 && T1 == T2,
[INFO] [stdout]     |                              ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:58:16
[INFO] [stdout]    |
[INFO] [stdout] 58 |         Abs(x, T, e) if x == var => term.clone(),
[INFO] [stdout]    |                ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]    --> src/term.rs:102:51
[INFO] [stdout]     |
[INFO] [stdout] 102 |             (Term::Var(var1, T1), Term::Var(var2, T2)) => var1 == var2 && T1 == T2,
[INFO] [stdout]     |                                                   ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T1` should have a snake case name
[INFO] [stdout]    --> src/term.rs:103:30
[INFO] [stdout]     |
[INFO] [stdout] 103 |             (Term::Abs(var1, T1, term1), Term::Abs(var2, T2, term2)) => {
[INFO] [stdout]     |                              ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:59:16
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Abs(x, T, e) => Abs(x, T, Box::new(substitute(*e, var, new_term.clone()))),
[INFO] [stdout]    |                ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]    --> src/term.rs:103:58
[INFO] [stdout]     |
[INFO] [stdout] 103 |             (Term::Abs(var1, T1, term1), Term::Abs(var2, T2, term2)) => {
[INFO] [stdout]     |                                                          ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T1` should have a snake case name
[INFO] [stdout]   --> src/types.rs:14:25
[INFO] [stdout]    |
[INFO] [stdout] 14 |             Type::Arrow(T1, T2) => Type::Arrow(T1.clone(), T2.clone()),
[INFO] [stdout]    |                         ^^ help: convert the identifier to snake case: `t1`
[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/evaluator.rs:16:11
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub fn eval(term: Term) -> Term {
[INFO] [stdout]    |             ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024
[INFO] [stdout] 16 |     match term.clone() {
[INFO] [stdout]    |           ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this changes meaning in Rust 2024
[INFO] [stdout]    = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout]    = note: requested on the command line with `-D tail-expr-drop-order`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]   --> src/types.rs:14:29
[INFO] [stdout]    |
[INFO] [stdout] 14 |             Type::Arrow(T1, T2) => Type::Arrow(T1.clone(), T2.clone()),
[INFO] [stdout]    |                             ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T1` should have a snake case name
[INFO] [stdout]   --> src/types.rs:24:26
[INFO] [stdout]    |
[INFO] [stdout] 24 |             (Type::Arrow(T1, T2), Type::Arrow(T3, T4)) => T1 == T3 && T2 == T4,
[INFO] [stdout]    |                          ^^ help: convert the identifier to snake case: `t1`
[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/evaluator.rs:55:11
[INFO] [stdout]    |
[INFO] [stdout] 54 | fn substitute(term: Term, var: &str, new_term: 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] 55 |     match term.clone() {
[INFO] [stdout]    |           ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this changes meaning in Rust 2024
[INFO] [stdout]    = note: for more information, see issue #123739 <https://github.com/rust-lang/rust/issues/123739>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]   --> src/types.rs:24:30
[INFO] [stdout]    |
[INFO] [stdout] 24 |             (Type::Arrow(T1, T2), Type::Arrow(T3, T4)) => T1 == T3 && T2 == T4,
[INFO] [stdout]    |                              ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T3` should have a snake case name
[INFO] [stdout]   --> src/types.rs:24:47
[INFO] [stdout]    |
[INFO] [stdout] 24 |             (Type::Arrow(T1, T2), Type::Arrow(T3, T4)) => T1 == T3 && T2 == T4,
[INFO] [stdout]    |                                               ^^ help: convert the identifier to snake case: `t3`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T4` should have a snake case name
[INFO] [stdout]   --> src/types.rs:24:51
[INFO] [stdout]    |
[INFO] [stdout] 24 |             (Type::Arrow(T1, T2), Type::Arrow(T3, T4)) => T1 == T3 && T2 == T4,
[INFO] [stdout]    |                                                   ^^ help: convert the identifier to snake case: `t4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:58:16
[INFO] [stdout]    |
[INFO] [stdout] 58 |         Abs(x, T, e) if x == var => term.clone(),
[INFO] [stdout]    |                ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T1` should have a snake case name
[INFO] [stdout]   --> src/types.rs:35:25
[INFO] [stdout]    |
[INFO] [stdout] 35 |             Type::Arrow(T1, T2) => write!(f, "({} -> {})", T1, T2),
[INFO] [stdout]    |                         ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:59:16
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Abs(x, T, e) => Abs(x, T, Box::new(substitute(*e, var, new_term.clone()))),
[INFO] [stdout]    |                ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]   --> src/types.rs:35:29
[INFO] [stdout]    |
[INFO] [stdout] 35 |             Type::Arrow(T1, T2) => write!(f, "({} -> {})", T1, T2),
[INFO] [stdout]    |                             ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T1` should have a snake case name
[INFO] [stdout]   --> src/types.rs:14:25
[INFO] [stdout]    |
[INFO] [stdout] 14 |             Type::Arrow(T1, T2) => Type::Arrow(T1.clone(), T2.clone()),
[INFO] [stdout]    |                         ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]   --> src/typechecker.rs:24:82
[INFO] [stdout]    |
[INFO] [stdout] 24 |                 let var_type = self.ctx.iter().find(|(x, _)| x == &var).map(|(_, T)| T);
[INFO] [stdout]    |                                                                                  ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]   --> src/types.rs:14:29
[INFO] [stdout]    |
[INFO] [stdout] 14 |             Type::Arrow(T1, T2) => Type::Arrow(T1.clone(), T2.clone()),
[INFO] [stdout]    |                             ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T1` should have a snake case name
[INFO] [stdout]   --> src/types.rs:24:26
[INFO] [stdout]    |
[INFO] [stdout] 24 |             (Type::Arrow(T1, T2), Type::Arrow(T3, T4)) => T1 == T3 && T2 == T4,
[INFO] [stdout]    |                          ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]   --> src/types.rs:24:30
[INFO] [stdout]    |
[INFO] [stdout] 24 |             (Type::Arrow(T1, T2), Type::Arrow(T3, T4)) => T1 == T3 && T2 == T4,
[INFO] [stdout]    |                              ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T3` should have a snake case name
[INFO] [stdout]   --> src/types.rs:24:47
[INFO] [stdout]    |
[INFO] [stdout] 24 |             (Type::Arrow(T1, T2), Type::Arrow(T3, T4)) => T1 == T3 && T2 == T4,
[INFO] [stdout]    |                                               ^^ help: convert the identifier to snake case: `t3`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T4` should have a snake case name
[INFO] [stdout]   --> src/types.rs:24:51
[INFO] [stdout]    |
[INFO] [stdout] 24 |             (Type::Arrow(T1, T2), Type::Arrow(T3, T4)) => T1 == T3 && T2 == T4,
[INFO] [stdout]    |                                                   ^^ help: convert the identifier to snake case: `t4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T1` should have a snake case name
[INFO] [stdout]   --> src/types.rs:35:25
[INFO] [stdout]    |
[INFO] [stdout] 35 |             Type::Arrow(T1, T2) => write!(f, "({} -> {})", T1, T2),
[INFO] [stdout]    |                         ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]   --> src/types.rs:35:29
[INFO] [stdout]    |
[INFO] [stdout] 35 |             Type::Arrow(T1, T2) => write!(f, "({} -> {})", T1, T2),
[INFO] [stdout]    |                             ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T` should have a snake case name
[INFO] [stdout]   --> src/typechecker.rs:24:82
[INFO] [stdout]    |
[INFO] [stdout] 24 |                 let var_type = self.ctx.iter().find(|(x, _)| x == &var).map(|(_, T)| T);
[INFO] [stdout]    |                                                                                  ^ help: convert the identifier to snake case: `t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors; 22 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors; 22 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `fos_fun` (lib test) due to 3 previous errors; 22 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `fos_fun` (lib) due to 3 previous errors; 22 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "8d4c9a18a694e1c7212242e73bfc2ba55ef239c42df4bf5b229e60af9d9d5238", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8d4c9a18a694e1c7212242e73bfc2ba55ef239c42df4bf5b229e60af9d9d5238", kill_on_drop: false }`
[INFO] [stdout] 8d4c9a18a694e1c7212242e73bfc2ba55ef239c42df4bf5b229e60af9d9d5238