[INFO] cloning repository https://github.com/wartman4404/rust-kanren
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/wartman4404/rust-kanren" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwartman4404%2Frust-kanren", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwartman4404%2Frust-kanren'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] ae0616d05e1ba15fb47aabf710d2fb67a8fcf6f3
[INFO] checking wartman4404/rust-kanren against beta for pr-78714
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwartman4404%2Frust-kanren" "/workspace/builds/worker-2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/wartman4404/rust-kanren on toolchain beta
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/wartman4404/rust-kanren
[INFO] finished tweaking git repo https://github.com/wartman4404/rust-kanren
[INFO] tweaked toml for git repo https://github.com/wartman4404/rust-kanren written to /workspace/builds/worker-2/source/Cargo.toml
[INFO] crate git repo https://github.com/wartman4404/rust-kanren already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] error: the lock file /workspace/builds/worker-2/source/Cargo.lock needs to be updated but --locked was passed to prevent this
[INFO] [stderr] If you want to try to generate the lock file without accessing the network, use the --offline flag.
[INFO] the lockfile is outdated, regenerating it
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+beta" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] fc52c6cceffe17a5c5695c53faa4613c89268d70248d28977046dbbc728d6f5e
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "fc52c6cceffe17a5c5695c53faa4613c89268d70248d28977046dbbc728d6f5e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fc52c6cceffe17a5c5695c53faa4613c89268d70248d28977046dbbc728d6f5e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fc52c6cceffe17a5c5695c53faa4613c89268d70248d28977046dbbc728d6f5e", kill_on_drop: false }`
[INFO] [stdout] fc52c6cceffe17a5c5695c53faa4613c89268d70248d28977046dbbc728d6f5e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+beta" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 45ad08fce0e9face31da73a6e1b28685b25a7ba5ff029411da4bfe49993a4806
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "45ad08fce0e9face31da73a6e1b28685b25a7ba5ff029411da4bfe49993a4806", kill_on_drop: false }`
[INFO] [stderr]     Checking ref_slice v1.2.0
[INFO] [stderr]     Checking kanren v0.0.1 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/lib.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(get_type_id)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/lib.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(raw)] // used by VarWrapper::get_wrapped_value().
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/lib.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(get_type_id)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/lib.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(raw)] // used by VarWrapper::get_wrapped_value().
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> src/core/disequal.rs:17:9
[INFO] [stdout]    |
[INFO] [stdout] 17 |         try!(write!(fmt, "Disequal ["));
[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]   --> src/core/disequal.rs:20:13
[INFO] [stdout]    |
[INFO] [stdout] 20 |             try!(write!(fmt, "{:?} != {:?}", a, b));
[INFO] [stdout]    |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> src/core/disequal.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 |             if pairs.peek().is_some() { try!(write!(fmt, ", ")); }
[INFO] [stdout]    |                                         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1039:21
[INFO] [stdout]      |
[INFO] [stdout] 1039 |                     try!(write!(fmt, "Exactly("));
[INFO] [stdout]      |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1040:21
[INFO] [stdout]      |
[INFO] [stdout] 1040 |                     try!(match x {
[INFO] [stdout]      |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1049:9
[INFO] [stdout]      |
[INFO] [stdout] 1049 |         try!(writeln!(fmt, "StateInner {{"));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1050:9
[INFO] [stdout]      |
[INFO] [stdout] 1050 |         try!(writeln!(fmt, "\tid: {:?}", self.eqs.id));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1051:9
[INFO] [stdout]      |
[INFO] [stdout] 1051 |         try!(writeln!(fmt, "\tok: {:?}", self.eqs.ok));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1052:9
[INFO] [stdout]      |
[INFO] [stdout] 1052 |         try!(writeln!(fmt, "\tproxy.id: {:?}", self.proxy_eqs.id));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1053:9
[INFO] [stdout]      |
[INFO] [stdout] 1053 |         try!(writeln!(fmt, "\tproxy.ok: {:?}", self.proxy_eqs.ok));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1054:9
[INFO] [stdout]      |
[INFO] [stdout] 1054 |         try!(writeln!(fmt, "\tproxy.eqs: {{"));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1056:13
[INFO] [stdout]      |
[INFO] [stdout] 1056 |             try!(write!(fmt, "\t\t{:?} => ", k));
[INFO] [stdout]      |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1057:13
[INFO] [stdout]      |
[INFO] [stdout] 1057 |             try!(debug_var_ref(self, v, fmt));
[INFO] [stdout]      |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1059:9
[INFO] [stdout]      |
[INFO] [stdout] 1059 |         try!(writeln!(fmt, "\t}}"));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1061:9
[INFO] [stdout]      |
[INFO] [stdout] 1061 |         try!(writeln!(fmt, "\teqs: {{"));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1076:17
[INFO] [stdout]      |
[INFO] [stdout] 1076 |                 try!(write!(fmt, "\t\t"));
[INFO] [stdout]      |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1080:29
[INFO] [stdout]      |
[INFO] [stdout] 1080 | ...                   try!(write!(fmt, "{:?} => ", x));
[INFO] [stdout]      |                       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1085:41
[INFO] [stdout]      |
[INFO] [stdout] 1085 | ...                   None => try!(writeln!(fmt, "Fresh")),
[INFO] [stdout]      |                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1086:44
[INFO] [stdout]      |
[INFO] [stdout] 1086 | ...                   Some(y) => try!(writeln!(fmt, "{:?}", y)),
[INFO] [stdout]      |                                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1095:21
[INFO] [stdout]      |
[INFO] [stdout] 1095 |                     try!(writeln!(fmt, "\t\t---"));
[INFO] [stdout]      |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1101:9
[INFO] [stdout]      |
[INFO] [stdout] 1101 |         try!(writeln!(fmt, "\tconstraints: {{"));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1103:13
[INFO] [stdout]      |
[INFO] [stdout] 1103 |             try!(writeln!(fmt, "\t\t{:?},", constraint));
[INFO] [stdout]      |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1105:9
[INFO] [stdout]      |
[INFO] [stdout] 1105 |         try!(writeln!(fmt, "\t}}"));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 64 | value_wrapper!(i8);
[INFO] [stdout]    | ------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 65 | value_wrapper!(i16);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 66 | value_wrapper!(i32);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 67 | value_wrapper!(i64);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 68 | value_wrapper!(isize);
[INFO] [stdout]    | ---------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 69 | value_wrapper!(u8);
[INFO] [stdout]    | ------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 70 | value_wrapper!(u16);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 71 | value_wrapper!(u32);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 72 | value_wrapper!(u64);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 73 | value_wrapper!(f32);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 74 | value_wrapper!(f64);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 75 | value_wrapper!(usize);
[INFO] [stdout]    | ---------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 76 | value_wrapper!(String);
[INFO] [stdout]    | ----------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 77 | value_wrapper!(&'static str);
[INFO] [stdout]    | ----------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (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]   --> src/core/disequal.rs:17:9
[INFO] [stdout]    |
[INFO] [stdout] 17 |         try!(write!(fmt, "Disequal ["));
[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]   --> src/core/disequal.rs:20:13
[INFO] [stdout]    |
[INFO] [stdout] 20 |             try!(write!(fmt, "{:?} != {:?}", a, b));
[INFO] [stdout]    |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> src/core/disequal.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 |             if pairs.peek().is_some() { try!(write!(fmt, ", ")); }
[INFO] [stdout]    |                                         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1039:21
[INFO] [stdout]      |
[INFO] [stdout] 1039 |                     try!(write!(fmt, "Exactly("));
[INFO] [stdout]      |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1040:21
[INFO] [stdout]      |
[INFO] [stdout] 1040 |                     try!(match x {
[INFO] [stdout]      |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 78 | value_wrapper!(bool);
[INFO] [stdout]    | --------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (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]     --> src/core/mod.rs:1049:9
[INFO] [stdout]      |
[INFO] [stdout] 1049 |         try!(writeln!(fmt, "StateInner {{"));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1050:9
[INFO] [stdout]      |
[INFO] [stdout] 1050 |         try!(writeln!(fmt, "\tid: {:?}", self.eqs.id));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1051:9
[INFO] [stdout]      |
[INFO] [stdout] 1051 |         try!(writeln!(fmt, "\tok: {:?}", self.eqs.ok));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1052:9
[INFO] [stdout]      |
[INFO] [stdout] 1052 |         try!(writeln!(fmt, "\tproxy.id: {:?}", self.proxy_eqs.id));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1053:9
[INFO] [stdout]      |
[INFO] [stdout] 1053 |         try!(writeln!(fmt, "\tproxy.ok: {:?}", self.proxy_eqs.ok));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 79 | value_wrapper!(char);
[INFO] [stdout]    | --------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (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]     --> src/core/mod.rs:1054:9
[INFO] [stdout]      |
[INFO] [stdout] 1054 |         try!(writeln!(fmt, "\tproxy.eqs: {{"));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1056:13
[INFO] [stdout]      |
[INFO] [stdout] 1056 |             try!(write!(fmt, "\t\t{:?} => ", k));
[INFO] [stdout]      |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1057:13
[INFO] [stdout]      |
[INFO] [stdout] 1057 |             try!(debug_var_ref(self, v, fmt));
[INFO] [stdout]      |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1059:9
[INFO] [stdout]      |
[INFO] [stdout] 1059 |         try!(writeln!(fmt, "\t}}"));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1061:9
[INFO] [stdout]      |
[INFO] [stdout] 1061 |         try!(writeln!(fmt, "\teqs: {{"));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 81 | value_wrapper!(Box<T>, T: PartialEq & Clone);
[INFO] [stdout]    | --------------------------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (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]     --> src/core/mod.rs:1076:17
[INFO] [stdout]      |
[INFO] [stdout] 1076 |                 try!(write!(fmt, "\t\t"));
[INFO] [stdout]      |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1080:29
[INFO] [stdout]      |
[INFO] [stdout] 1080 | ...                   try!(write!(fmt, "{:?} => ", x));
[INFO] [stdout]      |                       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1085:41
[INFO] [stdout]      |
[INFO] [stdout] 1085 | ...                   None => try!(writeln!(fmt, "Fresh")),
[INFO] [stdout]      |                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1086:44
[INFO] [stdout]      |
[INFO] [stdout] 1086 | ...                   Some(y) => try!(writeln!(fmt, "{:?}", y)),
[INFO] [stdout]      |                                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1095:21
[INFO] [stdout]      |
[INFO] [stdout] 1095 |                     try!(writeln!(fmt, "\t\t---"));
[INFO] [stdout]      |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1101:9
[INFO] [stdout]      |
[INFO] [stdout] 1101 |         try!(writeln!(fmt, "\tconstraints: {{"));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 82 | value_wrapper!(Rc<T>, T: PartialEq);
[INFO] [stdout]    | ------------------------------------ in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (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]     --> src/core/mod.rs:1103:13
[INFO] [stdout]      |
[INFO] [stdout] 1103 |             try!(writeln!(fmt, "\t\t{:?},", constraint));
[INFO] [stdout]      |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]     --> src/core/mod.rs:1105:9
[INFO] [stdout]      |
[INFO] [stdout] 1105 |         try!(writeln!(fmt, "\t}}"));
[INFO] [stdout]      |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 87 | value_wrapper!(());
[INFO] [stdout]    | ------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 89 | value_wrapper!(*const A, A);
[INFO] [stdout]    | ---------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 64 | value_wrapper!(i8);
[INFO] [stdout]    | ------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 90 | value_wrapper!(*mut A, A);
[INFO] [stdout]    | -------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 65 | value_wrapper!(i16);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 91 | value_wrapper!(&'static A, A: PartialEq);
[INFO] [stdout]    | ----------------------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:107:42
[INFO] [stdout]     |
[INFO] [stdout] 107 |             fn unify_with(&self, other: &VarWrapper, state: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]     |                                          ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 140 | tuple_wrapper!((A a, B b): [UntypedVar; 2]);
[INFO] [stdout]     | -------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 66 | value_wrapper!(i32);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:115:53
[INFO] [stdout]     |
[INFO] [stdout] 115 |             fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] ...
[INFO] [stdout] 140 | tuple_wrapper!((A a, B b): [UntypedVar; 2]);
[INFO] [stdout]     | -------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 67 | value_wrapper!(i64);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:107:42
[INFO] [stdout]     |
[INFO] [stdout] 107 |             fn unify_with(&self, other: &VarWrapper, state: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]     |                                          ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 141 | tuple_wrapper!((A a, B b, C c): [UntypedVar; 3]);
[INFO] [stdout]     | ------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 68 | value_wrapper!(isize);
[INFO] [stdout]    | ---------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 69 | value_wrapper!(u8);
[INFO] [stdout]    | ------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:115:53
[INFO] [stdout]     |
[INFO] [stdout] 115 |             fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] ...
[INFO] [stdout] 141 | tuple_wrapper!((A a, B b, C c): [UntypedVar; 3]);
[INFO] [stdout]     | ------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 70 | value_wrapper!(u16);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:107:42
[INFO] [stdout]     |
[INFO] [stdout] 107 |             fn unify_with(&self, other: &VarWrapper, state: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]     |                                          ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 142 | tuple_wrapper!((A a, B b, C c, D d): [UntypedVar; 4]);
[INFO] [stdout]     | ------------------------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:115:53
[INFO] [stdout]     |
[INFO] [stdout] 115 |             fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] ...
[INFO] [stdout] 142 | tuple_wrapper!((A a, B b, C c, D d): [UntypedVar; 4]);
[INFO] [stdout]     | ------------------------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 71 | value_wrapper!(u32);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:107:42
[INFO] [stdout]     |
[INFO] [stdout] 107 |             fn unify_with(&self, other: &VarWrapper, state: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]     |                                          ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 143 | tuple_wrapper!((A a, B b, C c, D d, E e): [UntypedVar; 5]);
[INFO] [stdout]     | ----------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 72 | value_wrapper!(u64);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:115:53
[INFO] [stdout]     |
[INFO] [stdout] 115 |             fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] ...
[INFO] [stdout] 143 | tuple_wrapper!((A a, B b, C c, D d, E e): [UntypedVar; 5]);
[INFO] [stdout]     | ----------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:146:34
[INFO] [stdout]     |
[INFO] [stdout] 146 |     fn unify_with(&self, other: &VarWrapper, state: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]     |                                  ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:154:45
[INFO] [stdout]     |
[INFO] [stdout] 154 |     fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> {
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:184:34
[INFO] [stdout]     |
[INFO] [stdout] 184 |     fn unify_with(&self, other: &VarWrapper, state: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]     |                                  ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 73 | value_wrapper!(f32);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> {
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/get_values.rs:26:27
[INFO] [stdout]    |
[INFO] [stdout] 26 | type VarWrapperIter = Box<Iterator<Item=Box<VarWrapper>>>;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=Box<VarWrapper>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/get_values.rs:26:45
[INFO] [stdout]    |
[INFO] [stdout] 26 | type VarWrapperIter = Box<Iterator<Item=Box<VarWrapper>>>;
[INFO] [stdout]    |                                             ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 74 | value_wrapper!(f64);
[INFO] [stdout]    | -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 75 | value_wrapper!(usize);
[INFO] [stdout]    | ---------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/get_values.rs:70:56
[INFO] [stdout]    |
[INFO] [stdout] 70 |     where I: IntoIterator<Item=(UntypedVar, Option<&'a VarWrapper>)> {
[INFO] [stdout]    |                                                        ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/mod.rs:58:55
[INFO] [stdout]    |
[INFO] [stdout] 58 |     fn get_untyped(&self, var: UntypedVar) -> Option<&VarWrapper> { self.0.get_untyped(var) }
[INFO] [stdout]    |                                                       ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:141:66
[INFO] [stdout]     |
[INFO] [stdout] 141 |     fn update(&self, _: &mut StateProxy) -> ConstraintResult<Box<BoxedConstraint>>;
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^^ help: use `dyn`: `dyn BoxedConstraint`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:145:34
[INFO] [stdout]     |
[INFO] [stdout] 145 |     fn clone_boxed(&self) -> Box<BoxedConstraint>;
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^ help: use `dyn`: `dyn BoxedConstraint`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:150:28
[INFO] [stdout]     |
[INFO] [stdout] 150 | type RcConstraint = Rc<Box<BoxedConstraint>>;
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^ help: use `dyn`: `dyn BoxedConstraint`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 76 | value_wrapper!(String);
[INFO] [stdout]    | ----------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:153:70
[INFO] [stdout]     |
[INFO] [stdout] 153 |     fn update(&self, proxy: &mut StateProxy) -> ConstraintResult<Box<BoxedConstraint>> {
[INFO] [stdout]     |                                                                      ^^^^^^^^^^^^^^^ help: use `dyn`: `dyn BoxedConstraint`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:165:34
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn clone_boxed(&self) -> Box<BoxedConstraint> {
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^ help: use `dyn`: `dyn BoxedConstraint`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:193:55
[INFO] [stdout]     |
[INFO] [stdout] 193 |     fn get_untyped(&self, var: UntypedVar) -> Option<&VarWrapper>;
[INFO] [stdout]     |                                                       ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:226:19
[INFO] [stdout]     |
[INFO] [stdout] 226 |     Overwrite(Box<VarWrapper>),
[INFO] [stdout]     |                   ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 77 | value_wrapper!(&'static str);
[INFO] [stdout]    | ----------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:245:34
[INFO] [stdout]     |
[INFO] [stdout] 245 |     fn unify_with(&self, other: &VarWrapper, state: &mut StateProxy) -> UnifyResult;
[INFO] [stdout]     |                                  ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:251:33
[INFO] [stdout]     |
[INFO] [stdout] 251 |     fn value_iter(&self) -> Box<Iterator<Item=Box<VarWrapper>>> { panic!() }
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=Box<VarWrapper>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:251:51
[INFO] [stdout]     |
[INFO] [stdout] 251 |     fn value_iter(&self) -> Box<Iterator<Item=Box<VarWrapper>>> { panic!() }
[INFO] [stdout]     |                                                   ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:255:45
[INFO] [stdout]     |
[INFO] [stdout] 255 |     fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> { None }
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 78 | value_wrapper!(bool);
[INFO] [stdout]    | --------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:289:70
[INFO] [stdout]     |
[INFO] [stdout] 289 |     fn follow_ref(&self, mut id: UntypedVar) -> (UntypedVar, Option<&VarWrapper>, TypeId) {
[INFO] [stdout]     |                                                                      ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:312:56
[INFO] [stdout]     |
[INFO] [stdout] 312 |     fn get_exact_val(&self, id: UntypedVar) -> Option<&VarWrapper> {
[INFO] [stdout]     |                                                        ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:321:78
[INFO] [stdout]     |
[INFO] [stdout] 321 |     unsafe fn var_opt<'var>(&'var self, var: &'var ExactVal) -> Option<&'var VarWrapper> {
[INFO] [stdout]     |                                                                              ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:337:17
[INFO] [stdout]     |
[INFO] [stdout] 337 |     Exactly(Box<VarWrapper>, TypeId),
[INFO] [stdout]     |                 ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 79 | value_wrapper!(char);
[INFO] [stdout]    | --------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:338:21
[INFO] [stdout]     |
[INFO] [stdout] 338 |     ExactPtr(*const VarWrapper, TypeId),
[INFO] [stdout]     |                     ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:368:49
[INFO] [stdout]     |
[INFO] [stdout] 368 |                     ExactPtr(&**other as *const VarWrapper, t)
[INFO] [stdout]     |                                                 ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:384:6
[INFO] [stdout]     |
[INFO] [stdout] 384 | impl VarWrapper {
[INFO] [stdout]     |      ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:440:40
[INFO] [stdout]     |
[INFO] [stdout] 440 |     fn opt_ptr(&self) -> Option<*const VarWrapper> {
[INFO] [stdout]     |                                        ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:443:55
[INFO] [stdout]     |
[INFO] [stdout] 443 |             &Exactly(ref x, _) => Some(&**x as *const VarWrapper),
[INFO] [stdout]     |                                                       ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:468:55
[INFO] [stdout]     |
[INFO] [stdout] 468 |     fn get_untyped(&self, var: UntypedVar) -> Option<&VarWrapper> {
[INFO] [stdout]     |                                                       ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:692:55
[INFO] [stdout]     |
[INFO] [stdout] 692 |     fn get_untyped(&self, var: UntypedVar) -> Option<&VarWrapper> {
[INFO] [stdout]     |                                                       ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:784:37
[INFO] [stdout]     |
[INFO] [stdout] 784 |                 let (a_ex, b_ex): (&VarWrapper, &VarWrapper) = unsafe { (&*a_ex, &*b_ex) };
[INFO] [stdout]     |                                     ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 81 | value_wrapper!(Box<T>, T: PartialEq & Clone);
[INFO] [stdout]    | --------------------------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:784:50
[INFO] [stdout]     |
[INFO] [stdout] 784 |                 let (a_ex, b_ex): (&VarWrapper, &VarWrapper) = unsafe { (&*a_ex, &*b_ex) };
[INFO] [stdout]     |                                                  ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:890:81
[INFO] [stdout]     |
[INFO] [stdout] 890 |     fn occurs_check_nofollow(&self, elem: TypedVar, list: UntypedVar, listvar: &VarWrapper) -> bool {
[INFO] [stdout]     |                                                                                 ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:899:38
[INFO] [stdout]     |
[INFO] [stdout] 899 | pub type VarCollectionIter<'a> = Box<Iterator<Item=UntypedVar> + 'a>;
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/list.rs:43:34
[INFO] [stdout]    |
[INFO] [stdout] 43 |     fn unify_with(&self, other: &VarWrapper, ctxt: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]    |                                  ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 82 | value_wrapper!(Rc<T>, T: PartialEq);
[INFO] [stdout]    | ------------------------------------ in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/list.rs:65:45
[INFO] [stdout]    |
[INFO] [stdout] 65 |     fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> {
[INFO] [stdout]    |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/iter.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 | pub type TailIter = Box<TailIterator>;
[INFO] [stdout]    |                         ^^^^^^^^^^^^ help: use `dyn`: `dyn TailIterator`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/iter.rs:49:22
[INFO] [stdout]    |
[INFO] [stdout] 49 |     iter: Option<Box<Iterator<Item=TailIterResult> + 'static>>,
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=TailIterResult> + 'static`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/iter.rs:78:12
[INFO] [stdout]    |
[INFO] [stdout] 78 |     f: Box<Fn(State) -> S + 'static>,
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(State) -> S + 'static`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/iter.rs:101:15
[INFO] [stdout]     |
[INFO] [stdout] 101 |     iter: Box<Iterator<Item=TailIterResult> + 'static>,
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=TailIterResult> + 'static`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/iter.rs:126:6
[INFO] [stdout]     |
[INFO] [stdout] 126 | impl TailIterator {
[INFO] [stdout]     |      ^^^^^^^^^^^^ help: use `dyn`: `dyn TailIterator`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/iter.rs:165:34
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn and_inner<S>(self, f: Box<Fn(State) -> S + 'static>) -> TailIterResult
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(State) -> S + 'static`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 87 | value_wrapper!(());
[INFO] [stdout]    | ------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/iter.rs:252:33
[INFO] [stdout]     |
[INFO] [stdout] 252 | pub type WrappedStateIter = Box<Fn(State) -> TailIterResult + 'static>;
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(State) -> TailIterResult + 'static`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 89 | value_wrapper!(*const A, A);
[INFO] [stdout]    | ---------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/finitedomain.rs:113:34
[INFO] [stdout]     |
[INFO] [stdout] 113 |     fn unify_with(&self, other: &VarWrapper, _: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]     |                                  ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/finitedomain.rs:132:33
[INFO] [stdout]     |
[INFO] [stdout] 132 |     fn value_iter(&self) -> Box<Iterator<Item=Box<VarWrapper>>> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=Box<VarWrapper>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/finitedomain.rs:132:51
[INFO] [stdout]     |
[INFO] [stdout] 132 |     fn value_iter(&self) -> Box<Iterator<Item=Box<VarWrapper>>> {
[INFO] [stdout]     |                                                   ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/finitedomain.rs:136:34
[INFO] [stdout]     |
[INFO] [stdout] 136 |                 let fds: Vec<Box<VarWrapper>> = x.iter().map(|&val| {
[INFO] [stdout]     |                                  ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/finitedomain.rs:137:58
[INFO] [stdout]     |
[INFO] [stdout] 137 |                     Box::new(Fd::new_single(val)) as Box<VarWrapper>
[INFO] [stdout]     |                                                          ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 90 | value_wrapper!(*mut A, A);
[INFO] [stdout]    | -------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/vars.rs:16:38
[INFO] [stdout]    |
[INFO] [stdout] 16 |         fn unify_with(&self, other: &$crate::core::VarWrapper, _: &mut $crate::core::StateProxy) -> $crate::core::UnifyResult {
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn $crate::core::VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 91 | value_wrapper!(&'static A, A: PartialEq);
[INFO] [stdout]    | ----------------------------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:107:42
[INFO] [stdout]     |
[INFO] [stdout] 107 |             fn unify_with(&self, other: &VarWrapper, state: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]     |                                          ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 140 | tuple_wrapper!((A a, B b): [UntypedVar; 2]);
[INFO] [stdout]     | -------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:115:53
[INFO] [stdout]     |
[INFO] [stdout] 115 |             fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] ...
[INFO] [stdout] 140 | tuple_wrapper!((A a, B b): [UntypedVar; 2]);
[INFO] [stdout]     | -------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:107:42
[INFO] [stdout]     |
[INFO] [stdout] 107 |             fn unify_with(&self, other: &VarWrapper, state: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]     |                                          ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 141 | tuple_wrapper!((A a, B b, C c): [UntypedVar; 3]);
[INFO] [stdout]     | ------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:115:53
[INFO] [stdout]     |
[INFO] [stdout] 115 |             fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] ...
[INFO] [stdout] 141 | tuple_wrapper!((A a, B b, C c): [UntypedVar; 3]);
[INFO] [stdout]     | ------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:107:42
[INFO] [stdout]     |
[INFO] [stdout] 107 |             fn unify_with(&self, other: &VarWrapper, state: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]     |                                          ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 142 | tuple_wrapper!((A a, B b, C c, D d): [UntypedVar; 4]);
[INFO] [stdout]     | ------------------------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:115:53
[INFO] [stdout]     |
[INFO] [stdout] 115 |             fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] ...
[INFO] [stdout] 142 | tuple_wrapper!((A a, B b, C c, D d): [UntypedVar; 4]);
[INFO] [stdout]     | ------------------------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:107:42
[INFO] [stdout]     |
[INFO] [stdout] 107 |             fn unify_with(&self, other: &VarWrapper, state: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]     |                                          ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] ...
[INFO] [stdout] 143 | tuple_wrapper!((A a, B b, C c, D d, E e): [UntypedVar; 5]);
[INFO] [stdout]     | ----------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:115:53
[INFO] [stdout]     |
[INFO] [stdout] 115 |             fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] ...
[INFO] [stdout] 143 | tuple_wrapper!((A a, B b, C c, D d, E e): [UntypedVar; 5]);
[INFO] [stdout]     | ----------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:146:34
[INFO] [stdout]     |
[INFO] [stdout] 146 |     fn unify_with(&self, other: &VarWrapper, state: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]     |                                  ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:154:45
[INFO] [stdout]     |
[INFO] [stdout] 154 |     fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> {
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:184:34
[INFO] [stdout]     |
[INFO] [stdout] 184 |     fn unify_with(&self, other: &VarWrapper, state: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]     |                                  ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/vars.rs:192:45
[INFO] [stdout]     |
[INFO] [stdout] 192 |     fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> {
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/get_values.rs:26:27
[INFO] [stdout]    |
[INFO] [stdout] 26 | type VarWrapperIter = Box<Iterator<Item=Box<VarWrapper>>>;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=Box<VarWrapper>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/get_values.rs:26:45
[INFO] [stdout]    |
[INFO] [stdout] 26 | type VarWrapperIter = Box<Iterator<Item=Box<VarWrapper>>>;
[INFO] [stdout]    |                                             ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/get_values.rs:70:56
[INFO] [stdout]    |
[INFO] [stdout] 70 |     where I: IntoIterator<Item=(UntypedVar, Option<&'a VarWrapper>)> {
[INFO] [stdout]    |                                                        ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/core/mod.rs:58:55
[INFO] [stdout]    |
[INFO] [stdout] 58 |     fn get_untyped(&self, var: UntypedVar) -> Option<&VarWrapper> { self.0.get_untyped(var) }
[INFO] [stdout]    |                                                       ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:141:66
[INFO] [stdout]     |
[INFO] [stdout] 141 |     fn update(&self, _: &mut StateProxy) -> ConstraintResult<Box<BoxedConstraint>>;
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^^ help: use `dyn`: `dyn BoxedConstraint`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:145:34
[INFO] [stdout]     |
[INFO] [stdout] 145 |     fn clone_boxed(&self) -> Box<BoxedConstraint>;
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^ help: use `dyn`: `dyn BoxedConstraint`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:150:28
[INFO] [stdout]     |
[INFO] [stdout] 150 | type RcConstraint = Rc<Box<BoxedConstraint>>;
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^ help: use `dyn`: `dyn BoxedConstraint`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:153:70
[INFO] [stdout]     |
[INFO] [stdout] 153 |     fn update(&self, proxy: &mut StateProxy) -> ConstraintResult<Box<BoxedConstraint>> {
[INFO] [stdout]     |                                                                      ^^^^^^^^^^^^^^^ help: use `dyn`: `dyn BoxedConstraint`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:165:34
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn clone_boxed(&self) -> Box<BoxedConstraint> {
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^ help: use `dyn`: `dyn BoxedConstraint`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:193:55
[INFO] [stdout]     |
[INFO] [stdout] 193 |     fn get_untyped(&self, var: UntypedVar) -> Option<&VarWrapper>;
[INFO] [stdout]     |                                                       ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:226:19
[INFO] [stdout]     |
[INFO] [stdout] 226 |     Overwrite(Box<VarWrapper>),
[INFO] [stdout]     |                   ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:245:34
[INFO] [stdout]     |
[INFO] [stdout] 245 |     fn unify_with(&self, other: &VarWrapper, state: &mut StateProxy) -> UnifyResult;
[INFO] [stdout]     |                                  ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:251:33
[INFO] [stdout]     |
[INFO] [stdout] 251 |     fn value_iter(&self) -> Box<Iterator<Item=Box<VarWrapper>>> { panic!() }
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=Box<VarWrapper>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:251:51
[INFO] [stdout]     |
[INFO] [stdout] 251 |     fn value_iter(&self) -> Box<Iterator<Item=Box<VarWrapper>>> { panic!() }
[INFO] [stdout]     |                                                   ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:255:45
[INFO] [stdout]     |
[INFO] [stdout] 255 |     fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> { None }
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:289:70
[INFO] [stdout]     |
[INFO] [stdout] 289 |     fn follow_ref(&self, mut id: UntypedVar) -> (UntypedVar, Option<&VarWrapper>, TypeId) {
[INFO] [stdout]     |                                                                      ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:312:56
[INFO] [stdout]     |
[INFO] [stdout] 312 |     fn get_exact_val(&self, id: UntypedVar) -> Option<&VarWrapper> {
[INFO] [stdout]     |                                                        ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:321:78
[INFO] [stdout]     |
[INFO] [stdout] 321 |     unsafe fn var_opt<'var>(&'var self, var: &'var ExactVal) -> Option<&'var VarWrapper> {
[INFO] [stdout]     |                                                                              ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:337:17
[INFO] [stdout]     |
[INFO] [stdout] 337 |     Exactly(Box<VarWrapper>, TypeId),
[INFO] [stdout]     |                 ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:338:21
[INFO] [stdout]     |
[INFO] [stdout] 338 |     ExactPtr(*const VarWrapper, TypeId),
[INFO] [stdout]     |                     ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:368:49
[INFO] [stdout]     |
[INFO] [stdout] 368 |                     ExactPtr(&**other as *const VarWrapper, t)
[INFO] [stdout]     |                                                 ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:384:6
[INFO] [stdout]     |
[INFO] [stdout] 384 | impl VarWrapper {
[INFO] [stdout]     |      ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:440:40
[INFO] [stdout]     |
[INFO] [stdout] 440 |     fn opt_ptr(&self) -> Option<*const VarWrapper> {
[INFO] [stdout]     |                                        ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:443:55
[INFO] [stdout]     |
[INFO] [stdout] 443 |             &Exactly(ref x, _) => Some(&**x as *const VarWrapper),
[INFO] [stdout]     |                                                       ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:468:55
[INFO] [stdout]     |
[INFO] [stdout] 468 |     fn get_untyped(&self, var: UntypedVar) -> Option<&VarWrapper> {
[INFO] [stdout]     |                                                       ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:692:55
[INFO] [stdout]     |
[INFO] [stdout] 692 |     fn get_untyped(&self, var: UntypedVar) -> Option<&VarWrapper> {
[INFO] [stdout]     |                                                       ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:784:37
[INFO] [stdout]     |
[INFO] [stdout] 784 |                 let (a_ex, b_ex): (&VarWrapper, &VarWrapper) = unsafe { (&*a_ex, &*b_ex) };
[INFO] [stdout]     |                                     ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:784:50
[INFO] [stdout]     |
[INFO] [stdout] 784 |                 let (a_ex, b_ex): (&VarWrapper, &VarWrapper) = unsafe { (&*a_ex, &*b_ex) };
[INFO] [stdout]     |                                                  ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:890:81
[INFO] [stdout]     |
[INFO] [stdout] 890 |     fn occurs_check_nofollow(&self, elem: TypedVar, list: UntypedVar, listvar: &VarWrapper) -> bool {
[INFO] [stdout]     |                                                                                 ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/core/mod.rs:899:38
[INFO] [stdout]     |
[INFO] [stdout] 899 | pub type VarCollectionIter<'a> = Box<Iterator<Item=UntypedVar> + 'a>;
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/list.rs:43:34
[INFO] [stdout]    |
[INFO] [stdout] 43 |     fn unify_with(&self, other: &VarWrapper, ctxt: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]    |                                  ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/list.rs:65:45
[INFO] [stdout]    |
[INFO] [stdout] 65 |     fn var_iter<'a>(&'a self) -> Option<Box<Iterator<Item=UntypedVar> + 'a>> {
[INFO] [stdout]    |                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=UntypedVar> + 'a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/iter.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 | pub type TailIter = Box<TailIterator>;
[INFO] [stdout]    |                         ^^^^^^^^^^^^ help: use `dyn`: `dyn TailIterator`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/iter.rs:49:22
[INFO] [stdout]    |
[INFO] [stdout] 49 |     iter: Option<Box<Iterator<Item=TailIterResult> + 'static>>,
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=TailIterResult> + 'static`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/iter.rs:78:12
[INFO] [stdout]    |
[INFO] [stdout] 78 |     f: Box<Fn(State) -> S + 'static>,
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(State) -> S + 'static`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/iter.rs:101:15
[INFO] [stdout]     |
[INFO] [stdout] 101 |     iter: Box<Iterator<Item=TailIterResult> + 'static>,
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=TailIterResult> + 'static`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/iter.rs:126:6
[INFO] [stdout]     |
[INFO] [stdout] 126 | impl TailIterator {
[INFO] [stdout]     |      ^^^^^^^^^^^^ help: use `dyn`: `dyn TailIterator`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/iter.rs:165:34
[INFO] [stdout]     |
[INFO] [stdout] 165 |     fn and_inner<S>(self, f: Box<Fn(State) -> S + 'static>) -> TailIterResult
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(State) -> S + 'static`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/iter.rs:252:33
[INFO] [stdout]     |
[INFO] [stdout] 252 | pub type WrappedStateIter = Box<Fn(State) -> TailIterResult + 'static>;
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(State) -> TailIterResult + 'static`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/finitedomain.rs:113:34
[INFO] [stdout]     |
[INFO] [stdout] 113 |     fn unify_with(&self, other: &VarWrapper, _: &mut StateProxy) -> UnifyResult {
[INFO] [stdout]     |                                  ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/finitedomain.rs:132:33
[INFO] [stdout]     |
[INFO] [stdout] 132 |     fn value_iter(&self) -> Box<Iterator<Item=Box<VarWrapper>>> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator<Item=Box<VarWrapper>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/finitedomain.rs:132:51
[INFO] [stdout]     |
[INFO] [stdout] 132 |     fn value_iter(&self) -> Box<Iterator<Item=Box<VarWrapper>>> {
[INFO] [stdout]     |                                                   ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/finitedomain.rs:136:34
[INFO] [stdout]     |
[INFO] [stdout] 136 |                 let fds: Vec<Box<VarWrapper>> = x.iter().map(|&val| {
[INFO] [stdout]     |                                  ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/finitedomain.rs:137:58
[INFO] [stdout]     |
[INFO] [stdout] 137 |                     Box::new(Fd::new_single(val)) as Box<VarWrapper>
[INFO] [stdout]     |                                                          ^^^^^^^^^^ help: use `dyn`: `dyn VarWrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_type_id` found for reference `&(dyn VarWrapper + 'static)` in the current scope
[INFO] [stdout]    --> src/core/mod.rs:389:43
[INFO] [stdout]     |
[INFO] [stdout] 389 |         assert!(TypeId::of::<T>() == self.get_type_id());
[INFO] [stdout]     |                                           ^^^^^^^^^^^ method not found in `&(dyn VarWrapper + 'static)`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_type_id` found for reference `&(dyn VarWrapper + 'static)` in the current scope
[INFO] [stdout]    --> src/core/mod.rs:389:43
[INFO] [stdout]     |
[INFO] [stdout] 389 |         assert!(TypeId::of::<T>() == self.get_type_id());
[INFO] [stdout]     |                                           ^^^^^^^^^^^ method not found in `&(dyn VarWrapper + 'static)`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_type_id` found for reference `&(dyn VarWrapper + 'static)` in the current scope
[INFO] [stdout]    --> src/core/mod.rs:794:50
[INFO] [stdout]     |
[INFO] [stdout] 794 |                         debug_assert!((&*newval).get_type_id() == typeid);
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ method not found in `&(dyn VarWrapper + 'static)`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_type_id` found for reference `&(dyn VarWrapper + 'static)` in the current scope
[INFO] [stdout]    --> src/core/mod.rs:794:50
[INFO] [stdout]     |
[INFO] [stdout] 794 |                         debug_assert!((&*newval).get_type_id() == typeid);
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ method not found in `&(dyn VarWrapper + 'static)`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_type_id` found for struct `Box<dyn VarWrapper>` in the current scope
[INFO] [stdout]   --> src/core/get_values.rs:33:25
[INFO] [stdout]    |
[INFO] [stdout] 33 |             let tid = x.get_type_id();
[INFO] [stdout]    |                         ^^^^^^^^^^^ method not found in `Box<dyn VarWrapper>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_type_id` found for struct `Box<dyn VarWrapper>` in the current scope
[INFO] [stdout]   --> src/core/get_values.rs:33:25
[INFO] [stdout]    |
[INFO] [stdout] 33 |             let tid = x.get_type_id();
[INFO] [stdout]    |                         ^^^^^^^^^^^ method not found in `Box<dyn VarWrapper>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_type_id` found for trait object `(dyn TailIterator + 'static)` in the current scope
[INFO] [stdout]    --> src/iter.rs:129:41
[INFO] [stdout]     |
[INFO] [stdout] 129 |         if TypeId::of::<T>() == (*self).get_type_id() {
[INFO] [stdout]     |                                         ^^^^^^^^^^^ method not found in `(dyn TailIterator + 'static)`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_type_id` found for trait object `(dyn TailIterator + 'static)` in the current scope
[INFO] [stdout]    --> src/iter.rs:144:61
[INFO] [stdout]     |
[INFO] [stdout] 144 |                 if TypeId::of::<ChainManyIter>() == (*more).get_type_id() {
[INFO] [stdout]     |                                                             ^^^^^^^^^^^ method not found in `(dyn TailIterator + 'static)`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_type_id` found for trait object `(dyn TailIterator + 'static)` in the current scope
[INFO] [stdout]    --> src/iter.rs:129:41
[INFO] [stdout]     |
[INFO] [stdout] 129 |         if TypeId::of::<T>() == (*self).get_type_id() {
[INFO] [stdout]     |                                         ^^^^^^^^^^^ method not found in `(dyn TailIterator + 'static)`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_type_id` found for trait object `(dyn TailIterator + 'static)` in the current scope
[INFO] [stdout]    --> src/iter.rs:144:61
[INFO] [stdout]     |
[INFO] [stdout] 144 |                 if TypeId::of::<ChainManyIter>() == (*more).get_type_id() {
[INFO] [stdout]     |                                                             ^^^^^^^^^^^ method not found in `(dyn TailIterator + 'static)`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `VarStore`
[INFO] [stdout]  --> src/constraints.rs:2:80
[INFO] [stdout]   |
[INFO] [stdout] 2 | use core::{ToVar, ToConstraint, Constraint, Var, StateProxy, ConstraintResult, VarStore, Unifier, VarRetrieve, VarMap, UntypedVar, VarWra...
[INFO] [stdout]   |                                                                                ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 7 previous errors; 102 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0554, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0554`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `kanren`
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: unused import: `VarStore`
[INFO] [stdout]  --> src/constraints.rs:2:80
[INFO] [stdout]   |
[INFO] [stdout] 2 | use core::{ToVar, ToConstraint, Constraint, Var, StateProxy, ConstraintResult, VarStore, Unifier, VarRetrieve, VarMap, UntypedVar, VarWra...
[INFO] [stdout]   |                                                                                ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 7 previous errors; 102 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0554, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0554`.
[INFO] [stdout] 
[INFO] [stderr] error: build failed
[INFO] running `Command { std: "docker" "inspect" "45ad08fce0e9face31da73a6e1b28685b25a7ba5ff029411da4bfe49993a4806", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "45ad08fce0e9face31da73a6e1b28685b25a7ba5ff029411da4bfe49993a4806", kill_on_drop: false }`
[INFO] [stdout] 45ad08fce0e9face31da73a6e1b28685b25a7ba5ff029411da4bfe49993a4806