[INFO] fetching crate adapton 0.3.30... [INFO] checking adapton-0.3.30 against try#ea663bba38739867a4b75ac820991b4f5d093c3b for pr-62262-1 [INFO] extracting crate adapton 0.3.30 into /workspace/builds/worker-9/source [INFO] validating manifest of crates.io crate adapton 0.3.30 on toolchain ea663bba38739867a4b75ac820991b4f5d093c3b [INFO] running `"/workspace/cargo-home/bin/cargo" "+ea663bba38739867a4b75ac820991b4f5d093c3b" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate adapton 0.3.30 [INFO] finished tweaking crates.io crate adapton 0.3.30 [INFO] tweaked toml for crates.io crate adapton 0.3.30 written to /workspace/builds/worker-9/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+ea663bba38739867a4b75ac820991b4f5d093c3b" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+ea663bba38739867a4b75ac820991b4f5d093c3b" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/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" "+ea663bba38739867a4b75ac820991b4f5d093c3b" "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] eff9474f68d93d82bdb55390cc1d161c36d6b632dc2cee72c1c0e471e86ea90a [INFO] running `"docker" "start" "-a" "eff9474f68d93d82bdb55390cc1d161c36d6b632dc2cee72c1c0e471e86ea90a"` [INFO] [stderr] Checking adapton v0.3.30 (/opt/rustwide/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> = 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> = 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, Box>, [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, Option>>)> ; [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, Option>>) -> () ; [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>>)>, // 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>, // 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>>, [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> for Vec<(Succ, Option>>)> { [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 can be App, where type Arg is hidden. [INFO] [stderr] | ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer` [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>; [INFO] [stderr] | ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer` [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) -> bool; [INFO] [stderr] | ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer` [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 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> { [INFO] [stderr] | ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer` [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) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer` [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) -> &'r mut Box { [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 (loc:&Loc, node:&Box, top_stack:Option>) { [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, Option>>)> { [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, dep:Option>>) -> () { [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 ; [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 { [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 { [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 { [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> = { [INFO] [stderr] | ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer` [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>), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam` [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 = 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, Option>>)> = 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 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>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam` [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 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> = [INFO] [stderr] | ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer` [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 = 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> = 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, absmapfam:Box>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam` [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> = 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>), [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Force` [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>; [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Force` [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) -> bool; [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Force` [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 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> { [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Force` [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) -> bool { [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Force` [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 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, map_fn:Rc Res2>) -> Art [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>, arg:Arg, a:Art) -> S [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam` [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 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 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 X>) -> X [INFO] [stderr] | ^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(X,X) -> X` [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, Box>, [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, Option>>)> ; [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, Option>>) -> () ; [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>>)>, // 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>, // 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>>, [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> for Vec<(Succ, Option>>)> { [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 can be App, where type Arg is hidden. [INFO] [stderr] | ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer` [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>; [INFO] [stderr] | ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer` [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) -> bool; [INFO] [stderr] | ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer` [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 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> { [INFO] [stderr] | ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer` [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) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer` [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) -> &'r mut Box { [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 (loc:&Loc, node:&Box, top_stack:Option>) { [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, Option>>)> { [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, dep:Option>>) -> () { [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 ; [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 { [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 { [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 { [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> = { [INFO] [stderr] | ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer` [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>), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam` [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 = 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, Option>>)> = 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 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>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam` [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 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> = [INFO] [stderr] | ^^^^^^^^^^^^^ help: use `dyn`: `dyn Producer` [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 = 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> = 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, absmapfam:Box>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam` [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> = 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>), [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Force` [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>; [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Force` [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) -> bool; [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Force` [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 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> { [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Force` [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) -> bool { [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Force` [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 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, map_fn:Rc Res2>) -> Art [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>, arg:Arg, a:Art) -> S [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn AbsMapFam` [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 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 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 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: 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 { [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 { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 4.12s [INFO] running `"docker" "inspect" "eff9474f68d93d82bdb55390cc1d161c36d6b632dc2cee72c1c0e471e86ea90a"` [INFO] running `"docker" "rm" "-f" "eff9474f68d93d82bdb55390cc1d161c36d6b632dc2cee72c1c0e471e86ea90a"` [INFO] [stdout] eff9474f68d93d82bdb55390cc1d161c36d6b632dc2cee72c1c0e471e86ea90a