[INFO] cloning repository https://github.com/hopv/hoice [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hopv/hoice" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 1c9a5d1975affdcf819bf1526f936142564266f4 [INFO] checking hopv/hoice against master#33fdb797f59421c7bbecaa4588ed5d7a31a9494a for pr-87190-3 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice" "/workspace/builds/worker-7/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/hopv/hoice on toolchain 33fdb797f59421c7bbecaa4588ed5d7a31a9494a [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/hopv/hoice [INFO] finished tweaking git repo https://github.com/hopv/hoice [INFO] tweaked toml for git repo https://github.com/hopv/hoice written to /workspace/builds/worker-7/source/Cargo.toml [INFO] crate git repo https://github.com/hopv/hoice already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ad8f705a58f68f043562e3bc9b0aa02e1f7aa2ab44a1c09b7826b430294ef3b6 [INFO] running `Command { std: "docker" "start" "-a" "ad8f705a58f68f043562e3bc9b0aa02e1f7aa2ab44a1c09b7826b430294ef3b6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ad8f705a58f68f043562e3bc9b0aa02e1f7aa2ab44a1c09b7826b430294ef3b6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ad8f705a58f68f043562e3bc9b0aa02e1f7aa2ab44a1c09b7826b430294ef3b6", kill_on_drop: false }` [INFO] [stdout] ad8f705a58f68f043562e3bc9b0aa02e1f7aa2ab44a1c09b7826b430294ef3b6 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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" "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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 06df15682bec767914085125de009c713e4b0a20f531acd850c5e45bf3a95fe2 [INFO] running `Command { std: "docker" "start" "-a" "06df15682bec767914085125de009c713e4b0a20f531acd850c5e45bf3a95fe2", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.93 [INFO] [stderr] Checking adler v1.0.2 [INFO] [stderr] Checking gimli v0.23.0 [INFO] [stderr] Checking object v0.23.0 [INFO] [stderr] Checking rustc-demangle v0.1.18 [INFO] [stderr] Checking ansi_term v0.11.0 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Checking either v1.6.1 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling miniz_oxide v0.4.4 [INFO] [stderr] Compiling num-bigint v0.4.0 [INFO] [stderr] Compiling num-rational v0.4.0 [INFO] [stderr] Compiling num-iter v0.1.42 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking mylib v0.1.0 (https://github.com/AdrienChampion/mylib#62fecec9) [INFO] [stderr] Checking hashconsing v1.3.0 [INFO] [stderr] Checking num-complex v0.4.0 [INFO] [stderr] Checking getrandom v0.2.2 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking clap v2.33.3 [INFO] [stderr] Checking rand_core v0.6.2 [INFO] [stderr] Checking rand_chacha v0.3.0 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking rand v0.8.3 [INFO] [stderr] Checking num v0.4.0 [INFO] [stderr] Checking addr2line v0.14.1 [INFO] [stderr] Checking backtrace v0.3.56 [INFO] [stderr] Checking rsmt2 v0.12.0 [INFO] [stderr] Checking hoice v1.9.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/common/macros.rs:362:38 [INFO] [stdout] | [INFO] [stdout] 362 | $slf.msg( format!( $($tt)* ) ) ? ; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/learning/ice.rs:359:9 [INFO] [stdout] | [INFO] [stdout] 359 | / msg! { @verb [INFO] [stdout] 360 | | self => [INFO] [stdout] 361 | | "starting learning\n \ [INFO] [stdout] 362 | | simple: {},\n \ [INFO] [stdout] ... | [INFO] [stdout] 365 | | simple, sorted, skip_prelim [INFO] [stdout] 366 | | } [INFO] [stdout] | |_________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(semicolon_in_expressions_from_macros)]` on by default [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg` [INFO] [stdout] = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/common/macros.rs:362:38 [INFO] [stdout] | [INFO] [stdout] 362 | $slf.msg( format!( $($tt)* ) ) ? ; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/learning/ice.rs:381:13 [INFO] [stdout] | [INFO] [stdout] 381 | / msg! { [INFO] [stdout] 382 | | debug self => [INFO] [stdout] 383 | | "{}: {} unclassified, {} classified", [INFO] [stdout] 384 | | self.instance[pred], _unc, _cla [INFO] [stdout] 385 | | } [INFO] [stdout] | |_____________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg` [INFO] [stdout] = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/common/macros.rs:359:20 [INFO] [stdout] | [INFO] [stdout] 359 | $slf.msg($e) ? ; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/learning/ice.rs:430:25 [INFO] [stdout] | [INFO] [stdout] 430 | msg! { debug self => "legal_pred (1)" } [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg` [INFO] [stdout] = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/common/macros.rs:362:38 [INFO] [stdout] | [INFO] [stdout] 362 | $slf.msg( format!( $($tt)* ) ) ? ; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/learning/ice.rs:433:29 [INFO] [stdout] | [INFO] [stdout] 433 | / ... msg! { @verb [INFO] [stdout] 434 | | ... self => [INFO] [stdout] 435 | | ... "{} only has negative ({}) and unclassified ({}) data\n\ [INFO] [stdout] 436 | | ... legal check ok, assuming everything negative", [INFO] [stdout] 437 | | ... self.instance[pred], neg_len, unc_len [INFO] [stdout] 438 | | ... } [INFO] [stdout] | |_______________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg` [INFO] [stdout] = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/common/macros.rs:359:20 [INFO] [stdout] | [INFO] [stdout] 359 | $slf.msg($e) ? ; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/learning/ice.rs:455:25 [INFO] [stdout] | [INFO] [stdout] 455 | msg! { debug self => "legal_pred (2)" } [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg` [INFO] [stdout] = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/common/macros.rs:362:38 [INFO] [stdout] | [INFO] [stdout] 362 | $slf.msg( format!( $($tt)* ) ) ? ; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/learning/ice.rs:458:29 [INFO] [stdout] | [INFO] [stdout] 458 | / ... msg! { @verb [INFO] [stdout] 459 | | ... self => [INFO] [stdout] 460 | | ... "{} only has positive ({}) and unclassified ({}) data\n\ [INFO] [stdout] 461 | | ... legal check ok, assuming everything positive", [INFO] [stdout] 462 | | ... self.instance[pred], pos_len, unc_len [INFO] [stdout] 463 | | ... } [INFO] [stdout] | |_______________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg` [INFO] [stdout] = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/common/macros.rs:362:38 [INFO] [stdout] | [INFO] [stdout] 362 | $slf.msg( format!( $($tt)* ) ) ? ; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/learning/ice.rs:559:9 [INFO] [stdout] | [INFO] [stdout] 559 | / msg! { @verb [INFO] [stdout] 560 | | self => [INFO] [stdout] 561 | | "working on predicate {} (pos: {}, neg: {}, unc: {})", [INFO] [stdout] 562 | | self.instance[pred], data.pos().len(), data.neg().len(), data.unc().len() [INFO] [stdout] 563 | | } [INFO] [stdout] | |_________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg` [INFO] [stdout] = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:43:46 [INFO] [stdout] | [INFO] [stdout] 43 | return Ok(ZipDo::Dwn { nu_term: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 237 | go!(down t) [INFO] [stdout] | ----------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go` [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:43:46 [INFO] [stdout] | [INFO] [stdout] 43 | return Ok(ZipDo::Dwn { nu_term: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 239 | go!(down e) [INFO] [stdout] | ----------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go` [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 252 | go!(up val::none(t.typ())) [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go` [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 267 | Some(false) => go!( up val::bool(false) ), [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 280 | Some(true) => go!( up val::bool(true) ), [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 292 | go!( up last.clone() ) [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go` [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 301 | go!( up last.clone() ) [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go` [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 310 | go!( up val::bool(true) ) [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go` [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 320 | go!( up val::bool(false) ) [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go` [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused attribute `allow` [INFO] [stdout] --> src/val.rs:899:9 [INFO] [stdout] | [INFO] [stdout] 899 | #[allow(unused_parens)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_attributes)]` on by default [INFO] [stdout] note: the built-in attribute `allow` will be ignored, since it's applied to the macro invocation `arith_bin_rel` [INFO] [stdout] --> src/val.rs:900:9 [INFO] [stdout] | [INFO] [stdout] 900 | arith_bin_rel! { * self, gt, * other.get() } [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/common/macros.rs:362:38 [INFO] [stdout] | [INFO] [stdout] 362 | $slf.msg( format!( $($tt)* ) ) ? ; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/learning/ice.rs:359:9 [INFO] [stdout] | [INFO] [stdout] 359 | / msg! { @verb [INFO] [stdout] 360 | | self => [INFO] [stdout] 361 | | "starting learning\n \ [INFO] [stdout] 362 | | simple: {},\n \ [INFO] [stdout] ... | [INFO] [stdout] 365 | | simple, sorted, skip_prelim [INFO] [stdout] 366 | | } [INFO] [stdout] | |_________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(semicolon_in_expressions_from_macros)]` on by default [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg` [INFO] [stdout] = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/common/macros.rs:362:38 [INFO] [stdout] | [INFO] [stdout] 362 | $slf.msg( format!( $($tt)* ) ) ? ; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/learning/ice.rs:381:13 [INFO] [stdout] | [INFO] [stdout] 381 | / msg! { [INFO] [stdout] 382 | | debug self => [INFO] [stdout] 383 | | "{}: {} unclassified, {} classified", [INFO] [stdout] 384 | | self.instance[pred], _unc, _cla [INFO] [stdout] 385 | | } [INFO] [stdout] | |_____________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg` [INFO] [stdout] = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/common/macros.rs:359:20 [INFO] [stdout] | [INFO] [stdout] 359 | $slf.msg($e) ? ; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/learning/ice.rs:430:25 [INFO] [stdout] | [INFO] [stdout] 430 | msg! { debug self => "legal_pred (1)" } [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg` [INFO] [stdout] = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/common/macros.rs:362:38 [INFO] [stdout] | [INFO] [stdout] 362 | $slf.msg( format!( $($tt)* ) ) ? ; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/learning/ice.rs:433:29 [INFO] [stdout] | [INFO] [stdout] 433 | / ... msg! { @verb [INFO] [stdout] 434 | | ... self => [INFO] [stdout] 435 | | ... "{} only has negative ({}) and unclassified ({}) data\n\ [INFO] [stdout] 436 | | ... legal check ok, assuming everything negative", [INFO] [stdout] 437 | | ... self.instance[pred], neg_len, unc_len [INFO] [stdout] 438 | | ... } [INFO] [stdout] | |_______________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg` [INFO] [stdout] = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/common/macros.rs:359:20 [INFO] [stdout] | [INFO] [stdout] 359 | $slf.msg($e) ? ; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/learning/ice.rs:455:25 [INFO] [stdout] | [INFO] [stdout] 455 | msg! { debug self => "legal_pred (2)" } [INFO] [stdout] | --------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg` [INFO] [stdout] = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/common/macros.rs:362:38 [INFO] [stdout] | [INFO] [stdout] 362 | $slf.msg( format!( $($tt)* ) ) ? ; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/learning/ice.rs:458:29 [INFO] [stdout] | [INFO] [stdout] 458 | / ... msg! { @verb [INFO] [stdout] 459 | | ... self => [INFO] [stdout] 460 | | ... "{} only has positive ({}) and unclassified ({}) data\n\ [INFO] [stdout] 461 | | ... legal check ok, assuming everything positive", [INFO] [stdout] 462 | | ... self.instance[pred], pos_len, unc_len [INFO] [stdout] 463 | | ... } [INFO] [stdout] | |_______________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg` [INFO] [stdout] = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/common/macros.rs:362:38 [INFO] [stdout] | [INFO] [stdout] 362 | $slf.msg( format!( $($tt)* ) ) ? ; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: src/learning/ice.rs:559:9 [INFO] [stdout] | [INFO] [stdout] 559 | / msg! { @verb [INFO] [stdout] 560 | | self => [INFO] [stdout] 561 | | "working on predicate {} (pos: {}, neg: {}, unc: {})", [INFO] [stdout] 562 | | self.instance[pred], data.pos().len(), data.neg().len(), data.unc().len() [INFO] [stdout] 563 | | } [INFO] [stdout] | |_________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `msg` [INFO] [stdout] = note: this warning originates in the macro `msg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:43:46 [INFO] [stdout] | [INFO] [stdout] 43 | return Ok(ZipDo::Dwn { nu_term: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 237 | go!(down t) [INFO] [stdout] | ----------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go` [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:43:46 [INFO] [stdout] | [INFO] [stdout] 43 | return Ok(ZipDo::Dwn { nu_term: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 239 | go!(down e) [INFO] [stdout] | ----------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go` [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 252 | go!(up val::none(t.typ())) [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go` [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 267 | Some(false) => go!( up val::bool(false) ), [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 280 | Some(true) => go!( up val::bool(true) ), [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 292 | go!( up last.clone() ) [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go` [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 301 | go!( up last.clone() ) [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go` [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 310 | go!( up val::bool(true) ) [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go` [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> src/term/eval.rs:40:46 [INFO] [stdout] | [INFO] [stdout] 40 | return Ok(ZipDo::Upp { yielded: $e }); [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 320 | go!( up val::bool(false) ) [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `go` [INFO] [stdout] = note: this warning originates in the macro `go` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused attribute `allow` [INFO] [stdout] --> src/val.rs:899:9 [INFO] [stdout] | [INFO] [stdout] 899 | #[allow(unused_parens)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_attributes)]` on by default [INFO] [stdout] note: the built-in attribute `allow` will be ignored, since it's applied to the macro invocation `arith_bin_rel` [INFO] [stdout] --> src/val.rs:900:9 [INFO] [stdout] | [INFO] [stdout] 900 | arith_bin_rel! { * self, gt, * other.get() } [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 17 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 17 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 26.98s [INFO] running `Command { std: "docker" "inspect" "06df15682bec767914085125de009c713e4b0a20f531acd850c5e45bf3a95fe2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "06df15682bec767914085125de009c713e4b0a20f531acd850c5e45bf3a95fe2", kill_on_drop: false }` [INFO] [stdout] 06df15682bec767914085125de009c713e4b0a20f531acd850c5e45bf3a95fe2