[INFO] fetching crate aws-smt-ir 0.3.0... [INFO] checking aws-smt-ir-0.3.0 against master#af4a5a13a15fa0c60e06321077ef452f769b42fd for pr-122960-3 [INFO] extracting crate aws-smt-ir 0.3.0 into /workspace/builds/worker-7-tc1/source [INFO] validating manifest of crates.io crate aws-smt-ir 0.3.0 on toolchain af4a5a13a15fa0c60e06321077ef452f769b42fd [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate aws-smt-ir 0.3.0 [INFO] finished tweaking crates.io crate aws-smt-ir 0.3.0 [INFO] tweaked toml for crates.io crate aws-smt-ir 0.3.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 151 packages [INFO] [stderr] Adding ahash v0.7.8 (latest: v0.8.11) [INFO] [stderr] Adding anes v0.1.6 (latest: v0.2.0) [INFO] [stderr] Adding arrayvec v0.4.12 (latest: v0.7.4) [INFO] [stderr] Adding bitflags v1.3.2 (latest: v2.5.0) [INFO] [stderr] Adding constant_time_eq v0.1.5 (latest: v0.3.0) [INFO] [stderr] Adding getrandom v0.1.16 (latest: v0.2.12) [INFO] [stderr] Adding hashbrown v0.12.3 (latest: v0.14.3) [INFO] [stderr] Adding heck v0.4.1 (latest: v0.5.0) [INFO] [stderr] Adding itertools v0.10.5 (latest: v0.12.1) [INFO] [stderr] Adding itertools v0.11.0 (latest: v0.12.1) [INFO] [stderr] Adding itoa v0.4.8 (latest: v1.0.11) [INFO] [stderr] Adding ordered-float v2.10.1 (latest: v4.2.0) [INFO] [stderr] Adding proc-macro-crate v1.3.1 (latest: v3.1.0) [INFO] [stderr] Adding rand v0.7.3 (latest: v0.8.5) [INFO] [stderr] Adding rand_chacha v0.2.2 (latest: v0.3.1) [INFO] [stderr] Adding rand_core v0.5.1 (latest: v0.6.4) [INFO] [stderr] Adding rand_hc v0.2.0 (latest: v0.3.2) [INFO] [stderr] Adding redox_syscall v0.4.1 (latest: v0.5.1) [INFO] [stderr] Adding strum v0.25.0 (latest: v0.26.2) [INFO] [stderr] Adding strum_macros v0.25.3 (latest: v0.26.2) [INFO] [stderr] Adding syn v1.0.109 (latest: v2.0.57) [INFO] [stderr] Adding synstructure v0.12.6 (latest: v0.13.1) [INFO] [stderr] Adding toml_edit v0.19.15 (latest: v0.22.9) [INFO] [stderr] Adding vec_mut_scan v0.3.0 (latest: v0.5.0) [INFO] [stderr] Adding wasi v0.9.0+wasi-snapshot-preview1 (latest: v0.13.0+wasi-0.2.0) [INFO] [stderr] Adding wasi v0.11.0+wasi-snapshot-preview1 (latest: v0.13.0+wasi-0.2.0) [INFO] [stderr] Adding windows-targets v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_aarch64_gnullvm v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_aarch64_msvc v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_i686_gnu v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_i686_msvc v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_x86_64_gnu v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_x86_64_gnullvm v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_x86_64_msvc v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding winnow v0.5.40 (latest: v0.6.5) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded varisat-internal-proof v0.2.2 [INFO] [stderr] Downloaded partial_ref v0.3.3 [INFO] [stderr] Downloaded varisat-dimacs v0.2.2 [INFO] [stderr] Downloaded varisat-internal-macros v0.2.2 [INFO] [stderr] Downloaded varisat v0.2.2 [INFO] [stderr] Downloaded nodrop v0.1.14 [INFO] [stderr] Downloaded stacker v0.1.15 [INFO] [stderr] Downloaded partial_ref_derive v0.3.3 [INFO] [stderr] Downloaded varisat-checker v0.2.2 [INFO] [stderr] Downloaded psm v0.1.21 [INFO] [stderr] Downloaded synstructure v0.13.1 [INFO] [stderr] Downloaded pomelo-impl v0.1.5 [INFO] [stderr] Downloaded pomelo v0.1.5 [INFO] [stderr] Downloaded aws-smt-ir-derive v0.1.2 [INFO] [stderr] Downloaded internment v0.7.4 [INFO] [stderr] Downloaded arrayvec v0.4.12 [INFO] [stderr] Downloaded blake2-rfc v0.2.18 [INFO] [stderr] Downloaded permutation_iterator v0.1.2 [INFO] [stderr] Downloaded leb128 v0.2.5 [INFO] [stderr] Downloaded varisat-formula v0.2.2 [INFO] [stderr] Downloaded fst v0.4.7 [INFO] [stderr] Downloaded vec_mut_scan v0.3.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1918fb6be22fc4506871de89972a58bd64f7c57b3916d98b0cbac1c60db1669d [INFO] running `Command { std: "docker" "start" "-a" "1918fb6be22fc4506871de89972a58bd64f7c57b3916d98b0cbac1c60db1669d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1918fb6be22fc4506871de89972a58bd64f7c57b3916d98b0cbac1c60db1669d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1918fb6be22fc4506871de89972a58bd64f7c57b3916d98b0cbac1c60db1669d", kill_on_drop: false }` [INFO] [stdout] 1918fb6be22fc4506871de89972a58bd64f7c57b3916d98b0cbac1c60db1669d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b0abcab806f9f4337b5edde023cb7cd9a5425facc1bbae2b1fa99c4886388be5 [INFO] running `Command { std: "docker" "start" "-a" "b0abcab806f9f4337b5edde023cb7cd9a5425facc1bbae2b1fa99c4886388be5", kill_on_drop: false }` [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Compiling syn v2.0.57 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Checking either v1.10.0 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Compiling arrayvec v0.4.12 [INFO] [stderr] Compiling memchr v2.7.2 [INFO] [stderr] Compiling rustversion v1.0.14 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling psm v0.1.21 [INFO] [stderr] Compiling num-rational v0.4.1 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [INFO] [stderr] Compiling regex-syntax v0.8.3 [INFO] [stderr] Checking varisat-formula v0.2.2 [INFO] [stderr] Compiling winnow v0.5.40 [INFO] [stderr] Compiling toml_datetime v0.6.5 [INFO] [stderr] Checking nodrop v0.1.14 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Checking parking_lot_core v0.9.9 [INFO] [stderr] Compiling stacker v0.1.15 [INFO] [stderr] Compiling anyhow v1.0.81 [INFO] [stderr] Compiling heck v0.4.1 [INFO] [stderr] Checking ciborium-io v0.2.2 [INFO] [stderr] Checking itoa v0.4.8 [INFO] [stderr] Checking constant_time_eq v0.1.5 [INFO] [stderr] Compiling fst v0.4.7 [INFO] [stderr] Checking clap_lex v0.7.0 [INFO] [stderr] Checking plotters-backend v0.3.5 [INFO] [stderr] Compiling regex-automata v0.4.6 [INFO] [stderr] Compiling unicode-xid v0.2.4 [INFO] [stderr] Checking anstyle v1.0.6 [INFO] [stderr] Checking plotters-svg v0.3.5 [INFO] [stderr] Checking clap_builder v4.5.2 [INFO] [stderr] Checking blake2-rfc v0.2.18 [INFO] [stderr] Checking ciborium-ll v0.2.2 [INFO] [stderr] Compiling toml_edit v0.19.15 [INFO] [stderr] Compiling varisat v0.2.2 [INFO] [stderr] Checking parking_lot v0.12.1 [INFO] [stderr] Checking rayon-core v1.12.1 [INFO] [stderr] Checking hashbrown v0.12.3 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling synstructure v0.13.1 [INFO] [stderr] Checking varisat-internal-proof v0.2.2 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Compiling regex v1.10.4 [INFO] [stderr] Compiling paste v1.0.14 [INFO] [stderr] Compiling proc-macro-crate v1.3.1 [INFO] [stderr] Checking permutation_iterator v0.1.2 [INFO] [stderr] Checking internment v0.7.4 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking clap v4.5.4 [INFO] [stderr] Checking plotters v0.3.5 [INFO] [stderr] Checking criterion-plot v0.5.0 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Checking ordered-float v2.10.1 [INFO] [stderr] Checking is-terminal v0.4.12 [INFO] [stderr] Checking anes v0.1.6 [INFO] [stderr] Checking leb128 v0.2.5 [INFO] [stderr] Checking oorandom v11.1.3 [INFO] [stderr] Compiling serde_derive v1.0.197 [INFO] [stderr] Compiling thiserror-impl v1.0.58 [INFO] [stderr] Compiling strum_macros v0.25.3 [INFO] [stderr] Checking vec_mut_scan v0.3.0 [INFO] [stderr] Compiling aws-smt-ir-derive v0.1.2 [INFO] [stderr] Compiling partial_ref_derive v0.3.3 [INFO] [stderr] Compiling pomelo-impl v0.1.5 [INFO] [stderr] Compiling varisat-internal-macros v0.2.2 [INFO] [stderr] Checking partial_ref v0.3.3 [INFO] [stderr] Checking thiserror v1.0.58 [INFO] [stderr] Checking varisat-dimacs v0.2.2 [INFO] [stderr] Checking varisat-checker v0.2.2 [INFO] [stderr] Checking strum v0.25.0 [INFO] [stderr] Checking pomelo v0.1.5 [INFO] [stderr] Checking serde v1.0.197 [INFO] [stderr] Checking serde_json v1.0.115 [INFO] [stderr] Checking num-complex v0.4.5 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking criterion v0.5.1 [INFO] [stderr] Checking num v0.4.1 [INFO] [stderr] Checking aws-smt-ir v0.3.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `Identifier` is imported redundantly [INFO] [stdout] --> src/smt2parser/renaming.rs:11:16 [INFO] [stdout] | [INFO] [stdout] 9 | concrete::*, [INFO] [stdout] | ----------- the item `Identifier` is already imported here [INFO] [stdout] 10 | rewriter::Rewriter, [INFO] [stdout] 11 | visitors::{Identifier, Index, Smt2Visitor, SymbolKind}, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Command` is imported redundantly [INFO] [stdout] --> src/term/convert.rs:283:25 [INFO] [stdout] | [INFO] [stdout] 276 | use super::*; [INFO] [stdout] | -------- the item `Command` is already imported here [INFO] [stdout] ... [INFO] [stdout] 283 | AttributeValue, Command, DatatypeDec, FunctionDec, IQuantifier, ParseError, SExpr, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ParseError` is imported redundantly [INFO] [stdout] --> src/term/convert.rs:283:73 [INFO] [stdout] | [INFO] [stdout] 276 | use super::*; [INFO] [stdout] | -------- the item `ParseError` is already imported here [INFO] [stdout] ... [INFO] [stdout] 283 | AttributeValue, Command, DatatypeDec, FunctionDec, IQuantifier, ParseError, SExpr, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Logic` is imported redundantly [INFO] [stdout] --> src/logic/all.rs:4:13 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::{Logic, QualIdentifier, Quantifier, Term, UF}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/logic.rs:115:73 [INFO] [stdout] | [INFO] [stdout] 115 | use crate::{args::Iterate, fold::{Folder, SuperFold}, visit::*, *}; [INFO] [stdout] | - the item `Logic` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `QualIdentifier` is imported redundantly [INFO] [stdout] --> src/logic/all.rs:4:20 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::{Logic, QualIdentifier, Quantifier, Term, UF}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/logic.rs:115:73 [INFO] [stdout] | [INFO] [stdout] 115 | use crate::{args::Iterate, fold::{Folder, SuperFold}, visit::*, *}; [INFO] [stdout] | - the item `QualIdentifier` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Quantifier` is imported redundantly [INFO] [stdout] --> src/logic/all.rs:4:36 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::{Logic, QualIdentifier, Quantifier, Term, UF}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/logic.rs:115:73 [INFO] [stdout] | [INFO] [stdout] 115 | use crate::{args::Iterate, fold::{Folder, SuperFold}, visit::*, *}; [INFO] [stdout] | - the item `Quantifier` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Term` is imported redundantly [INFO] [stdout] --> src/logic/all.rs:4:48 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::{Logic, QualIdentifier, Quantifier, Term, UF}; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/logic.rs:115:73 [INFO] [stdout] | [INFO] [stdout] 115 | use crate::{args::Iterate, fold::{Folder, SuperFold}, visit::*, *}; [INFO] [stdout] | - the item `Term` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `UF` is imported redundantly [INFO] [stdout] --> src/logic/all.rs:4:54 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::{Logic, QualIdentifier, Quantifier, Term, UF}; [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] ::: src/logic.rs:115:73 [INFO] [stdout] | [INFO] [stdout] 115 | use crate::{args::Iterate, fold::{Folder, SuperFold}, visit::*, *}; [INFO] [stdout] | - the item `UF` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Identifier` is imported redundantly [INFO] [stdout] --> src/smt2parser/renaming.rs:11:16 [INFO] [stdout] | [INFO] [stdout] 9 | concrete::*, [INFO] [stdout] | ----------- the item `Identifier` is already imported here [INFO] [stdout] 10 | rewriter::Rewriter, [INFO] [stdout] 11 | visitors::{Identifier, Index, Smt2Visitor, SymbolKind}, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Logic` is imported redundantly [INFO] [stdout] --> src/ackermann.rs:248:22 [INFO] [stdout] | [INFO] [stdout] 247 | use super::*; [INFO] [stdout] | -------- the item `Logic` is already imported here [INFO] [stdout] 248 | use aws_smt_ir::{Logic, QualIdentifier, Script, Term, Void, UF}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `QualIdentifier` is imported redundantly [INFO] [stdout] --> src/ackermann.rs:248:29 [INFO] [stdout] | [INFO] [stdout] 247 | use super::*; [INFO] [stdout] | -------- the item `QualIdentifier` is already imported here [INFO] [stdout] 248 | use aws_smt_ir::{Logic, QualIdentifier, Script, Term, Void, UF}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Script` is imported redundantly [INFO] [stdout] --> src/ackermann.rs:248:45 [INFO] [stdout] | [INFO] [stdout] 247 | use super::*; [INFO] [stdout] | -------- the item `Script` is already imported here [INFO] [stdout] 248 | use aws_smt_ir::{Logic, QualIdentifier, Script, Term, Void, UF}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Term` is imported redundantly [INFO] [stdout] --> src/ackermann.rs:248:53 [INFO] [stdout] | [INFO] [stdout] 247 | use super::*; [INFO] [stdout] | -------- the item `Term` is already imported here [INFO] [stdout] 248 | use aws_smt_ir::{Logic, QualIdentifier, Script, Term, Void, UF}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Void` is imported redundantly [INFO] [stdout] --> src/ackermann.rs:248:59 [INFO] [stdout] | [INFO] [stdout] 247 | use super::*; [INFO] [stdout] | -------- the item `Void` is already imported here [INFO] [stdout] 248 | use aws_smt_ir::{Logic, QualIdentifier, Script, Term, Void, UF}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `UF` is imported redundantly [INFO] [stdout] --> src/ackermann.rs:248:65 [INFO] [stdout] | [INFO] [stdout] 247 | use super::*; [INFO] [stdout] | -------- the item `UF` is already imported here [INFO] [stdout] 248 | use aws_smt_ir::{Logic, QualIdentifier, Script, Term, Void, UF}; [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Fold` is imported redundantly [INFO] [stdout] --> src/cnf.rs:636:28 [INFO] [stdout] | [INFO] [stdout] 635 | use super::*; [INFO] [stdout] | -------- the item `Fold` is already imported here [INFO] [stdout] 636 | use aws_smt_ir::{args, fold::Fold, Logic, Void}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Logic` is imported redundantly [INFO] [stdout] --> src/cnf.rs:636:40 [INFO] [stdout] | [INFO] [stdout] 635 | use super::*; [INFO] [stdout] | -------- the item `Logic` is already imported here [INFO] [stdout] 636 | use aws_smt_ir::{args, fold::Fold, Logic, Void}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Command` is imported redundantly [INFO] [stdout] --> src/term/convert.rs:283:25 [INFO] [stdout] | [INFO] [stdout] 276 | use super::*; [INFO] [stdout] | -------- the item `Command` is already imported here [INFO] [stdout] ... [INFO] [stdout] 283 | AttributeValue, Command, DatatypeDec, FunctionDec, IQuantifier, ParseError, SExpr, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ParseError` is imported redundantly [INFO] [stdout] --> src/term/convert.rs:283:73 [INFO] [stdout] | [INFO] [stdout] 276 | use super::*; [INFO] [stdout] | -------- the item `ParseError` is already imported here [INFO] [stdout] ... [INFO] [stdout] 283 | AttributeValue, Command, DatatypeDec, FunctionDec, IQuantifier, ParseError, SExpr, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `UnknownSort` is imported redundantly [INFO] [stdout] --> src/term.rs:380:17 [INFO] [stdout] | [INFO] [stdout] 380 | use super::{sort_checking::UnknownSort, *}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ - the item `UnknownSort` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Arguments` is imported redundantly [INFO] [stdout] --> src/term.rs:382:9 [INFO] [stdout] | [INFO] [stdout] 380 | use super::{sort_checking::UnknownSort, *}; [INFO] [stdout] | - the item `Arguments` is already imported here [INFO] [stdout] 381 | use crate::{ [INFO] [stdout] 382 | args::Arguments, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `ALL` is imported redundantly [INFO] [stdout] --> src/term.rs:384:9 [INFO] [stdout] | [INFO] [stdout] 380 | use super::{sort_checking::UnknownSort, *}; [INFO] [stdout] | - the item `ALL` is already imported here [INFO] [stdout] ... [INFO] [stdout] 384 | logic::ALL, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `QualIdentifier` is imported redundantly [INFO] [stdout] --> src/term.rs:386:43 [INFO] [stdout] | [INFO] [stdout] 380 | use super::{sort_checking::UnknownSort, *}; [INFO] [stdout] | - the item `QualIdentifier` is already imported here [INFO] [stdout] ... [INFO] [stdout] 386 | IIndex, ISort, Index, ParseError, QualIdentifier, Quantifier, Void, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Quantifier` is imported redundantly [INFO] [stdout] --> src/term.rs:386:59 [INFO] [stdout] | [INFO] [stdout] 380 | use super::{sort_checking::UnknownSort, *}; [INFO] [stdout] | - the item `Quantifier` is already imported here [INFO] [stdout] ... [INFO] [stdout] 386 | IIndex, ISort, Index, ParseError, QualIdentifier, Quantifier, Void, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Void` is imported redundantly [INFO] [stdout] --> src/term.rs:386:71 [INFO] [stdout] | [INFO] [stdout] 380 | use super::{sort_checking::UnknownSort, *}; [INFO] [stdout] | - the item `Void` is already imported here [INFO] [stdout] ... [INFO] [stdout] 386 | IIndex, ISort, Index, ParseError, QualIdentifier, Quantifier, Void, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Logic` is imported redundantly [INFO] [stdout] --> src/logic/all.rs:4:13 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::{Logic, QualIdentifier, Quantifier, Term, UF}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/logic.rs:115:73 [INFO] [stdout] | [INFO] [stdout] 115 | use crate::{args::Iterate, fold::{Folder, SuperFold}, visit::*, *}; [INFO] [stdout] | - the item `Logic` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `QualIdentifier` is imported redundantly [INFO] [stdout] --> src/logic/all.rs:4:20 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::{Logic, QualIdentifier, Quantifier, Term, UF}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/logic.rs:115:73 [INFO] [stdout] | [INFO] [stdout] 115 | use crate::{args::Iterate, fold::{Folder, SuperFold}, visit::*, *}; [INFO] [stdout] | - the item `QualIdentifier` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Quantifier` is imported redundantly [INFO] [stdout] --> src/logic/all.rs:4:36 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::{Logic, QualIdentifier, Quantifier, Term, UF}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/logic.rs:115:73 [INFO] [stdout] | [INFO] [stdout] 115 | use crate::{args::Iterate, fold::{Folder, SuperFold}, visit::*, *}; [INFO] [stdout] | - the item `Quantifier` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Term` is imported redundantly [INFO] [stdout] --> src/logic/all.rs:4:48 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::{Logic, QualIdentifier, Quantifier, Term, UF}; [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/logic.rs:115:73 [INFO] [stdout] | [INFO] [stdout] 115 | use crate::{args::Iterate, fold::{Folder, SuperFold}, visit::*, *}; [INFO] [stdout] | - the item `Term` is already imported here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `UF` is imported redundantly [INFO] [stdout] --> src/logic/all.rs:4:54 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::{Logic, QualIdentifier, Quantifier, Term, UF}; [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] ::: src/logic.rs:115:73 [INFO] [stdout] | [INFO] [stdout] 115 | use crate::{args::Iterate, fold::{Folder, SuperFold}, visit::*, *}; [INFO] [stdout] | - the item `UF` is already imported here [INFO] [stdout] [INFO] [stdout] [ERROR] error running command: no output for 300 seconds [INFO] running `Command { std: "docker" "inspect" "b0abcab806f9f4337b5edde023cb7cd9a5425facc1bbae2b1fa99c4886388be5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b0abcab806f9f4337b5edde023cb7cd9a5425facc1bbae2b1fa99c4886388be5", kill_on_drop: false }` [INFO] [stdout] b0abcab806f9f4337b5edde023cb7cd9a5425facc1bbae2b1fa99c4886388be5 [INFO] checking aws-smt-ir-0.3.0 against try#36dbcaee1a55543dfc181be52a69d99ff46ff62f for pr-122960-3 [INFO] extracting crate aws-smt-ir 0.3.0 into /workspace/builds/worker-7-tc2/source [INFO] validating manifest of crates.io crate aws-smt-ir 0.3.0 on toolchain 36dbcaee1a55543dfc181be52a69d99ff46ff62f [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate aws-smt-ir 0.3.0 [INFO] finished tweaking crates.io crate aws-smt-ir 0.3.0 [INFO] tweaked toml for crates.io crate aws-smt-ir 0.3.0 written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 8a5f7a0872735b2421b6e28d007c314c60186ddb55f2bc2387d29e5568551e56 [INFO] running `Command { std: "docker" "start" "-a" "8a5f7a0872735b2421b6e28d007c314c60186ddb55f2bc2387d29e5568551e56", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8a5f7a0872735b2421b6e28d007c314c60186ddb55f2bc2387d29e5568551e56", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8a5f7a0872735b2421b6e28d007c314c60186ddb55f2bc2387d29e5568551e56", kill_on_drop: false }` [INFO] [stdout] 8a5f7a0872735b2421b6e28d007c314c60186ddb55f2bc2387d29e5568551e56 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 225a5b9cacba07610599d7c7839efb7949460b84f8ef18e72eff27a37f3ce0a6 [INFO] running `Command { std: "docker" "start" "-a" "225a5b9cacba07610599d7c7839efb7949460b84f8ef18e72eff27a37f3ce0a6", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] skipping non-2021 edition `2018` [INFO] running `Command { std: "docker" "inspect" "225a5b9cacba07610599d7c7839efb7949460b84f8ef18e72eff27a37f3ce0a6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "225a5b9cacba07610599d7c7839efb7949460b84f8ef18e72eff27a37f3ce0a6", kill_on_drop: false }` [INFO] [stdout] 225a5b9cacba07610599d7c7839efb7949460b84f8ef18e72eff27a37f3ce0a6