[INFO] cloning repository https://github.com/MiSawa/tapl-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/MiSawa/tapl-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMiSawa%2Ftapl-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMiSawa%2Ftapl-rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 1ecbf100fd8d556b56ac03b9a55a23c54340cdd2 [INFO] checking MiSawa/tapl-rs against nightly-2024-02-05 for check-cfg-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMiSawa%2Ftapl-rs" "/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/MiSawa/tapl-rs on toolchain nightly-2024-02-05 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2024-02-05" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/MiSawa/tapl-rs [INFO] finished tweaking git repo https://github.com/MiSawa/tapl-rs [INFO] tweaked toml for git repo https://github.com/MiSawa/tapl-rs written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/MiSawa/tapl-rs 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" "+nightly-2024-02-05" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"` [INFO] [stderr] note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest [INFO] [stderr] note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest [INFO] [stderr] note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded lexgen_util v0.10.0 [INFO] [stderr] Downloaded str-buf v1.0.5 [INFO] [stderr] Downloaded endian-type v0.1.2 [INFO] [stderr] Downloaded const-random-macro v0.1.13 [INFO] [stderr] Downloaded const-random v0.1.13 [INFO] [stderr] Downloaded nibble_vec v0.1.0 [INFO] [stderr] Downloaded clipboard-win v4.4.1 [INFO] [stderr] Downloaded parking_lot v0.12.0 [INFO] [stderr] Downloaded rustversion v1.0.6 [INFO] [stderr] Downloaded lexgen v0.10.0 [INFO] [stderr] Downloaded unicode-segmentation v1.9.0 [INFO] [stderr] Downloaded lalrpop v0.19.7 [INFO] [stderr] Downloaded radix_trie v0.2.1 [INFO] [stderr] Downloaded windows_i686_gnu v0.34.0 [INFO] [stderr] Downloaded windows_i686_gnu v0.30.0 [INFO] [stderr] Downloaded windows-sys v0.34.0 [INFO] [stderr] Downloaded rustix v0.34.5 [INFO] [stderr] Downloaded windows-sys v0.30.0 [INFO] [stderr] Downloaded linux-raw-sys v0.0.46 [INFO] [stderr] Downloaded windows_x86_64_gnu v0.34.0 [INFO] [stderr] Downloaded windows_aarch64_msvc v0.30.0 [INFO] [stderr] Downloaded windows_x86_64_msvc v0.34.0 [INFO] [stderr] Downloaded windows_i686_msvc v0.34.0 [INFO] [stderr] Downloaded windows_x86_64_msvc v0.30.0 [INFO] [stderr] Downloaded windows_i686_msvc v0.30.0 [INFO] [stderr] Downloaded windows_aarch64_msvc v0.34.0 [INFO] [stderr] Downloaded windows_x86_64_gnu v0.30.0 [INFO] [stderr] Downloaded libc v0.2.124 [INFO] [stderr] Downloaded rustyline v9.1.2 [INFO] [stderr] Downloaded syn v1.0.92 [INFO] [stderr] Downloaded semver v1.0.7 [INFO] [stderr] Downloaded anyhow v1.0.57 [INFO] [stderr] Downloaded io-lifetimes v0.6.1 [INFO] [stderr] Downloaded archery v0.4.0 [INFO] [stderr] Downloaded indexmap v1.8.1 [INFO] [stderr] Downloaded parking_lot_core v0.9.2 [INFO] [stderr] Downloaded rpds v0.11.0 [INFO] [stderr] Downloaded chumsky v0.8.0 [INFO] [stderr] Downloaded ahash v0.3.8 [INFO] [stderr] Downloaded lalrpop-util v0.19.7 [INFO] [stderr] Downloaded utf8parse v0.2.0 [INFO] [stderr] Downloaded fd-lock v3.0.5 [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" "+nightly-2024-02-05" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 3c6fa197e01c6ca4f456b398542df8913471a64107336abccd2b43e913166b21 [INFO] running `Command { std: "docker" "start" "-a" "3c6fa197e01c6ca4f456b398542df8913471a64107336abccd2b43e913166b21", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3c6fa197e01c6ca4f456b398542df8913471a64107336abccd2b43e913166b21", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3c6fa197e01c6ca4f456b398542df8913471a64107336abccd2b43e913166b21", kill_on_drop: false }` [INFO] [stdout] 3c6fa197e01c6ca4f456b398542df8913471a64107336abccd2b43e913166b21 [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" "+nightly-2024-02-05" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7cbef52a90023f9e20ce3e4775edb43781053a1a060bc058b5e31b2f3a22ce84 [INFO] running `Command { std: "docker" "start" "-a" "7cbef52a90023f9e20ce3e4775edb43781053a1a060bc058b5e31b2f3a22ce84", kill_on_drop: false }` [INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"` [INFO] [stderr] note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest [INFO] [stderr] note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest [INFO] [stderr] note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions [INFO] [stderr] Compiling libc v0.2.124 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling log v0.4.16 [INFO] [stderr] Compiling proc-macro2 v1.0.37 [INFO] [stderr] Compiling syn v1.0.92 [INFO] [stderr] Compiling io-lifetimes v0.6.1 [INFO] [stderr] Compiling rustix v0.34.5 [INFO] [stderr] Checking smallvec v1.8.0 [INFO] [stderr] Checking linux-raw-sys v0.0.46 [INFO] [stderr] Checking nibble_vec v0.1.0 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Compiling anyhow v1.0.57 [INFO] [stderr] Checking unicode-width v0.1.9 [INFO] [stderr] Checking endian-type v0.1.2 [INFO] [stderr] Checking radix_trie v0.2.1 [INFO] [stderr] Compiling parking_lot_core v0.9.2 [INFO] [stderr] Checking unicode-segmentation v1.9.0 [INFO] [stderr] Checking utf8parse v0.2.0 [INFO] [stderr] Compiling indexmap v1.8.1 [INFO] [stderr] Compiling quote v1.0.18 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling proc-macro-hack v0.5.19 [INFO] [stderr] Compiling lock_api v0.4.7 [INFO] [stderr] Compiling hashbrown v0.11.2 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling dirs-sys-next v0.1.2 [INFO] [stderr] Compiling getrandom v0.2.6 [INFO] [stderr] Compiling dirs-next v2.0.0 [INFO] [stderr] Compiling term v0.7.0 [INFO] [stderr] Compiling parking_lot v0.12.0 [INFO] [stderr] Compiling fixedbitset v0.2.0 [INFO] [stderr] Checking nix v0.23.1 [INFO] [stderr] Compiling once_cell v1.10.0 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling string_cache v0.8.4 [INFO] [stderr] Compiling petgraph v0.5.1 [INFO] [stderr] Compiling ascii-canvas v3.0.0 [INFO] [stderr] Compiling ena v0.14.0 [INFO] [stderr] Compiling itertools v0.10.3 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling const-random-macro v0.1.13 [INFO] [stderr] Compiling bit-set v0.5.2 [INFO] [stderr] Compiling lalrpop-util v0.19.7 [INFO] [stderr] Compiling diff v0.1.12 [INFO] [stderr] Checking const-random v0.1.13 [INFO] [stderr] Checking ahash v0.3.8 [INFO] [stderr] Checking fd-lock v3.0.5 [INFO] [stderr] Checking yansi v0.5.1 [INFO] [stderr] Compiling convert_case v0.4.0 [INFO] [stderr] Checking chumsky v0.8.0 [INFO] [stderr] Checking ariadne v0.1.5 [INFO] [stderr] Compiling regex v1.5.5 [INFO] [stderr] Compiling byteorder v1.4.3 [INFO] [stderr] Checking lexgen_util v0.10.0 [INFO] [stderr] Checking archery v0.4.0 [INFO] [stderr] Checking rpds v0.11.0 [INFO] [stderr] Compiling fxhash v0.2.1 [INFO] [stderr] Compiling lalrpop v0.19.7 [INFO] [stderr] Checking rustyline v9.1.2 [INFO] [stderr] Compiling thiserror-impl v1.0.31 [INFO] [stderr] Compiling derive_more v0.99.17 [INFO] [stderr] Compiling lexgen v0.10.0 [INFO] [stderr] Checking thiserror v1.0.31 [INFO] [stderr] Checking util v0.1.0 (/opt/rustwide/workdir/util) [INFO] [stderr] Checking subtyped v0.1.0 (/opt/rustwide/workdir/subtyped) [INFO] [stderr] Checking simplebool v0.1.0 (/opt/rustwide/workdir/simplebool) [INFO] [stderr] Checking systemf v0.1.0 (/opt/rustwide/workdir/systemf) [INFO] [stdout] warning: unused variable: `bound` [INFO] [stdout] --> systemf/src/term.rs:55:28 [INFO] [stdout] | [INFO] [stdout] 55 | Type::Exists { bound, body } => f.write_fmt(format_args!("{{*_Type, {body}}}")), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `bound: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `bound` [INFO] [stdout] --> systemf/src/term.rs:56:28 [INFO] [stdout] | [INFO] [stdout] 56 | Type::Forall { bound, body } => f.write_fmt(format_args!("All _Type. {body}")), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `bound: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_kind` is never used [INFO] [stdout] --> systemf/src/compiler.rs:99:4 [INFO] [stdout] | [INFO] [stdout] 99 | fn get_kind(context: &Context, ty: &Type) -> Kind { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `meet_type` is never used [INFO] [stdout] --> systemf/src/compiler.rs:373:4 [INFO] [stdout] | [INFO] [stdout] 373 | fn meet_type(_context: &Context, lhs: &Type, rhs: &Type) -> Type { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `bound` [INFO] [stdout] --> systemf/src/term.rs:55:28 [INFO] [stdout] | [INFO] [stdout] 55 | Type::Exists { bound, body } => f.write_fmt(format_args!("{{*_Type, {body}}}")), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `bound: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `bound` [INFO] [stdout] --> systemf/src/term.rs:56:28 [INFO] [stdout] | [INFO] [stdout] 56 | Type::Forall { bound, body } => f.write_fmt(format_args!("All _Type. {body}")), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `bound: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_kind` is never used [INFO] [stdout] --> systemf/src/compiler.rs:99:4 [INFO] [stdout] | [INFO] [stdout] 99 | fn get_kind(context: &Context, ty: &Type) -> Kind { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `meet_type` is never used [INFO] [stdout] --> systemf/src/compiler.rs:373:4 [INFO] [stdout] | [INFO] [stdout] 373 | fn meet_type(_context: &Context, lhs: &Type, rhs: &Type) -> Type { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling untyped v0.1.0 (/opt/rustwide/workdir/untyped) [INFO] [stderr] Compiling arith v0.1.0 (/opt/rustwide/workdir/arith) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 50.02s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: lalrpop v0.19.7 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1` [INFO] running `Command { std: "docker" "inspect" "7cbef52a90023f9e20ce3e4775edb43781053a1a060bc058b5e31b2f3a22ce84", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7cbef52a90023f9e20ce3e4775edb43781053a1a060bc058b5e31b2f3a22ce84", kill_on_drop: false }` [INFO] [stdout] 7cbef52a90023f9e20ce3e4775edb43781053a1a060bc058b5e31b2f3a22ce84 [INFO] checking MiSawa/tapl-rs against nightly-2024-02-05+rustflags=-Dunexpected_cfgs+cargoflags=-Zcheck-cfg for check-cfg-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMiSawa%2Ftapl-rs" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/MiSawa/tapl-rs on toolchain nightly-2024-02-05 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2024-02-05" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/MiSawa/tapl-rs [INFO] finished tweaking git repo https://github.com/MiSawa/tapl-rs [INFO] tweaked toml for git repo https://github.com/MiSawa/tapl-rs written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/MiSawa/tapl-rs 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" "+nightly-2024-02-05" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"` [INFO] [stderr] note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest [INFO] [stderr] note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest [INFO] [stderr] note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "+nightly-2024-02-05" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2d1d8a8c23dbdea97862b39f664f07d14eaa84d6ce0e23792a194f173780e2ef [INFO] running `Command { std: "docker" "start" "-a" "2d1d8a8c23dbdea97862b39f664f07d14eaa84d6ce0e23792a194f173780e2ef", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2d1d8a8c23dbdea97862b39f664f07d14eaa84d6ce0e23792a194f173780e2ef", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2d1d8a8c23dbdea97862b39f664f07d14eaa84d6ce0e23792a194f173780e2ef", kill_on_drop: false }` [INFO] [stdout] 2d1d8a8c23dbdea97862b39f664f07d14eaa84d6ce0e23792a194f173780e2ef [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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 -Dunexpected_cfgs" "-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" "+nightly-2024-02-05" "check" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zcheck-cfg", kill_on_drop: false }` [INFO] [stdout] 5ba226b50d3a905f91de9e5c6fbb3489e3c001b527a5f9b7d55ce39d62f3f9b5 [INFO] running `Command { std: "docker" "start" "-a" "5ba226b50d3a905f91de9e5c6fbb3489e3c001b527a5f9b7d55ce39d62f3f9b5", kill_on_drop: false }` [INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"` [INFO] [stderr] note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest [INFO] [stderr] note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest [INFO] [stderr] note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions [INFO] [stderr] Compiling libc v0.2.124 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling log v0.4.16 [INFO] [stderr] Compiling proc-macro2 v1.0.37 [INFO] [stderr] Compiling syn v1.0.92 [INFO] [stderr] Compiling io-lifetimes v0.6.1 [INFO] [stderr] Compiling rustix v0.34.5 [INFO] [stderr] Checking linux-raw-sys v0.0.46 [INFO] [stderr] Checking smallvec v1.8.0 [INFO] [stderr] Checking nibble_vec v0.1.0 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Checking endian-type v0.1.2 [INFO] [stderr] Checking unicode-width v0.1.9 [INFO] [stderr] Compiling anyhow v1.0.57 [INFO] [stderr] Checking radix_trie v0.2.1 [INFO] [stderr] Checking utf8parse v0.2.0 [INFO] [stderr] Checking unicode-segmentation v1.9.0 [INFO] [stderr] Compiling parking_lot_core v0.9.2 [INFO] [stderr] Compiling quote v1.0.18 [INFO] [stderr] Compiling indexmap v1.8.1 [INFO] [stderr] Compiling proc-macro-hack v0.5.19 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling lock_api v0.4.7 [INFO] [stderr] Compiling hashbrown v0.11.2 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling fixedbitset v0.2.0 [INFO] [stderr] Checking dirs-sys-next v0.1.2 [INFO] [stderr] Checking nix v0.23.1 [INFO] [stderr] Checking dirs-next v2.0.0 [INFO] [stderr] Compiling once_cell v1.10.0 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling term v0.7.0 [INFO] [stderr] Compiling getrandom v0.2.6 [INFO] [stderr] Compiling petgraph v0.5.1 [INFO] [stderr] Compiling const-random-macro v0.1.13 [INFO] [stderr] Compiling parking_lot v0.12.0 [INFO] [stderr] Checking fd-lock v3.0.5 [INFO] [stderr] Compiling ascii-canvas v3.0.0 [INFO] [stderr] Compiling string_cache v0.8.4 [INFO] [stderr] Compiling regex v1.5.5 [INFO] [stderr] Compiling itertools v0.10.3 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling bit-set v0.5.2 [INFO] [stderr] Compiling ena v0.14.0 [INFO] [stderr] Compiling diff v0.1.12 [INFO] [stderr] Compiling lalrpop-util v0.19.7 [INFO] [stderr] Checking const-random v0.1.13 [INFO] [stderr] Checking ahash v0.3.8 [INFO] [stderr] Compiling convert_case v0.4.0 [INFO] [stderr] Checking yansi v0.5.1 [INFO] [stderr] Compiling byteorder v1.4.3 [INFO] [stderr] Checking chumsky v0.8.0 [INFO] [stderr] Checking ariadne v0.1.5 [INFO] [stderr] Compiling fxhash v0.2.1 [INFO] [stderr] Checking lexgen_util v0.10.0 [INFO] [stderr] Checking archery v0.4.0 [INFO] [stderr] Checking rpds v0.11.0 [INFO] [stderr] Compiling lalrpop v0.19.7 [INFO] [stderr] Checking rustyline v9.1.2 [INFO] [stderr] Compiling thiserror-impl v1.0.31 [INFO] [stderr] Compiling derive_more v0.99.17 [INFO] [stderr] Compiling lexgen v0.10.0 [INFO] [stderr] Checking thiserror v1.0.31 [INFO] [stderr] Checking util v0.1.0 (/opt/rustwide/workdir/util) [INFO] [stderr] Checking systemf v0.1.0 (/opt/rustwide/workdir/systemf) [INFO] [stderr] Checking simplebool v0.1.0 (/opt/rustwide/workdir/simplebool) [INFO] [stderr] Checking subtyped v0.1.0 (/opt/rustwide/workdir/subtyped) [INFO] [stdout] warning: unused variable: `bound` [INFO] [stdout] --> systemf/src/term.rs:55:28 [INFO] [stdout] | [INFO] [stdout] 55 | Type::Exists { bound, body } => f.write_fmt(format_args!("{{*_Type, {body}}}")), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `bound: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `bound` [INFO] [stdout] --> systemf/src/term.rs:56:28 [INFO] [stdout] | [INFO] [stdout] 56 | Type::Forall { bound, body } => f.write_fmt(format_args!("All _Type. {body}")), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `bound: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_kind` is never used [INFO] [stdout] --> systemf/src/compiler.rs:99:4 [INFO] [stdout] | [INFO] [stdout] 99 | fn get_kind(context: &Context, ty: &Type) -> Kind { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `meet_type` is never used [INFO] [stdout] --> systemf/src/compiler.rs:373:4 [INFO] [stdout] | [INFO] [stdout] 373 | fn meet_type(_context: &Context, lhs: &Type, rhs: &Type) -> Type { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `bound` [INFO] [stdout] --> systemf/src/term.rs:55:28 [INFO] [stdout] | [INFO] [stdout] 55 | Type::Exists { bound, body } => f.write_fmt(format_args!("{{*_Type, {body}}}")), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `bound: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `bound` [INFO] [stdout] --> systemf/src/term.rs:56:28 [INFO] [stdout] | [INFO] [stdout] 56 | Type::Forall { bound, body } => f.write_fmt(format_args!("All _Type. {body}")), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `bound: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_kind` is never used [INFO] [stdout] --> systemf/src/compiler.rs:99:4 [INFO] [stdout] | [INFO] [stdout] 99 | fn get_kind(context: &Context, ty: &Type) -> Kind { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `meet_type` is never used [INFO] [stdout] --> systemf/src/compiler.rs:373:4 [INFO] [stdout] | [INFO] [stdout] 373 | fn meet_type(_context: &Context, lhs: &Type, rhs: &Type) -> Type { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling arith v0.1.0 (/opt/rustwide/workdir/arith) [INFO] [stderr] Compiling untyped v0.1.0 (/opt/rustwide/workdir/untyped) [INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt` [INFO] [stdout] --> /opt/rustwide/target/debug/build/arith-ae4d3f0478bb274a/out/parser.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 13 | #[cfg_attr(rustfmt, rustfmt_skip)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `debug_assertions`, `doc`, `doctest`, `feature`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `sanitize`, `sanitizer_cfi_generalize_pointers`, `sanitizer_cfi_normalize_integers`, `target_abi`, `target_arch`, `target_endian`, `target_env`, `target_family`, `target_feature`, `target_has_atomic`, `target_has_atomic_equal_alignment`, `target_has_atomic_load_store`, `target_os`, `target_pointer_width`, `target_thread_local`, `target_vendor`, `test`, `unix`, `windows` [INFO] [stdout] = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: requested on the command line with `-D unexpected-cfgs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt` [INFO] [stdout] --> /opt/rustwide/target/debug/build/arith-ae4d3f0478bb274a/out/parser.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 13 | #[cfg_attr(rustfmt, rustfmt_skip)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `debug_assertions`, `doc`, `doctest`, `feature`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `sanitize`, `sanitizer_cfi_generalize_pointers`, `sanitizer_cfi_normalize_integers`, `target_abi`, `target_arch`, `target_endian`, `target_env`, `target_family`, `target_feature`, `target_has_atomic`, `target_has_atomic_equal_alignment`, `target_has_atomic_load_store`, `target_os`, `target_pointer_width`, `target_thread_local`, `target_vendor`, `test`, `unix`, `windows` [INFO] [stdout] = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: requested on the command line with `-D unexpected-cfgs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt` [INFO] [stdout] --> /opt/rustwide/target/debug/build/untyped-dc07d9976fc21ac0/out/parser.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 13 | #[cfg_attr(rustfmt, rustfmt_skip)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `debug_assertions`, `doc`, `doctest`, `feature`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `sanitize`, `sanitizer_cfi_generalize_pointers`, `sanitizer_cfi_normalize_integers`, `target_abi`, `target_arch`, `target_endian`, `target_env`, `target_family`, `target_feature`, `target_has_atomic`, `target_has_atomic_equal_alignment`, `target_has_atomic_load_store`, `target_os`, `target_pointer_width`, `target_thread_local`, `target_vendor`, `test`, `unix`, `windows` [INFO] [stdout] = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: requested on the command line with `-D unexpected-cfgs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt` [INFO] [stdout] --> /opt/rustwide/target/debug/build/untyped-dc07d9976fc21ac0/out/parser.rs:601:12 [INFO] [stdout] | [INFO] [stdout] 601 | #[cfg_attr(rustfmt, rustfmt_skip)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt` [INFO] [stdout] --> /opt/rustwide/target/debug/build/untyped-dc07d9976fc21ac0/out/parser.rs:1189:12 [INFO] [stdout] | [INFO] [stdout] 1189 | #[cfg_attr(rustfmt, rustfmt_skip)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt` [INFO] [stdout] --> /opt/rustwide/target/debug/build/untyped-dc07d9976fc21ac0/out/parser.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 13 | #[cfg_attr(rustfmt, rustfmt_skip)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `debug_assertions`, `doc`, `doctest`, `feature`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `sanitize`, `sanitizer_cfi_generalize_pointers`, `sanitizer_cfi_normalize_integers`, `target_abi`, `target_arch`, `target_endian`, `target_env`, `target_family`, `target_feature`, `target_has_atomic`, `target_has_atomic_equal_alignment`, `target_has_atomic_load_store`, `target_os`, `target_pointer_width`, `target_thread_local`, `target_vendor`, `test`, `unix`, `windows` [INFO] [stdout] = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: requested on the command line with `-D unexpected-cfgs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt` [INFO] [stdout] --> /opt/rustwide/target/debug/build/untyped-dc07d9976fc21ac0/out/parser.rs:601:12 [INFO] [stdout] | [INFO] [stdout] 601 | #[cfg_attr(rustfmt, rustfmt_skip)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt` [INFO] [stdout] --> /opt/rustwide/target/debug/build/untyped-dc07d9976fc21ac0/out/parser.rs:1189:12 [INFO] [stdout] | [INFO] [stdout] 1189 | #[cfg_attr(rustfmt, rustfmt_skip)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `arith` (bin "arith" test) due to 2 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `arith` (bin "arith") due to 2 previous errors [INFO] [stdout] error: aborting due to 3 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `untyped` (bin "untyped" test) due to 4 previous errors [INFO] [stdout] error: aborting due to 3 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `untyped` (bin "untyped") due to 4 previous errors [INFO] running `Command { std: "docker" "inspect" "5ba226b50d3a905f91de9e5c6fbb3489e3c001b527a5f9b7d55ce39d62f3f9b5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5ba226b50d3a905f91de9e5c6fbb3489e3c001b527a5f9b7d55ce39d62f3f9b5", kill_on_drop: false }` [INFO] [stdout] 5ba226b50d3a905f91de9e5c6fbb3489e3c001b527a5f9b7d55ce39d62f3f9b5