[INFO] cloning repository https://github.com/adrianleh/acdc-egg [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/adrianleh/acdc-egg" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fadrianleh%2Facdc-egg", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fadrianleh%2Facdc-egg'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] b3ca30c3a66c24b55f9e39339b75db6ebbe371fb [INFO] building adrianleh/acdc-egg against master#c7f6aa2869acdbf014d094c6e427e554e160b6db for pr-146237-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fadrianleh%2Facdc-egg" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/adrianleh/acdc-egg [INFO] finished tweaking git repo https://github.com/adrianleh/acdc-egg [INFO] tweaked toml for git repo https://github.com/adrianleh/acdc-egg written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/adrianleh/acdc-egg on toolchain c7f6aa2869acdbf014d094c6e427e554e160b6db [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/adrianleh/acdc-egg 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" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded symbolic_expressions v5.0.3 [INFO] [stderr] Downloaded extensions v0.2.0 [INFO] [stderr] Downloaded jsonrpc-http-server v18.0.0 [INFO] [stderr] Downloaded symbol_table v0.4.0 [INFO] [stderr] Downloaded jsonrpc-server-utils v18.0.0 [INFO] [stderr] Downloaded jsonrpc-v2 v0.13.0 [INFO] [stderr] Downloaded raw-cpuid v11.4.0 [INFO] [stderr] Downloaded egg v0.10.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1030b94b9752f9dd83f78ed964fd2a9ce08b3d1cbffc4efd5d7f3423448dcd3a [INFO] running `Command { std: "docker" "start" "-a" "1030b94b9752f9dd83f78ed964fd2a9ce08b3d1cbffc4efd5d7f3423448dcd3a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1030b94b9752f9dd83f78ed964fd2a9ce08b3d1cbffc4efd5d7f3423448dcd3a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1030b94b9752f9dd83f78ed964fd2a9ce08b3d1cbffc4efd5d7f3423448dcd3a", kill_on_drop: false }` [INFO] [stdout] 1030b94b9752f9dd83f78ed964fd2a9ce08b3d1cbffc4efd5d7f3423448dcd3a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c3b5cd44516370827c2aadb719617e65122a8603169aebbdf2cc36a18f9b78b6 [INFO] running `Command { std: "docker" "start" "-a" "c3b5cd44516370827c2aadb719617e65122a8603169aebbdf2cc36a18f9b78b6", kill_on_drop: false }` [INFO] [stderr] Compiling unicode-ident v1.0.17 [INFO] [stderr] Compiling smallvec v1.14.0 [INFO] [stderr] Compiling serde v1.0.218 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling mio v1.0.4 [INFO] [stderr] Compiling jobserver v0.1.33 [INFO] [stderr] Compiling foldhash v0.1.4 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Compiling tracing v0.1.41 [INFO] [stderr] Compiling crc32fast v1.5.0 [INFO] [stderr] Compiling brotli v8.0.1 [INFO] [stderr] Compiling bstr v1.12.0 [INFO] [stderr] Compiling cookie v0.16.2 [INFO] [stderr] Compiling raw-cpuid v11.4.0 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling proc-macro2 v1.0.93 [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling flate2 v1.1.2 [INFO] [stderr] Compiling cc v1.2.30 [INFO] [stderr] Compiling hashbrown v0.15.2 [INFO] [stderr] Compiling net2 v0.2.39 [INFO] [stderr] Compiling parking_lot_core v0.9.11 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling parking_lot_core v0.8.6 [INFO] [stderr] Compiling parking_lot v0.12.4 [INFO] [stderr] Compiling extensions v0.2.0 [INFO] [stderr] Compiling symbolic_expressions v5.0.3 [INFO] [stderr] Compiling quote v1.0.38 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling parking_lot v0.11.2 [INFO] [stderr] Compiling rustc-hash v2.1.1 [INFO] [stderr] Compiling saturating v0.1.0 [INFO] [stderr] Compiling syn v2.0.98 [INFO] [stderr] Compiling indexmap v2.7.1 [INFO] [stderr] Compiling symbol_table v0.4.0 [INFO] [stderr] Compiling zstd-sys v2.0.15+zstd.1.5.7 [INFO] [stderr] Compiling quanta v0.12.5 [INFO] [stderr] Compiling regex-automata v0.4.9 [INFO] [stderr] Compiling actix-router v0.5.3 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling globset v0.4.16 [INFO] [stderr] Compiling env_logger v0.9.3 [INFO] [stderr] Compiling synstructure v0.13.2 [INFO] [stderr] Compiling zstd-safe v7.2.4 [INFO] [stderr] Compiling zerofrom-derive v0.1.6 [INFO] [stderr] Compiling yoke-derive v0.8.0 [INFO] [stderr] Compiling tokio-macros v2.5.0 [INFO] [stderr] Compiling zerovec-derive v0.11.1 [INFO] [stderr] Compiling displaydoc v0.2.5 [INFO] [stderr] Compiling futures-macro v0.3.31 [INFO] [stderr] Compiling serde_derive v1.0.218 [INFO] [stderr] Compiling tracing-attributes v0.1.30 [INFO] [stderr] Compiling derive_more-impl v2.0.1 [INFO] [stderr] Compiling actix-macros v0.2.4 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling actix-web-codegen v4.3.0 [INFO] [stderr] Compiling async-trait v0.1.88 [INFO] [stderr] Compiling zstd v0.13.3 [INFO] [stderr] Compiling tokio v1.47.0 [INFO] [stderr] Compiling futures-util v0.3.31 [INFO] [stderr] Compiling zerofrom v0.1.6 [INFO] [stderr] Compiling yoke v0.8.0 [INFO] [stderr] Compiling zerovec v0.11.2 [INFO] [stderr] Compiling zerotrie v0.2.2 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling derive_more v2.0.1 [INFO] [stderr] Compiling tinystr v0.8.1 [INFO] [stderr] Compiling potential_utf v0.1.2 [INFO] [stderr] Compiling icu_collections v2.0.0 [INFO] [stderr] Compiling icu_locale_core v2.0.0 [INFO] [stderr] Compiling icu_provider v2.0.0 [INFO] [stderr] Compiling icu_normalizer v2.0.0 [INFO] [stderr] Compiling icu_properties v2.0.1 [INFO] [stderr] Compiling futures-executor v0.3.31 [INFO] [stderr] Compiling futures v0.3.31 [INFO] [stderr] Compiling idna_adapter v1.2.1 [INFO] [stderr] Compiling idna v1.0.3 [INFO] [stderr] Compiling url v2.5.4 [INFO] [stderr] Compiling tokio-util v0.7.15 [INFO] [stderr] Compiling actix-rt v2.10.0 [INFO] [stderr] Compiling tokio-util v0.6.10 [INFO] [stderr] Compiling tokio-stream v0.1.17 [INFO] [stderr] Compiling hyper v0.14.32 [INFO] [stderr] Compiling actix-server v2.6.0 [INFO] [stderr] Compiling serde_json v1.0.140 [INFO] [stderr] Compiling serde_urlencoded v0.7.1 [INFO] [stderr] Compiling erased-serde v0.3.31 [INFO] [stderr] Compiling egg v0.10.0 [INFO] [stderr] Compiling actix-codec v0.5.2 [INFO] [stderr] Compiling h2 v0.3.27 [INFO] [stderr] Compiling jsonrpc-core v18.0.0 [INFO] [stderr] Compiling jsonrpc-server-utils v18.0.0 [INFO] [stderr] Compiling jsonrpc-http-server v18.0.0 [INFO] [stderr] Compiling actix-http v3.11.0 [INFO] [stderr] Compiling actix-web v4.11.0 [INFO] [stderr] Compiling jsonrpc-v2 v0.13.0 [INFO] [stderr] Compiling acdc-egg v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `Lemma` [INFO] [stdout] --> src/jsonrpc.rs:1:24 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::vyzxlemma::{Lemma, LemmaContainer, generate_rw_from_lemma}; [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 macro definition: `serialize_bin_ops` [INFO] [stdout] --> src/serialize.rs:94:14 [INFO] [stdout] | [INFO] [stdout] 94 | macro_rules! serialize_bin_ops { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `serialize_spider` [INFO] [stdout] --> src/serialize.rs:101:14 [INFO] [stdout] | [INFO] [stdout] 101 | macro_rules! serialize_spider { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `ser_type` [INFO] [stdout] --> src/serialize.rs:112:14 [INFO] [stdout] | [INFO] [stdout] 112 | macro_rules! ser_type { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::io::Error` [INFO] [stdout] --> src/vyzxlemma.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use std::io::Error; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `acdczx_to_pattern` and `to_acdc_expr` [INFO] [stdout] --> src/main.rs:23:45 [INFO] [stdout] | [INFO] [stdout] 23 | LemmaContainer, acdczx_to_expl_pattern, acdczx_to_pattern, to_acdc_expr, to_expl_acdc_expr, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `actix_web::web::to` [INFO] [stdout] --> src/main.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | use actix_web::web::to; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Language` [INFO] [stdout] --> src/vyzxlemma.rs:7:41 [INFO] [stdout] | [INFO] [stdout] 7 | use egg::{Analysis, ConditionalApplier, Language, Pattern, RecExpr, Rewrite, Symbol}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `res` [INFO] [stdout] --> src/benchmark.rs:85:5 [INFO] [stdout] | [INFO] [stdout] 85 | res: egg::Id, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_res` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `d` [INFO] [stdout] --> src/diff.rs:49:37 [INFO] [stdout] | [INFO] [stdout] 49 | if let Some(d) = largest_diff(a1, a2) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_d` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `d1` [INFO] [stdout] --> src/subtrees.rs:204:39 [INFO] [stdout] | [INFO] [stdout] 204 | (ZXOrDim::Dim(d1), ZXOrDim::Dim(d2)) => {} [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_d1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `d2` [INFO] [stdout] --> src/subtrees.rs:204:57 [INFO] [stdout] | [INFO] [stdout] 204 | (ZXOrDim::Dim(d1), ZXOrDim::Dim(d2)) => {} [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_d2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> src/vyzxlemma.rs:321:24 [INFO] [stdout] | [INFO] [stdout] 321 | ACDCDim::Sub { a, b } => true, [INFO] [stdout] | ^ help: try ignoring the field: `a: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> src/vyzxlemma.rs:321:27 [INFO] [stdout] | [INFO] [stdout] 321 | ACDCDim::Sub { a, b } => true, [INFO] [stdout] | ^ help: try ignoring the field: `b: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fn_name` [INFO] [stdout] --> src/vyzxlemma.rs:762:22 [INFO] [stdout] | [INFO] [stdout] 762 | ACDCZX::Fn { fn_name, args } => { [INFO] [stdout] | ^^^^^^^ help: try ignoring the field: `fn_name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> src/vyzxlemma.rs:1005:29 [INFO] [stdout] | [INFO] [stdout] 1005 | (ACDCZX::Val { val, n, m }, r) => { [INFO] [stdout] | ^ help: try ignoring the field: `n: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `m` [INFO] [stdout] --> src/vyzxlemma.rs:1005:32 [INFO] [stdout] | [INFO] [stdout] 1005 | (ACDCZX::Val { val, n, m }, r) => { [INFO] [stdout] | ^ help: try ignoring the field: `m: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> src/vyzxlemma.rs:1009:32 [INFO] [stdout] | [INFO] [stdout] 1009 | (l, ACDCZX::Val { val, n, m }) => { [INFO] [stdout] | ^ help: try ignoring the field: `n: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `m` [INFO] [stdout] --> src/vyzxlemma.rs:1009:35 [INFO] [stdout] | [INFO] [stdout] 1009 | (l, ACDCZX::Val { val, n, m }) => { [INFO] [stdout] | ^ help: try ignoring the field: `m: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n1` [INFO] [stdout] --> src/vyzxlemma.rs:1066:31 [INFO] [stdout] | [INFO] [stdout] 1066 | (ACDCZX::NStack1 { n: n1, zx: zx1 }, ACDCZX::NStack1 { n: n2, zx: zx2 }) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_n1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n2` [INFO] [stdout] --> src/vyzxlemma.rs:1066:67 [INFO] [stdout] | [INFO] [stdout] 1066 | (ACDCZX::NStack1 { n: n1, zx: zx1 }, ACDCZX::NStack1 { n: n2, zx: zx2 }) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_n2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n1` [INFO] [stdout] --> src/vyzxlemma.rs:1069:30 [INFO] [stdout] | [INFO] [stdout] 1069 | (ACDCZX::NStack { n: n1, zx: zx1 }, ACDCZX::NStack { n: n2, zx: zx2 }) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_n1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n2` [INFO] [stdout] --> src/vyzxlemma.rs:1069:65 [INFO] [stdout] | [INFO] [stdout] 1069 | (ACDCZX::NStack { n: n1, zx: zx1 }, ACDCZX::NStack { n: n2, zx: zx2 }) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_n2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `node` [INFO] [stdout] --> src/vyzxlemma.rs:1369:9 [INFO] [stdout] | [INFO] [stdout] 1369 | for node in rec.iter() {} [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_node` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `children_str` [INFO] [stdout] --> src/main.rs:234:13 [INFO] [stdout] | [INFO] [stdout] 234 | let children_str = children [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_children_str` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Type` is more private than the item `Function::new` [INFO] [stdout] --> src/acdcfns.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | pub fn new(name: &str, args: Vec<(String, Type)>, ftype: Type) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `Function::new` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `Type` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/acdcfns.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | enum Type { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `recexpr_to_ACDC_at` should have a snake case name [INFO] [stdout] --> src/recexpr.rs:43:4 [INFO] [stdout] | [INFO] [stdout] 43 | fn recexpr_to_ACDC_at(rec_expr: &RecExpr, i: Id) -> ZXOrDimOrEither { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `recexpr_to_acdc_at` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `recexpr_to_ACDC` should have a snake case name [INFO] [stdout] --> src/recexpr.rs:160:8 [INFO] [stdout] | [INFO] [stdout] 160 | pub fn recexpr_to_ACDC(rec_expr: &RecExpr) -> ZXOrDimOrEither { [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `recexpr_to_acdc` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/serialize.rs:247:21 [INFO] [stdout] | [INFO] [stdout] 247 | pub fn children(&self) -> Vec> { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 247 | pub fn children(&self) -> Vec> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `cast_Z` should have a snake case name [INFO] [stdout] --> src/vyzxrules.rs:569:4 [INFO] [stdout] | [INFO] [stdout] 569 | fn cast_Z() -> Lemma [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case (notice the capitalization): `cast_z` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `cast_X` should have a snake case name [INFO] [stdout] --> src/vyzxrules.rs:602:4 [INFO] [stdout] | [INFO] [stdout] 602 | fn cast_X() -> Lemma [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case (notice the capitalization): `cast_x` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `Z_abs_fusion` should have a snake case name [INFO] [stdout] --> src/vyzxrules.rs:708:4 [INFO] [stdout] | [INFO] [stdout] 708 | fn Z_abs_fusion() -> Lemma [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `z_abs_fusion` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `X_abs_fusion` should have a snake case name [INFO] [stdout] --> src/vyzxrules.rs:739:4 [INFO] [stdout] | [INFO] [stdout] 739 | fn X_abs_fusion() -> Lemma [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `x_abs_fusion` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 19s [INFO] running `Command { std: "docker" "inspect" "c3b5cd44516370827c2aadb719617e65122a8603169aebbdf2cc36a18f9b78b6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c3b5cd44516370827c2aadb719617e65122a8603169aebbdf2cc36a18f9b78b6", kill_on_drop: false }` [INFO] [stdout] c3b5cd44516370827c2aadb719617e65122a8603169aebbdf2cc36a18f9b78b6 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7dd05083419d03469826f125ef1956d846da10faef5edb8daf93efa3bd8024b9 [INFO] running `Command { std: "docker" "start" "-a" "7dd05083419d03469826f125ef1956d846da10faef5edb8daf93efa3bd8024b9", kill_on_drop: false }` [INFO] [stderr] Compiling acdc-egg v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `Lemma` [INFO] [stdout] --> src/jsonrpc.rs:1:24 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::vyzxlemma::{Lemma, LemmaContainer, generate_rw_from_lemma}; [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 macro definition: `serialize_bin_ops` [INFO] [stdout] --> src/serialize.rs:94:14 [INFO] [stdout] | [INFO] [stdout] 94 | macro_rules! serialize_bin_ops { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `serialize_spider` [INFO] [stdout] --> src/serialize.rs:101:14 [INFO] [stdout] | [INFO] [stdout] 101 | macro_rules! serialize_spider { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `ser_type` [INFO] [stdout] --> src/serialize.rs:112:14 [INFO] [stdout] | [INFO] [stdout] 112 | macro_rules! ser_type { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::io::Error` [INFO] [stdout] --> src/vyzxlemma.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use std::io::Error; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `acdczx_to_pattern` and `to_acdc_expr` [INFO] [stdout] --> src/main.rs:23:45 [INFO] [stdout] | [INFO] [stdout] 23 | LemmaContainer, acdczx_to_expl_pattern, acdczx_to_pattern, to_acdc_expr, to_expl_acdc_expr, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `actix_web::web::to` [INFO] [stdout] --> src/main.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | use actix_web::web::to; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Language` [INFO] [stdout] --> src/vyzxlemma.rs:7:41 [INFO] [stdout] | [INFO] [stdout] 7 | use egg::{Analysis, ConditionalApplier, Language, Pattern, RecExpr, Rewrite, Symbol}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `res` [INFO] [stdout] --> src/benchmark.rs:85:5 [INFO] [stdout] | [INFO] [stdout] 85 | res: egg::Id, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_res` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `d` [INFO] [stdout] --> src/diff.rs:49:37 [INFO] [stdout] | [INFO] [stdout] 49 | if let Some(d) = largest_diff(a1, a2) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_d` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `d1` [INFO] [stdout] --> src/subtrees.rs:204:39 [INFO] [stdout] | [INFO] [stdout] 204 | (ZXOrDim::Dim(d1), ZXOrDim::Dim(d2)) => {} [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_d1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `d2` [INFO] [stdout] --> src/subtrees.rs:204:57 [INFO] [stdout] | [INFO] [stdout] 204 | (ZXOrDim::Dim(d1), ZXOrDim::Dim(d2)) => {} [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_d2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `idx` [INFO] [stdout] --> src/subtrees.rs:377:14 [INFO] [stdout] | [INFO] [stdout] 377 | let (idx, found) = rewrite_at_idx(&a, &b, &subtree); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_idx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `idx` [INFO] [stdout] --> src/subtrees.rs:386:14 [INFO] [stdout] | [INFO] [stdout] 386 | let (idx, found) = rewrite_at_idx(&a, &b, &subtree); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_idx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> src/vyzxlemma.rs:321:24 [INFO] [stdout] | [INFO] [stdout] 321 | ACDCDim::Sub { a, b } => true, [INFO] [stdout] | ^ help: try ignoring the field: `a: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> src/vyzxlemma.rs:321:27 [INFO] [stdout] | [INFO] [stdout] 321 | ACDCDim::Sub { a, b } => true, [INFO] [stdout] | ^ help: try ignoring the field: `b: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `fn_name` [INFO] [stdout] --> src/vyzxlemma.rs:762:22 [INFO] [stdout] | [INFO] [stdout] 762 | ACDCZX::Fn { fn_name, args } => { [INFO] [stdout] | ^^^^^^^ help: try ignoring the field: `fn_name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> src/vyzxlemma.rs:1005:29 [INFO] [stdout] | [INFO] [stdout] 1005 | (ACDCZX::Val { val, n, m }, r) => { [INFO] [stdout] | ^ help: try ignoring the field: `n: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `m` [INFO] [stdout] --> src/vyzxlemma.rs:1005:32 [INFO] [stdout] | [INFO] [stdout] 1005 | (ACDCZX::Val { val, n, m }, r) => { [INFO] [stdout] | ^ help: try ignoring the field: `m: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> src/vyzxlemma.rs:1009:32 [INFO] [stdout] | [INFO] [stdout] 1009 | (l, ACDCZX::Val { val, n, m }) => { [INFO] [stdout] | ^ help: try ignoring the field: `n: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `m` [INFO] [stdout] --> src/vyzxlemma.rs:1009:35 [INFO] [stdout] | [INFO] [stdout] 1009 | (l, ACDCZX::Val { val, n, m }) => { [INFO] [stdout] | ^ help: try ignoring the field: `m: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n1` [INFO] [stdout] --> src/vyzxlemma.rs:1066:31 [INFO] [stdout] | [INFO] [stdout] 1066 | (ACDCZX::NStack1 { n: n1, zx: zx1 }, ACDCZX::NStack1 { n: n2, zx: zx2 }) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_n1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n2` [INFO] [stdout] --> src/vyzxlemma.rs:1066:67 [INFO] [stdout] | [INFO] [stdout] 1066 | (ACDCZX::NStack1 { n: n1, zx: zx1 }, ACDCZX::NStack1 { n: n2, zx: zx2 }) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_n2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n1` [INFO] [stdout] --> src/vyzxlemma.rs:1069:30 [INFO] [stdout] | [INFO] [stdout] 1069 | (ACDCZX::NStack { n: n1, zx: zx1 }, ACDCZX::NStack { n: n2, zx: zx2 }) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_n1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n2` [INFO] [stdout] --> src/vyzxlemma.rs:1069:65 [INFO] [stdout] | [INFO] [stdout] 1069 | (ACDCZX::NStack { n: n1, zx: zx1 }, ACDCZX::NStack { n: n2, zx: zx2 }) => { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_n2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `node` [INFO] [stdout] --> src/vyzxlemma.rs:1369:9 [INFO] [stdout] | [INFO] [stdout] 1369 | for node in rec.iter() {} [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_node` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `children_str` [INFO] [stdout] --> src/main.rs:234:13 [INFO] [stdout] | [INFO] [stdout] 234 | let children_str = children [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_children_str` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `acdcfns::Type` is more private than the item `acdcfns::Function::new` [INFO] [stdout] --> src/acdcfns.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | pub fn new(name: &str, args: Vec<(String, Type)>, ftype: Type) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `acdcfns::Function::new` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `acdcfns::Type` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/acdcfns.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | enum Type { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `recexpr_to_ACDC_at` should have a snake case name [INFO] [stdout] --> src/recexpr.rs:43:4 [INFO] [stdout] | [INFO] [stdout] 43 | fn recexpr_to_ACDC_at(rec_expr: &RecExpr, i: Id) -> ZXOrDimOrEither { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `recexpr_to_acdc_at` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `recexpr_to_ACDC` should have a snake case name [INFO] [stdout] --> src/recexpr.rs:160:8 [INFO] [stdout] | [INFO] [stdout] 160 | pub fn recexpr_to_ACDC(rec_expr: &RecExpr) -> ZXOrDimOrEither { [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `recexpr_to_acdc` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/serialize.rs:247:21 [INFO] [stdout] | [INFO] [stdout] 247 | pub fn children(&self) -> Vec> { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 247 | pub fn children(&self) -> Vec> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `cast_Z` should have a snake case name [INFO] [stdout] --> src/vyzxrules.rs:569:4 [INFO] [stdout] | [INFO] [stdout] 569 | fn cast_Z() -> Lemma [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case (notice the capitalization): `cast_z` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `cast_X` should have a snake case name [INFO] [stdout] --> src/vyzxrules.rs:602:4 [INFO] [stdout] | [INFO] [stdout] 602 | fn cast_X() -> Lemma [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case (notice the capitalization): `cast_x` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `Z_abs_fusion` should have a snake case name [INFO] [stdout] --> src/vyzxrules.rs:708:4 [INFO] [stdout] | [INFO] [stdout] 708 | fn Z_abs_fusion() -> Lemma [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `z_abs_fusion` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `X_abs_fusion` should have a snake case name [INFO] [stdout] --> src/vyzxrules.rs:739:4 [INFO] [stdout] | [INFO] [stdout] 739 | fn X_abs_fusion() -> Lemma [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `x_abs_fusion` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 8.66s [INFO] running `Command { std: "docker" "inspect" "7dd05083419d03469826f125ef1956d846da10faef5edb8daf93efa3bd8024b9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7dd05083419d03469826f125ef1956d846da10faef5edb8daf93efa3bd8024b9", kill_on_drop: false }` [INFO] [stdout] 7dd05083419d03469826f125ef1956d846da10faef5edb8daf93efa3bd8024b9