[INFO] fetching crate fungi-lang 0.1.63...
[INFO] checking fungi-lang-0.1.63 against try#f47dd4da3ae8c32c9e65d307bfe640b143e674df for pr-77526
[INFO] extracting crate fungi-lang 0.1.63 into /workspace/builds/worker-5/source
[INFO] validating manifest of crates.io crate fungi-lang 0.1.63 on toolchain f47dd4da3ae8c32c9e65d307bfe640b143e674df
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+f47dd4da3ae8c32c9e65d307bfe640b143e674df" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking crates.io crate fungi-lang 0.1.63
[INFO] finished tweaking crates.io crate fungi-lang 0.1.63
[INFO] tweaked toml for crates.io crate fungi-lang 0.1.63 written to /workspace/builds/worker-5/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+f47dd4da3ae8c32c9e65d307bfe640b143e674df" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+f47dd4da3ae8c32c9e65d307bfe640b143e674df" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded adapton v0.3.31
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+f47dd4da3ae8c32c9e65d307bfe640b143e674df" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1da7f38d190f722c1d51e39b10101481a134e765fe043a4e747512bef85ba5e9
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "1da7f38d190f722c1d51e39b10101481a134e765fe043a4e747512bef85ba5e9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1da7f38d190f722c1d51e39b10101481a134e765fe043a4e747512bef85ba5e9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1da7f38d190f722c1d51e39b10101481a134e765fe043a4e747512bef85ba5e9", kill_on_drop: false }`
[INFO] [stdout] 1da7f38d190f722c1d51e39b10101481a134e765fe043a4e747512bef85ba5e9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+f47dd4da3ae8c32c9e65d307bfe640b143e674df" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 539fac94d52977f80bc43e89d3eab7258ca323aceb19e47f23b7ab2984cca0b7
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "539fac94d52977f80bc43e89d3eab7258ca323aceb19e47f23b7ab2984cca0b7", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.24
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling syn v1.0.42
[INFO] [stderr]    Compiling version_check v0.1.5
[INFO] [stderr]    Compiling serde v1.0.116
[INFO] [stderr]    Compiling regex v0.2.11
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking adapton v0.3.31
[INFO] [stderr]     Checking proc-macro2 v0.3.8
[INFO] [stderr]     Checking aho-corasick v0.6.10
[INFO] [stderr]     Checking thread_local v0.3.6
[INFO] [stderr]    Compiling nom v4.2.3
[INFO] [stderr]    Compiling quote v1.0.7
[INFO] [stderr]    Compiling serde_derive v1.0.116
[INFO] [stderr]     Checking serde_json v1.0.58
[INFO] [stderr]     Checking fungi-lang v0.1.63 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/shared.rs:182:1
[INFO] [stdout]     |
[INFO] [stdout] 182 | /// Global table of serialized objects; permits us to avoid multiple
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_doc_comments)]` on by default
[INFO] [stdout]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/shared.rs:183:1
[INFO] [stdout]     |
[INFO] [stdout] 183 | /// serialized copies of a single, shared object.
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations
[INFO] [stdout]     |
[INFO] [stdout]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/db.rs:10:29
[INFO] [stdout]    |
[INFO] [stdout] 10 |     pub bracket_indent: Box<Display>,
[INFO] [stdout]    |                             ^^^^^^^ help: use `dyn`: `dyn Display`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/db.rs:11:28
[INFO] [stdout]    |
[INFO] [stdout] 11 |     pub bracket_close: Box<Display>,
[INFO] [stdout]    |                            ^^^^^^^ help: use `dyn`: `dyn Display`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/shared.rs:179:29
[INFO] [stdout]     |
[INFO] [stdout] 179 |     table:HashMap<Id,Box<Rc<Any>>>
[INFO] [stdout]     |                             ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/shared.rs:215:29
[INFO] [stdout]     |
[INFO] [stdout] 215 |                 let x : &Rc<Any> = &**brc;
[INFO] [stdout]     |                             ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/shared.rs:216:42
[INFO] [stdout]     |
[INFO] [stdout] 216 |                 let y : Result<Rc<T>, Rc<Any>> = (x.clone()).downcast::<T>();
[INFO] [stdout]     |                                          ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/ast.rs:416:16
[INFO] [stdout]     |
[INFO] [stdout] 416 |     pub ops:Rc<HostObjOps>,
[INFO] [stdout]     |                ^^^^^^^^^^ help: use `dyn`: `dyn HostObjOps`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/ast.rs:418:16
[INFO] [stdout]     |
[INFO] [stdout] 418 |     pub any:Rc<any::Any>
[INFO] [stdout]     |                ^^^^^^^^ help: use `dyn`: `dyn any::Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/ast.rs:421:24
[INFO] [stdout]     |
[INFO] [stdout] 421 |     fn eq(&self, x:&Rc<any::Any>, y:&Rc<any::Any>) -> bool;
[INFO] [stdout]     |                        ^^^^^^^^ help: use `dyn`: `dyn any::Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/ast.rs:421:41
[INFO] [stdout]     |
[INFO] [stdout] 421 |     fn eq(&self, x:&Rc<any::Any>, y:&Rc<any::Any>) -> bool;
[INFO] [stdout]     |                                         ^^^^^^^^ help: use `dyn`: `dyn any::Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/ast.rs:422:26
[INFO] [stdout]     |
[INFO] [stdout] 422 |     fn hash(&self, x:&Rc<any::Any>) -> u64;
[INFO] [stdout]     |                          ^^^^^^^^ help: use `dyn`: `dyn any::Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/ast.rs:423:43
[INFO] [stdout]     |
[INFO] [stdout] 423 |     fn fmt(&self, f:&mut Formatter, x:&Rc<any::Any> ) -> fmt::Result;
[INFO] [stdout]     |                                           ^^^^^^^^ help: use `dyn`: `dyn any::Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/ast.rs:451:17
[INFO] [stdout]     |
[INFO] [stdout] 451 |     pub eval:Rc<Fn(Vec<dynamics::RtVal>) -> dynamics::ExpTerm>
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(Vec<dynamics::RtVal>) -> dynamics::ExpTerm`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `vt100` is imported redundantly
[INFO] [stdout]    --> src/decide.rs:420:13
[INFO] [stdout]     |
[INFO] [stdout] 203 |         decide::equiv, vt100,
[INFO] [stdout]     |                        ----- the item `vt100` is already imported here
[INFO] [stdout] ...
[INFO] [stdout] 420 |         use crate::vt100;
[INFO] [stdout]     |             ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `vt100` is imported redundantly
[INFO] [stdout]    --> src/decide.rs:560:13
[INFO] [stdout]     |
[INFO] [stdout] 203 |         decide::equiv, vt100,
[INFO] [stdout]     |                        ----- the item `vt100` is already imported here
[INFO] [stdout] ...
[INFO] [stdout] 560 |         use crate::vt100;
[INFO] [stdout]     |             ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `vt100` is imported redundantly
[INFO] [stdout]     --> src/decide.rs:1740:13
[INFO] [stdout]      |
[INFO] [stdout] 1128 |     use crate::vt100;
[INFO] [stdout]      |         ------------ the item `vt100` is already imported here
[INFO] [stdout] ...
[INFO] [stdout] 1740 |         use crate::vt100;
[INFO] [stdout]      |             ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `vt100` is imported redundantly
[INFO] [stdout]     --> src/decide.rs:1913:13
[INFO] [stdout]      |
[INFO] [stdout] 1128 |     use crate::vt100;
[INFO] [stdout]      |         ------------ the item `vt100` is already imported here
[INFO] [stdout] ...
[INFO] [stdout] 1913 |         use crate::vt100;
[INFO] [stdout]      |             ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Sort` is imported redundantly
[INFO] [stdout]    --> src/dynamics.rs:174:9
[INFO] [stdout]     |
[INFO] [stdout] 20  | use crate::ast::*;
[INFO] [stdout]     |     ------------- the item `Sort` is already imported here
[INFO] [stdout] ...
[INFO] [stdout] 174 |     use crate::ast::Sort;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/hostobj.rs:53:67
[INFO] [stdout]    |
[INFO] [stdout] 53 | pub fn obj_of_any<X:'static+Debug+Hash+Eq+PartialEq+Clone> (x:&Rc<Any>) -> Option<X> {
[INFO] [stdout]    |                                                                   ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/hostobj.rs:54:30
[INFO] [stdout]    |
[INFO] [stdout] 54 |     let r : Result<Rc<X>, Rc<Any>> = (x.clone()).downcast::<X>();
[INFO] [stdout]    |                              ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/hostobj.rs:63:24
[INFO] [stdout]    |
[INFO] [stdout] 63 |     fn eq(&self, x:&Rc<Any>, y:&Rc<Any>) -> bool {
[INFO] [stdout]    |                        ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/hostobj.rs:63:36
[INFO] [stdout]    |
[INFO] [stdout] 63 |     fn eq(&self, x:&Rc<Any>, y:&Rc<Any>) -> bool {
[INFO] [stdout]    |                                    ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/hostobj.rs:69:26
[INFO] [stdout]    |
[INFO] [stdout] 69 |     fn hash(&self, x:&Rc<Any>) -> u64 {
[INFO] [stdout]    |                          ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/hostobj.rs:75:43
[INFO] [stdout]    |
[INFO] [stdout] 75 |     fn fmt(&self, f:&mut Formatter, x:&Rc<Any> ) -> fmt::Result {
[INFO] [stdout]    |                                           ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/shared.rs:182:1
[INFO] [stdout]     |
[INFO] [stdout] 182 | /// Global table of serialized objects; permits us to avoid multiple
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_doc_comments)]` on by default
[INFO] [stdout]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]    --> src/shared.rs:183:1
[INFO] [stdout]     |
[INFO] [stdout] 183 | /// serialized copies of a single, shared object.
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations
[INFO] [stdout]     |
[INFO] [stdout]     = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/db.rs:10:29
[INFO] [stdout]    |
[INFO] [stdout] 10 |     pub bracket_indent: Box<Display>,
[INFO] [stdout]    |                             ^^^^^^^ help: use `dyn`: `dyn Display`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/db.rs:11:28
[INFO] [stdout]    |
[INFO] [stdout] 11 |     pub bracket_close: Box<Display>,
[INFO] [stdout]    |                            ^^^^^^^ help: use `dyn`: `dyn Display`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/shared.rs:179:29
[INFO] [stdout]     |
[INFO] [stdout] 179 |     table:HashMap<Id,Box<Rc<Any>>>
[INFO] [stdout]     |                             ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/shared.rs:215:29
[INFO] [stdout]     |
[INFO] [stdout] 215 |                 let x : &Rc<Any> = &**brc;
[INFO] [stdout]     |                             ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/shared.rs:216:42
[INFO] [stdout]     |
[INFO] [stdout] 216 |                 let y : Result<Rc<T>, Rc<Any>> = (x.clone()).downcast::<T>();
[INFO] [stdout]     |                                          ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/ast.rs:416:16
[INFO] [stdout]     |
[INFO] [stdout] 416 |     pub ops:Rc<HostObjOps>,
[INFO] [stdout]     |                ^^^^^^^^^^ help: use `dyn`: `dyn HostObjOps`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/ast.rs:418:16
[INFO] [stdout]     |
[INFO] [stdout] 418 |     pub any:Rc<any::Any>
[INFO] [stdout]     |                ^^^^^^^^ help: use `dyn`: `dyn any::Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/ast.rs:421:24
[INFO] [stdout]     |
[INFO] [stdout] 421 |     fn eq(&self, x:&Rc<any::Any>, y:&Rc<any::Any>) -> bool;
[INFO] [stdout]     |                        ^^^^^^^^ help: use `dyn`: `dyn any::Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/ast.rs:421:41
[INFO] [stdout]     |
[INFO] [stdout] 421 |     fn eq(&self, x:&Rc<any::Any>, y:&Rc<any::Any>) -> bool;
[INFO] [stdout]     |                                         ^^^^^^^^ help: use `dyn`: `dyn any::Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/ast.rs:422:26
[INFO] [stdout]     |
[INFO] [stdout] 422 |     fn hash(&self, x:&Rc<any::Any>) -> u64;
[INFO] [stdout]     |                          ^^^^^^^^ help: use `dyn`: `dyn any::Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/ast.rs:423:43
[INFO] [stdout]     |
[INFO] [stdout] 423 |     fn fmt(&self, f:&mut Formatter, x:&Rc<any::Any> ) -> fmt::Result;
[INFO] [stdout]     |                                           ^^^^^^^^ help: use `dyn`: `dyn any::Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/ast.rs:451:17
[INFO] [stdout]     |
[INFO] [stdout] 451 |     pub eval:Rc<Fn(Vec<dynamics::RtVal>) -> dynamics::ExpTerm>
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Fn(Vec<dynamics::RtVal>) -> dynamics::ExpTerm`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `vt100` is imported redundantly
[INFO] [stdout]    --> src/decide.rs:420:13
[INFO] [stdout]     |
[INFO] [stdout] 203 |         decide::equiv, vt100,
[INFO] [stdout]     |                        ----- the item `vt100` is already imported here
[INFO] [stdout] ...
[INFO] [stdout] 420 |         use crate::vt100;
[INFO] [stdout]     |             ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `vt100` is imported redundantly
[INFO] [stdout]    --> src/decide.rs:560:13
[INFO] [stdout]     |
[INFO] [stdout] 203 |         decide::equiv, vt100,
[INFO] [stdout]     |                        ----- the item `vt100` is already imported here
[INFO] [stdout] ...
[INFO] [stdout] 560 |         use crate::vt100;
[INFO] [stdout]     |             ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `vt100` is imported redundantly
[INFO] [stdout]     --> src/decide.rs:1740:13
[INFO] [stdout]      |
[INFO] [stdout] 1128 |     use crate::vt100;
[INFO] [stdout]      |         ------------ the item `vt100` is already imported here
[INFO] [stdout] ...
[INFO] [stdout] 1740 |         use crate::vt100;
[INFO] [stdout]      |             ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `vt100` is imported redundantly
[INFO] [stdout]     --> src/decide.rs:1913:13
[INFO] [stdout]      |
[INFO] [stdout] 1128 |     use crate::vt100;
[INFO] [stdout]      |         ------------ the item `vt100` is already imported here
[INFO] [stdout] ...
[INFO] [stdout] 1913 |         use crate::vt100;
[INFO] [stdout]      |             ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Sort` is imported redundantly
[INFO] [stdout]    --> src/dynamics.rs:174:9
[INFO] [stdout]     |
[INFO] [stdout] 20  | use crate::ast::*;
[INFO] [stdout]     |     ------------- the item `Sort` is already imported here
[INFO] [stdout] ...
[INFO] [stdout] 174 |     use crate::ast::Sort;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/hostobj.rs:53:67
[INFO] [stdout]    |
[INFO] [stdout] 53 | pub fn obj_of_any<X:'static+Debug+Hash+Eq+PartialEq+Clone> (x:&Rc<Any>) -> Option<X> {
[INFO] [stdout]    |                                                                   ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/hostobj.rs:54:30
[INFO] [stdout]    |
[INFO] [stdout] 54 |     let r : Result<Rc<X>, Rc<Any>> = (x.clone()).downcast::<X>();
[INFO] [stdout]    |                              ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/hostobj.rs:63:24
[INFO] [stdout]    |
[INFO] [stdout] 63 |     fn eq(&self, x:&Rc<Any>, y:&Rc<Any>) -> bool {
[INFO] [stdout]    |                        ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/hostobj.rs:63:36
[INFO] [stdout]    |
[INFO] [stdout] 63 |     fn eq(&self, x:&Rc<Any>, y:&Rc<Any>) -> bool {
[INFO] [stdout]    |                                    ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/hostobj.rs:69:26
[INFO] [stdout]    |
[INFO] [stdout] 69 |     fn hash(&self, x:&Rc<Any>) -> u64 {
[INFO] [stdout]    |                          ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/hostobj.rs:75:43
[INFO] [stdout]    |
[INFO] [stdout] 75 |     fn fmt(&self, f:&mut Formatter, x:&Rc<Any> ) -> fmt::Result {
[INFO] [stdout]    |                                           ^^^ help: use `dyn`: `dyn Any`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `crate_in_paths` has been stable since 1.30.0 and no longer requires an attribute to enable
[INFO] [stdout]   --> src/lib.rs:95:12
[INFO] [stdout]    |
[INFO] [stdout] 95 | #![feature(crate_in_paths)]
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 26 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `crate_in_paths` has been stable since 1.30.0 and no longer requires an attribute to enable
[INFO] [stdout]   --> src/lib.rs:95:12
[INFO] [stdout]    |
[INFO] [stdout] 95 | #![feature(crate_in_paths)]
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 26 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 46.41s
[INFO] running `Command { std: "docker" "inspect" "539fac94d52977f80bc43e89d3eab7258ca323aceb19e47f23b7ab2984cca0b7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "539fac94d52977f80bc43e89d3eab7258ca323aceb19e47f23b7ab2984cca0b7", kill_on_drop: false }`
[INFO] [stdout] 539fac94d52977f80bc43e89d3eab7258ca323aceb19e47f23b7ab2984cca0b7