[INFO] crate adapton 0.3.30 is already in cache
[INFO] extracting crate adapton 0.3.30 into work/ex/pr-63247/sources/master#452087b4bf18cece2d52d7cd8c9147195e5404bf/reg/adapton/0.3.30
[INFO] extracting crate adapton 0.3.30 into work/ex/pr-63247/sources/try#757dacae0a9f1b46b3ab58a1f1232332e8fc7dab/reg/adapton/0.3.30
[INFO] validating manifest of adapton-0.3.30 on toolchain master#452087b4bf18cece2d52d7cd8c9147195e5404bf
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+452087b4bf18cece2d52d7cd8c9147195e5404bf-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of adapton-0.3.30 on toolchain try#757dacae0a9f1b46b3ab58a1f1232332e8fc7dab
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+757dacae0a9f1b46b3ab58a1f1232332e8fc7dab-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing adapton-0.3.30
[INFO] finished frobbing adapton-0.3.30
[INFO] frobbed toml for adapton-0.3.30 written to work/ex/pr-63247/sources/master#452087b4bf18cece2d52d7cd8c9147195e5404bf/reg/adapton/0.3.30/Cargo.toml
[INFO] started frobbing adapton-0.3.30
[INFO] finished frobbing adapton-0.3.30
[INFO] frobbed toml for adapton-0.3.30 written to work/ex/pr-63247/sources/try#757dacae0a9f1b46b3ab58a1f1232332e8fc7dab/reg/adapton/0.3.30/Cargo.toml
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+452087b4bf18cece2d52d7cd8c9147195e5404bf-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+757dacae0a9f1b46b3ab58a1f1232332e8fc7dab-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+452087b4bf18cece2d52d7cd8c9147195e5404bf-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+757dacae0a9f1b46b3ab58a1f1232332e8fc7dab-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] checking adapton-0.3.30 against try#757dacae0a9f1b46b3ab58a1f1232332e8fc7dab for pr-63247
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-63247/worker-0/try#757dacae0a9f1b46b3ab58a1f1232332e8fc7dab:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-63247/sources/try#757dacae0a9f1b46b3ab58a1f1232332e8fc7dab/reg/adapton/0.3.30:/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=forbid" "-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" "+757dacae0a9f1b46b3ab58a1f1232332e8fc7dab-alt" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] 2ea48a71297bfc1a21983c9ee598706682c6f682538d4f4ea6ae4d89d6c7c7de
[INFO] running `"docker" "start" "-a" "2ea48a71297bfc1a21983c9ee598706682c6f682538d4f4ea6ae4d89d6c7c7de"`
[INFO] [stderr]     Checking adapton v0.3.30 (/opt/crater/workdir)
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]   --> src/engine.rs:36:1
[INFO] [stderr]    |
[INFO] [stderr] 36 | /// When this option is set to some, the engine will record a trace of its DCG effects.
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 37 | thread_local!(static TRACES: RefCell<Option<TraceSt>> = RefCell::new( None ));
[INFO] [stderr]    | ------------------------------------------------------------------------------ rustdoc does not generate documentation for macro expansions
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_doc_comments)]` on by default
[INFO] [stderr]    = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]     --> src/engine.rs:1560:13
[INFO] [stderr]      |
[INFO] [stderr] 1560 | /             /// Begin an allocation.  Because this allocation may require
[INFO] [stderr] 1561 | |             /// dirtying some allocation edges. (See value of bit
[INFO] [stderr] 1562 | |             /// `do_dirty`, which is true when we are overwriting what was
[INFO] [stderr] 1563 | |             /// once a computation with a value). This allocation may also
[INFO] [stderr] ...    |
[INFO] [stderr] 1567 | |             /// dirtied too).  Hence, this effect may contain other effects
[INFO] [stderr] 1568 | |             /// to the DCG, namely, those dirtying steps.
[INFO] [stderr]      | |_________________________________________________________^
[INFO] [stderr] 1569 |               // - - - - - - -
[INFO] [stderr] 1570 | /             dcg_effect_begin!(
[INFO] [stderr] 1571 | |                 reflect::trace::Effect::Alloc(
[INFO] [stderr] 1572 | |                     if is_fresh { reflect::trace::AllocCase::LocFresh }
[INFO] [stderr] 1573 | |                     else {
[INFO] [stderr] ...    |
[INFO] [stderr] 1591 | |                 }
[INFO] [stderr] 1592 | |             );
[INFO] [stderr]      | |______________- rustdoc does not generate documentation for macro expansions
[INFO] [stderr]      |
[INFO] [stderr]      = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]   --> src/engine.rs:36:1
[INFO] [stderr]    |
[INFO] [stderr] 36 | /// When this option is set to some, the engine will record a trace of its DCG effects.
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 37 | thread_local!(static TRACES: RefCell<Option<TraceSt>> = RefCell::new( None ));
[INFO] [stderr]    | ------------------------------------------------------------------------------ rustdoc does not generate documentation for macro expansions
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_doc_comments)]` on by default
[INFO] [stderr]    = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]     --> src/engine.rs:1560:13
[INFO] [stderr]      |
[INFO] [stderr] 1560 | /             /// Begin an allocation.  Because this allocation may require
[INFO] [stderr] 1561 | |             /// dirtying some allocation edges. (See value of bit
[INFO] [stderr] 1562 | |             /// `do_dirty`, which is true when we are overwriting what was
[INFO] [stderr] 1563 | |             /// once a computation with a value). This allocation may also
[INFO] [stderr] ...    |
[INFO] [stderr] 1567 | |             /// dirtied too).  Hence, this effect may contain other effects
[INFO] [stderr] 1568 | |             /// to the DCG, namely, those dirtying steps.
[INFO] [stderr]      | |_________________________________________________________^
[INFO] [stderr] 1569 |               // - - - - - - -
[INFO] [stderr] 1570 | /             dcg_effect_begin!(
[INFO] [stderr] 1571 | |                 reflect::trace::Effect::Alloc(
[INFO] [stderr] 1572 | |                     if is_fresh { reflect::trace::AllocCase::LocFresh }
[INFO] [stderr] 1573 | |                     else {
[INFO] [stderr] ...    |
[INFO] [stderr] 1591 | |                 }
[INFO] [stderr] 1592 | |             );
[INFO] [stderr]      | |______________- rustdoc does not generate documentation for macro expansions
[INFO] [stderr]      |
[INFO] [stderr]      = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:391:34
[INFO] [stderr]     |
[INFO] [stderr] 391 |     table : HashMap<Rc<Loc>, Box<GraphNode>>,
[INFO] [stderr]     |                                  ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[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/engine.rs:486:68
[INFO] [stderr]     |
[INFO] [stderr] 486 |     fn preds_obs<'r>   (self:&Self) -> Vec<(Rc<Loc>, Option<Rc<Box<DCGDep>>>)> ;
[INFO] [stderr]     |                                                                    ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:487:76
[INFO] [stderr]     |
[INFO] [stderr] 487 |     fn preds_insert<'r>(self:&'r mut Self, Effect, &Rc<Loc>, Option<Rc<Box<DCGDep>>>) -> () ;
[INFO] [stderr]     |                                                                            ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:498:38
[INFO] [stderr]     |
[INFO] [stderr] 498 |     succs : Vec<(Succ, Option<Rc<Box<DCGDep>>>)>,  // The currently-executing node's effects (viz., the nodes it demands)
[INFO] [stderr]     |                                      ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:515:21
[INFO] [stderr]     |
[INFO] [stderr] 515 |     dep    : Rc<Box<DCGDep>>, // Abstracted dependency information (e.g., for Observe Effect, the prior observed value)
[INFO] [stderr]     |                     ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:529:28
[INFO] [stderr]     |
[INFO] [stderr] 529 |     dep    : Option<Rc<Box<DCGDep>>>,
[INFO] [stderr]     |                            ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:550:72
[INFO] [stderr]     |
[INFO] [stderr] 550 | impl reflect::Reflect<Vec<reflect::Succ>> for Vec<(Succ, Option<Rc<Box<DCGDep>>>)> {
[INFO] [stderr]     |                                                                        ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:669:20
[INFO] [stderr]     |
[INFO] [stderr] 669 |     producer : Box<Producer<Res>>, // Producer can be App<Arg,Res>, where type Arg is hidden.
[INFO] [stderr]     |                    ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer<Res>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:709:32
[INFO] [stderr]     |
[INFO] [stderr] 709 |     fn copy(self:&Self) -> Box<Producer<Res>>;
[INFO] [stderr]     |                                ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer<Res>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:710:30
[INFO] [stderr]     |
[INFO] [stderr] 710 |     fn eq(self:&Self, other:&Producer<Res>) -> bool;
[INFO] [stderr]     |                              ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer<Res>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:722:22
[INFO] [stderr]     |
[INFO] [stderr] 722 |     fn_box:   Rc<Box<Fn(Arg, Spurious) -> Res>>,
[INFO] [stderr]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(Arg, Spurious) -> Res`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:752:32
[INFO] [stderr]     |
[INFO] [stderr] 752 |     fn copy(self:&Self) -> Box<Producer<Res>> {
[INFO] [stderr]     |                                ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer<Res>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:763:26
[INFO] [stderr]     |
[INFO] [stderr] 763 |     fn eq (&self, other:&Producer<Res>) -> bool {
[INFO] [stderr]     |                          ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer<Res>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:785:64
[INFO] [stderr]     |
[INFO] [stderr] 785 | fn lookup_abs<'r>(st:&'r mut DCG, loc:&Rc<Loc>) -> &'r mut Box<GraphNode> {
[INFO] [stderr]     |                                                                ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:800:64
[INFO] [stderr]     |
[INFO] [stderr] 800 | fn assert_graphnode_res_type<Res:'static> (loc:&Loc, node:&Box<GraphNode>, top_stack:Option<Rc<Loc>>) {
[INFO] [stderr]     |                                                                ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:842:61
[INFO] [stderr]     |
[INFO] [stderr] 842 |     fn preds_obs(self:&Self) -> Vec<(Rc<Loc>, Option<Rc<Box<DCGDep>>>)> {
[INFO] [stderr]     |                                                             ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:860:82
[INFO] [stderr]     |
[INFO] [stderr] 860 |     fn preds_insert (self:&mut Self, eff:Effect, loc:&Rc<Loc>, dep:Option<Rc<Box<DCGDep>>>) -> () {
[INFO] [stderr]     |                                                                                  ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:892:55
[INFO] [stderr]     |
[INFO] [stderr] 892 |     fn be_node<'r> (self:&'r mut Self) -> &'r mut Box<GraphNode> ;
[INFO] [stderr]     |                                                       ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:896:54
[INFO] [stderr]     |
[INFO] [stderr] 896 |     fn be_node<'r>(self:&'r mut Self) -> &'r mut Box<GraphNode> {
[INFO] [stderr]     |                                                      ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:902:27
[INFO] [stderr]     |
[INFO] [stderr] 902 | impl ShapeShifter for Box<GraphNode> {
[INFO] [stderr]     |                           ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:903:54
[INFO] [stderr]     |
[INFO] [stderr] 903 |     fn be_node<'r>(self:&'r mut Self) -> &'r mut Box<GraphNode> {
[INFO] [stderr]     |                                                      ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:947:28
[INFO] [stderr]     |
[INFO] [stderr] 947 |         let producer : Box<Producer<Res>> = {
[INFO] [stderr]     |                            ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer<Res>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1120:19
[INFO] [stderr]      |
[INFO] [stderr] 1120 |     map:(Abs, Box<AbsMapFam<Arg,Abs,T,DiffT,S>>),
[INFO] [stderr]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam<Arg,Abs,T,DiffT,S>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1269:34
[INFO] [stderr]      |
[INFO] [stderr] 1269 |         let succ_node : &mut Box<GraphNode> = lookup_abs(st, &succ.loc) ;
[INFO] [stderr]      |                                  ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1307:49
[INFO] [stderr]      |
[INFO] [stderr] 1307 |     let pred_locs : Vec<(Rc<Loc>, Option<Rc<Box<DCGDep>>>)> = lookup_abs( st, loc ).preds_obs() ;
[INFO] [stderr]      |                                                 ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1448:25
[INFO] [stderr]      |
[INFO] [stderr] 1448 |          fn_box:Rc<Box< Fn(Arg, Spurious) -> Res >>,
[INFO] [stderr]      |                         ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(Arg, Spurious) -> Res`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1475:24
[INFO] [stderr]      |
[INFO] [stderr] 1475 |          absmapfam:Box<AbsMapFam<Arg,Abs,T,DiffT,S>>,
[INFO] [stderr]      |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam<Arg,Abs,T,DiffT,S>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1631:24
[INFO] [stderr]      |
[INFO] [stderr] 1631 |          fn_box:Rc<Box<Fn(Arg, Spurious) -> Res>>,
[INFO] [stderr]      |                        ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(Arg, Spurious) -> Res`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1678:36
[INFO] [stderr]      |
[INFO] [stderr] 1678 |                 let producer : Box<Producer<Res>> =
[INFO] [stderr]      |                                    ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer<Res>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1716:44
[INFO] [stderr]      |
[INFO] [stderr] 1716 |                         let node: &mut Box<GraphNode> = node ;
[INFO] [stderr]      |                                            ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1858:46
[INFO] [stderr]      |
[INFO] [stderr] 1858 |                             let dep : Rc<Box<DCGDep>> = Rc::new(Box::new(ForceMapDep{
[INFO] [stderr]      |                                              ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1885:41
[INFO] [stderr]      |
[INFO] [stderr] 1885 |         (g:&RefCell<DCG>, absmapfam:Box<AbsMapFam<Arg,Abs,T,DiffT,S>>,
[INFO] [stderr]      |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam<Arg,Abs,T,DiffT,S>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1925:46
[INFO] [stderr]      |
[INFO] [stderr] 1925 |                             let dep : Rc<Box<DCGDep>> = Rc::new(Box::new(ForceAbsDep{
[INFO] [stderr]      |                                              ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2120:14
[INFO] [stderr]      |
[INFO] [stderr] 2120 |     Force(Rc<Force<T>>),
[INFO] [stderr]      |              ^^^^^^^^ help: use `dyn`: `dyn Force<T>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2160:32
[INFO] [stderr]      |
[INFO] [stderr] 2160 |     fn copy(self:&Self) -> Box<Force<T>>;
[INFO] [stderr]      |                                ^^^^^^^^ help: use `dyn`: `dyn Force<T>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2161:30
[INFO] [stderr]      |
[INFO] [stderr] 2161 |     fn eq(self:&Self, other:&Force<T>) -> bool;
[INFO] [stderr]      |                              ^^^^^^^^ help: use `dyn`: `dyn Force<T>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2172:20
[INFO] [stderr]      |
[INFO] [stderr] 2172 |     fn_box:Rc<Box< Fn(Arg, Spurious) -> Res >>,
[INFO] [stderr]      |                    ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(Arg, Spurious) -> Res`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2184:32
[INFO] [stderr]      |
[INFO] [stderr] 2184 |     fn copy(self:&Self) -> Box<Force<T>> {
[INFO] [stderr]      |                                ^^^^^^^^ help: use `dyn`: `dyn Force<T>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2204:26
[INFO] [stderr]      |
[INFO] [stderr] 2204 |     fn eq (&self, other:&Force<T>) -> bool {
[INFO] [stderr]      |                          ^^^^^^^^ help: use `dyn`: `dyn Force<T>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2430:21
[INFO] [stderr]      |
[INFO] [stderr] 2430 |      fn_box:Rc<Box< Fn(Arg, Spurious) -> Res >>,
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(Arg, Spurious) -> Res`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2459:33
[INFO] [stderr]      |
[INFO] [stderr] 2459 |     (thunk:Art<Res1>, map_fn:Rc<Fn(Res1) -> Res2>) -> Art<Res2>
[INFO] [stderr]      |                                 ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(Res1) -> Res2`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2555:20
[INFO] [stderr]      |
[INFO] [stderr] 2555 |     (absmapfam:Box<AbsMapFam<Arg,Abs,T,DiffT,S>>, arg:Arg, a:Art<T>) -> S
[INFO] [stderr]      |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam<Arg,Abs,T,DiffT,S>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/catalog/collections.rs:757:21
[INFO] [stderr]     |
[INFO] [stderr] 757 |   (tree:T, pred:Box<Fn(&X) -> bool>) -> L
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(&X) -> bool`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/catalog/collections.rs:778:22
[INFO] [stderr]     |
[INFO] [stderr] 778 |   (tree:Te, pred:Box<Fn(&X) -> bool>) -> Ti
[INFO] [stderr]     |                      ^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(&X) -> bool`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/catalog/collections.rs:800:33
[INFO] [stderr]     |
[INFO] [stderr] 800 |   (tree:Te, id_elm:X, bin_op:Rc<Fn(X,X) -> X>) -> X
[INFO] [stderr]     |                                 ^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(X,X) -> X`
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary parentheses around function argument
[INFO] [stderr]     --> src/catalog/collections.rs:1070:62
[INFO] [stderr]      |
[INFO] [stderr] 1070 |                ||mergesort_list_of_tree2::<_,_,_,List<_>>(t, (Some(name_of_usize(666)))));
[INFO] [stderr]      |                                                              ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove these parentheses
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(unused_parens)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:391:34
[INFO] [stderr]     |
[INFO] [stderr] 391 |     table : HashMap<Rc<Loc>, Box<GraphNode>>,
[INFO] [stderr]     |                                  ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[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/engine.rs:486:68
[INFO] [stderr]     |
[INFO] [stderr] 486 |     fn preds_obs<'r>   (self:&Self) -> Vec<(Rc<Loc>, Option<Rc<Box<DCGDep>>>)> ;
[INFO] [stderr]     |                                                                    ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:487:76
[INFO] [stderr]     |
[INFO] [stderr] 487 |     fn preds_insert<'r>(self:&'r mut Self, Effect, &Rc<Loc>, Option<Rc<Box<DCGDep>>>) -> () ;
[INFO] [stderr]     |                                                                            ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:498:38
[INFO] [stderr]     |
[INFO] [stderr] 498 |     succs : Vec<(Succ, Option<Rc<Box<DCGDep>>>)>,  // The currently-executing node's effects (viz., the nodes it demands)
[INFO] [stderr]     |                                      ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:515:21
[INFO] [stderr]     |
[INFO] [stderr] 515 |     dep    : Rc<Box<DCGDep>>, // Abstracted dependency information (e.g., for Observe Effect, the prior observed value)
[INFO] [stderr]     |                     ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:529:28
[INFO] [stderr]     |
[INFO] [stderr] 529 |     dep    : Option<Rc<Box<DCGDep>>>,
[INFO] [stderr]     |                            ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:550:72
[INFO] [stderr]     |
[INFO] [stderr] 550 | impl reflect::Reflect<Vec<reflect::Succ>> for Vec<(Succ, Option<Rc<Box<DCGDep>>>)> {
[INFO] [stderr]     |                                                                        ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:669:20
[INFO] [stderr]     |
[INFO] [stderr] 669 |     producer : Box<Producer<Res>>, // Producer can be App<Arg,Res>, where type Arg is hidden.
[INFO] [stderr]     |                    ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer<Res>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:709:32
[INFO] [stderr]     |
[INFO] [stderr] 709 |     fn copy(self:&Self) -> Box<Producer<Res>>;
[INFO] [stderr]     |                                ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer<Res>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:710:30
[INFO] [stderr]     |
[INFO] [stderr] 710 |     fn eq(self:&Self, other:&Producer<Res>) -> bool;
[INFO] [stderr]     |                              ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer<Res>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:722:22
[INFO] [stderr]     |
[INFO] [stderr] 722 |     fn_box:   Rc<Box<Fn(Arg, Spurious) -> Res>>,
[INFO] [stderr]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(Arg, Spurious) -> Res`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:752:32
[INFO] [stderr]     |
[INFO] [stderr] 752 |     fn copy(self:&Self) -> Box<Producer<Res>> {
[INFO] [stderr]     |                                ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer<Res>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:763:26
[INFO] [stderr]     |
[INFO] [stderr] 763 |     fn eq (&self, other:&Producer<Res>) -> bool {
[INFO] [stderr]     |                          ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer<Res>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:785:64
[INFO] [stderr]     |
[INFO] [stderr] 785 | fn lookup_abs<'r>(st:&'r mut DCG, loc:&Rc<Loc>) -> &'r mut Box<GraphNode> {
[INFO] [stderr]     |                                                                ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:800:64
[INFO] [stderr]     |
[INFO] [stderr] 800 | fn assert_graphnode_res_type<Res:'static> (loc:&Loc, node:&Box<GraphNode>, top_stack:Option<Rc<Loc>>) {
[INFO] [stderr]     |                                                                ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:842:61
[INFO] [stderr]     |
[INFO] [stderr] 842 |     fn preds_obs(self:&Self) -> Vec<(Rc<Loc>, Option<Rc<Box<DCGDep>>>)> {
[INFO] [stderr]     |                                                             ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:860:82
[INFO] [stderr]     |
[INFO] [stderr] 860 |     fn preds_insert (self:&mut Self, eff:Effect, loc:&Rc<Loc>, dep:Option<Rc<Box<DCGDep>>>) -> () {
[INFO] [stderr]     |                                                                                  ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:892:55
[INFO] [stderr]     |
[INFO] [stderr] 892 |     fn be_node<'r> (self:&'r mut Self) -> &'r mut Box<GraphNode> ;
[INFO] [stderr]     |                                                       ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:896:54
[INFO] [stderr]     |
[INFO] [stderr] 896 |     fn be_node<'r>(self:&'r mut Self) -> &'r mut Box<GraphNode> {
[INFO] [stderr]     |                                                      ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:902:27
[INFO] [stderr]     |
[INFO] [stderr] 902 | impl ShapeShifter for Box<GraphNode> {
[INFO] [stderr]     |                           ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:903:54
[INFO] [stderr]     |
[INFO] [stderr] 903 |     fn be_node<'r>(self:&'r mut Self) -> &'r mut Box<GraphNode> {
[INFO] [stderr]     |                                                      ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/engine.rs:947:28
[INFO] [stderr]     |
[INFO] [stderr] 947 |         let producer : Box<Producer<Res>> = {
[INFO] [stderr]     |                            ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer<Res>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1120:19
[INFO] [stderr]      |
[INFO] [stderr] 1120 |     map:(Abs, Box<AbsMapFam<Arg,Abs,T,DiffT,S>>),
[INFO] [stderr]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam<Arg,Abs,T,DiffT,S>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1269:34
[INFO] [stderr]      |
[INFO] [stderr] 1269 |         let succ_node : &mut Box<GraphNode> = lookup_abs(st, &succ.loc) ;
[INFO] [stderr]      |                                  ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1307:49
[INFO] [stderr]      |
[INFO] [stderr] 1307 |     let pred_locs : Vec<(Rc<Loc>, Option<Rc<Box<DCGDep>>>)> = lookup_abs( st, loc ).preds_obs() ;
[INFO] [stderr]      |                                                 ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1448:25
[INFO] [stderr]      |
[INFO] [stderr] 1448 |          fn_box:Rc<Box< Fn(Arg, Spurious) -> Res >>,
[INFO] [stderr]      |                         ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(Arg, Spurious) -> Res`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1475:24
[INFO] [stderr]      |
[INFO] [stderr] 1475 |          absmapfam:Box<AbsMapFam<Arg,Abs,T,DiffT,S>>,
[INFO] [stderr]      |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam<Arg,Abs,T,DiffT,S>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1631:24
[INFO] [stderr]      |
[INFO] [stderr] 1631 |          fn_box:Rc<Box<Fn(Arg, Spurious) -> Res>>,
[INFO] [stderr]      |                        ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(Arg, Spurious) -> Res`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1678:36
[INFO] [stderr]      |
[INFO] [stderr] 1678 |                 let producer : Box<Producer<Res>> =
[INFO] [stderr]      |                                    ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer<Res>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1716:44
[INFO] [stderr]      |
[INFO] [stderr] 1716 |                         let node: &mut Box<GraphNode> = node ;
[INFO] [stderr]      |                                            ^^^^^^^^^ help: use `dyn`: `dyn GraphNode`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1858:46
[INFO] [stderr]      |
[INFO] [stderr] 1858 |                             let dep : Rc<Box<DCGDep>> = Rc::new(Box::new(ForceMapDep{
[INFO] [stderr]      |                                              ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1885:41
[INFO] [stderr]      |
[INFO] [stderr] 1885 |         (g:&RefCell<DCG>, absmapfam:Box<AbsMapFam<Arg,Abs,T,DiffT,S>>,
[INFO] [stderr]      |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam<Arg,Abs,T,DiffT,S>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:1925:46
[INFO] [stderr]      |
[INFO] [stderr] 1925 |                             let dep : Rc<Box<DCGDep>> = Rc::new(Box::new(ForceAbsDep{
[INFO] [stderr]      |                                              ^^^^^^ help: use `dyn`: `dyn DCGDep`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2120:14
[INFO] [stderr]      |
[INFO] [stderr] 2120 |     Force(Rc<Force<T>>),
[INFO] [stderr]      |              ^^^^^^^^ help: use `dyn`: `dyn Force<T>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2160:32
[INFO] [stderr]      |
[INFO] [stderr] 2160 |     fn copy(self:&Self) -> Box<Force<T>>;
[INFO] [stderr]      |                                ^^^^^^^^ help: use `dyn`: `dyn Force<T>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2161:30
[INFO] [stderr]      |
[INFO] [stderr] 2161 |     fn eq(self:&Self, other:&Force<T>) -> bool;
[INFO] [stderr]      |                              ^^^^^^^^ help: use `dyn`: `dyn Force<T>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2172:20
[INFO] [stderr]      |
[INFO] [stderr] 2172 |     fn_box:Rc<Box< Fn(Arg, Spurious) -> Res >>,
[INFO] [stderr]      |                    ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(Arg, Spurious) -> Res`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2184:32
[INFO] [stderr]      |
[INFO] [stderr] 2184 |     fn copy(self:&Self) -> Box<Force<T>> {
[INFO] [stderr]      |                                ^^^^^^^^ help: use `dyn`: `dyn Force<T>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2204:26
[INFO] [stderr]      |
[INFO] [stderr] 2204 |     fn eq (&self, other:&Force<T>) -> bool {
[INFO] [stderr]      |                          ^^^^^^^^ help: use `dyn`: `dyn Force<T>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2430:21
[INFO] [stderr]      |
[INFO] [stderr] 2430 |      fn_box:Rc<Box< Fn(Arg, Spurious) -> Res >>,
[INFO] [stderr]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(Arg, Spurious) -> Res`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2459:33
[INFO] [stderr]      |
[INFO] [stderr] 2459 |     (thunk:Art<Res1>, map_fn:Rc<Fn(Res1) -> Res2>) -> Art<Res2>
[INFO] [stderr]      |                                 ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(Res1) -> Res2`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/engine.rs:2555:20
[INFO] [stderr]      |
[INFO] [stderr] 2555 |     (absmapfam:Box<AbsMapFam<Arg,Abs,T,DiffT,S>>, arg:Arg, a:Art<T>) -> S
[INFO] [stderr]      |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam<Arg,Abs,T,DiffT,S>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/catalog/collections.rs:757:21
[INFO] [stderr]     |
[INFO] [stderr] 757 |   (tree:T, pred:Box<Fn(&X) -> bool>) -> L
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(&X) -> bool`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/catalog/collections.rs:778:22
[INFO] [stderr]     |
[INFO] [stderr] 778 |   (tree:Te, pred:Box<Fn(&X) -> bool>) -> Ti
[INFO] [stderr]     |                      ^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(&X) -> bool`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/catalog/collections.rs:800:33
[INFO] [stderr]     |
[INFO] [stderr] 800 |   (tree:Te, id_elm:X, bin_op:Rc<Fn(X,X) -> X>) -> X
[INFO] [stderr]     |                                 ^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(X,X) -> X`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/engine.rs:1001:17
[INFO] [stderr]      |
[INFO] [stderr] 1001 |             let mut st = &mut *g.borrow_mut();
[INFO] [stderr]      |                 ----^^
[INFO] [stderr]      |                 |
[INFO] [stderr]      |                 help: remove this `mut`
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(unused_mut)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/engine.rs:1017:21
[INFO] [stderr]      |
[INFO] [stderr] 1017 |                 let mut st : &mut DCG = &mut *g.borrow_mut();
[INFO] [stderr]      |                     ----^^
[INFO] [stderr]      |                     |
[INFO] [stderr]      |                     help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/engine.rs:1001:17
[INFO] [stderr]      |
[INFO] [stderr] 1001 |             let mut st = &mut *g.borrow_mut();
[INFO] [stderr]      |                 ----^^
[INFO] [stderr]      |                 |
[INFO] [stderr]      |                 help: remove this `mut`
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(unused_mut)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/engine.rs:1017:21
[INFO] [stderr]      |
[INFO] [stderr] 1017 |                 let mut st : &mut DCG = &mut *g.borrow_mut();
[INFO] [stderr]      |                     ----^^
[INFO] [stderr]      |                     |
[INFO] [stderr]      |                     help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: function cannot return without recursing
[INFO] [stderr]     --> src/engine.rs:2810:5
[INFO] [stderr]      |
[INFO] [stderr] 2810 |     fn explore_rec(cur_n:usize) -> Vec<usize> {
[INFO] [stderr]      |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot return without recursing
[INFO] [stderr] ...
[INFO] [stderr] 2813 |         let mut av = explore_rec(a);
[INFO] [stderr]      |                      -------------- recursive call site
[INFO] [stderr]      |
[INFO] [stderr] note: lint level defined here
[INFO] [stderr]     --> src/engine.rs:2809:12
[INFO] [stderr]      |
[INFO] [stderr] 2809 |     #[warn(unconditional_recursion)]
[INFO] [stderr]      |            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      = help: a `loop` may express intention better if this is on purpose
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `explore_rec`
[INFO] [stderr]     --> src/engine.rs:2810:5
[INFO] [stderr]      |
[INFO] [stderr] 2810 |     fn explore_rec(cur_n:usize) -> Vec<usize> {
[INFO] [stderr]      |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 6.77s
[INFO] running `"docker" "inspect" "2ea48a71297bfc1a21983c9ee598706682c6f682538d4f4ea6ae4d89d6c7c7de"`
[INFO] running `"docker" "rm" "-f" "2ea48a71297bfc1a21983c9ee598706682c6f682538d4f4ea6ae4d89d6c7c7de"`
[INFO] [stdout] 2ea48a71297bfc1a21983c9ee598706682c6f682538d4f4ea6ae4d89d6c7c7de