[INFO] cloning repository https://github.com/emilia-h/nano-crl2 [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/emilia-h/nano-crl2" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Femilia-h%2Fnano-crl2", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Femilia-h%2Fnano-crl2'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 067567161b12bb469f801bd1a2af9b94ff1a51b4 [INFO] testing emilia-h/nano-crl2 against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Femilia-h%2Fnano-crl2" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/emilia-h/nano-crl2 [INFO] finished tweaking git repo https://github.com/emilia-h/nano-crl2 [INFO] tweaked toml for git repo https://github.com/emilia-h/nano-crl2 written to /workspace/builds/worker-1-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/emilia-h/nano-crl2 on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/emilia-h/nano-crl2 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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: unused manifest key: lib.src [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c5d0a211a8894054da1a642984f4d35e8945cc63b35e5417bb871df11b15c199 [INFO] running `Command { std: "docker" "start" "-a" "c5d0a211a8894054da1a642984f4d35e8945cc63b35e5417bb871df11b15c199", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c5d0a211a8894054da1a642984f4d35e8945cc63b35e5417bb871df11b15c199", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c5d0a211a8894054da1a642984f4d35e8945cc63b35e5417bb871df11b15c199", kill_on_drop: false }` [INFO] [stdout] c5d0a211a8894054da1a642984f4d35e8945cc63b35e5417bb871df11b15c199 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e532e6d5dc857e324ae509952b9f7f56fdaf2296e7ff3c695d58b81c47295e82 [INFO] running `Command { std: "docker" "start" "-a" "e532e6d5dc857e324ae509952b9f7f56fdaf2296e7ff3c695d58b81c47295e82", kill_on_drop: false }` [INFO] [stderr] warning: unused manifest key: lib.src [INFO] [stderr] Compiling fastrand v2.1.1 [INFO] [stderr] Compiling nano_crl2 v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `SourceCursorPos` [INFO] [stdout] --> src/core/parser.rs:21:39 [INFO] [stdout] | [INFO] [stdout] 21 | use crate::core::syntax::{Identifier, SourceCursorPos, SourceRange}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `params` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:251:55 [INFO] [stdout] | [INFO] [stdout] 251 | ... IrDeclEnum::Constructor { params, sort } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `params: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sort` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:251:63 [INFO] [stdout] | [INFO] [stdout] 251 | ... IrDeclEnum::Constructor { params, sort } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `sort: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sort` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:254:58 [INFO] [stdout] | [INFO] [stdout] 254 | ... IrDeclEnum::GlobalVariable { sort } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `sort: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sort` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:257:47 [INFO] [stdout] | [INFO] [stdout] 257 | ... IrDeclEnum::Map { sort } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `sort: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `params` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:267:50 [INFO] [stdout] | [INFO] [stdout] 267 | ... IrDeclEnum::Action { params } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `params: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `params` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:270:51 [INFO] [stdout] | [INFO] [stdout] 270 | ... IrDeclEnum::Process { params, .. } => { [INFO] [stdout] | ^^^^^^- [INFO] [stdout] | | [INFO] [stdout] | help: try removing the field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `value` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:55:37 [INFO] [stdout] | [INFO] [stdout] 55 | IrExprEnum::NumberLiteral { value } => { [INFO] [stdout] | ^^^^^ help: try ignoring the field: `value: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `values` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:64:34 [INFO] [stdout] | [INFO] [stdout] 64 | IrExprEnum::SetLiteral { values } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `values: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `values` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:67:34 [INFO] [stdout] | [INFO] [stdout] 67 | IrExprEnum::BagLiteral { values } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `values: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `proc` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:385:47 [INFO] [stdout] | [INFO] [stdout] 385 | IrDeclEnum::Process { params, proc } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `proc: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `decl_id` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:391:22 [INFO] [stdout] | [INFO] [stdout] 391 | NodeId::Decl(decl_id) => { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_decl_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expr_id` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:394:22 [INFO] [stdout] | [INFO] [stdout] 394 | NodeId::Expr(expr_id) => { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expr_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rewrite_rule_id` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:397:29 [INFO] [stdout] | [INFO] [stdout] 397 | NodeId::RewriteRule(rewrite_rule_id) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rewrite_rule_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:375:26 [INFO] [stdout] | [INFO] [stdout] 375 | .find(|&(i, &arg)| arg == expr) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `op1` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:605:24 [INFO] [stdout] | [INFO] [stdout] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_op1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s1` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:605:38 [INFO] [stdout] | [INFO] [stdout] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_s1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `op2` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:605:58 [INFO] [stdout] | [INFO] [stdout] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_op2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s2` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:605:72 [INFO] [stdout] | [INFO] [stdout] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_s2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lhs1` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:608:26 [INFO] [stdout] | [INFO] [stdout] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lhs1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rhs1` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:608:37 [INFO] [stdout] | [INFO] [stdout] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rhs1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lh2` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:608:61 [INFO] [stdout] | [INFO] [stdout] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_lh2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rhs2` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:608:71 [INFO] [stdout] | [INFO] [stdout] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rhs2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `input_files` [INFO] [stdout] --> src/tools/gen_docs.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | let input_files = options.get_named_list("input"); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_input_files` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `output_file` [INFO] [stdout] --> src/tools/gen_docs.rs:24:9 [INFO] [stdout] | [INFO] [stdout] 24 | let output_file = diagnostics.union_result( [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_output_file` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_desired_sort` is never used [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:361:4 [INFO] [stdout] | [INFO] [stdout] 361 | fn find_desired_sort( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `errors` is never read [INFO] [stdout] --> src/core/parser.rs:92:5 [INFO] [stdout] | [INFO] [stdout] 87 | pub struct Parser<'a> { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] ... [INFO] [stdout] 92 | errors: Vec, // TODO report as many errors as possible [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.76s [INFO] running `Command { std: "docker" "inspect" "e532e6d5dc857e324ae509952b9f7f56fdaf2296e7ff3c695d58b81c47295e82", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e532e6d5dc857e324ae509952b9f7f56fdaf2296e7ff3c695d58b81c47295e82", kill_on_drop: false }` [INFO] [stdout] e532e6d5dc857e324ae509952b9f7f56fdaf2296e7ff3c695d58b81c47295e82 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 40f083c0de0c68cc952be3f5d39c76aac3fdea16c83ea98e24118abe16e268de [INFO] running `Command { std: "docker" "start" "-a" "40f083c0de0c68cc952be3f5d39c76aac3fdea16c83ea98e24118abe16e268de", kill_on_drop: false }` [INFO] [stderr] warning: unused manifest key: lib.src [INFO] [stdout] warning: unused import: `SourceCursorPos` [INFO] [stdout] --> src/core/parser.rs:21:39 [INFO] [stdout] | [INFO] [stdout] 21 | use crate::core::syntax::{Identifier, SourceCursorPos, SourceRange}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `params` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:251:55 [INFO] [stdout] | [INFO] [stdout] 251 | ... IrDeclEnum::Constructor { params, sort } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `params: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sort` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:251:63 [INFO] [stdout] | [INFO] [stdout] 251 | ... IrDeclEnum::Constructor { params, sort } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `sort: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sort` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:254:58 [INFO] [stdout] | [INFO] [stdout] 254 | ... IrDeclEnum::GlobalVariable { sort } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `sort: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sort` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:257:47 [INFO] [stdout] | [INFO] [stdout] 257 | ... IrDeclEnum::Map { sort } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `sort: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `params` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:267:50 [INFO] [stdout] | [INFO] [stdout] 267 | ... IrDeclEnum::Action { params } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `params: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `params` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:270:51 [INFO] [stdout] | [INFO] [stdout] 270 | ... IrDeclEnum::Process { params, .. } => { [INFO] [stdout] | ^^^^^^- [INFO] [stdout] | | [INFO] [stdout] | help: try removing the field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `value` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:55:37 [INFO] [stdout] | [INFO] [stdout] 55 | IrExprEnum::NumberLiteral { value } => { [INFO] [stdout] | ^^^^^ help: try ignoring the field: `value: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `values` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:64:34 [INFO] [stdout] | [INFO] [stdout] 64 | IrExprEnum::SetLiteral { values } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `values: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `values` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:67:34 [INFO] [stdout] | [INFO] [stdout] 67 | IrExprEnum::BagLiteral { values } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `values: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `proc` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:385:47 [INFO] [stdout] | [INFO] [stdout] 385 | IrDeclEnum::Process { params, proc } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `proc: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `decl_id` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:391:22 [INFO] [stdout] | [INFO] [stdout] 391 | NodeId::Decl(decl_id) => { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_decl_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expr_id` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:394:22 [INFO] [stdout] | [INFO] [stdout] 394 | NodeId::Expr(expr_id) => { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expr_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rewrite_rule_id` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:397:29 [INFO] [stdout] | [INFO] [stdout] 397 | NodeId::RewriteRule(rewrite_rule_id) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rewrite_rule_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:375:26 [INFO] [stdout] | [INFO] [stdout] 375 | .find(|&(i, &arg)| arg == expr) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `op1` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:605:24 [INFO] [stdout] | [INFO] [stdout] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_op1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s1` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:605:38 [INFO] [stdout] | [INFO] [stdout] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_s1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `op2` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:605:58 [INFO] [stdout] | [INFO] [stdout] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_op2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s2` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:605:72 [INFO] [stdout] | [INFO] [stdout] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_s2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lhs1` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:608:26 [INFO] [stdout] | [INFO] [stdout] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lhs1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rhs1` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:608:37 [INFO] [stdout] | [INFO] [stdout] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rhs1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lh2` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:608:61 [INFO] [stdout] | [INFO] [stdout] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_lh2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rhs2` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:608:71 [INFO] [stdout] | [INFO] [stdout] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rhs2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `input_files` [INFO] [stdout] --> src/tools/gen_docs.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | let input_files = options.get_named_list("input"); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_input_files` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `output_file` [INFO] [stdout] --> src/tools/gen_docs.rs:24:9 [INFO] [stdout] | [INFO] [stdout] 24 | let output_file = diagnostics.union_result( [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_output_file` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_desired_sort` is never used [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:361:4 [INFO] [stdout] | [INFO] [stdout] 361 | fn find_desired_sort( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `errors` is never read [INFO] [stdout] --> src/core/parser.rs:92:5 [INFO] [stdout] | [INFO] [stdout] 87 | pub struct Parser<'a> { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] ... [INFO] [stdout] 92 | errors: Vec, // TODO report as many errors as possible [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling nano_crl2 v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `SourceCursorPos` [INFO] [stdout] --> src/core/parser.rs:21:39 [INFO] [stdout] | [INFO] [stdout] 21 | use crate::core::syntax::{Identifier, SourceCursorPos, SourceRange}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `params` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:251:55 [INFO] [stdout] | [INFO] [stdout] 251 | ... IrDeclEnum::Constructor { params, sort } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `params: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sort` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:251:63 [INFO] [stdout] | [INFO] [stdout] 251 | ... IrDeclEnum::Constructor { params, sort } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `sort: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sort` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:254:58 [INFO] [stdout] | [INFO] [stdout] 254 | ... IrDeclEnum::GlobalVariable { sort } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `sort: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sort` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:257:47 [INFO] [stdout] | [INFO] [stdout] 257 | ... IrDeclEnum::Map { sort } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `sort: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `params` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:267:50 [INFO] [stdout] | [INFO] [stdout] 267 | ... IrDeclEnum::Action { params } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `params: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `params` [INFO] [stdout] --> src/analysis/semantic/name_resolution.rs:270:51 [INFO] [stdout] | [INFO] [stdout] 270 | ... IrDeclEnum::Process { params, .. } => { [INFO] [stdout] | ^^^^^^- [INFO] [stdout] | | [INFO] [stdout] | help: try removing the field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `value` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:55:37 [INFO] [stdout] | [INFO] [stdout] 55 | IrExprEnum::NumberLiteral { value } => { [INFO] [stdout] | ^^^^^ help: try ignoring the field: `value: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `values` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:64:34 [INFO] [stdout] | [INFO] [stdout] 64 | IrExprEnum::SetLiteral { values } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `values: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `values` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:67:34 [INFO] [stdout] | [INFO] [stdout] 67 | IrExprEnum::BagLiteral { values } => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `values: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `proc` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:385:47 [INFO] [stdout] | [INFO] [stdout] 385 | IrDeclEnum::Process { params, proc } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `proc: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `decl_id` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:391:22 [INFO] [stdout] | [INFO] [stdout] 391 | NodeId::Decl(decl_id) => { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_decl_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expr_id` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:394:22 [INFO] [stdout] | [INFO] [stdout] 394 | NodeId::Expr(expr_id) => { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expr_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rewrite_rule_id` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:397:29 [INFO] [stdout] | [INFO] [stdout] 397 | NodeId::RewriteRule(rewrite_rule_id) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rewrite_rule_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:375:26 [INFO] [stdout] | [INFO] [stdout] 375 | .find(|&(i, &arg)| arg == expr) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `op1` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:605:24 [INFO] [stdout] | [INFO] [stdout] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_op1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s1` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:605:38 [INFO] [stdout] | [INFO] [stdout] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_s1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `op2` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:605:58 [INFO] [stdout] | [INFO] [stdout] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_op2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s2` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:605:72 [INFO] [stdout] | [INFO] [stdout] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_s2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lhs1` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:608:26 [INFO] [stdout] | [INFO] [stdout] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lhs1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rhs1` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:608:37 [INFO] [stdout] | [INFO] [stdout] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rhs1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lh2` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:608:61 [INFO] [stdout] | [INFO] [stdout] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_lh2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rhs2` [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:608:71 [INFO] [stdout] | [INFO] [stdout] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rhs2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `input_files` [INFO] [stdout] --> src/tools/gen_docs.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | let input_files = options.get_named_list("input"); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_input_files` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `output_file` [INFO] [stdout] --> src/tools/gen_docs.rs:24:9 [INFO] [stdout] | [INFO] [stdout] 24 | let output_file = diagnostics.union_result( [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_output_file` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `find_desired_sort` is never used [INFO] [stdout] --> src/analysis/semantic/sort_resolution.rs:361:4 [INFO] [stdout] | [INFO] [stdout] 361 | fn find_desired_sort( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `errors` is never read [INFO] [stdout] --> src/core/parser.rs:92:5 [INFO] [stdout] | [INFO] [stdout] 87 | pub struct Parser<'a> { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] ... [INFO] [stdout] 92 | errors: Vec, // TODO report as many errors as possible [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 3.45s [INFO] running `Command { std: "docker" "inspect" "40f083c0de0c68cc952be3f5d39c76aac3fdea16c83ea98e24118abe16e268de", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "40f083c0de0c68cc952be3f5d39c76aac3fdea16c83ea98e24118abe16e268de", kill_on_drop: false }` [INFO] [stdout] 40f083c0de0c68cc952be3f5d39c76aac3fdea16c83ea98e24118abe16e268de [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] ffb92d56dd60c6840c48718a51aa28f7893e3e2f64a5eb5d47f9dc30bb9d2260 [INFO] running `Command { std: "docker" "start" "-a" "ffb92d56dd60c6840c48718a51aa28f7893e3e2f64a5eb5d47f9dc30bb9d2260", kill_on_drop: false }` [INFO] [stderr] warning: unused manifest key: lib.src [INFO] [stderr] warning: unused import: `SourceCursorPos` [INFO] [stderr] --> src/core/parser.rs:21:39 [INFO] [stderr] | [INFO] [stderr] 21 | use crate::core::syntax::{Identifier, SourceCursorPos, SourceRange}; [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `params` [INFO] [stderr] --> src/analysis/semantic/name_resolution.rs:251:55 [INFO] [stderr] | [INFO] [stderr] 251 | ... IrDeclEnum::Constructor { params, sort } => { [INFO] [stderr] | ^^^^^^ help: try ignoring the field: `params: _` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `sort` [INFO] [stderr] --> src/analysis/semantic/name_resolution.rs:251:63 [INFO] [stderr] | [INFO] [stderr] 251 | ... IrDeclEnum::Constructor { params, sort } => { [INFO] [stderr] | ^^^^ help: try ignoring the field: `sort: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `sort` [INFO] [stderr] --> src/analysis/semantic/name_resolution.rs:254:58 [INFO] [stderr] | [INFO] [stderr] 254 | ... IrDeclEnum::GlobalVariable { sort } => { [INFO] [stderr] | ^^^^ help: try ignoring the field: `sort: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `sort` [INFO] [stderr] --> src/analysis/semantic/name_resolution.rs:257:47 [INFO] [stderr] | [INFO] [stderr] 257 | ... IrDeclEnum::Map { sort } => { [INFO] [stderr] | ^^^^ help: try ignoring the field: `sort: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `params` [INFO] [stderr] --> src/analysis/semantic/name_resolution.rs:267:50 [INFO] [stderr] | [INFO] [stderr] 267 | ... IrDeclEnum::Action { params } => { [INFO] [stderr] | ^^^^^^ help: try ignoring the field: `params: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `params` [INFO] [stderr] --> src/analysis/semantic/name_resolution.rs:270:51 [INFO] [stderr] | [INFO] [stderr] 270 | ... IrDeclEnum::Process { params, .. } => { [INFO] [stderr] | ^^^^^^- [INFO] [stderr] | | [INFO] [stderr] | help: try removing the field [INFO] [stderr] [INFO] [stderr] warning: unused variable: `value` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:55:37 [INFO] [stderr] | [INFO] [stderr] 55 | IrExprEnum::NumberLiteral { value } => { [INFO] [stderr] | ^^^^^ help: try ignoring the field: `value: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `values` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:64:34 [INFO] [stderr] | [INFO] [stderr] 64 | IrExprEnum::SetLiteral { values } => { [INFO] [stderr] | ^^^^^^ help: try ignoring the field: `values: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `values` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:67:34 [INFO] [stderr] | [INFO] [stderr] 67 | IrExprEnum::BagLiteral { values } => { [INFO] [stderr] | ^^^^^^ help: try ignoring the field: `values: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `proc` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:385:47 [INFO] [stderr] | [INFO] [stderr] 385 | IrDeclEnum::Process { params, proc } => { [INFO] [stderr] | ^^^^ help: try ignoring the field: `proc: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `decl_id` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:391:22 [INFO] [stderr] | [INFO] [stderr] 391 | NodeId::Decl(decl_id) => { [INFO] [stderr] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_decl_id` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `expr_id` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:394:22 [INFO] [stderr] | [INFO] [stderr] 394 | NodeId::Expr(expr_id) => { [INFO] [stderr] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_expr_id` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `rewrite_rule_id` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:397:29 [INFO] [stderr] | [INFO] [stderr] 397 | NodeId::RewriteRule(rewrite_rule_id) => { [INFO] [stderr] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rewrite_rule_id` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `i` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:375:26 [INFO] [stderr] | [INFO] [stderr] 375 | .find(|&(i, &arg)| arg == expr) [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `op1` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:605:24 [INFO] [stderr] | [INFO] [stderr] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_op1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `s1` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:605:38 [INFO] [stderr] | [INFO] [stderr] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_s1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `op2` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:605:58 [INFO] [stderr] | [INFO] [stderr] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_op2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `s2` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:605:72 [INFO] [stderr] | [INFO] [stderr] 605 | (Generic { op: op1, subsort: s1 }, Generic { op: op2, subsort: s2 }) => { [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_s2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `lhs1` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:608:26 [INFO] [stderr] | [INFO] [stderr] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lhs1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `rhs1` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:608:37 [INFO] [stderr] | [INFO] [stderr] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rhs1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `lh2` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:608:61 [INFO] [stderr] | [INFO] [stderr] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_lh2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `rhs2` [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:608:71 [INFO] [stderr] | [INFO] [stderr] 608 | (Function { lhs: lhs1, rhs: rhs1 }, Function { lhs: lh2, rhs: rhs2 }) => { [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rhs2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `input_files` [INFO] [stderr] --> src/tools/gen_docs.rs:23:9 [INFO] [stderr] | [INFO] [stderr] 23 | let input_files = options.get_named_list("input"); [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_input_files` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `output_file` [INFO] [stderr] --> src/tools/gen_docs.rs:24:9 [INFO] [stderr] | [INFO] [stderr] 24 | let output_file = diagnostics.union_result( [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_output_file` [INFO] [stderr] [INFO] [stderr] warning: function `find_desired_sort` is never used [INFO] [stderr] --> src/analysis/semantic/sort_resolution.rs:361:4 [INFO] [stderr] | [INFO] [stderr] 361 | fn find_desired_sort( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: field `errors` is never read [INFO] [stderr] --> src/core/parser.rs:92:5 [INFO] [stderr] | [INFO] [stderr] 87 | pub struct Parser<'a> { [INFO] [stderr] | ------ field in this struct [INFO] [stderr] ... [INFO] [stderr] 92 | errors: Vec, // TODO report as many errors as possible [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `nano_crl2` (lib) generated 27 warnings (run `cargo fix --lib -p nano_crl2` to apply 2 suggestions) [INFO] [stderr] warning: `nano_crl2` (lib test) generated 27 warnings (27 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/nano_crl2-53670c84645c1cc9) [INFO] [stdout] [INFO] [stdout] running 27 tests [INFO] [stdout] test core::lexer::tests::test_tokenize_basic ... ok [INFO] [stdout] test analysis::emerson_lei::tests::test_calculate_set ... ok [INFO] [stdout] test core::lexer::tests::test_tokenize_comments ... ok [INFO] [stdout] test analysis::emerson_lei::tests::test_rewrite_state_formula ... ok [INFO] [stdout] test analysis::small_progress_measures::tests::test_solve_parity_game_all_top ... ok [INFO] [stdout] test model::expr::tests::test_parse_expr_logical ... ok [INFO] [stdout] test lts::aldebaran::tests::test_parse_aldeberan_too_much ... ok [INFO] [stdout] test model::sort::tests::test_parse_sort_struct_basic ... ok [INFO] [stdout] test core::lexer::tests::test_tokenize_symbols ... ok [INFO] [stdout] test lts::aldebaran::tests::test_parse_aldeberan_empty ... ok [INFO] [stdout] test lts::aldebaran::tests::test_parse_aldeberan_too_little ... ok [INFO] [stdout] test analysis::small_progress_measures::tests::test_prog_basic ... ok [INFO] [stdout] test parity_game::pgsolver::test::test_parse_pgsolver_basic ... ok [INFO] [stdout] test model::expr::tests::test_parse_expr_binary ... ok [INFO] [stdout] test model::sort::tests::test_parse_sort_struct_empty ... ok [INFO] [stdout] test model::proc::tests::test_parse_proc_basic ... ok [INFO] [stdout] test model::decl::tests::test_parse_decl_eqn ... ok [INFO] [stdout] test model::proc::tests::test_parse_proc_conditional ... ok [INFO] [stdout] test model::sort::tests::test_test ... ok [INFO] [stdout] test lts::aldebaran::tests::test_parse_aldeberan_basic ... ok [INFO] [stdout] test model::proc::tests::test_parse_proc_conditional_nested ... ok [INFO] [stdout] test mu_calculus::state_formula::tests::test_state_formula_basic ... ok [INFO] [stdout] test model::decl::tests::test_parse_decl_sort_too_much ... ok [INFO] [stdout] test parity_game::pgsolver::test::test_parse_pgsolver_too_little ... ok [INFO] [stdout] test tools::cli::tests::test_parse_cli_basic ... ok [INFO] [stdout] test tools::cli::tests::test_parse_cli_bool ... ok [INFO] [stdout] test tools::cli::tests::test_parse_cli_empty ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 27 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/nano_crl2-eb6e8e446fb8829f) [INFO] [stderr] Running tests/integration_tests.rs (/opt/rustwide/target/debug/deps/integration_tests-59b3044145a39cc2) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 7 tests [INFO] [stdout] test model_parsing::module::test_general1_module ... ok [INFO] [stdout] test checking::sorts::test_sets ... ok [INFO] [stdout] test model_parsing::module::test_sets_module ... ok [INFO] [stdout] test checking::sorts::test_structs ... ok [INFO] [stdout] test checking::sorts::test_general1 ... ok [INFO] [stdout] test lts_verification::logic::test_logical_operators ... ok [INFO] [stdout] test parity_game_solving::small::test_small_games ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Doc-tests nano_crl2 [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test src/tools/cli.rs - tools::cli::CliOptions::parse (line 107) ... ok [INFO] [stdout] test src/tools/cli.rs - tools::cli::CliOptions::get_unnamed_len (line 208) ... ok [INFO] [stdout] test src/core/parser.rs - core::parser (line 5) ... ok [INFO] [stdout] test src/tools/cli.rs - tools::cli::CliOptions::get_unnamed_string (line 226) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.65s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "ffb92d56dd60c6840c48718a51aa28f7893e3e2f64a5eb5d47f9dc30bb9d2260", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ffb92d56dd60c6840c48718a51aa28f7893e3e2f64a5eb5d47f9dc30bb9d2260", kill_on_drop: false }` [INFO] [stdout] ffb92d56dd60c6840c48718a51aa28f7893e3e2f64a5eb5d47f9dc30bb9d2260