[INFO] fetching crate fungi-lang 0.1.63...
[INFO] checking fungi-lang-0.1.63 against master#a609fb45efad59dfd459c76e50899be9f0583b5a for pr-80579
[INFO] extracting crate fungi-lang 0.1.63 into /workspace/builds/worker-1/source
[INFO] validating manifest of crates.io crate fungi-lang 0.1.63 on toolchain a609fb45efad59dfd459c76e50899be9f0583b5a
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "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-1/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3aa6d872c08d36ddca9a6fdbc3c3ed63111f47dc13a4b8353445788869882b66
[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" "3aa6d872c08d36ddca9a6fdbc3c3ed63111f47dc13a4b8353445788869882b66", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3aa6d872c08d36ddca9a6fdbc3c3ed63111f47dc13a4b8353445788869882b66", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3aa6d872c08d36ddca9a6fdbc3c3ed63111f47dc13a4b8353445788869882b66", kill_on_drop: false }`
[INFO] [stdout] 3aa6d872c08d36ddca9a6fdbc3c3ed63111f47dc13a4b8353445788869882b66
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] ab15019a22200022ed0c851f493aebcc231aa26ac5f31a06f1f71aa8bd06e8c9
[INFO] running `Command { std: "docker" "start" "-a" "ab15019a22200022ed0c851f493aebcc231aa26ac5f31a06f1f71aa8bd06e8c9", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde v1.0.118
[INFO] [stderr]    Compiling syn v1.0.56
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling serde_json v1.0.61
[INFO] [stderr]     Checking itoa v0.4.7
[INFO] [stderr]     Checking unicode-xid v0.1.0
[INFO] [stderr]     Checking adapton v0.3.31
[INFO] [stderr]    Compiling nom v4.2.3
[INFO] [stderr]     Checking thread_local v0.3.6
[INFO] [stderr]     Checking aho-corasick v0.6.10
[INFO] [stderr]     Checking proc-macro2 v0.3.8
[INFO] [stderr]     Checking regex v0.2.11
[INFO] [stderr]    Compiling serde_derive v1.0.118
[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: unnecessary trailing semicolon
[INFO] [stdout]    --> src/normal.rs:501:19
[INFO] [stdout]     |
[INFO] [stdout] 501 |                 }};
[INFO] [stdout]     |                   ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(redundant_semicolons)]` on by default
[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: unnecessary trailing semicolon
[INFO] [stdout]     --> src/decide.rs:1376:18
[INFO] [stdout]      |
[INFO] [stdout] 1376 |                 };
[INFO] [stdout]      |                  ^ help: remove this semicolon
[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: unnecessary trailing semicolon
[INFO] [stdout]     --> src/bitype.rs:1514:6
[INFO] [stdout]      |
[INFO] [stdout] 1514 |     };
[INFO] [stdout]      |      ^ help: remove this semicolon
[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: unnecessary trailing semicolon
[INFO] [stdout]    --> src/eval.rs:268:14
[INFO] [stdout]     |
[INFO] [stdout] 268 |             };
[INFO] [stdout]     |              ^ help: remove this semicolon
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/reduce.rs:630:14
[INFO] [stdout]     |
[INFO] [stdout] 630 |             };
[INFO] [stdout]     |              ^ help: remove this semicolon
[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: unnecessary trailing semicolon
[INFO] [stdout]    --> src/normal.rs:501:19
[INFO] [stdout]     |
[INFO] [stdout] 501 |                 }};
[INFO] [stdout]     |                   ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(redundant_semicolons)]` on by default
[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: unnecessary trailing semicolon
[INFO] [stdout]     --> src/decide.rs:1376:18
[INFO] [stdout]      |
[INFO] [stdout] 1376 |                 };
[INFO] [stdout]      |                  ^ help: remove this semicolon
[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: unnecessary trailing semicolon
[INFO] [stdout]     --> src/bitype.rs:1514:6
[INFO] [stdout]      |
[INFO] [stdout] 1514 |     };
[INFO] [stdout]      |      ^ help: remove this semicolon
[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: unnecessary trailing semicolon
[INFO] [stdout]    --> src/eval.rs:268:14
[INFO] [stdout]     |
[INFO] [stdout] 268 |             };
[INFO] [stdout]     |              ^ help: remove this semicolon
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/reduce.rs:630:14
[INFO] [stdout]     |
[INFO] [stdout] 630 |             };
[INFO] [stdout]     |              ^ help: remove this semicolon
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/op_nat.rs:100:23
[INFO] [stdout]     |
[INFO] [stdout] 100 |       pub fn typing() { fgi_listing_test!{
[INFO] [stdout]     |  _______________________-
[INFO] [stdout] 101 | |         open crate::examples::op_nat;
[INFO] [stdout] 102 | |         ret 0
[INFO] [stdout] 103 | |     }}
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/nat.rs:75:23
[INFO] [stdout]     |
[INFO] [stdout] 75  |       pub fn typing() { fgi_listing_test!{
[INFO] [stdout]     |  _______________________-
[INFO] [stdout] 76  | |         open crate::examples::nat;
[INFO] [stdout] 77  | |         ret 0
[INFO] [stdout] 78  | |     }}
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/name.rs:55:23
[INFO] [stdout]     |
[INFO] [stdout] 55  |       pub fn typing() { fgi_listing_test!{
[INFO] [stdout]     |  _______________________-
[INFO] [stdout] 56  | |         open crate::examples::name;
[INFO] [stdout] 57  | |         ret 0
[INFO] [stdout] 58  | |     }}
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/pure_list_nat.rs:138:23
[INFO] [stdout]     |
[INFO] [stdout] 138 |       pub fn typing() { fgi_listing_test!{
[INFO] [stdout]     |  _______________________-
[INFO] [stdout] 139 | |         open crate::examples::pure_list_nat;
[INFO] [stdout] 140 | |         ret 0
[INFO] [stdout] 141 | |     }}
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/ref_edit.rs:36:23
[INFO] [stdout]     |
[INFO] [stdout] 36  |       pub fn typing() { fgi_listing_test!{
[INFO] [stdout]     |  _______________________-
[INFO] [stdout] 37  | |         open crate::examples::ref_edit;
[INFO] [stdout] 38  | |         ret 0
[INFO] [stdout] 39  | |     }}
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/list_nat.rs:155:23
[INFO] [stdout]     |
[INFO] [stdout] 155 |       pub fn typing() { fgi_listing_test!{
[INFO] [stdout]     |  _______________________-
[INFO] [stdout] 156 | |         open crate::examples::list_nat;
[INFO] [stdout] 157 | |         ret 0
[INFO] [stdout] 158 | |     }}
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/list_nat.rs:258:22
[INFO] [stdout]     |
[INFO] [stdout] 258 |   pub fn listing1 () { fgi_listing_expect![
[INFO] [stdout]     |  ______________________-
[INFO] [stdout] 259 | |     [Expect::FailureXXX]
[INFO] [stdout] 260 | |         
[INFO] [stdout] 261 | |         decls {
[INFO] [stdout] ...   |
[INFO] [stdout] 286 | |     ret 0
[INFO] [stdout] 287 | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/trie_nat.rs:176:23
[INFO] [stdout]     |
[INFO] [stdout] 176 |       pub fn typing() { fgi_listing_test!{
[INFO] [stdout]     |  _______________________-
[INFO] [stdout] 177 | |         open crate::examples::trie_nat;
[INFO] [stdout] 178 | |         ret 0
[INFO] [stdout] 179 | |     }}
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/list_nat_dedup.rs:113:23
[INFO] [stdout]     |
[INFO] [stdout] 113 |       pub fn typing() { fgi_listing_test!{
[INFO] [stdout]     |  _______________________-
[INFO] [stdout] 114 | |         open crate::examples::list_nat_dedup;
[INFO] [stdout] 115 | |         ret 0
[INFO] [stdout] 116 | |     }}
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/seq_nat.rs:38:23
[INFO] [stdout]     |
[INFO] [stdout] 38  |       pub fn typing() { fgi_listing_test!{
[INFO] [stdout]     |  _______________________-
[INFO] [stdout] 39  | |         open crate::examples::seq_nat;
[INFO] [stdout] 40  | |         ret 0
[INFO] [stdout] 41  | |     }}
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/seq_nat_gen.rs:32:23
[INFO] [stdout]     |
[INFO] [stdout] 32  |       pub fn typing() { fgi_listing_test!{
[INFO] [stdout]     |  _______________________-
[INFO] [stdout] 33  | |         open crate::examples::seq_nat_gen;
[INFO] [stdout] 34  | |         ret 0
[INFO] [stdout] 35  | |     }}
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/seq_max.rs:2:21
[INFO] [stdout]     |
[INFO] [stdout] 2   |   pub fn listing () { fgi_listing_expect![
[INFO] [stdout]     |  _____________________-
[INFO] [stdout] 3   | |     [Expect::Success]
[INFO] [stdout] 4   | |         
[INFO] [stdout] 5   | |     decls {
[INFO] [stdout] ...   |
[INFO] [stdout] 71  | |     ret 0
[INFO] [stdout] 72  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/seq_filter.rs:2:21
[INFO] [stdout]     |
[INFO] [stdout] 2   |   pub fn listing () { fgi_listing_expect![
[INFO] [stdout]     |  _____________________-
[INFO] [stdout] 3   | |     [Expect::Success]
[INFO] [stdout] 4   | |  
[INFO] [stdout] 5   | |     decls {
[INFO] [stdout] ...   |
[INFO] [stdout] 119 | |     ret 0
[INFO] [stdout] 120 | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_hostobj.rs:55:27
[INFO] [stdout]     |
[INFO] [stdout] 55  |           pub fn typing() { fgi_listing_test!{
[INFO] [stdout]     |  ___________________________-
[INFO] [stdout] 56  | |             open crate::examples::basic_hostobj::color;
[INFO] [stdout] 57  | |             let red   = {ret color_red}
[INFO] [stdout] 58  | |             let green = {ret color_green}
[INFO] [stdout] ...   |
[INFO] [stdout] 65  | |             ret (triple, triple_next)
[INFO] [stdout] 66  | |         }}
[INFO] [stdout]     | |_________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_read_effects.rs:2:25
[INFO] [stdout]     |
[INFO] [stdout] 2   |   pub fn listing0_ok () { fgi_listing_test![
[INFO] [stdout]     |  _________________________-
[INFO] [stdout] 3   | |
[INFO] [stdout] 4   | |     let get:(
[INFO] [stdout] 5   | |         Thk[0] foralli X:NmSet.
[INFO] [stdout] ...   |
[INFO] [stdout] 14  | |     ret 0
[INFO] [stdout] 15  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_read_effects.rs:18:26
[INFO] [stdout]     |
[INFO] [stdout] 18  |   pub fn listing0_err () { fgi_listing_expect![
[INFO] [stdout]     |  __________________________-
[INFO] [stdout] 19  | |     [Expect::Failure]
[INFO] [stdout] 20  | |         
[INFO] [stdout] 21  | |     let get:(
[INFO] [stdout] ...   |
[INFO] [stdout] 31  | |     ret 0
[INFO] [stdout] 32  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_read_effects.rs:35:25
[INFO] [stdout]     |
[INFO] [stdout] 35  |   pub fn listing1_ok () { fgi_listing_test![
[INFO] [stdout]     |  _________________________-
[INFO] [stdout] 36  | |         
[INFO] [stdout] 37  | |     let get:(
[INFO] [stdout] 38  | |         Thk[0] foralli (X,Y):NmSet.
[INFO] [stdout] ...   |
[INFO] [stdout] 49  | |     ret 0
[INFO] [stdout] 50  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_write_effects.rs:2:22
[INFO] [stdout]     |
[INFO] [stdout] 2   |   pub fn listing0 () { fgi_listing_test![
[INFO] [stdout]     |  ______________________-
[INFO] [stdout] 3   | |
[INFO] [stdout] 4   | |     let set:(
[INFO] [stdout] 5   | |         Thk[0] foralli X:NmSet.
[INFO] [stdout] ...   |
[INFO] [stdout] 13  | |     ret 0
[INFO] [stdout] 14  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_write_effects.rs:18:34
[INFO] [stdout]     |
[INFO] [stdout] 18  |   pub fn listing0_fail0_check () { fgi_listing_expect![
[INFO] [stdout]     |  __________________________________-
[INFO] [stdout] 19  | |     [Expect::FailureXXX]
[INFO] [stdout] 20  | |
[INFO] [stdout] 21  | |     let set:(
[INFO] [stdout] ...   |
[INFO] [stdout] 30  | |     ret 0
[INFO] [stdout] 31  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_write_effects.rs:34:34
[INFO] [stdout]     |
[INFO] [stdout] 34  |   pub fn listing0_fail0_synth () { fgi_listing_expect![
[INFO] [stdout]     |  __________________________________-
[INFO] [stdout] 35  | |     [Expect::Failure]
[INFO] [stdout] 36  | |
[INFO] [stdout] 37  | |     let set:(
[INFO] [stdout] ...   |
[INFO] [stdout] 47  | |     ret 0
[INFO] [stdout] 48  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_write_effects.rs:51:34
[INFO] [stdout]     |
[INFO] [stdout] 51  |   pub fn listing0_fail1_check () { fgi_listing_expect![
[INFO] [stdout]     |  __________________________________-
[INFO] [stdout] 52  | |     [Expect::FailureXXX]
[INFO] [stdout] 53  | |
[INFO] [stdout] 54  | |     let set:(
[INFO] [stdout] ...   |
[INFO] [stdout] 63  | |     ret 0
[INFO] [stdout] 64  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_write_effects.rs:67:34
[INFO] [stdout]     |
[INFO] [stdout] 67  |   pub fn listing0_fail1_synth () { fgi_listing_expect![
[INFO] [stdout]     |  __________________________________-
[INFO] [stdout] 68  | |     [Expect::Failure]
[INFO] [stdout] 69  | |
[INFO] [stdout] 70  | |     let set:(
[INFO] [stdout] ...   |
[INFO] [stdout] 80  | |     ret 0
[INFO] [stdout] 81  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_write_effects.rs:84:34
[INFO] [stdout]     |
[INFO] [stdout] 84  |   pub fn listing0_fail2_check () { fgi_listing_expect![
[INFO] [stdout]     |  __________________________________-
[INFO] [stdout] 85  | |     [Expect::FailureXXX]
[INFO] [stdout] 86  | |
[INFO] [stdout] 87  | |      let set:(
[INFO] [stdout] ...   |
[INFO] [stdout] 97  | |     ret 0
[INFO] [stdout] 98  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_write_effects.rs:101:34
[INFO] [stdout]     |
[INFO] [stdout] 101 |   pub fn listing0_fail2_synth () { fgi_listing_expect![
[INFO] [stdout]     |  __________________________________-
[INFO] [stdout] 102 | |     [Expect::Failure]
[INFO] [stdout] 103 | |
[INFO] [stdout] 104 | |     let set:(
[INFO] [stdout] ...   |
[INFO] [stdout] 115 | |     ret 0
[INFO] [stdout] 116 | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_write_scope.rs:2:21
[INFO] [stdout]     |
[INFO] [stdout] 2   |   pub fn listing () { fgi_listing_test![
[INFO] [stdout]     |  _____________________-
[INFO] [stdout] 3   | |
[INFO] [stdout] 4   | |     let foo:(
[INFO] [stdout] 5   | |         Thk[0] 
[INFO] [stdout] ...   |
[INFO] [stdout] 28  | |     ret 0
[INFO] [stdout] 29  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_subtyping.rs:2:26
[INFO] [stdout]     |
[INFO] [stdout] 2   |   pub fn listing0_one () { fgi_listing_test![
[INFO] [stdout]     |  __________________________-
[INFO] [stdout] 3   | |
[INFO] [stdout] 4   | |     let get_one:(
[INFO] [stdout] 5   | |         Thk[0] foralli (X,Y,Z):NmSet.
[INFO] [stdout] ...   |
[INFO] [stdout] 19  | |     ret 0
[INFO] [stdout] 20  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_subtyping.rs:23:27
[INFO] [stdout]     |
[INFO] [stdout] 23  |   pub fn listing0_pair () { fgi_listing_test![
[INFO] [stdout]     |  ___________________________-
[INFO] [stdout] 24  | |
[INFO] [stdout] 25  | |     let get_pair:(
[INFO] [stdout] 26  | |         Thk[0] foralli (X,Y,Z):NmSet.
[INFO] [stdout] ...   |
[INFO] [stdout] 41  | |     ret 0
[INFO] [stdout] 42  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_subtyping.rs:45:28
[INFO] [stdout]     |
[INFO] [stdout] 45  |   pub fn listing1_check () { fgi_listing_test![
[INFO] [stdout]     |  ____________________________-
[INFO] [stdout] 46  | |
[INFO] [stdout] 47  | |     let put_one:(
[INFO] [stdout] 48  | |         Thk[0] foralli (X,Y,Z):NmSet.
[INFO] [stdout] ...   |
[INFO] [stdout] 58  | |     ret 0
[INFO] [stdout] 59  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_subtyping.rs:62:28
[INFO] [stdout]     |
[INFO] [stdout] 62  |   pub fn listing2_synth () { fgi_listing_test![
[INFO] [stdout]     |  ____________________________-
[INFO] [stdout] 63  | |
[INFO] [stdout] 64  | |     let put_one:(
[INFO] [stdout] 65  | |         Thk[0] foralli (X,Y,Z):NmSet.
[INFO] [stdout] ...   |
[INFO] [stdout] 81  | |     ret 0
[INFO] [stdout] 82  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_existentials.rs:2:25
[INFO] [stdout]     |
[INFO] [stdout] 2   |   pub fn listing0_ok () { fgi_listing_expect![ [Expect::Success]
[INFO] [stdout]     |  _________________________-
[INFO] [stdout] 3   | |
[INFO] [stdout] 4   | |     let foo:(
[INFO] [stdout] 5   | |         Thk[0] foralli (X,Y):NmSet.
[INFO] [stdout] ...   |
[INFO] [stdout] 22  | |     ret 0
[INFO] [stdout] 23  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_existentials.rs:27:25
[INFO] [stdout]     |
[INFO] [stdout] 27  |   pub fn listing1_ok () { fgi_listing_expect![ [Expect::Success]
[INFO] [stdout]     |  _________________________-
[INFO] [stdout] 28  | |     let foo:(
[INFO] [stdout] 29  | |         Thk[0] foralli (X,Y,Z):NmSet.
[INFO] [stdout] 30  | |             0 Bool ->
[INFO] [stdout] ...   |
[INFO] [stdout] 47  | |     ret 0
[INFO] [stdout] 48  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_existentials.rs:51:27
[INFO] [stdout]     |
[INFO] [stdout] 51  |   pub fn listing1_err1 () { fgi_listing_expect![[Expect::Failure]
[INFO] [stdout]     |  ___________________________-
[INFO] [stdout] 52  | |
[INFO] [stdout] 53  | |     let foo:(
[INFO] [stdout] 54  | |         Thk[0] foralli (X,Y,Z):NmSet.
[INFO] [stdout] ...   |
[INFO] [stdout] 72  | |     ret 0
[INFO] [stdout] 73  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> src/vis.rs:209:10
[INFO] [stdout]     |
[INFO] [stdout] 209 |           };
[INFO] [stdout]     |            ^ help: remove this semicolon
[INFO] [stdout]     | 
[INFO] [stdout]    ::: src/examples/basic_existentials.rs:76:27
[INFO] [stdout]     |
[INFO] [stdout] 76  |   pub fn listing1_err2 () { fgi_listing_expect![[Expect::Failure]
[INFO] [stdout]     |  ___________________________-
[INFO] [stdout] 77  | |
[INFO] [stdout] 78  | |     let foo:(
[INFO] [stdout] 79  | |         Thk[0] foralli (X,Y,Z):NmSet.
[INFO] [stdout] ...   |
[INFO] [stdout] 97  | |     ret 0
[INFO] [stdout] 98  | | ]}
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[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: 31 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: 64 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 34.44s
[INFO] running `Command { std: "docker" "inspect" "ab15019a22200022ed0c851f493aebcc231aa26ac5f31a06f1f71aa8bd06e8c9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ab15019a22200022ed0c851f493aebcc231aa26ac5f31a06f1f71aa8bd06e8c9", kill_on_drop: false }`
[INFO] [stdout] ab15019a22200022ed0c851f493aebcc231aa26ac5f31a06f1f71aa8bd06e8c9