[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] testing adrianleh/acdc-egg against master#733b47ea4b1b86216f14ef56e49440c33933f230+rustflags=-Copt-level=3 for pr-138759 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fadrianleh%2Facdc-egg" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/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-6-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/adrianleh/acdc-egg on toolchain 733b47ea4b1b86216f14ef56e49440c33933f230 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "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-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 7cd8ad19ef74d40b5a25a6e6aaca10e31a4c86bccf88d3734062b91fbd894756 [INFO] running `Command { std: "docker" "start" "-a" "7cd8ad19ef74d40b5a25a6e6aaca10e31a4c86bccf88d3734062b91fbd894756", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "7cd8ad19ef74d40b5a25a6e6aaca10e31a4c86bccf88d3734062b91fbd894756", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7cd8ad19ef74d40b5a25a6e6aaca10e31a4c86bccf88d3734062b91fbd894756", kill_on_drop: false }` [INFO] [stdout] 7cd8ad19ef74d40b5a25a6e6aaca10e31a4c86bccf88d3734062b91fbd894756 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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 -Copt-level=3" "-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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b3c330fca3a0a8711648ae438eee5eb8f6eb8c26bb381acc157ec6d75be3183f [INFO] running `Command { std: "docker" "start" "-a" "b3c330fca3a0a8711648ae438eee5eb8f6eb8c26bb381acc157ec6d75be3183f", kill_on_drop: false }` [INFO] [stderr] Compiling unicode-ident v1.0.17 [INFO] [stderr] Compiling libc v0.2.174 [INFO] [stderr] Compiling pin-project-lite v0.2.16 [INFO] [stderr] Compiling smallvec v1.14.0 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling log v0.4.26 [INFO] [stderr] Compiling futures-core v0.3.31 [INFO] [stderr] Compiling lock_api v0.4.13 [INFO] [stderr] Compiling proc-macro2 v1.0.93 [INFO] [stderr] Compiling bytes v1.10.1 [INFO] [stderr] Compiling parking_lot_core v0.9.11 [INFO] [stderr] Compiling futures-sink v0.3.31 [INFO] [stderr] Compiling stable_deref_trait v1.2.0 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling futures-channel v0.3.31 [INFO] [stderr] Compiling serde v1.0.218 [INFO] [stderr] Compiling quote v1.0.38 [INFO] [stderr] Compiling slab v0.4.10 [INFO] [stderr] Compiling futures-task v0.3.31 [INFO] [stderr] Compiling syn v2.0.98 [INFO] [stderr] Compiling futures-io v0.3.31 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling tracing-core v0.1.34 [INFO] [stderr] Compiling typenum v1.18.0 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling socket2 v0.6.0 [INFO] [stderr] Compiling mio v1.0.4 [INFO] [stderr] Compiling parking_lot v0.12.4 [INFO] [stderr] Compiling signal-hook-registry v1.4.5 [INFO] [stderr] Compiling jobserver v0.1.33 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling cc v1.2.30 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling writeable v0.6.1 [INFO] [stderr] Compiling pkg-config v0.3.32 [INFO] [stderr] Compiling litemap v0.8.0 [INFO] [stderr] Compiling http v0.2.12 [INFO] [stderr] Compiling icu_properties_data v2.0.1 [INFO] [stderr] Compiling allocator-api2 v0.2.21 [INFO] [stderr] Compiling equivalent v1.0.2 [INFO] [stderr] Compiling foldhash v0.1.4 [INFO] [stderr] Compiling icu_normalizer_data v2.0.0 [INFO] [stderr] Compiling hashbrown v0.15.2 [INFO] [stderr] Compiling serde_json v1.0.140 [INFO] [stderr] Compiling regex-automata v0.4.9 [INFO] [stderr] Compiling httparse v1.10.1 [INFO] [stderr] Compiling bitflags v2.8.0 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Compiling local-waker v0.1.4 [INFO] [stderr] Compiling zstd-safe v7.2.4 [INFO] [stderr] Compiling alloc-no-stdlib v2.0.4 [INFO] [stderr] Compiling crc32fast v1.5.0 [INFO] [stderr] Compiling alloc-stdlib v0.2.2 [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling indexmap v2.7.1 [INFO] [stderr] Compiling synstructure v0.13.2 [INFO] [stderr] Compiling socket2 v0.5.10 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling httpdate v1.0.3 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling time-core v0.1.4 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling adler2 v2.0.1 [INFO] [stderr] Compiling regex-lite v0.1.6 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Compiling miniz_oxide v0.8.9 [INFO] [stderr] Compiling tracing v0.1.41 [INFO] [stderr] Compiling zstd-sys v2.0.15+zstd.1.5.7 [INFO] [stderr] Compiling time-macros v0.2.22 [INFO] [stderr] Compiling bytestring v1.4.0 [INFO] [stderr] Compiling deranged v0.4.0 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling brotli-decompressor v5.0.0 [INFO] [stderr] Compiling actix-utils v3.0.1 [INFO] [stderr] Compiling cookie v0.16.2 [INFO] [stderr] Compiling actix-service v2.0.3 [INFO] [stderr] Compiling cpufeatures v0.2.17 [INFO] [stderr] Compiling utf8_iter v1.0.4 [INFO] [stderr] Compiling parking_lot_core v0.8.6 [INFO] [stderr] Compiling brotli v8.0.1 [INFO] [stderr] Compiling sha1 v0.10.6 [INFO] [stderr] Compiling time v0.3.41 [INFO] [stderr] Compiling flate2 v1.1.2 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling actix-router v0.5.3 [INFO] [stderr] Compiling local-channel v0.1.5 [INFO] [stderr] Compiling bstr v1.12.0 [INFO] [stderr] Compiling encoding_rs v0.8.35 [INFO] [stderr] Compiling instant v0.1.13 [INFO] [stderr] Compiling language-tags v0.3.2 [INFO] [stderr] Compiling byteorder v1.5.0 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling fxhash v0.2.1 [INFO] [stderr] Compiling globset v0.4.16 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling raw-cpuid v11.4.0 [INFO] [stderr] Compiling http-body v0.4.6 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling termcolor v1.4.1 [INFO] [stderr] Compiling impl-more v0.1.9 [INFO] [stderr] Compiling zstd v0.13.3 [INFO] [stderr] Compiling tower-service v0.3.3 [INFO] [stderr] Compiling unicase v2.8.1 [INFO] [stderr] Compiling net2 v0.2.39 [INFO] [stderr] Compiling env_logger v0.9.3 [INFO] [stderr] Compiling quanta v0.12.5 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling parking_lot v0.11.2 [INFO] [stderr] Compiling extensions v0.2.0 [INFO] [stderr] Compiling symbol_table v0.4.0 [INFO] [stderr] Compiling rustc-hash v2.1.1 [INFO] [stderr] Compiling symbolic_expressions v5.0.3 [INFO] [stderr] Compiling saturating v0.1.0 [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-web-codegen v4.3.0 [INFO] [stderr] Compiling tokio v1.47.0 [INFO] [stderr] Compiling futures-util v0.3.31 [INFO] [stderr] Compiling futures-executor v0.3.31 [INFO] [stderr] Compiling futures v0.3.31 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling actix-macros v0.2.4 [INFO] [stderr] Compiling tokio-util v0.7.15 [INFO] [stderr] Compiling zerofrom v0.1.6 [INFO] [stderr] Compiling yoke v0.8.0 [INFO] [stderr] Compiling actix-rt v2.10.0 [INFO] [stderr] Compiling zerovec v0.11.2 [INFO] [stderr] Compiling zerotrie v0.2.2 [INFO] [stderr] Compiling h2 v0.3.27 [INFO] [stderr] Compiling actix-codec v0.5.2 [INFO] [stderr] Compiling actix-server v2.6.0 [INFO] [stderr] Compiling tinystr v0.8.1 [INFO] [stderr] Compiling icu_locale_core v2.0.0 [INFO] [stderr] Compiling potential_utf v0.1.2 [INFO] [stderr] Compiling icu_collections v2.0.0 [INFO] [stderr] Compiling icu_provider v2.0.0 [INFO] [stderr] Compiling tokio-util v0.6.10 [INFO] [stderr] Compiling icu_normalizer v2.0.0 [INFO] [stderr] Compiling icu_properties v2.0.1 [INFO] [stderr] Compiling serde_urlencoded v0.7.1 [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 jsonrpc-core v18.0.0 [INFO] [stderr] Compiling tokio-stream v0.1.17 [INFO] [stderr] Compiling jsonrpc-server-utils v18.0.0 [INFO] [stderr] Compiling derive_more v2.0.1 [INFO] [stderr] Compiling actix-http v3.11.0 [INFO] [stderr] Compiling erased-serde v0.3.31 [INFO] [stderr] Compiling hyper v0.14.32 [INFO] [stderr] Compiling async-trait v0.1.88 [INFO] [stderr] Compiling egg v0.10.0 [INFO] [stderr] Compiling jsonrpc-http-server v18.0.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)]` 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)]` 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)]` 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)]` 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: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/serialize.rs:247:21 [INFO] [stdout] | [INFO] [stdout] 247 | pub fn children(&self) -> Vec> { [INFO] [stdout] | ^^^^^ ------------------ the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for 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 11m 16s [INFO] running `Command { std: "docker" "inspect" "b3c330fca3a0a8711648ae438eee5eb8f6eb8c26bb381acc157ec6d75be3183f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b3c330fca3a0a8711648ae438eee5eb8f6eb8c26bb381acc157ec6d75be3183f", kill_on_drop: false }` [INFO] [stdout] b3c330fca3a0a8711648ae438eee5eb8f6eb8c26bb381acc157ec6d75be3183f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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 -Copt-level=3" "-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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 52ef90bc755ab2f7e099c4831a960876b6ce7818cfe7f12a5393308fa3bdc550 [INFO] running `Command { std: "docker" "start" "-a" "52ef90bc755ab2f7e099c4831a960876b6ce7818cfe7f12a5393308fa3bdc550", 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)]` 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)]` 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)]` 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)]` 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: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/serialize.rs:247:21 [INFO] [stdout] | [INFO] [stdout] 247 | pub fn children(&self) -> Vec> { [INFO] [stdout] | ^^^^^ ------------------ the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for 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 5.09s [INFO] running `Command { std: "docker" "inspect" "52ef90bc755ab2f7e099c4831a960876b6ce7818cfe7f12a5393308fa3bdc550", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "52ef90bc755ab2f7e099c4831a960876b6ce7818cfe7f12a5393308fa3bdc550", kill_on_drop: false }` [INFO] [stdout] 52ef90bc755ab2f7e099c4831a960876b6ce7818cfe7f12a5393308fa3bdc550 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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 -Copt-level=3" "-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" "+733b47ea4b1b86216f14ef56e49440c33933f230" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 22595ea209472bf70129c9547cdea57d0130d03f7ba7bf9c9e8188ed5f4cdd79 [INFO] running `Command { std: "docker" "start" "-a" "22595ea209472bf70129c9547cdea57d0130d03f7ba7bf9c9e8188ed5f4cdd79", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `Lemma` [INFO] [stderr] --> src/jsonrpc.rs:1:24 [INFO] [stderr] | [INFO] [stderr] 1 | use crate::vyzxlemma::{Lemma, LemmaContainer, generate_rw_from_lemma}; [INFO] [stderr] | ^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused macro definition: `serialize_bin_ops` [INFO] [stderr] --> src/serialize.rs:94:14 [INFO] [stderr] | [INFO] [stderr] 94 | macro_rules! serialize_bin_ops { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_macros)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused macro definition: `serialize_spider` [INFO] [stderr] --> src/serialize.rs:101:14 [INFO] [stderr] | [INFO] [stderr] 101 | macro_rules! serialize_spider { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused macro definition: `ser_type` [INFO] [stderr] --> src/serialize.rs:112:14 [INFO] [stderr] | [INFO] [stderr] 112 | macro_rules! ser_type { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::io::Error` [INFO] [stderr] --> src/vyzxlemma.rs:12:5 [INFO] [stderr] | [INFO] [stderr] 12 | use std::io::Error; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `acdczx_to_pattern` and `to_acdc_expr` [INFO] [stderr] --> src/main.rs:23:45 [INFO] [stderr] | [INFO] [stderr] 23 | LemmaContainer, acdczx_to_expl_pattern, acdczx_to_pattern, to_acdc_expr, to_expl_acdc_expr, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `actix_web::web::to` [INFO] [stderr] --> src/main.rs:26:5 [INFO] [stderr] | [INFO] [stderr] 26 | use actix_web::web::to; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Language` [INFO] [stderr] --> src/vyzxlemma.rs:7:41 [INFO] [stderr] | [INFO] [stderr] 7 | use egg::{Analysis, ConditionalApplier, Language, Pattern, RecExpr, Rewrite, Symbol}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `res` [INFO] [stderr] --> src/benchmark.rs:85:5 [INFO] [stderr] | [INFO] [stderr] 85 | res: egg::Id, [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_res` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `d` [INFO] [stderr] --> src/diff.rs:49:37 [INFO] [stderr] | [INFO] [stderr] 49 | if let Some(d) = largest_diff(a1, a2) { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_d` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `d1` [INFO] [stderr] --> src/subtrees.rs:204:39 [INFO] [stderr] | [INFO] [stderr] 204 | (ZXOrDim::Dim(d1), ZXOrDim::Dim(d2)) => {} [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_d1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `d2` [INFO] [stderr] --> src/subtrees.rs:204:57 [INFO] [stderr] | [INFO] [stderr] 204 | (ZXOrDim::Dim(d1), ZXOrDim::Dim(d2)) => {} [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_d2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `idx` [INFO] [stderr] --> src/subtrees.rs:377:14 [INFO] [stderr] | [INFO] [stderr] 377 | let (idx, found) = rewrite_at_idx(&a, &b, &subtree); [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_idx` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `idx` [INFO] [stderr] --> src/subtrees.rs:386:14 [INFO] [stderr] | [INFO] [stderr] 386 | let (idx, found) = rewrite_at_idx(&a, &b, &subtree); [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_idx` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `a` [INFO] [stderr] --> src/vyzxlemma.rs:321:24 [INFO] [stderr] | [INFO] [stderr] 321 | ACDCDim::Sub { a, b } => true, [INFO] [stderr] | ^ help: try ignoring the field: `a: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `b` [INFO] [stderr] --> src/vyzxlemma.rs:321:27 [INFO] [stderr] | [INFO] [stderr] 321 | ACDCDim::Sub { a, b } => true, [INFO] [stderr] | ^ help: try ignoring the field: `b: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `fn_name` [INFO] [stderr] --> src/vyzxlemma.rs:762:22 [INFO] [stderr] | [INFO] [stderr] 762 | ACDCZX::Fn { fn_name, args } => { [INFO] [stderr] | ^^^^^^^ help: try ignoring the field: `fn_name: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n` [INFO] [stderr] --> src/vyzxlemma.rs:1005:29 [INFO] [stderr] | [INFO] [stderr] 1005 | (ACDCZX::Val { val, n, m }, r) => { [INFO] [stderr] | ^ help: try ignoring the field: `n: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `m` [INFO] [stderr] --> src/vyzxlemma.rs:1005:32 [INFO] [stderr] | [INFO] [stderr] 1005 | (ACDCZX::Val { val, n, m }, r) => { [INFO] [stderr] | ^ help: try ignoring the field: `m: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n` [INFO] [stderr] --> src/vyzxlemma.rs:1009:32 [INFO] [stderr] | [INFO] [stderr] 1009 | (l, ACDCZX::Val { val, n, m }) => { [INFO] [stderr] | ^ help: try ignoring the field: `n: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `m` [INFO] [stderr] --> src/vyzxlemma.rs:1009:35 [INFO] [stderr] | [INFO] [stderr] 1009 | (l, ACDCZX::Val { val, n, m }) => { [INFO] [stderr] | ^ help: try ignoring the field: `m: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n1` [INFO] [stderr] --> src/vyzxlemma.rs:1066:31 [INFO] [stderr] | [INFO] [stderr] 1066 | (ACDCZX::NStack1 { n: n1, zx: zx1 }, ACDCZX::NStack1 { n: n2, zx: zx2 }) => { [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_n1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n2` [INFO] [stderr] --> src/vyzxlemma.rs:1066:67 [INFO] [stderr] | [INFO] [stderr] 1066 | (ACDCZX::NStack1 { n: n1, zx: zx1 }, ACDCZX::NStack1 { n: n2, zx: zx2 }) => { [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_n2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n1` [INFO] [stderr] --> src/vyzxlemma.rs:1069:30 [INFO] [stderr] | [INFO] [stderr] 1069 | (ACDCZX::NStack { n: n1, zx: zx1 }, ACDCZX::NStack { n: n2, zx: zx2 }) => { [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_n1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n2` [INFO] [stderr] --> src/vyzxlemma.rs:1069:65 [INFO] [stderr] | [INFO] [stderr] 1069 | (ACDCZX::NStack { n: n1, zx: zx1 }, ACDCZX::NStack { n: n2, zx: zx2 }) => { [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_n2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node` [INFO] [stderr] --> src/vyzxlemma.rs:1369:9 [INFO] [stderr] | [INFO] [stderr] 1369 | for node in rec.iter() {} [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_node` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `children_str` [INFO] [stderr] --> src/main.rs:234:13 [INFO] [stderr] | [INFO] [stderr] 234 | let children_str = children [INFO] [stderr] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_children_str` [INFO] [stderr] [INFO] [stderr] warning: type `acdcfns::Type` is more private than the item `acdcfns::Function::new` [INFO] [stderr] --> src/acdcfns.rs:25:5 [INFO] [stderr] | [INFO] [stderr] 25 | pub fn new(name: &str, args: Vec<(String, Type)>, ftype: Type) -> Self { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `acdcfns::Function::new` is reachable at visibility `pub(crate)` [INFO] [stderr] | [INFO] [stderr] note: but type `acdcfns::Type` is only usable at visibility `pub(self)` [INFO] [stderr] --> src/acdcfns.rs:9:1 [INFO] [stderr] | [INFO] [stderr] 9 | enum Type { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] = note: `#[warn(private_interfaces)]` on by default [INFO] [stderr] [INFO] [stderr] warning: function `recexpr_to_ACDC_at` should have a snake case name [INFO] [stderr] --> src/recexpr.rs:43:4 [INFO] [stderr] | [INFO] [stderr] 43 | fn recexpr_to_ACDC_at(rec_expr: &RecExpr, i: Id) -> ZXOrDimOrEither { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `recexpr_to_acdc_at` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_snake_case)]` on by default [INFO] [stderr] [INFO] [stderr] warning: function `recexpr_to_ACDC` should have a snake case name [INFO] [stderr] --> src/recexpr.rs:160:8 [INFO] [stderr] | [INFO] [stderr] 160 | pub fn recexpr_to_ACDC(rec_expr: &RecExpr) -> ZXOrDimOrEither { [INFO] [stderr] | ^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `recexpr_to_acdc` [INFO] [stderr] [INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stderr] --> src/serialize.rs:247:21 [INFO] [stderr] | [INFO] [stderr] 247 | pub fn children(&self) -> Vec> { [INFO] [stderr] | ^^^^^ ------------------ the lifetime gets resolved as `'_` [INFO] [stderr] | | [INFO] [stderr] | this lifetime flows to the output [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stderr] | [INFO] [stderr] 247 | pub fn children(&self) -> Vec> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: function `cast_Z` should have a snake case name [INFO] [stderr] --> src/vyzxrules.rs:569:4 [INFO] [stderr] | [INFO] [stderr] 569 | fn cast_Z() -> Lemma [INFO] [stderr] | ^^^^^^ help: convert the identifier to snake case (notice the capitalization): `cast_z` [INFO] [stderr] [INFO] [stderr] warning: function `cast_X` should have a snake case name [INFO] [stderr] --> src/vyzxrules.rs:602:4 [INFO] [stderr] | [INFO] [stderr] 602 | fn cast_X() -> Lemma [INFO] [stderr] | ^^^^^^ help: convert the identifier to snake case (notice the capitalization): `cast_x` [INFO] [stderr] [INFO] [stderr] warning: function `Z_abs_fusion` should have a snake case name [INFO] [stderr] --> src/vyzxrules.rs:708:4 [INFO] [stderr] | [INFO] [stderr] 708 | fn Z_abs_fusion() -> Lemma [INFO] [stderr] | ^^^^^^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `z_abs_fusion` [INFO] [stderr] [INFO] [stderr] warning: function `X_abs_fusion` should have a snake case name [INFO] [stderr] --> src/vyzxrules.rs:739:4 [INFO] [stderr] | [INFO] [stderr] 739 | fn X_abs_fusion() -> Lemma [INFO] [stderr] | ^^^^^^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `x_abs_fusion` [INFO] [stderr] [INFO] [stderr] warning: `acdc-egg` (bin "acdc-egg" test) generated 35 warnings (run `cargo fix --bin "acdc-egg" --tests` to apply 4 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.26s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/acdc_egg-acdbf62e99eaed25) [INFO] [stdout] [INFO] [stdout] running 27 tests [INFO] [stdout] test acdcfns::tests::transpose_dep_rewrites ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_different_simple_x_nodes ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_different_simple_z_nodes ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_different_stack_nodes ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_different_compose_nodes ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_handles_empty_non_empty_m ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_handles_empty_non_empty_n ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_handles_empty_val_nodes ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_handles_fn_nodes_with_different_names ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_handles_nested_cast_nodes ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_identical_simple_x_nodes ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_identical_stack_nodes ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_handles_different_empty_val_nodes ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_handles_different_nested_cast_nodes ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_identical_compose_nodes ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_identical_simple_z_nodes ... ok [INFO] [stdout] test subtrees::tests::rewrite_at_idx_front ... ok [INFO] [stdout] test subtrees::tests::rewrite_at_idx_growing ... ok [INFO] [stdout] test subtrees::tests::rewrite_at_idx_returns_when_trees_are_equal ... ok [INFO] [stdout] test subtrees::tests::rewrite_at_idx_handles_empty_subtree ... ok [INFO] [stdout] test subtrees::tests::rewrite_at_idx_returns_zero_and_false_when_subtree_not_found ... ok [INFO] [stdout] test subtrees::tests::rewrite_at_idx_mid ... ok [INFO] [stdout] test subtrees::tests::rewrite_at_idx_returns_correct_index_when_subtree_found ... ok [INFO] [stdout] test subtrees::tests::rewrite_at_idx_tail ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_handles_fn_nodes_with_different_arg_lengths ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_handles_fn_nodes_with_different_args ... ok [INFO] [stdout] test subtrees::tests::is_equal_subtree_zx_handles_fn_nodes_with_identical_args ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 27 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "22595ea209472bf70129c9547cdea57d0130d03f7ba7bf9c9e8188ed5f4cdd79", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "22595ea209472bf70129c9547cdea57d0130d03f7ba7bf9c9e8188ed5f4cdd79", kill_on_drop: false }` [INFO] [stdout] 22595ea209472bf70129c9547cdea57d0130d03f7ba7bf9c9e8188ed5f4cdd79