[INFO] cloning repository https://github.com/mwillsey/egg-smol [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mwillsey/egg-smol" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmwillsey%2Fegg-smol", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmwillsey%2Fegg-smol'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] fd4fe0b2094f002a256285736453c33f819be89c [INFO] checking mwillsey/egg-smol against master#385fa9d845dd326c6bbfd58c22244215e431948a for absurd-question-mark-desugar [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmwillsey%2Fegg-smol" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/mwillsey/egg-smol on toolchain 385fa9d845dd326c6bbfd58c22244215e431948a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-3-tc1/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/mwillsey/egg-smol [INFO] removed 0 missing tests [INFO] finished tweaking git repo https://github.com/mwillsey/egg-smol [INFO] tweaked toml for git repo https://github.com/mwillsey/egg-smol written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/mwillsey/egg-smol 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" "+385fa9d845dd326c6bbfd58c22244215e431948a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Updating git repository `https://github.com/oflatt/symbolic-expressions` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded graphviz-rust v0.6.6 [INFO] [stderr] Downloaded dot-structures v0.1.1 [INFO] [stderr] Downloaded into-attr v0.1.1 [INFO] [stderr] Downloaded symbol_table v0.3.0 [INFO] [stderr] Downloaded into-attr-derive v0.2.1 [INFO] [stderr] Downloaded dot-generator v0.2.0 [INFO] [stderr] Downloaded libtest-mimic v0.6.1 [INFO] [stderr] Downloaded egraph-serialize v0.1.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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1b8db0cdc6deafe518145118a2b960e2654ef2776892d9e62fd31dab9c511941 [INFO] running `Command { std: "docker" "start" "-a" "1b8db0cdc6deafe518145118a2b960e2654ef2776892d9e62fd31dab9c511941", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1b8db0cdc6deafe518145118a2b960e2654ef2776892d9e62fd31dab9c511941", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1b8db0cdc6deafe518145118a2b960e2654ef2776892d9e62fd31dab9c511941", kill_on_drop: false }` [INFO] [stdout] 1b8db0cdc6deafe518145118a2b960e2654ef2776892d9e62fd31dab9c511941 [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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] fff33f0b37e82eb78135f916cb565bad6076299341cec0d93e37736de60ace45 [INFO] running `Command { std: "docker" "start" "-a" "fff33f0b37e82eb78135f916cb565bad6076299341cec0d93e37736de60ace45", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling once_cell v1.19.0 [INFO] [stderr] Compiling memchr v2.7.1 [INFO] [stderr] Compiling log v0.4.21 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling regex-syntax v0.8.3 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling parking_lot_core v0.9.9 [INFO] [stderr] Compiling smallvec v1.13.2 [INFO] [stderr] Compiling ucd-trie v0.1.6 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling lock_api v0.4.11 [INFO] [stderr] Compiling serde v1.0.197 [INFO] [stderr] Compiling syn v2.0.55 [INFO] [stderr] Compiling siphasher v0.3.11 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking zerocopy v0.7.32 [INFO] [stderr] Compiling dot-structures v0.1.1 [INFO] [stderr] Checking utf8parse v0.2.1 [INFO] [stderr] Compiling rustix v0.38.32 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Compiling hashbrown v0.14.3 [INFO] [stderr] Checking anstyle-parse v0.2.3 [INFO] [stderr] Compiling phf_shared v0.10.0 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Checking linux-raw-sys v0.4.13 [INFO] [stderr] Checking colorchoice v1.0.0 [INFO] [stderr] Checking anstyle v1.0.6 [INFO] [stderr] Compiling new_debug_unreachable v1.0.6 [INFO] [stderr] Compiling fixedbitset v0.4.2 [INFO] [stderr] Checking allocator-api2 v0.2.16 [INFO] [stderr] Compiling either v1.10.0 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Checking anstyle-query v1.0.2 [INFO] [stderr] Checking anstream v0.6.13 [INFO] [stderr] Compiling itertools v0.11.0 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Checking getrandom v0.2.12 [INFO] [stderr] Compiling dirs-sys-next v0.1.2 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling dirs-next v2.0.0 [INFO] [stderr] Compiling parking_lot v0.12.1 [INFO] [stderr] Compiling term v0.7.0 [INFO] [stderr] Compiling indexmap v2.2.6 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling bit-set v0.5.3 [INFO] [stderr] Compiling dot-generator v0.2.0 [INFO] [stderr] Compiling into-attr v0.1.1 [INFO] [stderr] Compiling ena v0.14.2 [INFO] [stderr] Compiling string_cache v0.8.7 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Compiling ascii-canvas v3.0.0 [INFO] [stderr] Checking clap_lex v0.7.0 [INFO] [stderr] Checking strsim v0.11.0 [INFO] [stderr] Compiling serde_json v1.0.115 [INFO] [stderr] Compiling wasm-bindgen-shared v0.2.92 [INFO] [stderr] Compiling unicode-xid v0.2.4 [INFO] [stderr] Checking fastrand v2.0.2 [INFO] [stderr] Compiling pico-args v0.5.0 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Compiling petgraph v0.6.4 [INFO] [stderr] Checking clap_builder v4.5.2 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling num-rational v0.4.1 [INFO] [stderr] Checking is-terminal v0.4.12 [INFO] [stderr] Checking hashbrown v0.12.3 [INFO] [stderr] Compiling bumpalo v3.15.4 [INFO] [stderr] Checking instant v0.1.12 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Checking generic_symbolic_expressions v5.0.3 (https://github.com/oflatt/symbolic-expressions?rev=655b6a4c06b4b3d3b2300e17779860b4abe440f0#655b6a4c) [INFO] [stderr] Compiling wasm-bindgen v0.2.92 [INFO] [stderr] Checking num_cpus v1.16.0 [INFO] [stderr] Checking symbol_table v0.3.0 [INFO] [stderr] Checking glob v0.3.1 [INFO] [stderr] Checking wee_alloc v0.4.5 [INFO] [stderr] Checking regex-automata v0.4.6 [INFO] [stderr] Checking threadpool v1.8.1 [INFO] [stderr] Compiling wasm-bindgen-backend v0.2.92 [INFO] [stderr] Compiling into-attr-derive v0.2.1 [INFO] [stderr] Checking tempfile v3.10.1 [INFO] [stderr] Compiling thiserror-impl v1.0.58 [INFO] [stderr] Compiling serde_derive v1.0.197 [INFO] [stderr] Compiling clap_derive v4.5.4 [INFO] [stderr] Compiling wasm-bindgen-macro-support v0.2.92 [INFO] [stderr] Checking regex v1.10.4 [INFO] [stderr] Checking lalrpop-util v0.20.2 [INFO] [stderr] Checking env_logger v0.10.2 [INFO] [stderr] Compiling wasm-bindgen-macro v0.2.92 [INFO] [stderr] Compiling thiserror v1.0.58 [INFO] [stderr] Checking pest v2.7.8 [INFO] [stderr] Compiling lalrpop v0.20.2 [INFO] [stderr] Checking clap v4.5.4 [INFO] [stderr] Checking libtest-mimic v0.6.1 [INFO] [stderr] Compiling pest_meta v2.7.8 [INFO] [stderr] Checking js-sys v0.3.69 [INFO] [stderr] Checking console_error_panic_hook v0.1.7 [INFO] [stderr] Compiling pest_generator v2.7.8 [INFO] [stderr] Compiling pest_derive v2.7.8 [INFO] [stderr] Checking graphviz-rust v0.6.6 [INFO] [stderr] Checking ordered-float v3.9.2 [INFO] [stderr] Checking web-sys v0.3.69 [INFO] [stderr] Checking egraph-serialize v0.1.0 [INFO] [stderr] Checking wasm-logger v0.2.0 [INFO] [stderr] Compiling egglog v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `TypeError` is imported redundantly [INFO] [stdout] --> src/actions.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::{typechecking::FuncType, *}; [INFO] [stdout] | - the item `TypeError` is already imported here [INFO] [stdout] 6 | use typechecking::TypeError; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Literal` is imported redundantly [INFO] [stdout] --> src/actions.rs:8:13 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::{typechecking::FuncType, *}; [INFO] [stdout] | - the item `Literal` is already imported here [INFO] [stdout] ... [INFO] [stdout] 8 | use crate::{ast::Literal, core::ResolvedCall, ExtractReport, Value}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ResolvedCall` is imported redundantly [INFO] [stdout] --> src/actions.rs:8:27 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::{typechecking::FuncType, *}; [INFO] [stdout] | - the item `ResolvedCall` is already imported here [INFO] [stdout] ... [INFO] [stdout] 8 | use crate::{ast::Literal, core::ResolvedCall, ExtractReport, Value}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ExtractReport` is imported redundantly [INFO] [stdout] --> src/actions.rs:8:47 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::{typechecking::FuncType, *}; [INFO] [stdout] | - the item `ExtractReport` is already imported here [INFO] [stdout] ... [INFO] [stdout] 8 | use crate::{ast::Literal, core::ResolvedCall, ExtractReport, Value}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Value` is imported redundantly [INFO] [stdout] --> src/actions.rs:8:62 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::{typechecking::FuncType, *}; [INFO] [stdout] | - the item `Value` is already imported here [INFO] [stdout] ... [INFO] [stdout] 8 | use crate::{ast::Literal, core::ResolvedCall, ExtractReport, Value}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Display` is imported redundantly [INFO] [stdout] --> src/ast/mod.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::fmt::Display; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 18 | *, [INFO] [stdout] | - the item `Display` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ResolvedCall` is imported redundantly [INFO] [stdout] --> src/ast/mod.rs:17:59 [INFO] [stdout] | [INFO] [stdout] 17 | core::{GenericAtom, GenericAtomTerm, HeadOrEq, Query, ResolvedCall}, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 18 | *, [INFO] [stdout] | - the item `ResolvedCall` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ResolvedCall` is imported redundantly [INFO] [stdout] --> src/ast/expr.rs:1:13 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{core::ResolvedCall, *}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ - the item `ResolvedCall` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Display` is imported redundantly [INFO] [stdout] --> src/ast/expr.rs:4:11 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{core::ResolvedCall, *}; [INFO] [stdout] | - the item `Display` is already imported here [INFO] [stdout] ... [INFO] [stdout] 4 | use std::{fmt::Display, hash::Hasher}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ToSexp` is imported redundantly [INFO] [stdout] --> src/ast/expr.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{core::ResolvedCall, *}; [INFO] [stdout] | - the item `ToSexp` is already imported here [INFO] [stdout] ... [INFO] [stdout] 6 | use super::ToSexp; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `HashMap` is imported redundantly [INFO] [stdout] --> src/core.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use crate::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 16 | use crate::{typechecking::FuncType, *}; [INFO] [stdout] | - the item `HashMap` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TypeError` is imported redundantly [INFO] [stdout] --> src/core.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 16 | use crate::{typechecking::FuncType, *}; [INFO] [stdout] | - the item `TypeError` is already imported here [INFO] [stdout] 17 | use typechecking::TypeError; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AtomTerm` is imported redundantly [INFO] [stdout] --> src/gj.rs:7:18 [INFO] [stdout] | [INFO] [stdout] 7 | core::{Atom, AtomTerm, ResolvedAtomTerm, ResolvedCall}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 8 | function::index::Offset, [INFO] [stdout] 9 | *, [INFO] [stdout] | - the item `AtomTerm` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ResolvedCall` is imported redundantly [INFO] [stdout] --> src/gj.rs:7:46 [INFO] [stdout] | [INFO] [stdout] 7 | core::{Atom, AtomTerm, ResolvedAtomTerm, ResolvedCall}, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 8 | function::index::Offset, [INFO] [stdout] 9 | *, [INFO] [stdout] | - the item `ResolvedCall` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Range` is imported redundantly [INFO] [stdout] --> src/gj.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 9 | *, [INFO] [stdout] | - the item `Range` is already imported here [INFO] [stdout] ... [INFO] [stdout] 14 | ops::Range, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TypeError` is imported redundantly [INFO] [stdout] --> src/actions.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::{typechecking::FuncType, *}; [INFO] [stdout] | - the item `TypeError` is already imported here [INFO] [stdout] 6 | use typechecking::TypeError; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Literal` is imported redundantly [INFO] [stdout] --> src/actions.rs:8:13 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::{typechecking::FuncType, *}; [INFO] [stdout] | - the item `Literal` is already imported here [INFO] [stdout] ... [INFO] [stdout] 8 | use crate::{ast::Literal, core::ResolvedCall, ExtractReport, Value}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ResolvedCall` is imported redundantly [INFO] [stdout] --> src/actions.rs:8:27 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::{typechecking::FuncType, *}; [INFO] [stdout] | - the item `ResolvedCall` is already imported here [INFO] [stdout] ... [INFO] [stdout] 8 | use crate::{ast::Literal, core::ResolvedCall, ExtractReport, Value}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ExtractReport` is imported redundantly [INFO] [stdout] --> src/actions.rs:8:47 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::{typechecking::FuncType, *}; [INFO] [stdout] | - the item `ExtractReport` is already imported here [INFO] [stdout] ... [INFO] [stdout] 8 | use crate::{ast::Literal, core::ResolvedCall, ExtractReport, Value}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Value` is imported redundantly [INFO] [stdout] --> src/actions.rs:8:62 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::{typechecking::FuncType, *}; [INFO] [stdout] | - the item `Value` is already imported here [INFO] [stdout] ... [INFO] [stdout] 8 | use crate::{ast::Literal, core::ResolvedCall, ExtractReport, Value}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Literal` is imported redundantly [INFO] [stdout] --> src/sort/bool.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::ast::Literal; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 2 | [INFO] [stdout] 3 | use super::*; [INFO] [stdout] | -------- the item `Literal` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Display` is imported redundantly [INFO] [stdout] --> src/ast/mod.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::fmt::Display; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 18 | *, [INFO] [stdout] | - the item `Display` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Literal` is imported redundantly [INFO] [stdout] --> src/sort/rational.rs:6:13 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::{ast::Literal, util::IndexSet}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 7 | [INFO] [stdout] 8 | use super::*; [INFO] [stdout] | -------- the item `Literal` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `IndexSet` is imported redundantly [INFO] [stdout] --> src/sort/rational.rs:6:27 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::{ast::Literal, util::IndexSet}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 7 | [INFO] [stdout] 8 | use super::*; [INFO] [stdout] | -------- the item `IndexSet` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Literal` is imported redundantly [INFO] [stdout] --> src/sort/string.rs:3:13 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 4 | [INFO] [stdout] 5 | use super::*; [INFO] [stdout] | -------- the item `Literal` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AllEqualTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/string.rs:3:27 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 4 | [INFO] [stdout] 5 | use super::*; [INFO] [stdout] | -------- the item `AllEqualTypeConstraint` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Literal` is imported redundantly [INFO] [stdout] --> src/sort/unit.rs:2:13 [INFO] [stdout] | [INFO] [stdout] 1 | use super::*; [INFO] [stdout] | -------- the item `Literal` is already imported here [INFO] [stdout] 2 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint, ArcSort, PrimitiveLike}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AllEqualTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/unit.rs:2:27 [INFO] [stdout] | [INFO] [stdout] 1 | use super::*; [INFO] [stdout] | -------- the item `AllEqualTypeConstraint` is already imported here [INFO] [stdout] 2 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint, ArcSort, PrimitiveLike}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ArcSort` is imported redundantly [INFO] [stdout] --> src/sort/unit.rs:2:63 [INFO] [stdout] | [INFO] [stdout] 1 | use super::*; [INFO] [stdout] | -------- the item `ArcSort` is already imported here [INFO] [stdout] 2 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint, ArcSort, PrimitiveLike}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `PrimitiveLike` is imported redundantly [INFO] [stdout] --> src/sort/unit.rs:2:72 [INFO] [stdout] | [INFO] [stdout] 1 | use super::*; [INFO] [stdout] | -------- the item `PrimitiveLike` is already imported here [INFO] [stdout] 2 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint, ArcSort, PrimitiveLike}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Literal` is imported redundantly [INFO] [stdout] --> src/sort/i64.rs:1:13 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 2 | [INFO] [stdout] 3 | use super::*; [INFO] [stdout] | -------- the item `Literal` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AllEqualTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/i64.rs:1:27 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 2 | [INFO] [stdout] 3 | use super::*; [INFO] [stdout] | -------- the item `AllEqualTypeConstraint` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Literal` is imported redundantly [INFO] [stdout] --> src/sort/f64.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 1 | use super::*; [INFO] [stdout] | -------- the item `Literal` is already imported here [INFO] [stdout] 2 | use crate::ast::Literal; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AllEqualTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/map.rs:4:25 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::constraint::{AllEqualTypeConstraint, SimpleTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 5 | [INFO] [stdout] 6 | use super::*; [INFO] [stdout] | -------- the item `AllEqualTypeConstraint` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `SimpleTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/map.rs:4:49 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::constraint::{AllEqualTypeConstraint, SimpleTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 5 | [INFO] [stdout] 6 | use super::*; [INFO] [stdout] | -------- the item `SimpleTypeConstraint` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AllEqualTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/set.rs:4:25 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::constraint::{AllEqualTypeConstraint, SimpleTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 5 | [INFO] [stdout] 6 | use super::*; [INFO] [stdout] | -------- the item `AllEqualTypeConstraint` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `SimpleTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/set.rs:4:49 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::constraint::{AllEqualTypeConstraint, SimpleTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 5 | [INFO] [stdout] 6 | use super::*; [INFO] [stdout] | -------- the item `SimpleTypeConstraint` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AllEqualTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/vec.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::constraint::AllEqualTypeConstraint; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 4 | [INFO] [stdout] 5 | use super::*; [INFO] [stdout] | -------- the item `AllEqualTypeConstraint` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ResolvedCall` is imported redundantly [INFO] [stdout] --> src/ast/mod.rs:17:59 [INFO] [stdout] | [INFO] [stdout] 17 | core::{GenericAtom, GenericAtomTerm, HeadOrEq, Query, ResolvedCall}, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 18 | *, [INFO] [stdout] | - the item `ResolvedCall` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ResolvedCall` is imported redundantly [INFO] [stdout] --> src/ast/expr.rs:1:13 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{core::ResolvedCall, *}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ - the item `ResolvedCall` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Display` is imported redundantly [INFO] [stdout] --> src/ast/expr.rs:4:11 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{core::ResolvedCall, *}; [INFO] [stdout] | - the item `Display` is already imported here [INFO] [stdout] ... [INFO] [stdout] 4 | use std::{fmt::Display, hash::Hasher}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ToSexp` is imported redundantly [INFO] [stdout] --> src/ast/expr.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{core::ResolvedCall, *}; [INFO] [stdout] | - the item `ToSexp` is already imported here [INFO] [stdout] ... [INFO] [stdout] 6 | use super::ToSexp; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `HashMap` is imported redundantly [INFO] [stdout] --> src/core.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use crate::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 16 | use crate::{typechecking::FuncType, *}; [INFO] [stdout] | - the item `HashMap` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TypeError` is imported redundantly [INFO] [stdout] --> src/core.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 16 | use crate::{typechecking::FuncType, *}; [INFO] [stdout] | - the item `TypeError` is already imported here [INFO] [stdout] 17 | use typechecking::TypeError; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AtomTerm` is imported redundantly [INFO] [stdout] --> src/gj.rs:7:18 [INFO] [stdout] | [INFO] [stdout] 7 | core::{Atom, AtomTerm, ResolvedAtomTerm, ResolvedCall}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 8 | function::index::Offset, [INFO] [stdout] 9 | *, [INFO] [stdout] | - the item `AtomTerm` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ResolvedCall` is imported redundantly [INFO] [stdout] --> src/gj.rs:7:46 [INFO] [stdout] | [INFO] [stdout] 7 | core::{Atom, AtomTerm, ResolvedAtomTerm, ResolvedCall}, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 8 | function::index::Offset, [INFO] [stdout] 9 | *, [INFO] [stdout] | - the item `ResolvedCall` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Range` is imported redundantly [INFO] [stdout] --> src/gj.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 9 | *, [INFO] [stdout] | - the item `Range` is already imported here [INFO] [stdout] ... [INFO] [stdout] 14 | ops::Range, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Literal` is imported redundantly [INFO] [stdout] --> src/sort/bool.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::ast::Literal; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 2 | [INFO] [stdout] 3 | use super::*; [INFO] [stdout] | -------- the item `Literal` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Literal` is imported redundantly [INFO] [stdout] --> src/sort/rational.rs:6:13 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::{ast::Literal, util::IndexSet}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 7 | [INFO] [stdout] 8 | use super::*; [INFO] [stdout] | -------- the item `Literal` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `IndexSet` is imported redundantly [INFO] [stdout] --> src/sort/rational.rs:6:27 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::{ast::Literal, util::IndexSet}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 7 | [INFO] [stdout] 8 | use super::*; [INFO] [stdout] | -------- the item `IndexSet` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Literal` is imported redundantly [INFO] [stdout] --> src/sort/string.rs:3:13 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 4 | [INFO] [stdout] 5 | use super::*; [INFO] [stdout] | -------- the item `Literal` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AllEqualTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/string.rs:3:27 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 4 | [INFO] [stdout] 5 | use super::*; [INFO] [stdout] | -------- the item `AllEqualTypeConstraint` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Literal` is imported redundantly [INFO] [stdout] --> src/sort/unit.rs:2:13 [INFO] [stdout] | [INFO] [stdout] 1 | use super::*; [INFO] [stdout] | -------- the item `Literal` is already imported here [INFO] [stdout] 2 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint, ArcSort, PrimitiveLike}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AllEqualTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/unit.rs:2:27 [INFO] [stdout] | [INFO] [stdout] 1 | use super::*; [INFO] [stdout] | -------- the item `AllEqualTypeConstraint` is already imported here [INFO] [stdout] 2 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint, ArcSort, PrimitiveLike}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ArcSort` is imported redundantly [INFO] [stdout] --> src/sort/unit.rs:2:63 [INFO] [stdout] | [INFO] [stdout] 1 | use super::*; [INFO] [stdout] | -------- the item `ArcSort` is already imported here [INFO] [stdout] 2 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint, ArcSort, PrimitiveLike}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `PrimitiveLike` is imported redundantly [INFO] [stdout] --> src/sort/unit.rs:2:72 [INFO] [stdout] | [INFO] [stdout] 1 | use super::*; [INFO] [stdout] | -------- the item `PrimitiveLike` is already imported here [INFO] [stdout] 2 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint, ArcSort, PrimitiveLike}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Literal` is imported redundantly [INFO] [stdout] --> src/sort/i64.rs:1:13 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 2 | [INFO] [stdout] 3 | use super::*; [INFO] [stdout] | -------- the item `Literal` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AllEqualTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/i64.rs:1:27 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{ast::Literal, constraint::AllEqualTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 2 | [INFO] [stdout] 3 | use super::*; [INFO] [stdout] | -------- the item `AllEqualTypeConstraint` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Literal` is imported redundantly [INFO] [stdout] --> src/sort/f64.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 1 | use super::*; [INFO] [stdout] | -------- the item `Literal` is already imported here [INFO] [stdout] 2 | use crate::ast::Literal; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AllEqualTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/map.rs:4:25 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::constraint::{AllEqualTypeConstraint, SimpleTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 5 | [INFO] [stdout] 6 | use super::*; [INFO] [stdout] | -------- the item `AllEqualTypeConstraint` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `SimpleTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/map.rs:4:49 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::constraint::{AllEqualTypeConstraint, SimpleTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 5 | [INFO] [stdout] 6 | use super::*; [INFO] [stdout] | -------- the item `SimpleTypeConstraint` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AllEqualTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/set.rs:4:25 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::constraint::{AllEqualTypeConstraint, SimpleTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 5 | [INFO] [stdout] 6 | use super::*; [INFO] [stdout] | -------- the item `AllEqualTypeConstraint` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `SimpleTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/set.rs:4:49 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::constraint::{AllEqualTypeConstraint, SimpleTypeConstraint}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 5 | [INFO] [stdout] 6 | use super::*; [INFO] [stdout] | -------- the item `SimpleTypeConstraint` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `AllEqualTypeConstraint` is imported redundantly [INFO] [stdout] --> src/sort/vec.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::constraint::AllEqualTypeConstraint; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 4 | [INFO] [stdout] 5 | use super::*; [INFO] [stdout] | -------- the item `AllEqualTypeConstraint` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 32 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 32 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking web-demo v0.1.0 (/opt/rustwide/workdir/web-demo) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 55.81s [INFO] running `Command { std: "docker" "inspect" "fff33f0b37e82eb78135f916cb565bad6076299341cec0d93e37736de60ace45", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fff33f0b37e82eb78135f916cb565bad6076299341cec0d93e37736de60ace45", kill_on_drop: false }` [INFO] [stdout] fff33f0b37e82eb78135f916cb565bad6076299341cec0d93e37736de60ace45