[INFO] cloning repository https://github.com/kino-mc/kino [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/kino-mc/kino" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Fkino", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Fkino'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 50a67d55e21a04383767b89c2c9b2f998dc1ce8b [INFO] testing kino-mc/kino against 1.60.0 for beta-1.61-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Fkino" "/workspace/builds/worker-5/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/kino-mc/kino on toolchain 1.60.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/kino-mc/kino [INFO] finished tweaking git repo https://github.com/kino-mc/kino [INFO] tweaked toml for git repo https://github.com/kino-mc/kino written to /workspace/builds/worker-5/source/Cargo.toml [INFO] crate git repo https://github.com/kino-mc/kino already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: An explicit [[bin]] section is specified in Cargo.toml which currently [INFO] [stderr] disables Cargo from automatically inferring other binary targets. [INFO] [stderr] This inference behavior will change in the Rust 2018 edition and the following [INFO] [stderr] files will be included as a binary target: [INFO] [stderr] [INFO] [stderr] * /workspace/builds/worker-5/source/src/main.rs [INFO] [stderr] [INFO] [stderr] This is likely to break cargo build or cargo test as these files may not be [INFO] [stderr] ready to be compiled as a binary target today. You can future-proof yourself [INFO] [stderr] and disable this warning by adding `autobins = false` to your [package] [INFO] [stderr] section. You may also move the files to a location where Cargo would not [INFO] [stderr] automatically infer them to be a target, such as in subfolders. [INFO] [stderr] [INFO] [stderr] For more information on this warning you can consult [INFO] [stderr] https://github.com/rust-lang/cargo/issues/5330 [INFO] [stderr] warning: path `/workspace/builds/worker-5/source/src/main.rs` was erroneously implicitly accepted for binary `kino`, [INFO] [stderr] please set bin.path in Cargo.toml [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded gcc v0.3.42 [INFO] [stderr] Downloaded hashconsing v0.5.0 [INFO] [stderr] Downloaded rsmt2 v0.4.4 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 726e7fb40baf869e7605848902ed2ac032b77edc4d47494c6e245c489151f280 [INFO] running `Command { std: "docker" "start" "-a" "726e7fb40baf869e7605848902ed2ac032b77edc4d47494c6e245c489151f280", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "726e7fb40baf869e7605848902ed2ac032b77edc4d47494c6e245c489151f280", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "726e7fb40baf869e7605848902ed2ac032b77edc4d47494c6e245c489151f280", kill_on_drop: false }` [INFO] [stdout] 726e7fb40baf869e7605848902ed2ac032b77edc4d47494c6e245c489151f280 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f788334e9f08226a7fadef8ee1015b2d1fd0641c96dbb9b5e4c978d49f73d40b [INFO] running `Command { std: "docker" "start" "-a" "f788334e9f08226a7fadef8ee1015b2d1fd0641c96dbb9b5e4c978d49f73d40b", kill_on_drop: false }` [INFO] [stderr] warning: An explicit [[bin]] section is specified in Cargo.toml which currently [INFO] [stderr] disables Cargo from automatically inferring other binary targets. [INFO] [stderr] This inference behavior will change in the Rust 2018 edition and the following [INFO] [stderr] files will be included as a binary target: [INFO] [stderr] [INFO] [stderr] * /opt/rustwide/workdir/src/main.rs [INFO] [stderr] [INFO] [stderr] This is likely to break cargo build or cargo test as these files may not be [INFO] [stderr] ready to be compiled as a binary target today. You can future-proof yourself [INFO] [stderr] and disable this warning by adding `autobins = false` to your [package] [INFO] [stderr] section. You may also move the files to a location where Cargo would not [INFO] [stderr] automatically infer them to be a target, such as in subfolders. [INFO] [stderr] [INFO] [stderr] For more information on this warning you can consult [INFO] [stderr] https://github.com/rust-lang/cargo/issues/5330 [INFO] [stderr] warning: path `/opt/rustwide/workdir/src/main.rs` was erroneously implicitly accepted for binary `kino`, [INFO] [stderr] please set bin.path in Cargo.toml [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling winapi-build v0.1.1 [INFO] [stderr] Compiling libc v0.2.20 [INFO] [stderr] Compiling gcc v0.3.42 [INFO] [stderr] Compiling num-traits v0.1.36 [INFO] [stderr] Compiling winapi v0.2.8 [INFO] [stderr] Compiling rustc-serialize v0.3.22 [INFO] [stderr] Compiling backtrace v0.3.0 [INFO] [stderr] Compiling cfg-if v0.1.0 [INFO] [stderr] Compiling rustc-demangle v0.1.3 [INFO] [stderr] Compiling nom v2.1.0 [INFO] [stderr] Compiling hashconsing v0.5.0 [INFO] [stderr] Compiling ansi_term v0.9.0 [INFO] [stderr] Compiling dbghelp-sys v0.2.0 [INFO] [stderr] Compiling kernel32-sys v0.2.2 [INFO] [stderr] Compiling rand v0.3.15 [INFO] [stderr] Compiling num-integer v0.1.32 [INFO] [stderr] Compiling backtrace-sys v0.1.5 [INFO] [stderr] Compiling num-iter v0.1.32 [INFO] [stderr] Compiling error-chain v0.8.1 [INFO] [stderr] Compiling rsmt2 v0.4.4 [INFO] [stderr] Compiling num-bigint v0.1.35 [INFO] [stderr] Compiling num-complex v0.1.35 [INFO] [stderr] Compiling num-rational v0.1.35 [INFO] [stderr] Compiling num v0.1.36 [INFO] [stderr] Compiling term v0.2.0 (/opt/rustwide/workdir/term) [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/base.rs:40:21 [INFO] [stdout] | [INFO] [stdout] 40 | fn to_vmt(& self, & mut io::Write) -> io::Result<()> ; [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut io::Write` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(anonymous_parameters)]` on by default [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/base.rs:46:22 [INFO] [stdout] | [INFO] [stdout] 46 | fn to_smt2(& self, & mut io::Write, & Offset2) -> io::Result<()> ; [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut io::Write` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/base.rs:46:39 [INFO] [stdout] | [INFO] [stdout] 46 | fn to_smt2(& self, & mut io::Write, & Offset2) -> io::Result<()> ; [INFO] [stdout] | ^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Offset2` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/base.rs:52:20 [INFO] [stdout] | [INFO] [stdout] 52 | fn write(& self, & mut io::Write) -> io::Result<()> ; [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut io::Write` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/base.rs:58:20 [INFO] [stdout] | [INFO] [stdout] 58 | fn write(& self, & mut io::Write, SymPrintStyle) -> io::Result<()> ; [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut io::Write` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/base.rs:58:37 [INFO] [stdout] | [INFO] [stdout] 58 | fn write(& self, & mut io::Write, SymPrintStyle) -> io::Result<()> ; [INFO] [stdout] | ^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: SymPrintStyle` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/base.rs:66:13 [INFO] [stdout] | [INFO] [stdout] 66 | & self, & mut io::Write, & Sym, & State, SymPrintStyle [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut io::Write` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/base.rs:66:30 [INFO] [stdout] | [INFO] [stdout] 66 | & self, & mut io::Write, & Sym, & State, SymPrintStyle [INFO] [stdout] | ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Sym` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/base.rs:66:37 [INFO] [stdout] | [INFO] [stdout] 66 | & self, & mut io::Write, & Sym, & State, SymPrintStyle [INFO] [stdout] | ^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & State` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/base.rs:66:46 [INFO] [stdout] | [INFO] [stdout] 66 | & self, & mut io::Write, & Sym, & State, SymPrintStyle [INFO] [stdout] | ^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: SymPrintStyle` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/base.rs:73:20 [INFO] [stdout] | [INFO] [stdout] 73 | fn write(& self, & mut io::Write, & Svw, SymPrintStyle) -> io::Result<()> ; [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut io::Write` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/base.rs:73:37 [INFO] [stdout] | [INFO] [stdout] 73 | fn write(& self, & mut io::Write, & Svw, SymPrintStyle) -> io::Result<()> ; [INFO] [stdout] | ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Svw` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/base.rs:73:44 [INFO] [stdout] | [INFO] [stdout] 73 | fn write(& self, & mut io::Write, & Svw, SymPrintStyle) -> io::Result<()> ; [INFO] [stdout] | ^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: SymPrintStyle` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/base.rs:228:5 [INFO] [stdout] | [INFO] [stdout] 228 | try!( write!(writer, "|@") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/base.rs:233:5 [INFO] [stdout] | [INFO] [stdout] 233 | try!( v.write(writer, style) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/base.rs:230:22 [INFO] [stdout] | [INFO] [stdout] 230 | State::Curr => try!( self.curr.write(writer) ), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/base.rs:231:22 [INFO] [stdout] | [INFO] [stdout] 231 | State::Next => try!( self.next.write(writer) ), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/base.rs:243:5 [INFO] [stdout] | [INFO] [stdout] 243 | try!( write!(writer, "|@") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/base.rs:248:5 [INFO] [stdout] | [INFO] [stdout] 248 | try!( v.write(writer, style) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/base.rs:245:22 [INFO] [stdout] | [INFO] [stdout] 245 | State::Curr => try!( self.write(writer) ), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/base.rs:262:5 [INFO] [stdout] | [INFO] [stdout] 262 | try!( v.write(writer, style) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/base.rs:259:22 [INFO] [stdout] | [INFO] [stdout] 259 | State::Curr => try!( write!(writer, "(_ curr |") ), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/base.rs:260:22 [INFO] [stdout] | [INFO] [stdout] 260 | State::Next => try!( write!(writer, "(_ next |") ), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/sym.rs:67:18 [INFO] [stdout] | [INFO] [stdout] 67 | fn sym(& self, T) -> Sym ; [INFO] [stdout] | ^ help: try naming the parameter or explicitly ignoring it: `_: T` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/cst.rs:153:23 [INFO] [stdout] | [INFO] [stdout] 153 | fn constant(& self, Const) -> Cst ; [INFO] [stdout] | ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Const` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/var.rs:85:9 [INFO] [stdout] | [INFO] [stdout] 85 | try!( write!(writer, "|") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/var.rs:86:9 [INFO] [stdout] | [INFO] [stdout] 86 | try!( sym.write(writer, style) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/var.rs:111:18 [INFO] [stdout] | [INFO] [stdout] 111 | fn var(& self, Symbol) -> Out ; [INFO] [stdout] | ^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Symbol` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/var.rs:114:19 [INFO] [stdout] | [INFO] [stdout] 114 | fn svar(& self, Symbol, State) -> Out ; [INFO] [stdout] | ^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Symbol` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/var.rs:114:27 [INFO] [stdout] | [INFO] [stdout] 114 | fn svar(& self, Symbol, State) -> Out ; [INFO] [stdout] | ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: State` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:737:9 [INFO] [stdout] | [INFO] [stdout] 737 | try!( write!(fmt, "({}", op) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:739:11 [INFO] [stdout] | [INFO] [stdout] 739 | try!( write!(fmt, " {}", t) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:744:9 [INFO] [stdout] | [INFO] [stdout] 744 | try!( write!(fmt, "(forall (") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:748:9 [INFO] [stdout] | [INFO] [stdout] 748 | try!( write!(fmt, " ) ") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:749:9 [INFO] [stdout] | [INFO] [stdout] 749 | try!( write!(fmt, "{}", term) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:746:11 [INFO] [stdout] | [INFO] [stdout] 746 | try!( write!(fmt, " ({} {})", sym, typ) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:753:9 [INFO] [stdout] | [INFO] [stdout] 753 | try!( write!(fmt, "(exists (") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:757:9 [INFO] [stdout] | [INFO] [stdout] 757 | try!( write!(fmt, " ) ") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:758:9 [INFO] [stdout] | [INFO] [stdout] 758 | try!( write!(fmt, "{}", term) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:755:11 [INFO] [stdout] | [INFO] [stdout] 755 | try!( write!(fmt, " ({} {})", sym, typ) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:762:9 [INFO] [stdout] | [INFO] [stdout] 762 | try!( write!(fmt, "(let (") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:766:9 [INFO] [stdout] | [INFO] [stdout] 766 | try!( write!(fmt, " ) ") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:767:9 [INFO] [stdout] | [INFO] [stdout] 767 | try!( write!(fmt, "{}", term) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:764:11 [INFO] [stdout] | [INFO] [stdout] 764 | try!( write!(fmt, " ({} {})", sym, term) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:771:9 [INFO] [stdout] | [INFO] [stdout] 771 | try!( write!(fmt, "({}", sym) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:773:11 [INFO] [stdout] | [INFO] [stdout] 773 | try!( write!(fmt, " {}", term) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:836:27 [INFO] [stdout] | [INFO] [stdout] 836 | if ! is_first { try!( write!(writer, " ") ) } ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:839:15 [INFO] [stdout] | [INFO] [stdout] 839 | try!( var.write(writer, sv_writer, style) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:842:15 [INFO] [stdout] | [INFO] [stdout] 842 | try!( cst.write(writer) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:845:15 [INFO] [stdout] | [INFO] [stdout] 845 | try!( write!(writer, "(|") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:846:15 [INFO] [stdout] | [INFO] [stdout] 846 | try!( sym.write(writer, style) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:847:15 [INFO] [stdout] | [INFO] [stdout] 847 | try!( write!(writer, "| ") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:853:15 [INFO] [stdout] | [INFO] [stdout] 853 | try!( write!(writer, "(") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:854:15 [INFO] [stdout] | [INFO] [stdout] 854 | try!( op.write(writer) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:855:15 [INFO] [stdout] | [INFO] [stdout] 855 | try!( write!(writer, " ") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:861:15 [INFO] [stdout] | [INFO] [stdout] 861 | try!( write!(writer, "(let ( ") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:869:15 [INFO] [stdout] | [INFO] [stdout] 869 | try!( write!(writer, ") ") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:863:17 [INFO] [stdout] | [INFO] [stdout] 863 | try!( write!(writer, "(|") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:864:17 [INFO] [stdout] | [INFO] [stdout] 864 | try!( sym.write(writer, style) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:865:17 [INFO] [stdout] | [INFO] [stdout] 865 | try!( write!(writer, "| ") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:866:17 [INFO] [stdout] | [INFO] [stdout] 866 | try!( term.write(writer, sv_writer, style) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:867:17 [INFO] [stdout] | [INFO] [stdout] 867 | try!( write!(writer, ") ") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/term.rs:877:13 [INFO] [stdout] | [INFO] [stdout] 877 | try!( write!(writer, ")") ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/term.rs:909:18 [INFO] [stdout] | [INFO] [stdout] 909 | fn var(& self, Var) -> Term ; [INFO] [stdout] | ^^^ help: try naming the parameter or explicitly ignoring it: `_: Var` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/term.rs:921:18 [INFO] [stdout] | [INFO] [stdout] 921 | fn cst(& self, Const) -> Out ; [INFO] [stdout] | ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Const` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/term.rs:940:17 [INFO] [stdout] | [INFO] [stdout] 940 | fn op(& self, Operator, Vec) -> Term ; [INFO] [stdout] | ^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Operator` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/term.rs:940:27 [INFO] [stdout] | [INFO] [stdout] 940 | fn op(& self, Operator, Vec) -> Term ; [INFO] [stdout] | ^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Vec` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/term.rs:953:18 [INFO] [stdout] | [INFO] [stdout] 953 | fn app(& self, Id, Vec) -> Term ; [INFO] [stdout] | ^^ help: try naming the parameter or explicitly ignoring it: `_: Id` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/term.rs:953:22 [INFO] [stdout] | [INFO] [stdout] 953 | fn app(& self, Id, Vec) -> Term ; [INFO] [stdout] | ^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Vec` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/term.rs:973:21 [INFO] [stdout] | [INFO] [stdout] 973 | fn forall(& self, Vec<(Sym, Type)>, Trm) -> Term ; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Vec<(Sym, Type)>` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/term.rs:973:39 [INFO] [stdout] | [INFO] [stdout] 973 | fn forall(& self, Vec<(Sym, Type)>, Trm) -> Term ; [INFO] [stdout] | ^^^ help: try naming the parameter or explicitly ignoring it: `_: Trm` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/term.rs:976:21 [INFO] [stdout] | [INFO] [stdout] 976 | fn exists(& self, Vec<(Sym, Type)>, Trm) -> Term ; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Vec<(Sym, Type)>` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/term.rs:976:39 [INFO] [stdout] | [INFO] [stdout] 976 | fn exists(& self, Vec<(Sym, Type)>, Trm) -> Term ; [INFO] [stdout] | ^^^ help: try naming the parameter or explicitly ignoring it: `_: Trm` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/term.rs:979:20 [INFO] [stdout] | [INFO] [stdout] 979 | fn let_b(& self, Vec<(Sym, Term)>, Trm) -> Term ; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Vec<(Sym, Term)>` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/term.rs:979:38 [INFO] [stdout] | [INFO] [stdout] 979 | fn let_b(& self, Vec<(Sym, Term)>, Trm) -> Term ; [INFO] [stdout] | ^^^ help: try naming the parameter or explicitly ignoring it: `_: Trm` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/tmp.rs:228:28 [INFO] [stdout] | [INFO] [stdout] 228 | Sym(ref s, _) => try!( write!(fmt, "{}{}", sep, s) ), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/tmp.rs:229:27 [INFO] [stdout] | [INFO] [stdout] 229 | Trm(ref trm) => try!( write!(fmt, "{}{}", sep, trm) ), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/tmp.rs:231:13 [INFO] [stdout] | [INFO] [stdout] 231 | try!( write!(fmt, "{}({}", sep, op) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/tmp.rs:240:9 [INFO] [stdout] | [INFO] [stdout] 240 | try!( write!(fmt, "{}", end) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/tmp.rs:252:5 [INFO] [stdout] | [INFO] [stdout] 252 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/tmp.rs:289:25 [INFO] [stdout] | [INFO] [stdout] 289 | fn under_actlit(self, String) -> TmpTerm ; [INFO] [stdout] | ^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: String` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Extend` is imported redundantly [INFO] [stdout] --> term/src/parser/vmt.rs:107:9 [INFO] [stdout] | [INFO] [stdout] 107 | use std::iter::Extend ; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Extend` is imported redundantly [INFO] [stdout] --> term/src/parser/vmt.rs:242:9 [INFO] [stdout] | [INFO] [stdout] 242 | use std::iter::Extend ; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `VarMaker` is imported redundantly [INFO] [stdout] --> term/src/parser/vmt.rs:363:7 [INFO] [stdout] | [INFO] [stdout] 22 | use var::{ VarMaker, Var } ; [INFO] [stdout] | -------- the item `VarMaker` is already imported here [INFO] [stdout] ... [INFO] [stdout] 363 | use var::VarMaker ; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/parser/smt2.rs:35:13 [INFO] [stdout] | [INFO] [stdout] 35 | >(& self, F) -> Res ; [INFO] [stdout] | ^ help: try naming the parameter or explicitly ignoring it: `_: F` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/parser/smt2.rs:54:18 [INFO] [stdout] | [INFO] [stdout] 54 | fn merge(self, Term) -> Out ; [INFO] [stdout] | ^^^^ help: try naming the parameter or explicitly ignoring it: `_: Term` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `try_parse` [INFO] [stdout] --> term/src/factory.rs:35:14 [INFO] [stdout] | [INFO] [stdout] 35 | macro_rules! try_parse { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/factory.rs:190:9 [INFO] [stdout] | [INFO] [stdout] 190 | try!( self.set_type_unsafe(sym.clone(), var.clone(), typ) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/factory.rs:191:25 [INFO] [stdout] | [INFO] [stdout] 191 | let var: Term = try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/factory.rs:643:19 [INFO] [stdout] | [INFO] [stdout] 643 | fn bump(& self, Trm) -> Res ; [INFO] [stdout] | ^^^ help: try naming the parameter or explicitly ignoring it: `_: Trm` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> term/src/factory.rs:648:21 [INFO] [stdout] | [INFO] [stdout] 648 | fn debump(& self, Trm) -> Res ; [INFO] [stdout] | ^^^ help: try naming the parameter or explicitly ignoring it: `_: Trm` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/gen.rs:190:9 [INFO] [stdout] | [INFO] [stdout] 190 | try!( write!(fmt, "Op({})( {}, {}, (", d, op, t) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> term/src/gen.rs:192:11 [INFO] [stdout] | [INFO] [stdout] 192 | try!( write!(fmt, " {},", t) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> term/src/base.rs:64:3 [INFO] [stdout] | [INFO] [stdout] 64 | #[inline(always)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_attributes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> term/src/sym.rs:66:3 [INFO] [stdout] | [INFO] [stdout] 66 | #[inline(always)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> term/src/cst.rs:152:3 [INFO] [stdout] | [INFO] [stdout] 152 | #[inline(always)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> term/src/var.rs:110:3 [INFO] [stdout] | [INFO] [stdout] 110 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> term/src/var.rs:113:3 [INFO] [stdout] | [INFO] [stdout] 113 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> term/src/term.rs:908:3 [INFO] [stdout] | [INFO] [stdout] 908 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> term/src/term.rs:920:3 [INFO] [stdout] | [INFO] [stdout] 920 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> term/src/term.rs:939:3 [INFO] [stdout] | [INFO] [stdout] 939 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> term/src/term.rs:952:3 [INFO] [stdout] | [INFO] [stdout] 952 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> term/src/term.rs:972:3 [INFO] [stdout] | [INFO] [stdout] 972 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> term/src/term.rs:975:3 [INFO] [stdout] | [INFO] [stdout] 975 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> term/src/term.rs:978:3 [INFO] [stdout] | [INFO] [stdout] 978 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> term/src/tmp.rs:288:3 [INFO] [stdout] | [INFO] [stdout] 288 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> term/src/tmp.rs:291:3 [INFO] [stdout] | [INFO] [stdout] 291 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/base.rs:40:27 [INFO] [stdout] | [INFO] [stdout] 40 | fn to_vmt(& self, & mut io::Write) -> io::Result<()> ; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 40 - fn to_vmt(& self, & mut io::Write) -> io::Result<()> ; [INFO] [stdout] 40 + fn to_vmt(& self, & mut dyn io::Write) -> io::Result<()> ; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/base.rs:46:28 [INFO] [stdout] | [INFO] [stdout] 46 | fn to_smt2(& self, & mut io::Write, & Offset2) -> io::Result<()> ; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 46 - fn to_smt2(& self, & mut io::Write, & Offset2) -> io::Result<()> ; [INFO] [stdout] 46 + fn to_smt2(& self, & mut dyn io::Write, & Offset2) -> io::Result<()> ; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/base.rs:52:26 [INFO] [stdout] | [INFO] [stdout] 52 | fn write(& self, & mut io::Write) -> io::Result<()> ; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 52 - fn write(& self, & mut io::Write) -> io::Result<()> ; [INFO] [stdout] 52 + fn write(& self, & mut dyn io::Write) -> io::Result<()> ; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/base.rs:58:26 [INFO] [stdout] | [INFO] [stdout] 58 | fn write(& self, & mut io::Write, SymPrintStyle) -> io::Result<()> ; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 58 - fn write(& self, & mut io::Write, SymPrintStyle) -> io::Result<()> ; [INFO] [stdout] 58 + fn write(& self, & mut dyn io::Write, SymPrintStyle) -> io::Result<()> ; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/base.rs:66:19 [INFO] [stdout] | [INFO] [stdout] 66 | & self, & mut io::Write, & Sym, & State, SymPrintStyle [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 66 - & self, & mut io::Write, & Sym, & State, SymPrintStyle [INFO] [stdout] 66 + & self, & mut dyn io::Write, & Sym, & State, SymPrintStyle [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/base.rs:73:26 [INFO] [stdout] | [INFO] [stdout] 73 | fn write(& self, & mut io::Write, & Svw, SymPrintStyle) -> io::Result<()> ; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 73 - fn write(& self, & mut io::Write, & Svw, SymPrintStyle) -> io::Result<()> ; [INFO] [stdout] 73 + fn write(& self, & mut dyn io::Write, & Svw, SymPrintStyle) -> io::Result<()> ; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/base.rs:131:34 [INFO] [stdout] | [INFO] [stdout] 131 | fn write(& self, writer: & mut io::Write) -> io::Result<()> { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 131 - fn write(& self, writer: & mut io::Write) -> io::Result<()> { [INFO] [stdout] 131 + fn write(& self, writer: & mut dyn io::Write) -> io::Result<()> { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/base.rs:225:27 [INFO] [stdout] | [INFO] [stdout] 225 | & self, writer: & mut io::Write, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 225 - & self, writer: & mut io::Write, [INFO] [stdout] 225 + & self, writer: & mut dyn io::Write, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/base.rs:240:27 [INFO] [stdout] | [INFO] [stdout] 240 | & self, writer: & mut io::Write, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 240 - & self, writer: & mut io::Write, [INFO] [stdout] 240 + & self, writer: & mut dyn io::Write, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/base.rs:255:27 [INFO] [stdout] | [INFO] [stdout] 255 | & self, writer: & mut io::Write, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 255 - & self, writer: & mut io::Write, [INFO] [stdout] 255 + & self, writer: & mut dyn io::Write, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/typ.rs:72:34 [INFO] [stdout] | [INFO] [stdout] 72 | fn write(& self, writer: & mut io::Write) -> io::Result<()> { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 72 - fn write(& self, writer: & mut io::Write) -> io::Result<()> { [INFO] [stdout] 72 + fn write(& self, writer: & mut dyn io::Write) -> io::Result<()> { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/sym.rs:41:27 [INFO] [stdout] | [INFO] [stdout] 41 | & self, writer: & mut io::Write, style: SymPrintStyle [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 41 - & self, writer: & mut io::Write, style: SymPrintStyle [INFO] [stdout] 41 + & self, writer: & mut dyn io::Write, style: SymPrintStyle [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/sym.rs:54:27 [INFO] [stdout] | [INFO] [stdout] 54 | & self, writer: & mut io::Write, style: SymPrintStyle [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 54 - & self, writer: & mut io::Write, style: SymPrintStyle [INFO] [stdout] 54 + & self, writer: & mut dyn io::Write, style: SymPrintStyle [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/cst.rs:137:34 [INFO] [stdout] | [INFO] [stdout] 137 | fn write(& self, writer: & mut io::Write) -> io::Result<()> { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 137 - fn write(& self, writer: & mut io::Write) -> io::Result<()> { [INFO] [stdout] 137 + fn write(& self, writer: & mut dyn io::Write) -> io::Result<()> { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/var.rs:81:27 [INFO] [stdout] | [INFO] [stdout] 81 | & self, writer: & mut io::Write, sv_writer: & Svw, style: SymPrintStyle [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 81 - & self, writer: & mut io::Write, sv_writer: & Svw, style: SymPrintStyle [INFO] [stdout] 81 + & self, writer: & mut dyn io::Write, sv_writer: & Svw, style: SymPrintStyle [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/var.rs:98:27 [INFO] [stdout] | [INFO] [stdout] 98 | & self, writer: & mut io::Write, sv_writer: & Svw, style: SymPrintStyle [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 98 - & self, writer: & mut io::Write, sv_writer: & Svw, style: SymPrintStyle [INFO] [stdout] 98 + & self, writer: & mut dyn io::Write, sv_writer: & Svw, style: SymPrintStyle [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/term.rs:663:27 [INFO] [stdout] | [INFO] [stdout] 663 | & self, writer: & mut io::Write [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 663 - & self, writer: & mut io::Write [INFO] [stdout] 663 + & self, writer: & mut dyn io::Write [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/term.rs:828:27 [INFO] [stdout] | [INFO] [stdout] 828 | & self, writer: & mut io::Write, sv_writer: & Svw, style: SymPrintStyle [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 828 - & self, writer: & mut io::Write, sv_writer: & Svw, style: SymPrintStyle [INFO] [stdout] 828 + & self, writer: & mut dyn io::Write, sv_writer: & Svw, style: SymPrintStyle [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/term.rs:891:27 [INFO] [stdout] | [INFO] [stdout] 891 | & self, writer: & mut io::Write [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 891 - & self, writer: & mut io::Write [INFO] [stdout] 891 + & self, writer: & mut dyn io::Write [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/term.rs:899:27 [INFO] [stdout] | [INFO] [stdout] 899 | & self, writer: & mut io::Write, offset: & Offset2 [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 899 - & self, writer: & mut io::Write, offset: & Offset2 [INFO] [stdout] 899 + & self, writer: & mut dyn io::Write, offset: & Offset2 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/tmp.rs:195:27 [INFO] [stdout] | [INFO] [stdout] 195 | & self, writer: & mut ::std::io::Write, offset: & Offset2, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 195 | & self, writer: & mut dyn (::std::io::Write), offset: & Offset2, [INFO] [stdout] | +++++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/tmp.rs:249:27 [INFO] [stdout] | [INFO] [stdout] 249 | & self, writer: & mut ::std::io::Write, offset: & Offset2 [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 249 | & self, writer: & mut dyn (::std::io::Write), offset: & Offset2 [INFO] [stdout] | +++++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/parser/mod.rs:170:41 [INFO] [stdout] | [INFO] [stdout] 170 | fn expr_to_smt2(& self, writer: & mut Write, info: & Info) -> Res<()> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 170 - fn expr_to_smt2(& self, writer: & mut Write, info: & Info) -> Res<()> { [INFO] [stdout] 170 + fn expr_to_smt2(& self, writer: & mut dyn Write, info: & Info) -> Res<()> { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/parser/mod.rs:175:41 [INFO] [stdout] | [INFO] [stdout] 175 | fn sort_to_smt2(& self, writer: & mut Write) -> Res<()> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 175 - fn sort_to_smt2(& self, writer: & mut Write) -> Res<()> { [INFO] [stdout] 175 + fn sort_to_smt2(& self, writer: & mut dyn Write) -> Res<()> { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/parser/mod.rs:180:40 [INFO] [stdout] | [INFO] [stdout] 180 | fn sym_to_smt2(& self, writer: & mut Write, info: & Info) -> Res<()> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 180 - fn sym_to_smt2(& self, writer: & mut Write, info: & Info) -> Res<()> { [INFO] [stdout] 180 + fn sym_to_smt2(& self, writer: & mut dyn Write, info: & Info) -> Res<()> { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/lib.rs:255:29 [INFO] [stdout] | [INFO] [stdout] 255 | & self, writer: & mut ::std::io::Write, _: & ::Offset [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 255 | & self, writer: & mut dyn (::std::io::Write), _: & ::Offset [INFO] [stdout] | +++++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/lib.rs:270:29 [INFO] [stdout] | [INFO] [stdout] 270 | & self, writer: & mut ::std::io::Write, _: & ::Offset2 [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 270 | & self, writer: & mut dyn (::std::io::Write), _: & ::Offset2 [INFO] [stdout] | +++++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/lib.rs:285:29 [INFO] [stdout] | [INFO] [stdout] 285 | & self, writer: & mut ::std::io::Write, info: & ::Offset [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 285 | & self, writer: & mut dyn (::std::io::Write), info: & ::Offset [INFO] [stdout] | +++++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/lib.rs:301:29 [INFO] [stdout] | [INFO] [stdout] 301 | & self, writer: & mut ::std::io::Write, info: & ::Offset2 [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 301 | & self, writer: & mut dyn (::std::io::Write), info: & ::Offset2 [INFO] [stdout] | +++++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/lib.rs:317:29 [INFO] [stdout] | [INFO] [stdout] 317 | & self, writer: & mut ::std::io::Write, offset: & ::Offset2 [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 317 | & self, writer: & mut dyn (::std::io::Write), offset: & ::Offset2 [INFO] [stdout] | +++++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/lib.rs:330:29 [INFO] [stdout] | [INFO] [stdout] 330 | & self, writer: & mut ::std::io::Write [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 330 | & self, writer: & mut dyn (::std::io::Write) [INFO] [stdout] | +++++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/cst.rs:160:16 [INFO] [stdout] | [INFO] [stdout] 160 | (self as & ConstMaker).constant(cst.clone()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 160 - (self as & ConstMaker).constant(cst.clone()) [INFO] [stdout] 160 + (self as & dyn ConstMaker).constant(cst.clone()) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> term/src/term.rs:959:16 [INFO] [stdout] | [INFO] [stdout] 959 | (self as & AppMaker).app(id.clone(), args) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 959 - (self as & AppMaker).app(id.clone(), args) [INFO] [stdout] 959 + (self as & dyn AppMaker).app(id.clone(), args) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling system v0.1.0 (/opt/rustwide/workdir/system) [INFO] [stdout] warning: unused `#[macro_use]` import [INFO] [stdout] --> system/src/lib.rs:47:1 [INFO] [stdout] | [INFO] [stdout] 47 | #[macro_use] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/base.rs:137:7 [INFO] [stdout] | [INFO] [stdout] 137 | try!( write!(fmt, "{}", t) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/base.rs:139:9 [INFO] [stdout] | [INFO] [stdout] 139 | try!( write!(fmt, " {}", t) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/base.rs:176:7 [INFO] [stdout] | [INFO] [stdout] 176 | try!( write!(fmt, "({} {})", s, t) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/base.rs:178:9 [INFO] [stdout] | [INFO] [stdout] 178 | try!( write!(fmt, " ({} {})", s, t) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `check_sym` [INFO] [stdout] --> system/src/parse/check.rs:139:14 [INFO] [stdout] | [INFO] [stdout] 139 | macro_rules! check_sym { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `type_check` [INFO] [stdout] --> system/src/parse/check.rs:166:14 [INFO] [stdout] | [INFO] [stdout] 166 | macro_rules! type_check { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/check.rs:376:3 [INFO] [stdout] | [INFO] [stdout] 376 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/check.rs:552:3 [INFO] [stdout] | [INFO] [stdout] 552 | try!{ [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/check.rs:638:3 [INFO] [stdout] | [INFO] [stdout] 638 | try!{ [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/check.rs:760:3 [INFO] [stdout] | [INFO] [stdout] 760 | try!{ maybe_ok } [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/check.rs:779:3 [INFO] [stdout] | [INFO] [stdout] 779 | try!{ maybe_ok } [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Extend` is imported redundantly [INFO] [stdout] --> system/src/parse/check.rs:711:20 [INFO] [stdout] | [INFO] [stdout] 711 | use std::iter::{ Extend, FromIterator } ; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/check.rs:730:5 [INFO] [stdout] | [INFO] [stdout] 730 | try!{ [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/check.rs:721:16 [INFO] [stdout] | [INFO] [stdout] 721 | let term = try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/check.rs:752:14 [INFO] [stdout] | [INFO] [stdout] 752 | let init = try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/check.rs:771:15 [INFO] [stdout] | [INFO] [stdout] 771 | let trans = try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/check.rs:806:18 [INFO] [stdout] | [INFO] [stdout] 806 | let term = try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/mod.rs:191:5 [INFO] [stdout] | [INFO] [stdout] 191 | try!( write!(fmt, "(cex\n ( ") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/mod.rs:195:5 [INFO] [stdout] | [INFO] [stdout] 195 | try!( write!(fmt, ")\n") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/mod.rs:193:7 [INFO] [stdout] | [INFO] [stdout] 193 | try!( write!(fmt, "{} ", prop) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/mod.rs:199:7 [INFO] [stdout] | [INFO] [stdout] 199 | try!( write!(fmt, " () ; no function symbols\n") ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/mod.rs:201:7 [INFO] [stdout] | [INFO] [stdout] 201 | try!( write!(fmt, " ( ; function symbols:") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/mod.rs:209:7 [INFO] [stdout] | [INFO] [stdout] 209 | try!( write!(fmt, "\n )\n") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/mod.rs:203:9 [INFO] [stdout] | [INFO] [stdout] 203 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/mod.rs:215:7 [INFO] [stdout] | [INFO] [stdout] 215 | try!( write!(fmt, " ; state {}:\n (and\n", off) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/mod.rs:219:7 [INFO] [stdout] | [INFO] [stdout] 219 | try!( write!(fmt, " )\n") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> system/src/parse/mod.rs:217:9 [INFO] [stdout] | [INFO] [stdout] 217 | try!( write!(fmt, " (= {} {})\n", sym, cst) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Extend` is imported redundantly [INFO] [stdout] --> system/src/parse/mod.rs:598:13 [INFO] [stdout] | [INFO] [stdout] 598 | use std::iter::Extend ; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> system/src/parse/mod.rs:674:31 [INFO] [stdout] | [INFO] [stdout] 674 | & mut self, reader: & mut io::Read [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 674 - & mut self, reader: & mut io::Read [INFO] [stdout] 674 + & mut self, reader: & mut dyn io::Read [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 140 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> system/src/parse/mod.rs:835:9 [INFO] [stdout] | [INFO] [stdout] 835 | println!("added callable {} but symbol is already used", sym) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_fmt_panics)]` on by default [INFO] [stdout] = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{:?}" format string to use the Debug implementation of `()` [INFO] [stdout] | [INFO] [stdout] 835 | "{:?}", println!("added callable {} but symbol is already used", sym) [INFO] [stdout] | +++++++ [INFO] [stdout] help: or use std::panic::panic_any instead [INFO] [stdout] | [INFO] [stdout] 834 | false => std::panic::panic_any( [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> system/src/parse/mod.rs:852:9 [INFO] [stdout] | [INFO] [stdout] 852 | println!("added prop {} but symbol is already used", sym) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{:?}" format string to use the Debug implementation of `()` [INFO] [stdout] | [INFO] [stdout] 852 | "{:?}", println!("added prop {} but symbol is already used", sym) [INFO] [stdout] | +++++++ [INFO] [stdout] help: or use std::panic::panic_any instead [INFO] [stdout] | [INFO] [stdout] 851 | false => std::panic::panic_any( [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> system/src/parse/mod.rs:869:9 [INFO] [stdout] | [INFO] [stdout] 869 | println!("added system {} but symbol is already used", sym) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{:?}" format string to use the Debug implementation of `()` [INFO] [stdout] | [INFO] [stdout] 869 | "{:?}", println!("added system {} but symbol is already used", sym) [INFO] [stdout] | +++++++ [INFO] [stdout] help: or use std::panic::panic_any instead [INFO] [stdout] | [INFO] [stdout] 868 | false => std::panic::panic_any( [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling common v0.1.0 (/opt/rustwide/workdir/common) [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> common/src/msg.rs:228:9 [INFO] [stdout] | [INFO] [stdout] 228 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> common/src/msg.rs:241:11 [INFO] [stdout] | [INFO] [stdout] 241 | try!( write!(fmt, " {}", inv) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> common/src/msg.rs:248:9 [INFO] [stdout] | [INFO] [stdout] 248 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> common/src/msg.rs:261:11 [INFO] [stdout] | [INFO] [stdout] 261 | try!( write!(fmt, " {}", inv) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> common/src/log.rs:84:19 [INFO] [stdout] | [INFO] [stdout] 84 | fn emph(& self, & str) -> String ; [INFO] [stdout] | ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(anonymous_parameters)]` on by default [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> common/src/log.rs:87:20 [INFO] [stdout] | [INFO] [stdout] 87 | fn happy(& self, & str) -> String ; [INFO] [stdout] | ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> common/src/log.rs:90:18 [INFO] [stdout] | [INFO] [stdout] 90 | fn sad(& self, & str) -> String ; [INFO] [stdout] | ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> common/src/log.rs:93:18 [INFO] [stdout] | [INFO] [stdout] 93 | fn bad(& self, & str) -> String ; [INFO] [stdout] | ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> common/src/conf.rs:26:9 [INFO] [stdout] | [INFO] [stdout] 26 | fn of(& str) -> Result ; [INFO] [stdout] | ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> common/src/conf.rs:161:22 [INFO] [stdout] | [INFO] [stdout] 161 | fn set(& mut self, & str, & str) -> Result<(), String> ; [INFO] [stdout] | ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> common/src/conf.rs:161:29 [INFO] [stdout] | [INFO] [stdout] 161 | fn set(& mut self, & str, & str) -> Result<(), String> ; [INFO] [stdout] | ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `extend` [INFO] [stdout] --> common/src/conf.rs:524:14 [INFO] [stdout] | [INFO] [stdout] 524 | macro_rules! extend { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> common/src/lib.rs:351:18 [INFO] [stdout] | [INFO] [stdout] 351 | fn run(& self, Arc, Sys, Vec, msg::Event) ; [INFO] [stdout] | ^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Arc` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> common/src/lib.rs:351:29 [INFO] [stdout] | [INFO] [stdout] 351 | fn run(& self, Arc, Sys, Vec, msg::Event) ; [INFO] [stdout] | ^^^ help: try naming the parameter or explicitly ignoring it: `_: Sys` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> common/src/lib.rs:351:34 [INFO] [stdout] | [INFO] [stdout] 351 | fn run(& self, Arc, Sys, Vec, msg::Event) ; [INFO] [stdout] | ^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Vec` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> common/src/lib.rs:351:45 [INFO] [stdout] | [INFO] [stdout] 351 | fn run(& self, Arc, Sys, Vec, msg::Event) ; [INFO] [stdout] | ^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: msg::Event` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> common/src/log.rs:28:3 [INFO] [stdout] | [INFO] [stdout] 28 | #[inline(always)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_attributes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> common/src/log.rs:31:3 [INFO] [stdout] | [INFO] [stdout] 31 | #[inline(always)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> common/src/log.rs:34:3 [INFO] [stdout] | [INFO] [stdout] 34 | #[inline(always)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> common/src/log.rs:37:3 [INFO] [stdout] | [INFO] [stdout] 37 | #[inline(always)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> common/src/log.rs:83:3 [INFO] [stdout] | [INFO] [stdout] 83 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> common/src/log.rs:86:3 [INFO] [stdout] | [INFO] [stdout] 86 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> common/src/log.rs:89:3 [INFO] [stdout] | [INFO] [stdout] 89 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> common/src/log.rs:92:3 [INFO] [stdout] | [INFO] [stdout] 92 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling unroll v0.1.0 (/opt/rustwide/workdir/unroll) [INFO] [stdout] warning: 33 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `#[macro_use]` import [INFO] [stdout] --> unroll/src/lib.rs:16:1 [INFO] [stdout] | [INFO] [stdout] 16 | #[macro_use] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:97:3 [INFO] [stdout] | [INFO] [stdout] 97 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:166:5 [INFO] [stdout] | [INFO] [stdout] 166 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:197:5 [INFO] [stdout] | [INFO] [stdout] 197 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:260:11 [INFO] [stdout] | [INFO] [stdout] 260 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:281:13 [INFO] [stdout] | [INFO] [stdout] 281 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:317:11 [INFO] [stdout] | [INFO] [stdout] 317 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:341:5 [INFO] [stdout] | [INFO] [stdout] 341 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:384:5 [INFO] [stdout] | [INFO] [stdout] 384 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:351:7 [INFO] [stdout] | [INFO] [stdout] 351 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:360:7 [INFO] [stdout] | [INFO] [stdout] 360 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:372:7 [INFO] [stdout] | [INFO] [stdout] 372 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:394:7 [INFO] [stdout] | [INFO] [stdout] 394 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:411:7 [INFO] [stdout] | [INFO] [stdout] 411 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:427:9 [INFO] [stdout] | [INFO] [stdout] 427 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:443:5 [INFO] [stdout] | [INFO] [stdout] 443 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:458:5 [INFO] [stdout] | [INFO] [stdout] 458 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:476:5 [INFO] [stdout] | [INFO] [stdout] 476 | try!( self.just_unroll(o) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:478:7 [INFO] [stdout] | [INFO] [stdout] 478 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:506:5 [INFO] [stdout] | [INFO] [stdout] 506 | try!( self.just_unroll(o) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:522:7 [INFO] [stdout] | [INFO] [stdout] 522 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:510:11 [INFO] [stdout] | [INFO] [stdout] 510 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:544:5 [INFO] [stdout] | [INFO] [stdout] 544 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:552:7 [INFO] [stdout] | [INFO] [stdout] 552 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Extend` is imported redundantly [INFO] [stdout] --> unroll/src/lib.rs:568:9 [INFO] [stdout] | [INFO] [stdout] 568 | use std::iter::Extend ; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:595:11 [INFO] [stdout] | [INFO] [stdout] 595 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:608:9 [INFO] [stdout] | [INFO] [stdout] 608 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:656:18 [INFO] [stdout] | [INFO] [stdout] 656 | let values = try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:804:7 [INFO] [stdout] | [INFO] [stdout] 804 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:858:7 [INFO] [stdout] | [INFO] [stdout] 858 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:911:7 [INFO] [stdout] | [INFO] [stdout] 911 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:941:7 [INFO] [stdout] | [INFO] [stdout] 941 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:960:7 [INFO] [stdout] | [INFO] [stdout] 960 | try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:1053:18 [INFO] [stdout] | [INFO] [stdout] 1053 | let values = try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> unroll/src/lib.rs:1145:15 [INFO] [stdout] | [INFO] [stdout] 1145 | let vec = try!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 24 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling bmc v0.1.0 (/opt/rustwide/workdir/bmc) [INFO] [stderr] Compiling kind v0.1.0 (/opt/rustwide/workdir/kind) [INFO] [stderr] Compiling tig v0.1.0 (/opt/rustwide/workdir/tig) [INFO] [stderr] Compiling pruner v0.1.0 (/opt/rustwide/workdir/pruner) [INFO] [stderr] Compiling twind v0.1.0 (/opt/rustwide/workdir/twind) [INFO] [stdout] warning: 35 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `#[macro_use]` import [INFO] [stdout] --> pruner/src/lib.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | #[macro_use] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> pruner/src/lib.rs:134:18 [INFO] [stdout] | [INFO] [stdout] 134 | let mut invs = try_chain!( [INFO] [stdout] | __________________^ [INFO] [stdout] 135 | | InvManager::mk( invars, unroller.solver() ) [INFO] [stdout] 136 | | => "while creating invariant manager" [INFO] [stdout] 137 | | ) ; [INFO] [stdout] | |___^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> pruner/src/lib.rs:148:5 [INFO] [stdout] | [INFO] [stdout] 148 | / try_chain!( [INFO] [stdout] 149 | | unroller.assert(& implication, & k) [INFO] [stdout] 150 | | => "while asserting property falsification" [INFO] [stdout] 151 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused label [INFO] [stdout] --> bmc/src/lib.rs:106:3 [INFO] [stdout] | [INFO] [stdout] 106 | 'unroll: loop { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_labels)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused label [INFO] [stdout] --> pruner/src/lib.rs:139:3 [INFO] [stdout] | [INFO] [stdout] 139 | 'split: while let Some(one_inv_false) = invs.one_false_next() { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_labels)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> pruner/src/lib.rs:142:18 [INFO] [stdout] | [INFO] [stdout] 142 | let actlit = try_chain!( [INFO] [stdout] | __________________^ [INFO] [stdout] 143 | | unroller.fresh_actlit() [INFO] [stdout] 144 | | => "while declaring activation literal at {}", k [INFO] [stdout] 145 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> pruner/src/lib.rs:158:18 [INFO] [stdout] | [INFO] [stdout] 158 | let is_sat = try_chain!( [INFO] [stdout] | __________________^ [INFO] [stdout] 159 | | unroller.check_sat_assuming( & actlits ) [INFO] [stdout] 160 | | => "during a `check_sat_assuming` query at {}", k [INFO] [stdout] 161 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> pruner/src/lib.rs:172:7 [INFO] [stdout] | [INFO] [stdout] 172 | / try_chain!( [INFO] [stdout] 173 | | unroller.deactivate(actlit) [INFO] [stdout] 174 | | => "while deactivating negative actlit" [INFO] [stdout] 175 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> pruner/src/lib.rs:176:7 [INFO] [stdout] | [INFO] [stdout] 176 | / try_chain!( [INFO] [stdout] 177 | | invs.forget(unroller.solver(), falsified.iter()) [INFO] [stdout] 178 | | => "while forgetting {} falsified properties", falsified.len() [INFO] [stdout] 179 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> pruner/src/lib.rs:165:23 [INFO] [stdout] | [INFO] [stdout] 165 | let falsified = try_chain!( [INFO] [stdout] | _______________________^ [INFO] [stdout] 166 | | invs.get_false_next(unroller.solver(), & k) [INFO] [stdout] 167 | | => "could not retrieve falsified properties" [INFO] [stdout] 168 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused label [INFO] [stdout] --> twind/src/lib.rs:346:5 [INFO] [stdout] | [INFO] [stdout] 346 | 'new_stuff: while ! new_stuff { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_labels)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/eval.rs:151:27 [INFO] [stdout] | [INFO] [stdout] 151 | let value = try_chain!( [INFO] [stdout] | ___________________________^ [INFO] [stdout] 152 | | self.factory.eval( [INFO] [stdout] 153 | | trm, & self.offset, & self.model, [INFO] [stdout] 154 | | self.sys.sym().get().clone() [INFO] [stdout] 155 | | ) => "could not evaluate term {}", trm [INFO] [stdout] 156 | | ) ; [INFO] [stdout] | |_______________^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `STerm` is imported redundantly [INFO] [stdout] --> tig/src/mine.rs:109:66 [INFO] [stdout] | [INFO] [stdout] 15 | Factory, Term, STerm, TermSet, STermSet, Type, Sym, Cst [INFO] [stdout] | ----- the item `STerm` is already imported here [INFO] [stdout] ... [INFO] [stdout] 109 | VarMaker, CstMaker, Int, Rat, Zero, One, UnTermOps, State, STerm [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/mine.rs:326:26 [INFO] [stdout] | [INFO] [stdout] 326 | add.clone(), try!( factory.bump(add) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/mine.rs:331:26 [INFO] [stdout] | [INFO] [stdout] 331 | sub.clone(), try!( factory.bump(sub) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/mine.rs:349:28 [INFO] [stdout] | [INFO] [stdout] 349 | add.clone(), try!( factory.bump(add) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/mine.rs:354:28 [INFO] [stdout] | [INFO] [stdout] 354 | sub.clone(), try!( factory.bump(sub) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/chain.rs:36:5 [INFO] [stdout] | [INFO] [stdout] 36 | try!( write!(fmt, "[") ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/chain.rs:42:11 [INFO] [stdout] | [INFO] [stdout] 42 | try!( write!(fmt, " {}<{}>", trm, val) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> tig/src/graph.rs:74:24 [INFO] [stdout] | [INFO] [stdout] 74 | fn split(& mut self, & mut Eval< Self::Val >) -> Res<()> ; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut Eval< Self::Val >` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(anonymous_parameters)]` on by default [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> tig/src/graph.rs:80:21 [INFO] [stdout] | [INFO] [stdout] 80 | fn log_to(& self, & str) -> Res<()> ; [INFO] [stdout] | ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & str` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:159:7 [INFO] [stdout] | [INFO] [stdout] 159 | / try_chain!( [INFO] [stdout] 160 | | self.mut_class_of(rep) [INFO] [stdout] 161 | | => "[HasClasses::drop_term] while dropping term `{}` from `{}`", [INFO] [stdout] 162 | | trm, rep [INFO] [stdout] 163 | | ).remove(trm) [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:173:17 [INFO] [stdout] | [INFO] [stdout] 173 | let class = try_chain!( [INFO] [stdout] | _________________^ [INFO] [stdout] 174 | | self.class_of(rep) [INFO] [stdout] 175 | | => "[HasClasses::base_cands_of_class] while retrieving class of `{}`", [INFO] [stdout] 176 | | rep [INFO] [stdout] 177 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:205:21 [INFO] [stdout] | [INFO] [stdout] 205 | let rep_class = try_chain!( [INFO] [stdout] | _____________________^ [INFO] [stdout] 206 | | self.class_of(rep) [INFO] [stdout] 207 | | => "[HasClasses::step_cands_of_class] while retrieving class of `{}`", [INFO] [stdout] 208 | | rep [INFO] [stdout] 209 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:359:19 [INFO] [stdout] | [INFO] [stdout] 359 | let parents = try_chain!( [INFO] [stdout] | ___________________^ [INFO] [stdout] 360 | | self.parents_of(rep) [INFO] [stdout] 361 | | => "[HasEdges::base_cands_of_edges] while retrieving parents of `{}`", [INFO] [stdout] 362 | | rep [INFO] [stdout] 363 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:401:23 [INFO] [stdout] | [INFO] [stdout] 401 | let rep_parents = try_chain!( [INFO] [stdout] | _______________________^ [INFO] [stdout] 402 | | self.parents_of(rep) [INFO] [stdout] 403 | | => "{} while retrieving parents of `{}`", err_pref, rep [INFO] [stdout] 404 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:405:21 [INFO] [stdout] | [INFO] [stdout] 405 | let rep_class = try_chain!( [INFO] [stdout] | _____________________^ [INFO] [stdout] 406 | | self.class_of(rep) [INFO] [stdout] 407 | | => "{} while retrieving class of `{}`", err_pref, rep [INFO] [stdout] 408 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:432:26 [INFO] [stdout] | [INFO] [stdout] 432 | let parent_class = try_chain!( [INFO] [stdout] | __________________________^ [INFO] [stdout] 433 | | self.class_of(parent) [INFO] [stdout] 434 | | => "{} while retrieving class of `{}`, parent of `{}`", [INFO] [stdout] 435 | | err_pref, parent, rep [INFO] [stdout] 436 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:471:32 [INFO] [stdout] | [INFO] [stdout] 471 | new_stuff = new_stuff || try_chain!( [INFO] [stdout] | ________________________________^ [INFO] [stdout] 472 | | self.step_cands_of_class(rep, candidates, known) [INFO] [stdout] 473 | | => "{} during extraction of class candidates for rep `{}`", [INFO] [stdout] 474 | | err_pref, rep [INFO] [stdout] 475 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:476:32 [INFO] [stdout] | [INFO] [stdout] 476 | new_stuff = new_stuff || try_chain!( [INFO] [stdout] | ________________________________^ [INFO] [stdout] 477 | | self.step_cands_of_edges(rep, candidates, known) [INFO] [stdout] 478 | | => "{} during extraction of edge candidates for rep `{}`", [INFO] [stdout] 479 | | err_pref, rep [INFO] [stdout] 480 | | ) [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:604:13 [INFO] [stdout] | [INFO] [stdout] 604 | / try_chain!( [INFO] [stdout] 605 | | base.add_invs(invs.clone()) [INFO] [stdout] 606 | | => "{} while adding invariants from supervisor to base at {}", [INFO] [stdout] 607 | | err_pref, base.unroll_len() [INFO] [stdout] 608 | | ) ; [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:609:13 [INFO] [stdout] | [INFO] [stdout] 609 | / try_chain!( [INFO] [stdout] 610 | | step.add_invs(invs) [INFO] [stdout] 611 | | => "{} while adding invariants from supervisor to step at {}", [INFO] [stdout] 612 | | err_pref, step.unroll_len() [INFO] [stdout] 613 | | ) ; [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:635:5 [INFO] [stdout] | [INFO] [stdout] 635 | / try_chain!( [INFO] [stdout] 636 | | self.recv(base, step, event) [INFO] [stdout] 637 | | => "{} before base stabilization", err_pref [INFO] [stdout] 638 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:640:5 [INFO] [stdout] | [INFO] [stdout] 640 | / try_chain!( [INFO] [stdout] 641 | | self.graph.check() [INFO] [stdout] 642 | | => "{} on input graph", err_pref [INFO] [stdout] 643 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:645:18 [INFO] [stdout] | [INFO] [stdout] 645 | let invars = try_chain!( [INFO] [stdout] | __________________^ [INFO] [stdout] 646 | | step.k_split(& mut self.candidates) [INFO] [stdout] 647 | | => "{} step query", err_pref [INFO] [stdout] 648 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:654:11 [INFO] [stdout] | [INFO] [stdout] 654 | / try_chain!( [INFO] [stdout] 655 | | self.graph.drop_term(& rep, & to_drop) [INFO] [stdout] 656 | | => "{} while dropping `{}` from the class of `{}`", [INFO] [stdout] 657 | | err_pref, to_drop, rep [INFO] [stdout] 658 | | ) ; [INFO] [stdout] | |___________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:662:21 [INFO] [stdout] | [INFO] [stdout] 662 | let invar = try_chain!( [INFO] [stdout] | _____________________^ [INFO] [stdout] 663 | | invar.to_term_safe(& self.factory) [INFO] [stdout] 664 | | => "{} while building one-state invariant", err_pref [INFO] [stdout] 665 | | ) ; [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:668:13 [INFO] [stdout] | [INFO] [stdout] 668 | / try_chain!( [INFO] [stdout] 669 | | self.factory.debump(& invar) [INFO] [stdout] 670 | | => "{} while building one-state invariant", err_pref [INFO] [stdout] 671 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:712:5 [INFO] [stdout] | [INFO] [stdout] 712 | / try_chain!( [INFO] [stdout] 713 | | self.graph.check() [INFO] [stdout] 714 | | => "{} on input graph", err_pref [INFO] [stdout] 715 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:717:5 [INFO] [stdout] | [INFO] [stdout] 717 | / try_chain!( [INFO] [stdout] 718 | | graph_log(& self, & tag, "0") [INFO] [stdout] 719 | | => "{} could not dump graph as dot", err_pref [INFO] [stdout] 720 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:762:5 [INFO] [stdout] | [INFO] [stdout] 762 | / try_chain!( [INFO] [stdout] 763 | | self.recv(base, step, event) [INFO] [stdout] 764 | | => "{} before base stabilization", err_pref [INFO] [stdout] 765 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:767:5 [INFO] [stdout] | [INFO] [stdout] 767 | / try_chain!( [INFO] [stdout] 768 | | graph_log(& self, & tag, "1") [INFO] [stdout] 769 | | => "{} could not dump graph as dot", err_pref [INFO] [stdout] 770 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:772:5 [INFO] [stdout] | [INFO] [stdout] 772 | / try_chain!( [INFO] [stdout] 773 | | self.graph.check() [INFO] [stdout] 774 | | => "{} after eq stabilization", err_pref [INFO] [stdout] 775 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:730:46 [INFO] [stdout] | [INFO] [stdout] 730 | let to_check = if let Some(to_check) = try_chain!( [INFO] [stdout] | ______________________________________________^ [INFO] [stdout] 731 | | self.graph.base_cands_of_class(& next, & mut self.known) [INFO] [stdout] 732 | | => "{} while getting eq base terms of `{}`", err_pref, next [INFO] [stdout] 733 | | ) { [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:739:22 [INFO] [stdout] | [INFO] [stdout] 739 | let eval_opt = try_chain!( [INFO] [stdout] | ______________________^ [INFO] [stdout] 740 | | base.k_falsify(to_check) [INFO] [stdout] 741 | | => "{} during `k_falsify` query for eqs of `{}`", err_pref, next [INFO] [stdout] 742 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:746:9 [INFO] [stdout] | [INFO] [stdout] 746 | try!( self.graph.split(& mut eval) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:785:7 [INFO] [stdout] | [INFO] [stdout] 785 | / try_chain!( [INFO] [stdout] 786 | | self.k_split(base, step, event) [INFO] [stdout] 787 | | => "{} during `k_split` eq query over rep `{}`", err_pref, next [INFO] [stdout] 788 | | ) [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:779:26 [INFO] [stdout] | [INFO] [stdout] 779 | if self.early_eqs && try_chain!( [INFO] [stdout] | __________________________^ [INFO] [stdout] 780 | | self.graph.step_cands_of_class( [INFO] [stdout] 781 | | & next, & mut self.candidates, & mut self.known [INFO] [stdout] 782 | | ) [INFO] [stdout] 783 | | => "{} while preparing `k_split` eq query over rep `{}`", err_pref, next [INFO] [stdout] 784 | | ) { [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused label [INFO] [stdout] --> tig/src/graph.rs:805:7 [INFO] [stdout] | [INFO] [stdout] 805 | 'parent_loop: for parent in parents.iter() { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_labels)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:876:5 [INFO] [stdout] | [INFO] [stdout] 876 | / try_chain!( [INFO] [stdout] 877 | | graph_log(& self, & tag, "0") [INFO] [stdout] 878 | | => "{} could not dump graph as dot", err_pref [INFO] [stdout] 879 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:881:5 [INFO] [stdout] | [INFO] [stdout] 881 | / try_chain!( [INFO] [stdout] 882 | | self.graph.check() [INFO] [stdout] 883 | | => "{} after cmp stabilization", err_pref [INFO] [stdout] 884 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:886:5 [INFO] [stdout] | [INFO] [stdout] 886 | / try_chain!( [INFO] [stdout] 887 | | self.recv(base, step, event) [INFO] [stdout] 888 | | => "{} before edge invariant extraction", err_pref [INFO] [stdout] 889 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:908:5 [INFO] [stdout] | [INFO] [stdout] 908 | / try_chain!( [INFO] [stdout] 909 | | self.graph.check() [INFO] [stdout] 910 | | => "{} after cmp invariant extraction", err_pref [INFO] [stdout] 911 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:840:25 [INFO] [stdout] | [INFO] [stdout] 840 | let current = match try_chain!( [INFO] [stdout] | _________________________^ [INFO] [stdout] 841 | | self.stabilize_next_class( [INFO] [stdout] 842 | | |slf| slf.get_next(), base, step, event, graph_log, & tag [INFO] [stdout] 843 | | ) [INFO] [stdout] 844 | | => "{} during class stabilization", err_pref [INFO] [stdout] 845 | | ) { [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:853:46 [INFO] [stdout] | [INFO] [stdout] 853 | let to_check = if let Some(to_check) = try_chain!( [INFO] [stdout] | ______________________________________________^ [INFO] [stdout] 854 | | self.graph.base_cands_of_edges(& current, & mut self.known) [INFO] [stdout] 855 | | => "{} while getting cmp base terms of `{}`", err_pref, current [INFO] [stdout] 856 | | ) { [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:862:22 [INFO] [stdout] | [INFO] [stdout] 862 | let eval_opt = try_chain!( [INFO] [stdout] | ______________________^ [INFO] [stdout] 863 | | base.k_falsify(to_check) [INFO] [stdout] 864 | | => "{} during `k_falsify` query for cmps of `{}`", err_pref, current [INFO] [stdout] 865 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:868:9 [INFO] [stdout] | [INFO] [stdout] 868 | try!( self.graph.split(& mut eval) ) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:899:7 [INFO] [stdout] | [INFO] [stdout] 899 | / try_chain!( [INFO] [stdout] 900 | | self.k_split(base, step, event) [INFO] [stdout] 901 | | => "{} during `k_split` cmp query over rep `{}`", err_pref, current [INFO] [stdout] 902 | | ) [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:892:27 [INFO] [stdout] | [INFO] [stdout] 892 | if self.early_cmps && try_chain!( [INFO] [stdout] | ___________________________^ [INFO] [stdout] 893 | | self.graph.step_cands_of_edges( [INFO] [stdout] 894 | | & current, & mut self.candidates, & mut self.known [INFO] [stdout] 895 | | ) [INFO] [stdout] 896 | | => "{} while preparing `k_split` cmp query over rep `{}`", [INFO] [stdout] 897 | | err_pref, current [INFO] [stdout] 898 | | ) { [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:922:32 [INFO] [stdout] | [INFO] [stdout] 922 | new_stuff = new_stuff || try_chain!( [INFO] [stdout] | ________________________________^ [INFO] [stdout] 923 | | self.graph.step_cands_of_class( [INFO] [stdout] 924 | | rep, & mut self.candidates, & self.known [INFO] [stdout] 925 | | ) [INFO] [stdout] 926 | | => "{} on the class of rep `{}`", err_pref, rep [INFO] [stdout] 927 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:928:32 [INFO] [stdout] | [INFO] [stdout] 928 | new_stuff = new_stuff || try_chain!( [INFO] [stdout] | ________________________________^ [INFO] [stdout] 929 | | self.graph.step_cands_of_edges( [INFO] [stdout] 930 | | rep, & mut self.candidates, & self.known [INFO] [stdout] 931 | | ) [INFO] [stdout] 932 | | => "{} on the edges of rep `{}`", err_pref, rep [INFO] [stdout] 933 | | ) [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:946:21 [INFO] [stdout] | [INFO] [stdout] 946 | let new_stuff = try_chain!( [INFO] [stdout] | _____________________^ [INFO] [stdout] 947 | | self.step_cands() [INFO] [stdout] 948 | | => "{} during step term extraction", err_pref [INFO] [stdout] 949 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1258:5 [INFO] [stdout] | [INFO] [stdout] 1258 | / try_chain!( [INFO] [stdout] 1259 | | self.dot_fmt(& mut file) [INFO] [stdout] 1260 | | => "{} could not dump graph as dot in file {}", err_pref, path [INFO] [stdout] 1261 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1254:20 [INFO] [stdout] | [INFO] [stdout] 1254 | let mut file = try_chain!( [INFO] [stdout] | ____________________^ [INFO] [stdout] 1255 | | File::create(path) [INFO] [stdout] 1256 | | => "{} could not create file {}", err_pref, path [INFO] [stdout] 1257 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1262:21 [INFO] [stdout] | [INFO] [stdout] 1262 | let mut child = try_chain!( [INFO] [stdout] | _____________________^ [INFO] [stdout] 1263 | | Command::new("dot").arg("-Tpdf").arg("-o").arg( [INFO] [stdout] 1264 | | & format!("{}.pdf", path) [INFO] [stdout] 1265 | | ).arg(path).spawn() [INFO] [stdout] 1266 | | => "could not spawn `dot` command" [INFO] [stdout] 1267 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1268:17 [INFO] [stdout] | [INFO] [stdout] 1268 | let ecode = try_chain!( [INFO] [stdout] | _________________^ [INFO] [stdout] 1269 | | child.wait() [INFO] [stdout] 1270 | | => "while running `dot` command" [INFO] [stdout] 1271 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1280:22 [INFO] [stdout] | [INFO] [stdout] 1280 | let line = try_chain!( [INFO] [stdout] | ______________________^ [INFO] [stdout] 1281 | | line [INFO] [stdout] 1282 | | => "{}\n[< {} could not retrieve line of stdout >]", err, err_pref [INFO] [stdout] 1283 | | ) ; [INFO] [stdout] | |___________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1301:5 [INFO] [stdout] | [INFO] [stdout] 1301 | / try_chain!( [INFO] [stdout] 1302 | | write!( [INFO] [stdout] 1303 | | w, [INFO] [stdout] 1304 | | "\ [INFO] [stdout] ... | [INFO] [stdout] 1317 | | ) => "{} while writing edge header", err_pref [INFO] [stdout] 1318 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1391:5 [INFO] [stdout] | [INFO] [stdout] 1391 | / try_chain!( [INFO] [stdout] 1392 | | write!( [INFO] [stdout] 1393 | | w, [INFO] [stdout] 1394 | | " \ [INFO] [stdout] ... | [INFO] [stdout] 1405 | | ) => "{} while writing class header", err_pref [INFO] [stdout] 1406 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1343:9 [INFO] [stdout] | [INFO] [stdout] 1343 | / try_chain!( [INFO] [stdout] 1344 | | write!( [INFO] [stdout] 1345 | | w, [INFO] [stdout] 1346 | | " \ [INFO] [stdout] ... | [INFO] [stdout] 1351 | | ) => "{} while writing forward edge", err_pref [INFO] [stdout] 1352 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1379:9 [INFO] [stdout] | [INFO] [stdout] 1379 | / try_chain!( [INFO] [stdout] 1380 | | write!( [INFO] [stdout] 1381 | | w, [INFO] [stdout] 1382 | | " \ [INFO] [stdout] ... | [INFO] [stdout] 1387 | | ) => "{} while writing backward edge", err_pref [INFO] [stdout] 1388 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1414:7 [INFO] [stdout] | [INFO] [stdout] 1414 | / try_chain!( [INFO] [stdout] 1415 | | write!( [INFO] [stdout] 1416 | | w, [INFO] [stdout] 1417 | | " \ [INFO] [stdout] ... | [INFO] [stdout] 1421 | | ) => "{} while writing class arrow", err_pref [INFO] [stdout] 1422 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1434:7 [INFO] [stdout] | [INFO] [stdout] 1434 | / try_chain!( [INFO] [stdout] 1435 | | write!(w, "\" ;\n") [INFO] [stdout] 1436 | | => "{} while writing class arrow", err_pref [INFO] [stdout] 1437 | | ) [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1429:9 [INFO] [stdout] | [INFO] [stdout] 1429 | / try_chain!( [INFO] [stdout] 1430 | | write!(w, "{}{}", pref, term) [INFO] [stdout] 1431 | | => "{} while writing class arrow", err_pref [INFO] [stdout] 1432 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1441:7 [INFO] [stdout] | [INFO] [stdout] 1441 | / try_chain!( [INFO] [stdout] 1442 | | write!(w, "}}\n") [INFO] [stdout] 1443 | | => "{} during final newline", err_pref [INFO] [stdout] 1444 | | ) [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1558:17 [INFO] [stdout] | [INFO] [stdout] 1558 | let class = try_chain!( [INFO] [stdout] | _________________^ [INFO] [stdout] 1559 | | self.class_mut_of(rep) [INFO] [stdout] 1560 | | => "[Graph::drop_member] retrieving class of {}", rep [INFO] [stdout] 1561 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1586:15 [INFO] [stdout] | [INFO] [stdout] 1586 | chain = try_chain!( [INFO] [stdout] | _______________^ [INFO] [stdout] 1587 | | chain.insert( [INFO] [stdout] 1588 | | try_chain!( [INFO] [stdout] 1589 | | eval.eval_term(rep) [INFO] [stdout] ... | [INFO] [stdout] 1593 | | ) => "{} while inserting representative in the chain", err_pref [INFO] [stdout] 1594 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1588:11 [INFO] [stdout] | [INFO] [stdout] 1588 | / try_chain!( [INFO] [stdout] 1589 | | eval.eval_term(rep) [INFO] [stdout] 1590 | | => "{} while evaluating representative", err_pref [INFO] [stdout] 1591 | | ), [INFO] [stdout] | |___________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1597:17 [INFO] [stdout] | [INFO] [stdout] 1597 | chain = try_chain!( [INFO] [stdout] | _________________^ [INFO] [stdout] 1598 | | chain.insert( [INFO] [stdout] 1599 | | try_chain!( [INFO] [stdout] 1600 | | eval.eval_term(term) [INFO] [stdout] ... | [INFO] [stdout] 1604 | | ) => "{} while inserting in chain for rep {}", err_pref, rep [INFO] [stdout] 1605 | | ) ; [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1599:13 [INFO] [stdout] | [INFO] [stdout] 1599 | / try_chain!( [INFO] [stdout] 1600 | | eval.eval_term(term) [INFO] [stdout] 1601 | | => "{} while evaluating term for rep {}", err_pref, rep [INFO] [stdout] 1602 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1632:29 [INFO] [stdout] | [INFO] [stdout] 1632 | let (kids, to_update) = try_chain!( [INFO] [stdout] | _____________________________^ [INFO] [stdout] 1633 | | self.isolate(rep) => "{} while link breaking", err_pref [INFO] [stdout] 1634 | | ) ; [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1664:13 [INFO] [stdout] | [INFO] [stdout] 1664 | / try_chain!( [INFO] [stdout] 1665 | | self.add_kids_ref(& parent, & kids) [INFO] [stdout] 1666 | | => "{} while linking on an empty chain", err_pref [INFO] [stdout] 1667 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1714:19 [INFO] [stdout] | [INFO] [stdout] 1714 | / try_chain!( [INFO] [stdout] 1715 | | self.parents_of(& parent) [INFO] [stdout] 1716 | | => "{} while retrieving parents of parent {} (1)", [INFO] [stdout] 1717 | | err_pref, parent [INFO] [stdout] 1718 | | ).clone() [INFO] [stdout] | |___________________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1728:15 [INFO] [stdout] | [INFO] [stdout] 1728 | / try_chain!( [INFO] [stdout] 1729 | | self.add_kids_ref(& parent, & kids) [INFO] [stdout] 1730 | | => "{} while adding kids to parent {} (2)", err_pref, parent [INFO] [stdout] 1731 | | ) ; [INFO] [stdout] | |_______________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1737:19 [INFO] [stdout] | [INFO] [stdout] 1737 | / try_chain!( [INFO] [stdout] 1738 | | self.parents_of(& parent) [INFO] [stdout] 1739 | | => "{} while retrieving parents of parent {} (2)", [INFO] [stdout] 1740 | | err_pref, parent [INFO] [stdout] 1741 | | ).clone() [INFO] [stdout] | |___________________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1833:7 [INFO] [stdout] | [INFO] [stdout] 1833 | / try_chain!( [INFO] [stdout] 1834 | | self.insert_chain(& rep, chain) [INFO] [stdout] 1835 | | => "{} while inserting chain after splitting rep {}", err_pref, rep [INFO] [stdout] 1836 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1809:20 [INFO] [stdout] | [INFO] [stdout] 1809 | let kids = try_chain!( [INFO] [stdout] | ____________________^ [INFO] [stdout] 1810 | | self.kids_of(& rep) [INFO] [stdout] 1811 | | => "{} while retrieving the kids of rep {}", err_pref, rep [INFO] [stdout] 1812 | | ) ; [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1814:14 [INFO] [stdout] | [INFO] [stdout] 1814 | if try_chain!( [INFO] [stdout] | ______________^ [INFO] [stdout] 1815 | | self.has_valued_parents_except(kid, & rep) [INFO] [stdout] 1816 | | => "{} while checking if kid {} has valued parents", err_pref, kid [INFO] [stdout] 1817 | | ) { [INFO] [stdout] | |___________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/graph.rs:1828:19 [INFO] [stdout] | [INFO] [stdout] 1828 | let chain = try_chain!( [INFO] [stdout] | ___________________^ [INFO] [stdout] 1829 | | self.split_class(& rep, eval) [INFO] [stdout] 1830 | | => "{} while splitting rep {}", err_pref, rep [INFO] [stdout] 1831 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> tig/src/lsd.rs:28:17 [INFO] [stdout] | [INFO] [stdout] 28 | & mut self, Vec [INFO] [stdout] | ^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Vec` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> tig/src/lsd.rs:40:17 [INFO] [stdout] | [INFO] [stdout] 40 | & mut self, & mut TmpTermMap [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & mut TmpTermMap` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> tig/src/lsd.rs:59:27 [INFO] [stdout] | [INFO] [stdout] 59 | fn add_invs(& mut self, STermSet) -> Res<()> ; [INFO] [stdout] | ^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: STermSet` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:100:7 [INFO] [stdout] | [INFO] [stdout] 100 | / try_chain!( [INFO] [stdout] 101 | | unroller.solver().reset() [INFO] [stdout] 102 | | => "[Base] while `reset`ing the solver {}", k [INFO] [stdout] 103 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:104:7 [INFO] [stdout] | [INFO] [stdout] 104 | / try_chain!( [INFO] [stdout] 105 | | unroller.defclare_funs(& []) [INFO] [stdout] 106 | | => "[Base] while declaring UFs, init and trans" [INFO] [stdout] 107 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:108:7 [INFO] [stdout] | [INFO] [stdout] 108 | / try_chain!( [INFO] [stdout] 109 | | unroller.assert_init(& k) [INFO] [stdout] 110 | | => "[Base] while asserting init" [INFO] [stdout] 111 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:117:9 [INFO] [stdout] | [INFO] [stdout] 117 | / try_chain!( [INFO] [stdout] 118 | | unroller.unroll(& k) [INFO] [stdout] 119 | | => "[Base] while unrolling system at {}", k.next() [INFO] [stdout] 120 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:138:22 [INFO] [stdout] | [INFO] [stdout] 138 | let unroller = try_chain!( [INFO] [stdout] | ______________________^ [INFO] [stdout] 139 | | Unroller::mk(sys, & [], solver) => "[Base] while creating unroller" [INFO] [stdout] 140 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:170:7 [INFO] [stdout] | [INFO] [stdout] 170 | / try_chain!( [INFO] [stdout] 171 | | self.unroller.assert(& implication, & self.k) [INFO] [stdout] 172 | | => "[Base::k_falsify] while asserting implication at {}", self.k [INFO] [stdout] 173 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:195:7 [INFO] [stdout] | [INFO] [stdout] 195 | / try_chain!( [INFO] [stdout] 196 | | self.unroller.deactivate(actlit) [INFO] [stdout] 197 | | => "[Base::k_falsify] could not deactivate negative actlit" [INFO] [stdout] 198 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:164:20 [INFO] [stdout] | [INFO] [stdout] 164 | let actlit = try_chain!( [INFO] [stdout] | ____________________^ [INFO] [stdout] 165 | | self.unroller.fresh_actlit() [INFO] [stdout] 166 | | => "while declaring activation literal at {}", self.k [INFO] [stdout] 167 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:176:20 [INFO] [stdout] | [INFO] [stdout] 176 | let is_sat = try_chain!( [INFO] [stdout] | ____________________^ [INFO] [stdout] 177 | | self.unroller.check_sat_assuming( & [ actlit.name() ] ) [INFO] [stdout] 178 | | => "[Base::k_falsify] during a `check_sat_assuming` query at {}", [INFO] [stdout] 179 | | self.k [INFO] [stdout] 180 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:184:21 [INFO] [stdout] | [INFO] [stdout] 184 | let model = try_chain!( [INFO] [stdout] | _____________________^ [INFO] [stdout] 185 | | self.unroller.solver().get_model() [INFO] [stdout] 186 | | => "[Base::k_falsify] could not retrieve model" [INFO] [stdout] 187 | | ) ; [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:229:7 [INFO] [stdout] | [INFO] [stdout] 229 | / try_chain!( [INFO] [stdout] 230 | | self.unroller.unroll(& self.k) [INFO] [stdout] 231 | | => "while unrolling system at {}", self.k.next() [INFO] [stdout] 232 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:278:7 [INFO] [stdout] | [INFO] [stdout] 278 | / try_chain!( [INFO] [stdout] 279 | | unroller.solver().reset() => "[Step] while `reset`ing the solver" [INFO] [stdout] 280 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:281:7 [INFO] [stdout] | [INFO] [stdout] 281 | / try_chain!( [INFO] [stdout] 282 | | unroller.defclare_funs(& []) [INFO] [stdout] 283 | | => "[Step] while declaring UFs, init and trans" [INFO] [stdout] 284 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:285:7 [INFO] [stdout] | [INFO] [stdout] 285 | / try_chain!( [INFO] [stdout] 286 | | unroller.declare_svars(check_offset.next()) [INFO] [stdout] 287 | | // Unrolling backwards ~~~~~~~~~~~~~^^^^ [INFO] [stdout] 288 | | => "[Step] while declaring state variables" [INFO] [stdout] 289 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:291:7 [INFO] [stdout] | [INFO] [stdout] 291 | / try_chain!( [INFO] [stdout] 292 | | unroller.unroll(& k) [INFO] [stdout] 293 | | => "[Step] while unrolling system at {}", k.next() [INFO] [stdout] 294 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:299:9 [INFO] [stdout] | [INFO] [stdout] 299 | / try_chain!( [INFO] [stdout] 300 | | unroller.unroll(& k) [INFO] [stdout] 301 | | => "[Step] while unrolling system at {}", k.next() [INFO] [stdout] 302 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:342:22 [INFO] [stdout] | [INFO] [stdout] 342 | let actlit = try_chain!( [INFO] [stdout] | ______________________^ [INFO] [stdout] 343 | | self.unroller.fresh_actlit() [INFO] [stdout] 344 | | => "[Step::k_split] while declaring activation literal at {}", self.k [INFO] [stdout] 345 | | ) ; [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:357:9 [INFO] [stdout] | [INFO] [stdout] 357 | / try_chain!( [INFO] [stdout] 358 | | self.unroller.assert(& positive, & unroll) [INFO] [stdout] 359 | | => "[Step::k_split] while asserting positive implications at {}", [INFO] [stdout] 360 | | unroll [INFO] [stdout] 361 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:388:9 [INFO] [stdout] | [INFO] [stdout] 388 | / try_chain!( [INFO] [stdout] 389 | | self.unroller.assert(& implication, & self.check) [INFO] [stdout] 390 | | => "[Step::k_split] while asserting implication for {} terms at {}", [INFO] [stdout] 391 | | to_check.len(), self.k [INFO] [stdout] 392 | | ) ; [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:433:9 [INFO] [stdout] | [INFO] [stdout] 433 | / try_chain!( [INFO] [stdout] 434 | | self.unroller.deactivate(actlit) [INFO] [stdout] 435 | | => "[Step::k_split] could not deactivate negative actlit" [INFO] [stdout] 436 | | ) ; [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:381:22 [INFO] [stdout] | [INFO] [stdout] 381 | let actlit = try_chain!( [INFO] [stdout] | ______________________^ [INFO] [stdout] 382 | | self.unroller.fresh_actlit() [INFO] [stdout] 383 | | => "[Step::k_split] while declaring activation literal at {}", self.k [INFO] [stdout] 384 | | ) ; [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:395:22 [INFO] [stdout] | [INFO] [stdout] 395 | let is_sat = try_chain!( [INFO] [stdout] | ______________________^ [INFO] [stdout] 396 | | self.unroller.check_sat_assuming( & actlits ) [INFO] [stdout] 397 | | => "[Step::k_split] during a `check_sat_assuming` query at {}", [INFO] [stdout] 398 | | self.k [INFO] [stdout] 399 | | ) ; [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:403:23 [INFO] [stdout] | [INFO] [stdout] 403 | let model = try_chain!( [INFO] [stdout] | _______________________^ [INFO] [stdout] 404 | | self.unroller.get_model(& self.check) [INFO] [stdout] 405 | | => "[Step::k_split] \ [INFO] [stdout] 406 | | while retrieving the values of the candidate terms" [INFO] [stdout] 407 | | ) ; [INFO] [stdout] | |___________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:416:32 [INFO] [stdout] | [INFO] [stdout] 416 | let term_is_true = try_chain!( [INFO] [stdout] | ________________________________^ [INFO] [stdout] 417 | | eval.eval(& term) [INFO] [stdout] 418 | | => "[Step::k_split] \ [INFO] [stdout] 419 | | could not evaluate term {:?} in current model", term [INFO] [stdout] 420 | | ) ; [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> tig/src/lsd.rs:482:7 [INFO] [stdout] | [INFO] [stdout] 482 | / try_chain!( [INFO] [stdout] 483 | | self.unroller.unroll(& self.k) [INFO] [stdout] 484 | | => "while unrolling system at {}", self.k.next() [INFO] [stdout] 485 | | ) ; [INFO] [stdout] | |_______^ [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_chain` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused label [INFO] [stdout] --> tig/src/lib.rs:158:3 [INFO] [stdout] | [INFO] [stdout] 158 | 'work: while max_k.map_or(true, |max| cnt <= max) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused label [INFO] [stdout] --> tig/src/lib.rs:166:5 [INFO] [stdout] | [INFO] [stdout] 166 | 'stabilize: while ! is_done { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> tig/src/lib.rs:238:13 [INFO] [stdout] | [INFO] [stdout] 238 | fn of_cst(& Cst) -> Res ; [INFO] [stdout] | ^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Cst` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> tig/src/lib.rs:240:13 [INFO] [stdout] | [INFO] [stdout] 240 | fn mk_cmp(& Term, & Term) -> Option ; [INFO] [stdout] | ^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Term` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> tig/src/lib.rs:240:21 [INFO] [stdout] | [INFO] [stdout] 240 | fn mk_cmp(& Term, & Term) -> Option ; [INFO] [stdout] | ^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Term` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> tig/src/lib.rs:242:12 [INFO] [stdout] | [INFO] [stdout] 242 | fn mk_eq(& Term, & Term) -> Option ; [INFO] [stdout] | ^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Term` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> tig/src/lib.rs:242:20 [INFO] [stdout] | [INFO] [stdout] 242 | fn mk_eq(& Term, & Term) -> Option ; [INFO] [stdout] | ^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Term` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> tig/src/lib.rs:260:17 [INFO] [stdout] | [INFO] [stdout] 260 | fn choose_rep(& Factory, TermSet) -> Res<(Term, TermSet)> ; [INFO] [stdout] | ^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: & Factory` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: anonymous parameters are deprecated and will be removed in the next edition [INFO] [stdout] --> tig/src/lib.rs:260:28 [INFO] [stdout] | [INFO] [stdout] 260 | fn choose_rep(& Factory, TermSet) -> Res<(Term, TermSet)> ; [INFO] [stdout] | ^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: TermSet` [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! [INFO] [stdout] = note: for more information, see issue #41686 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> tig/src/graph.rs:59:3 [INFO] [stdout] | [INFO] [stdout] 59 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_attributes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> tig/src/graph.rs:89:3 [INFO] [stdout] | [INFO] [stdout] 89 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> tig/src/graph.rs:143:3 [INFO] [stdout] | [INFO] [stdout] 143 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> tig/src/graph.rs:261:3 [INFO] [stdout] | [INFO] [stdout] 261 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> tig/src/graph.rs:264:3 [INFO] [stdout] | [INFO] [stdout] 264 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> tig/src/graph.rs:278:3 [INFO] [stdout] | [INFO] [stdout] 278 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `#[inline]` is ignored on function prototypes [INFO] [stdout] --> tig/src/graph.rs:281:3 [INFO] [stdout] | [INFO] [stdout] 281 | #[inline] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> tig/src/graph.rs:1639:9 [INFO] [stdout] | [INFO] [stdout] 1639 | |(mut graph, prev), _, rep, _| { [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling kino_api v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 9 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `#[macro_use]` import [INFO] [stdout] --> src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | #[macro_use] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/lib.rs:91:28 [INFO] [stdout] | [INFO] [stdout] 91 | let (mut context, res) = try!( load(path) ) ; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 123 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `#[macro_use]` import [INFO] [stdout] --> src/main.rs:22:1 [INFO] [stdout] | [INFO] [stdout] 22 | #[macro_use] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.kino.8c68b71f-cgu.9.rcgu.o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669.4vvabfjar6t3d9sh.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libpruner-e1050b0cb777dcbe.rlib" "/opt/rustwide/target/debug/deps/libtig-7a40364ca9b7b313.rlib" "/opt/rustwide/target/debug/deps/libtwind-58ecfbc8cfe5d8fd.rlib" "/opt/rustwide/target/debug/deps/libkind-6cc08186a1642abc.rlib" "/opt/rustwide/target/debug/deps/libbmc-dbb8ee08c0225a71.rlib" "/opt/rustwide/target/debug/deps/libunroll-0c794c711eea4faa.rlib" "/opt/rustwide/target/debug/deps/libcommon-1b3ac89671b92886.rlib" "/opt/rustwide/target/debug/deps/libansi_term-b8771788a2295e1a.rlib" "/opt/rustwide/target/debug/deps/libsystem-1a73b54ae2c38283.rlib" "/opt/rustwide/target/debug/deps/libterm-0cd6ebcb2f6a5a39.rlib" "/opt/rustwide/target/debug/deps/librsmt2-9eff8decf8a93230.rlib" "/opt/rustwide/target/debug/deps/libhashconsing-5e80da71b563d3a0.rlib" "/opt/rustwide/target/debug/deps/libnom-85017c8e9ce94752.rlib" "/opt/rustwide/target/debug/deps/liberror_chain-9cd150c061fa55a7.rlib" "/opt/rustwide/target/debug/deps/libbacktrace-af91efa31361d1e7.rlib" "/opt/rustwide/target/debug/deps/libbacktrace_sys-2390d4a96a6ff82a.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-9aefd690b84beb69.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-4afd0a3cf2822f19.rlib" "/opt/rustwide/target/debug/deps/libdbghelp-cf4e643bece8b445.rlib" "/opt/rustwide/target/debug/deps/libwinapi-fd9e38f540f9d647.rlib" "/opt/rustwide/target/debug/deps/libkernel32-524c275d7911f8cd.rlib" "/opt/rustwide/target/debug/deps/libnum-73bd3c9be63a2ca3.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-8b9937c90f865830.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-fc8a316e7eea4a44.rlib" "/opt/rustwide/target/debug/deps/librand-c152e41c033c1beb.rlib" "/opt/rustwide/target/debug/deps/liblibc-ffe6c000688bfc3c.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-62d3b43312edf09e.rlib" "/opt/rustwide/target/debug/deps/librustc_serialize-21ae11134293e078.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-ef98273c3c9d8d0c.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-bbeb7456935209a6.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-4550cda2045c9a84.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-8d61b92a0a02f53a.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-fc45202bb435016b.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-f2400674c7513725.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-605c3a7d1a5d300d.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-3d4fb4efa907e4e8.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-65207f030ab23308.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-76ca199cb0186109.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-1e3e01ed4f561dc1.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dd8dddcba7c13fee.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-00b13d31c3420656.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-e4c8460b81557bd5.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-600d46e5f0005455.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e4a08a2585b62d37.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fbc21ec567cb9dc7.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-10b3fa8e49bd978f.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-64625b73694ffce7.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-fb6b78ac543a58ee.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-1d1f2d1bec6f51b8.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-acf5ff6e9595d982.rlib" "-Wl,-Bdynamic" "-lutil" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-znoexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/kino-ebfd78fd17f09669" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro,-znow" "-nodefaultlibs" [INFO] [stdout] = note: /usr/bin/ld: /opt/rustwide/target/debug/deps/libbacktrace-af91efa31361d1e7.rlib(backtrace-af91efa31361d1e7.backtrace.1229fa10-cgu.11.rcgu.o): in function `backtrace::symbolize::libbacktrace::init_state::{{closure}}': [INFO] [stdout] /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.0/src/symbolize/libbacktrace.rs:156: undefined reference to `backtrace_create_state' [INFO] [stdout] /usr/bin/ld: /opt/rustwide/target/debug/deps/libbacktrace-af91efa31361d1e7.rlib(backtrace-af91efa31361d1e7.backtrace.1229fa10-cgu.11.rcgu.o): in function `backtrace::symbolize::libbacktrace::resolve': [INFO] [stdout] /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.0/src/symbolize/libbacktrace.rs:173: undefined reference to `backtrace_pcinfo' [INFO] [stdout] /usr/bin/ld: /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.0/src/symbolize/libbacktrace.rs:177: undefined reference to `backtrace_syminfo' [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] = help: some `extern` functions couldn't be found; some native libraries may need to be installed or have their path specified [INFO] [stdout] = note: use the `-l` flag to specify native libraries to link [INFO] [stdout] = note: use the `cargo:rustc-link-lib` directive to specify the native libraries to link with Cargo (see https://doc.rust-lang.org/cargo/reference/build-scripts.html#cargorustc-link-libkindname) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error; 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `kino_api` due to 2 previous errors; 1 warning emitted [INFO] running `Command { std: "docker" "inspect" "f788334e9f08226a7fadef8ee1015b2d1fd0641c96dbb9b5e4c978d49f73d40b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f788334e9f08226a7fadef8ee1015b2d1fd0641c96dbb9b5e4c978d49f73d40b", kill_on_drop: false }` [INFO] [stdout] f788334e9f08226a7fadef8ee1015b2d1fd0641c96dbb9b5e4c978d49f73d40b