[INFO] updating cached repository wartman4404/rust-kanren
[INFO] running `"git" "fetch" "--all"`
[INFO] [stdout] Fetching origin
[INFO] [stderr] From git://github.com/wartman4404/rust-kanren
[INFO] [stderr]  * branch            HEAD       -> FETCH_HEAD
[INFO] running `"git" "clone" "work/cache/sources/gh/wartman4404/rust-kanren" "work/ex/beta-1.38-1/sources/1.37.0/gh/wartman4404/rust-kanren"`
[INFO] [stderr] Cloning into 'work/ex/beta-1.38-1/sources/1.37.0/gh/wartman4404/rust-kanren'...
[INFO] [stderr] done.
[INFO] running `"git" "clone" "work/cache/sources/gh/wartman4404/rust-kanren" "work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/wartman4404/rust-kanren"`
[INFO] [stderr] Cloning into 'work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/wartman4404/rust-kanren'...
[INFO] [stderr] done.
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] ae0616d05e1ba15fb47aabf710d2fb67a8fcf6f3
[INFO] sha for GitHub repo wartman4404/rust-kanren: ae0616d05e1ba15fb47aabf710d2fb67a8fcf6f3
[INFO] validating manifest of wartman4404/rust-kanren on toolchain 1.37.0
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of wartman4404/rust-kanren on toolchain beta-2019-08-13
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing wartman4404/rust-kanren
[INFO] finished frobbing wartman4404/rust-kanren
[INFO] frobbed toml for wartman4404/rust-kanren written to work/ex/beta-1.38-1/sources/1.37.0/gh/wartman4404/rust-kanren/Cargo.toml
[INFO] started frobbing wartman4404/rust-kanren
[INFO] finished frobbing wartman4404/rust-kanren
[INFO] frobbed toml for wartman4404/rust-kanren written to work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/wartman4404/rust-kanren/Cargo.toml
[INFO] crate wartman4404/rust-kanren already has a lockfile, it will not be regenerated
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] [stderr] error: the lock file /mnt/big/crater/work/ex/beta-1.38-1/sources/1.37.0/gh/wartman4404/rust-kanren/Cargo.lock needs to be updated but --locked was passed to prevent this
[INFO] the lockfile is outdated, regenerating it
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] testing wartman4404/rust-kanren against 1.37.0 for beta-1.38-1
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-6/1.37.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/1.37.0/gh/wartman4404/rust-kanren:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+1.37.0" "build" "--frozen"`
[INFO] [stdout] 62ff0e1b6c48077e7a5cbf6b5e2d40c0cf4eade534ea770ee84d33de79875c3b
[INFO] running `"docker" "start" "-a" "62ff0e1b6c48077e7a5cbf6b5e2d40c0cf4eade534ea770ee84d33de79875c3b"`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling ref_slice v1.1.1
[INFO] [stderr]    Compiling kanren v0.0.1 (/opt/crater/workdir)
[INFO] [stderr] error[E0554]: #![feature] may not be used on the stable release channel
[INFO] [stderr]  --> src/lib.rs:1:1
[INFO] [stderr]   |
[INFO] [stderr] 1 | #![feature(get_type_id)]
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0554]: #![feature] may not be used on the stable release channel
[INFO] [stderr]  --> src/lib.rs:2:1
[INFO] [stderr]   |
[INFO] [stderr] 2 | #![feature(raw)] // used by VarWrapper::get_wrapped_value().
[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] 
[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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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 type `&(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]     |                                           ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0599]: no method named `get_type_id` found for type `&(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]     |                                                  ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0599]: no method named `get_type_id` found for type `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]    |                         ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0599]: no method named `get_type_id` found for type `(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]     |                                         ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0599]: no method named `get_type_id` found for type `(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]     |                                                             ^^^^^^^^^^^
[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 7 previous errors
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0554, E0599.
[INFO] [stderr] For more information about an error, try `rustc --explain E0554`.
[INFO] [stderr] error: Could not compile `kanren`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "62ff0e1b6c48077e7a5cbf6b5e2d40c0cf4eade534ea770ee84d33de79875c3b"`
[INFO] running `"docker" "rm" "-f" "62ff0e1b6c48077e7a5cbf6b5e2d40c0cf4eade534ea770ee84d33de79875c3b"`
[INFO] [stdout] 62ff0e1b6c48077e7a5cbf6b5e2d40c0cf4eade534ea770ee84d33de79875c3b