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