[INFO] cloning repository https://github.com/dennisferron/rusterol [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/dennisferron/rusterol" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdennisferron%2Frusterol", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdennisferron%2Frusterol'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 357dfd37d69b83869a59bbc349ab64317257f3d2 [INFO] checking dennisferron/rusterol against try#c659ee110de67e82444e4b6c8407c1a9af9c2cf6 for pr-145608 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdennisferron%2Frusterol" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/dennisferron/rusterol [INFO] finished tweaking git repo https://github.com/dennisferron/rusterol [INFO] tweaked toml for git repo https://github.com/dennisferron/rusterol written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/dennisferron/rusterol on toolchain c659ee110de67e82444e4b6c8407c1a9af9c2cf6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/dennisferron/rusterol 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" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 21cfe0fcd930e2518b32cc777fb89374e7127bb0cac6eb3abf2cdde681790643 [INFO] running `Command { std: "docker" "start" "-a" "21cfe0fcd930e2518b32cc777fb89374e7127bb0cac6eb3abf2cdde681790643", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "21cfe0fcd930e2518b32cc777fb89374e7127bb0cac6eb3abf2cdde681790643", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "21cfe0fcd930e2518b32cc777fb89374e7127bb0cac6eb3abf2cdde681790643", kill_on_drop: false }` [INFO] [stdout] 21cfe0fcd930e2518b32cc777fb89374e7127bb0cac6eb3abf2cdde681790643 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 1fd032f2d19f1f2977c3a1117ea9aa6f73e66ef15044402e554985caa3ad65e4 [INFO] running `Command { std: "docker" "start" "-a" "1fd032f2d19f1f2977c3a1117ea9aa6f73e66ef15044402e554985caa3ad65e4", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.93 [INFO] [stderr] Compiling unicode-ident v1.0.16 [INFO] [stderr] Checking stable_deref_trait v1.2.0 [INFO] [stderr] Checking litemap v0.7.4 [INFO] [stderr] Checking writeable v0.5.5 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Compiling libc v0.2.169 [INFO] [stderr] Checking icu_locid_transform_data v1.5.0 [INFO] [stderr] Compiling rustix v0.38.44 [INFO] [stderr] Checking icu_properties_data v1.5.0 [INFO] [stderr] Checking utf8_iter v1.0.4 [INFO] [stderr] Checking write16 v1.0.0 [INFO] [stderr] Checking icu_normalizer_data v1.5.0 [INFO] [stderr] Compiling memoffset v0.6.5 [INFO] [stderr] Checking utf16_iter v1.0.5 [INFO] [stderr] Checking bitflags v2.8.0 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking endian-type v0.1.2 [INFO] [stderr] Compiling anyhow v1.0.95 [INFO] [stderr] Checking percent-encoding v2.3.1 [INFO] [stderr] Checking log v0.4.25 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Checking form_urlencoded v1.2.1 [INFO] [stderr] Checking nibble_vec v0.1.0 [INFO] [stderr] Checking radix_trie v0.2.1 [INFO] [stderr] Compiling quote v1.0.38 [INFO] [stderr] Compiling syn v2.0.98 [INFO] [stderr] Checking dirs-sys-next v0.1.2 [INFO] [stderr] Checking nix v0.23.2 [INFO] [stderr] Checking dirs-next v2.0.0 [INFO] [stderr] Checking fd-lock v3.0.13 [INFO] [stderr] Compiling synstructure v0.13.1 [INFO] [stderr] Compiling zerovec-derive v0.10.3 [INFO] [stderr] Compiling displaydoc v0.2.5 [INFO] [stderr] Compiling icu_provider_macros v1.5.0 [INFO] [stderr] Compiling zerofrom-derive v0.1.5 [INFO] [stderr] Compiling yoke-derive v0.7.5 [INFO] [stderr] Checking zerofrom v0.1.5 [INFO] [stderr] Checking yoke v0.7.5 [INFO] [stderr] Checking zerovec v0.10.4 [INFO] [stderr] Checking rustyline v9.1.2 [INFO] [stderr] Checking tinystr v0.7.6 [INFO] [stderr] Checking icu_collections v1.5.0 [INFO] [stderr] Checking promptly v0.3.1 [INFO] [stderr] Checking icu_locid v1.5.0 [INFO] [stderr] Checking icu_provider v1.5.0 [INFO] [stderr] Checking icu_locid_transform v1.5.0 [INFO] [stderr] Checking icu_properties v1.5.1 [INFO] [stderr] Checking icu_normalizer v1.5.0 [INFO] [stderr] Checking idna_adapter v1.2.0 [INFO] [stderr] Checking idna v1.0.3 [INFO] [stderr] Checking url v2.5.4 [INFO] [stderr] Checking Rusterol v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0434]: can't capture dynamic environment in a fn item [INFO] [stdout] --> src/main.rs:65:42 [INFO] [stdout] | [INFO] [stdout] 65 | ... replace_term(t, Term::Bound(i) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: use the `|| { ... }` closure form instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0434]: can't capture dynamic environment in a fn item [INFO] [stdout] --> src/main.rs:65:42 [INFO] [stdout] | [INFO] [stdout] 65 | ... replace_term(t, Term::Bound(i) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: use the `|| { ... }` closure form instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0434]: can't capture dynamic environment in a fn item [INFO] [stdout] --> src/main.rs:91:54 [INFO] [stdout] | [INFO] [stdout] 91 | replace_term(Term::Bound(i), t) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: use the `|| { ... }` closure form instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0434]: can't capture dynamic environment in a fn item [INFO] [stdout] --> src/main.rs:91:54 [INFO] [stdout] | [INFO] [stdout] 91 | replace_term(Term::Bound(i), t) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: use the `|| { ... }` closure form instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0106]: missing lifetime specifier [INFO] [stdout] --> src/main.rs:305:19 [INFO] [stdout] | [INFO] [stdout] 304 | fn parse_repeat<'a, F>(a : &str, parsefn : F, toks : &'a [Token]) [INFO] [stdout] | ---- ----------- [INFO] [stdout] 305 | -> ParseResult> [INFO] [stdout] | ^ expected named lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `a` or `toks` [INFO] [stdout] help: consider using the `'a` lifetime [INFO] [stdout] | [INFO] [stdout] 305 | -> ParseResult<'a, Vec> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0106]: missing lifetime specifier [INFO] [stdout] --> src/main.rs:305:19 [INFO] [stdout] | [INFO] [stdout] 304 | fn parse_repeat<'a, F>(a : &str, parsefn : F, toks : &'a [Token]) [INFO] [stdout] | ---- ----------- [INFO] [stdout] 305 | -> ParseResult> [INFO] [stdout] | ^ expected named lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `a` or `toks` [INFO] [stdout] help: consider using the `'a` lifetime [INFO] [stdout] | [INFO] [stdout] 305 | -> ParseResult<'a, Vec> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0106]: missing lifetime specifier [INFO] [stdout] --> src/main.rs:324:82 [INFO] [stdout] | [INFO] [stdout] 324 | fn parse_repeat1<'a, F>(a : &str, parsefn : F, toks : &'a [Token]) -> ParseResult> [INFO] [stdout] | ---- ----------- ^ expected named lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `a` or `toks` [INFO] [stdout] help: consider using the `'a` lifetime [INFO] [stdout] | [INFO] [stdout] 324 | fn parse_repeat1<'a, F>(a : &str, parsefn : F, toks : &'a [Token]) -> ParseResult<'a, Vec> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0106]: missing lifetime specifier [INFO] [stdout] --> src/main.rs:324:82 [INFO] [stdout] | [INFO] [stdout] 324 | fn parse_repeat1<'a, F>(a : &str, parsefn : F, toks : &'a [Token]) -> ParseResult> [INFO] [stdout] | ---- ----------- ^ expected named lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `a` or `toks` [INFO] [stdout] help: consider using the `'a` lifetime [INFO] [stdout] | [INFO] [stdout] 324 | fn parse_repeat1<'a, F>(a : &str, parsefn : F, toks : &'a [Token]) -> ParseResult<'a, Vec> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> src/main.rs:72:6 [INFO] [stdout] | [INFO] [stdout] 72 | }; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(redundant_semicolons)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> src/main.rs:98:6 [INFO] [stdout] | [INFO] [stdout] 98 | }; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> src/main.rs:72:6 [INFO] [stdout] | [INFO] [stdout] 72 | }; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(redundant_semicolons)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> src/main.rs:98:6 [INFO] [stdout] | [INFO] [stdout] 98 | }; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::arch::x86_64::__cpuid` [INFO] [stdout] --> src/main.rs:344:5 [INFO] [stdout] | [INFO] [stdout] 344 | use std::arch::x86_64::__cpuid; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `url::form_urlencoded::Parse` [INFO] [stdout] --> src/main.rs:346:5 [INFO] [stdout] | [INFO] [stdout] 346 | use url::form_urlencoded::Parse; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `prompt_default` and `prompt_opt` [INFO] [stdout] --> src/main.rs:350:28 [INFO] [stdout] | [INFO] [stdout] 350 | use promptly::{prompt, prompt_default, prompt_opt}; [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::arch::x86_64::__cpuid` [INFO] [stdout] --> src/main.rs:344:5 [INFO] [stdout] | [INFO] [stdout] 344 | use std::arch::x86_64::__cpuid; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `url::form_urlencoded::Parse` [INFO] [stdout] --> src/main.rs:346:5 [INFO] [stdout] | [INFO] [stdout] 346 | use url::form_urlencoded::Parse; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `prompt_default` and `prompt_opt` [INFO] [stdout] --> src/main.rs:350:28 [INFO] [stdout] | [INFO] [stdout] 350 | use promptly::{prompt, prompt_default, prompt_opt}; [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:38:5 [INFO] [stdout] | [INFO] [stdout] 37 | fn replace_term(u_find: Term, new_repl: Term) -> fn(Term) -> Term { [INFO] [stdout] | ---------------- expected `fn(Term) -> Term` because of return type [INFO] [stdout] 38 | / |t_exam| { [INFO] [stdout] 39 | | if t_exam == u_find { [INFO] [stdout] 40 | | return new_repl; [INFO] [stdout] 41 | | } else { [INFO] [stdout] ... | [INFO] [stdout] 48 | | } [INFO] [stdout] | |_____^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Term) -> Term` [INFO] [stdout] found closure `{closure@src/main.rs:38:5: 38:13}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:39:22 [INFO] [stdout] | [INFO] [stdout] 39 | if t_exam == u_find { [INFO] [stdout] | ^^^^^^ `u_find` captured here [INFO] [stdout] 40 | return new_repl; [INFO] [stdout] | ^^^^^^^^ `new_repl` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:38:5 [INFO] [stdout] | [INFO] [stdout] 37 | fn replace_term(u_find: Term, new_repl: Term) -> fn(Term) -> Term { [INFO] [stdout] | ---------------- expected `fn(Term) -> Term` because of return type [INFO] [stdout] 38 | / |t_exam| { [INFO] [stdout] 39 | | if t_exam == u_find { [INFO] [stdout] 40 | | return new_repl; [INFO] [stdout] 41 | | } else { [INFO] [stdout] ... | [INFO] [stdout] 48 | | } [INFO] [stdout] | |_____^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Term) -> Term` [INFO] [stdout] found closure `{closure@src/main.rs:38:5: 38:13}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:39:22 [INFO] [stdout] | [INFO] [stdout] 39 | if t_exam == u_find { [INFO] [stdout] | ^^^^^^ `u_find` captured here [INFO] [stdout] 40 | return new_repl; [INFO] [stdout] | ^^^^^^^^ `new_repl` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:61:9 [INFO] [stdout] | [INFO] [stdout] 60 | fn abs (i : i32) -> fn(f: Form) -> Form { [INFO] [stdout] | ------------------- expected `fn(Form) -> Form` because of return type [INFO] [stdout] 61 | / |f: Form| -> Form { [INFO] [stdout] 62 | | match f { [INFO] [stdout] 63 | | Form::Pred(a, ts) => [INFO] [stdout] 64 | | Form::Pred(a, map( [INFO] [stdout] ... | [INFO] [stdout] 71 | | } [INFO] [stdout] | |_________^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Form) -> Form` [INFO] [stdout] found closure `{closure@src/main.rs:61:9: 61:26}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:65:57 [INFO] [stdout] | [INFO] [stdout] 65 | ... replace_term(t, Term::Bound(i) [INFO] [stdout] | ^ `i` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:61:9 [INFO] [stdout] | [INFO] [stdout] 60 | fn abs (i : i32) -> fn(f: Form) -> Form { [INFO] [stdout] | ------------------- expected `fn(Form) -> Form` because of return type [INFO] [stdout] 61 | / |f: Form| -> Form { [INFO] [stdout] 62 | | match f { [INFO] [stdout] 63 | | Form::Pred(a, ts) => [INFO] [stdout] 64 | | Form::Pred(a, map( [INFO] [stdout] ... | [INFO] [stdout] 71 | | } [INFO] [stdout] | |_________^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Form) -> Form` [INFO] [stdout] found closure `{closure@src/main.rs:61:9: 61:26}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:65:57 [INFO] [stdout] | [INFO] [stdout] 65 | ... replace_term(t, Term::Bound(i) [INFO] [stdout] | ^ `i` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:87:9 [INFO] [stdout] | [INFO] [stdout] 86 | fn subst (i : i32) -> fn(f: Form) -> Form { [INFO] [stdout] | ------------------- expected `fn(Form) -> Form` because of return type [INFO] [stdout] 87 | / |f: Form| -> Form { [INFO] [stdout] 88 | | match f { [INFO] [stdout] 89 | | Form::Pred(a, ts) => [INFO] [stdout] 90 | | Form::Pred(a, map( [INFO] [stdout] ... | [INFO] [stdout] 97 | | } [INFO] [stdout] | |_________^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Form) -> Form` [INFO] [stdout] found closure `{closure@src/main.rs:87:9: 87:26}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:91:50 [INFO] [stdout] | [INFO] [stdout] 91 | replace_term(Term::Bound(i), t) [INFO] [stdout] | ^ `i` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:87:9 [INFO] [stdout] | [INFO] [stdout] 86 | fn subst (i : i32) -> fn(f: Form) -> Form { [INFO] [stdout] | ------------------- expected `fn(Form) -> Form` because of return type [INFO] [stdout] 87 | / |f: Form| -> Form { [INFO] [stdout] 88 | | match f { [INFO] [stdout] 89 | | Form::Pred(a, ts) => [INFO] [stdout] 90 | | Form::Pred(a, map( [INFO] [stdout] ... | [INFO] [stdout] 97 | | } [INFO] [stdout] | |_________^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Form) -> Form` [INFO] [stdout] found closure `{closure@src/main.rs:87:9: 87:26}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:91:50 [INFO] [stdout] | [INFO] [stdout] 91 | replace_term(Term::Bound(i), t) [INFO] [stdout] | ^ `i` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:253:5 [INFO] [stdout] | [INFO] [stdout] 252 | fn cons(x : T) -> fn(xs: Vec) -> Vec { [INFO] [stdout] | ------------------------ expected `fn(Vec) -> Vec` because of return type [INFO] [stdout] 253 | / |mut xs: Vec| -> Vec { [INFO] [stdout] 254 | | xs.push(x); [INFO] [stdout] 255 | | xs [INFO] [stdout] 256 | | } [INFO] [stdout] | |_____^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Vec) -> Vec` [INFO] [stdout] found closure `{closure@src/main.rs:253:5: 253:31}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:254:17 [INFO] [stdout] | [INFO] [stdout] 254 | xs.push(x); [INFO] [stdout] | ^ `x` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:261:5 [INFO] [stdout] | [INFO] [stdout] 260 | fn make_fun(fu : String) -> fn(Vec) -> Term { [INFO] [stdout] | --------------------- expected `fn(Vec) -> Term` because of return type [INFO] [stdout] 261 | / |ts : Vec| { [INFO] [stdout] 262 | | Term::Fun(fu, ts) [INFO] [stdout] 263 | | } [INFO] [stdout] | |_____^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Vec) -> Term` [INFO] [stdout] found closure `{closure@src/main.rs:261:5: 261:21}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:262:19 [INFO] [stdout] | [INFO] [stdout] 262 | Term::Fun(fu, ts) [INFO] [stdout] | ^^ `fu` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:253:5 [INFO] [stdout] | [INFO] [stdout] 252 | fn cons(x : T) -> fn(xs: Vec) -> Vec { [INFO] [stdout] | ------------------------ expected `fn(Vec) -> Vec` because of return type [INFO] [stdout] 253 | / |mut xs: Vec| -> Vec { [INFO] [stdout] 254 | | xs.push(x); [INFO] [stdout] 255 | | xs [INFO] [stdout] 256 | | } [INFO] [stdout] | |_____^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Vec) -> Vec` [INFO] [stdout] found closure `{closure@src/main.rs:253:5: 253:31}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:254:17 [INFO] [stdout] | [INFO] [stdout] 254 | xs.push(x); [INFO] [stdout] | ^ `x` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:268:5 [INFO] [stdout] | [INFO] [stdout] 267 | fn make_pred(id : String) -> fn(Vec) -> Form { [INFO] [stdout] | --------------------- expected `fn(Vec) -> Form` because of return type [INFO] [stdout] 268 | / |ts : Vec| { [INFO] [stdout] 269 | | Form::Pred(id, ts) [INFO] [stdout] 270 | | } [INFO] [stdout] | |_____^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Vec) -> Form` [INFO] [stdout] found closure `{closure@src/main.rs:268:5: 268:21}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:269:20 [INFO] [stdout] | [INFO] [stdout] 269 | Form::Pred(id, ts) [INFO] [stdout] | ^^ `id` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:282:5 [INFO] [stdout] | [INFO] [stdout] 281 | fn make_conn(s : String, a : Form) -> fn(Form) -> Form { [INFO] [stdout] | ---------------- expected `fn(Form) -> Form` because of return type [INFO] [stdout] 282 | / |b : Form| { [INFO] [stdout] 283 | | Form::Conn(s, vec![a, b]) [INFO] [stdout] 284 | | } [INFO] [stdout] | |_____^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Form) -> Form` [INFO] [stdout] found closure `{closure@src/main.rs:282:5: 282:15}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:283:20 [INFO] [stdout] | [INFO] [stdout] 283 | Form::Conn(s, vec![a, b]) [INFO] [stdout] | ^ ^ `a` captured here [INFO] [stdout] | | [INFO] [stdout] | `s` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:261:5 [INFO] [stdout] | [INFO] [stdout] 260 | fn make_fun(fu : String) -> fn(Vec) -> Term { [INFO] [stdout] | --------------------- expected `fn(Vec) -> Term` because of return type [INFO] [stdout] 261 | / |ts : Vec| { [INFO] [stdout] 262 | | Term::Fun(fu, ts) [INFO] [stdout] 263 | | } [INFO] [stdout] | |_____^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Vec) -> Term` [INFO] [stdout] found closure `{closure@src/main.rs:261:5: 261:21}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:262:19 [INFO] [stdout] | [INFO] [stdout] 262 | Term::Fun(fu, ts) [INFO] [stdout] | ^^ `fu` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:289:5 [INFO] [stdout] | [INFO] [stdout] 288 | fn make_quant(q : String, b : String) -> fn(Form) -> Form { [INFO] [stdout] | ---------------- expected `fn(Form) -> Form` because of return type [INFO] [stdout] 289 | / |a: Form| { [INFO] [stdout] 290 | | let fun_b = Term::Fun(b.clone(), vec![]); [INFO] [stdout] 291 | | let abs_a = abstract_over(fun_b)(a); [INFO] [stdout] 292 | | Form::Quant(q, b, Box::from(abs_a)) [INFO] [stdout] 293 | | } [INFO] [stdout] | |_____^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Form) -> Form` [INFO] [stdout] found closure `{closure@src/main.rs:289:5: 289:14}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:290:31 [INFO] [stdout] | [INFO] [stdout] 290 | let fun_b = Term::Fun(b.clone(), vec![]); [INFO] [stdout] | ^ `b` captured here [INFO] [stdout] 291 | let abs_a = abstract_over(fun_b)(a); [INFO] [stdout] 292 | Form::Quant(q, b, Box::from(abs_a)) [INFO] [stdout] | ^ `q` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:268:5 [INFO] [stdout] | [INFO] [stdout] 267 | fn make_pred(id : String) -> fn(Vec) -> Form { [INFO] [stdout] | --------------------- expected `fn(Vec) -> Form` because of return type [INFO] [stdout] 268 | / |ts : Vec| { [INFO] [stdout] 269 | | Form::Pred(id, ts) [INFO] [stdout] 270 | | } [INFO] [stdout] | |_____^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Vec) -> Form` [INFO] [stdout] found closure `{closure@src/main.rs:268:5: 268:21}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:269:20 [INFO] [stdout] | [INFO] [stdout] 269 | Form::Pred(id, ts) [INFO] [stdout] | ^^ `id` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:282:5 [INFO] [stdout] | [INFO] [stdout] 281 | fn make_conn(s : String, a : Form) -> fn(Form) -> Form { [INFO] [stdout] | ---------------- expected `fn(Form) -> Form` because of return type [INFO] [stdout] 282 | / |b : Form| { [INFO] [stdout] 283 | | Form::Conn(s, vec![a, b]) [INFO] [stdout] 284 | | } [INFO] [stdout] | |_____^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Form) -> Form` [INFO] [stdout] found closure `{closure@src/main.rs:282:5: 282:15}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:283:20 [INFO] [stdout] | [INFO] [stdout] 283 | Form::Conn(s, vec![a, b]) [INFO] [stdout] | ^ ^ `a` captured here [INFO] [stdout] | | [INFO] [stdout] | `s` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: expected a `FnOnce(&[Token])` closure, found `F` [INFO] [stdout] --> src/main.rs:310:34 [INFO] [stdout] | [INFO] [stdout] 310 | parse_repeat1(a, parsefn, toks) [INFO] [stdout] | ------------- ^^^^^^^ expected an `FnOnce(&[Token])` closure, found `F` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = note: expected a closure with signature `fn(&[Token])` [INFO] [stdout] found a closure with signature `fn(Term)` [INFO] [stdout] note: required by a bound in `parse_repeat1` [INFO] [stdout] --> src/main.rs:325:11 [INFO] [stdout] | [INFO] [stdout] 324 | fn parse_repeat1<'a, F>(a : &str, parsefn : F, toks : &'a [Token]) -> ParseResult> [INFO] [stdout] | ------------- required by a bound in this function [INFO] [stdout] 325 | where F : FnOnce(&'a [Token]) -> ParseResult { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `parse_repeat1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: expected a `FnOnce(Term)` closure, found `F` [INFO] [stdout] --> src/main.rs:327:44 [INFO] [stdout] | [INFO] [stdout] 327 | apfst(cons(res.value), parse_repeat(a, parsefn, res.rest)) [INFO] [stdout] | ------------ ^^^^^^^ expected an `FnOnce(Term)` closure, found `F` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = note: expected a closure with signature `fn(Term)` [INFO] [stdout] found a closure with signature `fn(&'a [Token])` [INFO] [stdout] note: required by a bound in `parse_repeat` [INFO] [stdout] --> src/main.rs:306:11 [INFO] [stdout] | [INFO] [stdout] 304 | fn parse_repeat<'a, F>(a : &str, parsefn : F, toks : &'a [Token]) [INFO] [stdout] | ------------ required by a bound in this function [INFO] [stdout] 305 | -> ParseResult> [INFO] [stdout] 306 | where F : FnOnce(Term) -> Term { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ required by this bound in `parse_repeat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0164]: expected tuple struct or tuple variant, found associated function `String::from` [INFO] [stdout] --> src/main.rs:336:21 [INFO] [stdout] | [INFO] [stdout] 336 | [Token::Key(String::from(")")), toks @ ..] => [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ `fn` calls are not allowed in patterns [INFO] [stdout] | [INFO] [stdout] = help: for more information, visit https://doc.rust-lang.org/book/ch19-00-patterns.html [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/main.rs:289:5 [INFO] [stdout] | [INFO] [stdout] 288 | fn make_quant(q : String, b : String) -> fn(Form) -> Form { [INFO] [stdout] | ---------------- expected `fn(Form) -> Form` because of return type [INFO] [stdout] 289 | / |a: Form| { [INFO] [stdout] 290 | | let fun_b = Term::Fun(b.clone(), vec![]); [INFO] [stdout] 291 | | let abs_a = abstract_over(fun_b)(a); [INFO] [stdout] 292 | | Form::Quant(q, b, Box::from(abs_a)) [INFO] [stdout] 293 | | } [INFO] [stdout] | |_____^ expected fn pointer, found closure [INFO] [stdout] | [INFO] [stdout] = note: expected fn pointer `fn(Form) -> Form` [INFO] [stdout] found closure `{closure@src/main.rs:289:5: 289:14}` [INFO] [stdout] note: closures can only be coerced to `fn` types if they do not capture any variables [INFO] [stdout] --> src/main.rs:290:31 [INFO] [stdout] | [INFO] [stdout] 290 | let fun_b = Term::Fun(b.clone(), vec![]); [INFO] [stdout] | ^ `b` captured here [INFO] [stdout] 291 | let abs_a = abstract_over(fun_b)(a); [INFO] [stdout] 292 | Form::Quant(q, b, Box::from(abs_a)) [INFO] [stdout] | ^ `q` captured here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: expected a `FnOnce(&[Token])` closure, found `F` [INFO] [stdout] --> src/main.rs:310:34 [INFO] [stdout] | [INFO] [stdout] 310 | parse_repeat1(a, parsefn, toks) [INFO] [stdout] | ------------- ^^^^^^^ expected an `FnOnce(&[Token])` closure, found `F` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = note: expected a closure with signature `fn(&[Token])` [INFO] [stdout] found a closure with signature `fn(Term)` [INFO] [stdout] note: required by a bound in `parse_repeat1` [INFO] [stdout] --> src/main.rs:325:11 [INFO] [stdout] | [INFO] [stdout] 324 | fn parse_repeat1<'a, F>(a : &str, parsefn : F, toks : &'a [Token]) -> ParseResult> [INFO] [stdout] | ------------- required by a bound in this function [INFO] [stdout] 325 | where F : FnOnce(&'a [Token]) -> ParseResult { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `parse_repeat1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: expected a `FnOnce(Term)` closure, found `F` [INFO] [stdout] --> src/main.rs:327:44 [INFO] [stdout] | [INFO] [stdout] 327 | apfst(cons(res.value), parse_repeat(a, parsefn, res.rest)) [INFO] [stdout] | ------------ ^^^^^^^ expected an `FnOnce(Term)` closure, found `F` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = note: expected a closure with signature `fn(Term)` [INFO] [stdout] found a closure with signature `fn(&'a [Token])` [INFO] [stdout] note: required by a bound in `parse_repeat` [INFO] [stdout] --> src/main.rs:306:11 [INFO] [stdout] | [INFO] [stdout] 304 | fn parse_repeat<'a, F>(a : &str, parsefn : F, toks : &'a [Token]) [INFO] [stdout] | ------------ required by a bound in this function [INFO] [stdout] 305 | -> ParseResult> [INFO] [stdout] 306 | where F : FnOnce(Term) -> Term { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ required by this bound in `parse_repeat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0164]: expected tuple struct or tuple variant, found associated function `String::from` [INFO] [stdout] --> src/main.rs:336:21 [INFO] [stdout] | [INFO] [stdout] 336 | [Token::Key(String::from(")")), toks @ ..] => [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ `fn` calls are not allowed in patterns [INFO] [stdout] | [INFO] [stdout] = help: for more information, visit https://doc.rust-lang.org/book/ch19-00-patterns.html [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/main.rs:59:18 [INFO] [stdout] | [INFO] [stdout] 59 | fn abstract_over(t : Term) -> fn(Form) -> Form { [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/main.rs:85:16 [INFO] [stdout] | [INFO] [stdout] 85 | fn subst_bound(t : Term) -> fn(Form) -> Form { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fun` [INFO] [stdout] --> src/main.rs:353:9 [INFO] [stdout] | [INFO] [stdout] 353 | let fun = Term::Fun("f".to_string(), vec![var]); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_fun` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `input` [INFO] [stdout] --> src/main.rs:356:13 [INFO] [stdout] | [INFO] [stdout] 356 | let input : String = prompt(">")?; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_input` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/main.rs:59:18 [INFO] [stdout] | [INFO] [stdout] 59 | fn abstract_over(t : Term) -> fn(Form) -> Form { [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/main.rs:85:16 [INFO] [stdout] | [INFO] [stdout] 85 | fn subst_bound(t : Term) -> fn(Form) -> Form { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fun` [INFO] [stdout] --> src/main.rs:353:9 [INFO] [stdout] | [INFO] [stdout] 353 | let fun = Term::Fun("f".to_string(), vec![var]); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_fun` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `input` [INFO] [stdout] --> src/main.rs:356:13 [INFO] [stdout] | [INFO] [stdout] 356 | let input : String = prompt(">")?; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_input` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0106, E0164, E0277, E0308, E0434. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0106`. [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0106, E0164, E0277, E0308, E0434. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0106`. [INFO] [stdout] [INFO] [stderr] error: could not compile `Rusterol` (bin "Rusterol" test) due to 15 previous errors; 9 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `Rusterol` (bin "Rusterol") due to 15 previous errors; 9 warnings emitted [INFO] running `Command { std: "docker" "inspect" "1fd032f2d19f1f2977c3a1117ea9aa6f73e66ef15044402e554985caa3ad65e4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1fd032f2d19f1f2977c3a1117ea9aa6f73e66ef15044402e554985caa3ad65e4", kill_on_drop: false }` [INFO] [stdout] 1fd032f2d19f1f2977c3a1117ea9aa6f73e66ef15044402e554985caa3ad65e4