[INFO] fetching crate kailua_check 1.1.0...
[INFO] checking kailua_check-1.1.0 against master#a609fb45efad59dfd459c76e50899be9f0583b5a for pr-80579
[INFO] extracting crate kailua_check 1.1.0 into /workspace/builds/worker-7/source
[INFO] validating manifest of crates.io crate kailua_check 1.1.0 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 kailua_check 1.1.0
[INFO] removed 0 missing tests
[INFO] removed path dependency kailua_diag from crates.io crate kailua_check 1.1.0
[INFO] removed path dependency kailua_env from crates.io crate kailua_check 1.1.0
[INFO] removed path dependency kailua_syntax from crates.io crate kailua_check 1.1.0
[INFO] removed path dependency kailua_types from crates.io crate kailua_check 1.1.0
[INFO] removed path dependency kailua_test from crates.io crate kailua_check 1.1.0
[INFO] finished tweaking crates.io crate kailua_check 1.1.0
[INFO] tweaked toml for crates.io crate kailua_check 1.1.0 written to /workspace/builds/worker-7/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] 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-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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:c8ac004eab7d63a0ad09a2dde3d3353ba464f767bee4de425dc8f74c46a1905e" "/opt/rustwide/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d4281d7bba8173c613d62249a288d7b829d5e4d23ebac8454cea6f75151199d6
[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" "d4281d7bba8173c613d62249a288d7b829d5e4d23ebac8454cea6f75151199d6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d4281d7bba8173c613d62249a288d7b829d5e4d23ebac8454cea6f75151199d6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d4281d7bba8173c613d62249a288d7b829d5e4d23ebac8454cea6f75151199d6", kill_on_drop: false }`
[INFO] [stdout] d4281d7bba8173c613d62249a288d7b829d5e4d23ebac8454cea6f75151199d6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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:c8ac004eab7d63a0ad09a2dde3d3353ba464f767bee4de425dc8f74c46a1905e" "/opt/rustwide/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 948d79db1ef142aa4f6bd889ee980026c89aa84b50bb53c64731b28080d6e100
[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" "948d79db1ef142aa4f6bd889ee980026c89aa84b50bb53c64731b28080d6e100", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.81
[INFO] [stderr]    Compiling memchr v2.3.4
[INFO] [stderr]    Compiling maybe-uninit v2.0.0
[INFO] [stderr]    Compiling regex v0.2.11
[INFO] [stderr]     Checking ucd-util v0.1.8
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking utf8-ranges v1.0.4
[INFO] [stderr]     Checking stable_deref_trait v1.2.0
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]     Checking bitflags v0.8.2
[INFO] [stderr]     Checking atomic v0.3.4
[INFO] [stderr]     Checking vec_map v0.7.0
[INFO] [stderr]     Checking take_mut v0.1.3
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking vec_map v0.8.2
[INFO] [stderr]     Checking ansi_term v0.11.0
[INFO] [stderr]     Checking lazy_static v0.2.11
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking owning_ref v0.3.3
[INFO] [stderr]     Checking regex-syntax v0.5.6
[INFO] [stderr]     Checking thread_local v0.3.6
[INFO] [stderr]     Checking kailua_diag v1.0.4
[INFO] [stderr]     Checking kailua_syntax v1.1.0
[INFO] [stderr]     Checking smallvec v0.6.13
[INFO] [stderr]     Checking aho-corasick v0.6.10
[INFO] [stderr]     Checking rand v0.4.6
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking clap v2.33.3
[INFO] [stderr]     Checking parking_lot_core v0.2.14
[INFO] [stderr]     Checking parking_lot v0.4.8
[INFO] [stderr]     Checking env_logger v0.4.3
[INFO] [stderr]     Checking kailua_types v1.1.0
[INFO] [stderr]     Checking kailua_test v1.0.4
[INFO] [stderr]     Checking kailua_check v1.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]  --> src/message.rs:4:47
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub type T<'a> = Displayed<'a, ty::T<'a>, &'a TypeContext>;
[INFO] [stdout]   |                                               ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[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/message.rs:5:45
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub type Ty<'a> = Displayed<'a, ty::Ty, &'a TypeContext>;
[INFO] [stdout]   |                                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]  --> src/message.rs:6:65
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub type SpannedTySeq<'a> = Displayed<'a, ty::SpannedTySeq, &'a TypeContext>;
[INFO] [stdout]   |                                                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]  --> src/message.rs:7:49
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub type Slot<'a> = Displayed<'a, ty::Slot, &'a TypeContext>;
[INFO] [stdout]   |                                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/options.rs:22:35
[INFO] [stdout]    |
[INFO] [stdout] 22 |                         _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stdout]    |                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/options.rs:30:36
[INFO] [stdout]    |
[INFO] [stdout] 30 |                          _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stdout]    |                                    ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/options.rs:38:32
[INFO] [stdout]    |
[INFO] [stdout] 38 |                      _report: &Report) -> Result<Chunk, Option<Stop>> {
[INFO] [stdout]    |                                ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/options.rs:52:33
[INFO] [stdout]    |
[INFO] [stdout] 52 |                        report: &Report) -> Result<Option<Chunk>, Option<Stop>>;
[INFO] [stdout]    |                                 ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/options.rs:58:59
[INFO] [stdout]    |
[INFO] [stdout] 58 |     fn to_path_buf(&self, path: Spanned<&[u8]>, _report: &Report) -> Result<PathBuf, Option<Stop>> {
[INFO] [stdout]    |                                                           ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/options.rs:90:29
[INFO] [stdout]    |
[INFO] [stdout] 90 |                    report: &Report) -> Result<Option<Chunk>, Option<Stop>> {
[INFO] [stdout]    |                             ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/options.rs:131:35
[INFO] [stdout]     |
[INFO] [stdout] 131 |                         _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stdout]     |                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/options.rs:137:36
[INFO] [stdout]     |
[INFO] [stdout] 137 |                          _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stdout]     |                                    ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/options.rs:143:31
[INFO] [stdout]     |
[INFO] [stdout] 143 |                      report: &Report) -> Result<Chunk, Option<Stop>> {
[INFO] [stdout]     |                               ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:318:52
[INFO] [stdout]     |
[INFO] [stdout] 318 |     class_systems: Vec<(Option<Spanned<Name>>, Box<ClassSystem>)>,
[INFO] [stdout]     |                                                    ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:328:66
[INFO] [stdout]     |
[INFO] [stdout] 328 |                 class_systems: vec![(None, Box::new(dumb) as Box<ClassSystem>)],
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:348:55
[INFO] [stdout]     |
[INFO] [stdout] 348 |     fn get(&self, csid: ClassSystemId) -> Option<&Box<ClassSystem>> {
[INFO] [stdout]     |                                                       ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:453:75
[INFO] [stdout]     |
[INFO] [stdout] 453 |     pub fn open_library(&mut self, name: Spanned<&[u8]>, opts: Rc<RefCell<Options>>) -> Result<()> {
[INFO] [stdout]     |                                                                           ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:658:46
[INFO] [stdout]     |
[INFO] [stdout] 658 |     fn add_span(&self, k: Kind, s: Span, m: &Localize) -> Result<()> {
[INFO] [stdout]     |                                              ^^^^^^^^ help: use `dyn`: `dyn Localize`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:666:22
[INFO] [stdout]     |
[INFO] [stdout] 666 |     opts: Rc<RefCell<Options>>,
[INFO] [stdout]     |                      ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:674:64
[INFO] [stdout]     |
[INFO] [stdout] 674 |     pub fn new(context: &'ctx mut Context<R>, opts: Rc<RefCell<Options>>,
[INFO] [stdout]     |                                                                ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:698:39
[INFO] [stdout]     |
[INFO] [stdout] 698 |     pub fn opts(&self) -> &Rc<RefCell<Options>> {
[INFO] [stdout]     |                                       ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:707:84
[INFO] [stdout]     |
[INFO] [stdout] 707 |     pub fn display<'a, 'c, T: Display>(&'c self, x: &'a T) -> Displayed<'a, T, &'c TypeContext> {
[INFO] [stdout]     |                                                                                    ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]     --> src/env.rs:1363:44
[INFO] [stdout]      |
[INFO] [stdout] 1363 | ...                   system: Box<ClassSystem>) -> Result<Option<ClassSystemId>> {
[INFO] [stdout]      |                                   ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]     --> src/env.rs:1396:46
[INFO] [stdout]      |
[INFO] [stdout] 1396 |     fn add_span(&self, k: Kind, s: Span, m: &Localize) -> Result<()> {
[INFO] [stdout]      |                                              ^^^^^^^^ help: use `dyn`: `dyn Localize`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]     --> src/env.rs:1402:27
[INFO] [stdout]      |
[INFO] [stdout] 1402 |     fn context(&self) -> &TypeContext {
[INFO] [stdout]      |                           ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]     --> src/env.rs:1406:39
[INFO] [stdout]      |
[INFO] [stdout] 1406 |     fn context_mut(&mut self) -> &mut TypeContext {
[INFO] [stdout]      |                                       ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:28:29
[INFO] [stdout]    |
[INFO] [stdout] 28 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stdout]    |                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:28:51
[INFO] [stdout]    |
[INFO] [stdout] 28 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stdout]    |                                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:38:48
[INFO] [stdout]    |
[INFO] [stdout] 38 |                     outerspan: Span, ctx: &mut TypeContext,
[INFO] [stdout]    |                                                ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:39:30
[INFO] [stdout]    |
[INFO] [stdout] 39 |                     report: &Report) -> kailua_diag::Result<Option<ClassId>>;
[INFO] [stdout]    |                              ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:59:29
[INFO] [stdout]    |
[INFO] [stdout] 59 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<Slot>>;
[INFO] [stdout]    |                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:59:51
[INFO] [stdout]    |
[INFO] [stdout] 59 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<Slot>>;
[INFO] [stdout]    |                                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:76:50
[INFO] [stdout]    |
[INFO] [stdout] 76 |                   hint: Option<&Slot>, ctx: &mut TypeContext,
[INFO] [stdout]    |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:77:28
[INFO] [stdout]    |
[INFO] [stdout] 77 |                   report: &Report) -> kailua_diag::Result<Option<(bool, Slot)>>;
[INFO] [stdout]    |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:86:28
[INFO] [stdout]    |
[INFO] [stdout] 86 |                    f: &mut FnMut(&Key, &Slot) -> Result<(), ()>) -> Result<(), ()>;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(&Key, &Slot) -> Result<(), ()>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:92:29
[INFO] [stdout]    |
[INFO] [stdout] 92 |                     f: &mut FnMut(ClassId) -> Result<(), ()>) -> Result<(), ()>;
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(ClassId) -> Result<(), ()>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/dumb.rs:53:50
[INFO] [stdout]    |
[INFO] [stdout] 53 |                     _outerspan: Span, _ctx: &mut TypeContext,
[INFO] [stdout]    |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/dumb.rs:54:30
[INFO] [stdout]    |
[INFO] [stdout] 54 |                     report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stdout]    |                              ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/dumb.rs:85:30
[INFO] [stdout]    |
[INFO] [stdout] 85 |                   _ctx: &mut TypeContext, _report: &Report) -> kailua_diag::Result<Option<Slot>> {
[INFO] [stdout]    |                              ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/dumb.rs:85:53
[INFO] [stdout]    |
[INFO] [stdout] 85 |                   _ctx: &mut TypeContext, _report: &Report) -> kailua_diag::Result<Option<Slot>> {
[INFO] [stdout]    |                                                     ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/dumb.rs:105:50
[INFO] [stdout]     |
[INFO] [stdout] 105 |                   hint: Option<&Slot>, ctx: &mut TypeContext,
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/dumb.rs:106:29
[INFO] [stdout]     |
[INFO] [stdout] 106 |                   _report: &Report) -> kailua_diag::Result<Option<(bool, Slot)>> {
[INFO] [stdout]     |                             ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/dumb.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |                    f: &mut FnMut(&Key, &Slot) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(&Key, &Slot) -> Result<(), ()>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/dumb.rs:166:30
[INFO] [stdout]     |
[INFO] [stdout] 166 |                     _f: &mut FnMut(ClassId) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(ClassId) -> Result<(), ()>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:148:39
[INFO] [stdout]     |
[INFO] [stdout] 148 | ...                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Slot> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:148:61
[INFO] [stdout]     |
[INFO] [stdout] 148 | ...                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Slot> {
[INFO] [stdout]     |                                                       ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:210:29
[INFO] [stdout]     |
[INFO] [stdout] 210 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stdout]     |                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:210:51
[INFO] [stdout]     |
[INFO] [stdout] 210 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stdout]     |                                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:223:49
[INFO] [stdout]     |
[INFO] [stdout] 223 |                     outerspan: Span, _ctx: &mut TypeContext,
[INFO] [stdout]     |                                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:224:30
[INFO] [stdout]     |
[INFO] [stdout] 224 |                     report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stdout]     |                              ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around block return value
[INFO] [stdout]    --> src/class_system/gideros.rs:295:9
[INFO] [stdout]     |
[INFO] [stdout] 295 | /         (lgen >= rgen &&
[INFO] [stdout] 296 | |          Ancestors::new(&classes, lhs).nth((lgen - rgen) as usize).map(|e| e.0) == Some(rhs))
[INFO] [stdout]     | |_____________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 295 |         lgen >= rgen &&
[INFO] [stdout] 296 |          Ancestors::new(&classes, lhs).nth((lgen - rgen) as usize).map(|e| e.0) == Some(rhs)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:299:83
[INFO] [stdout]     |
[INFO] [stdout] 299 |     fn index_rval(&self, cls: Class, key: Spanned<&Key>, expspan: Span, ctx: &mut TypeContext,
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:300:28
[INFO] [stdout]     |
[INFO] [stdout] 300 |                   report: &Report) -> kailua_diag::Result<Option<Slot>> {
[INFO] [stdout]     |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:366:50
[INFO] [stdout]     |
[INFO] [stdout] 366 |                   hint: Option<&Slot>, ctx: &mut TypeContext,
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:367:28
[INFO] [stdout]     |
[INFO] [stdout] 367 |                   report: &Report) -> kailua_diag::Result<Option<(bool, Slot)>> {
[INFO] [stdout]     |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:497:28
[INFO] [stdout]     |
[INFO] [stdout] 497 |                    f: &mut FnMut(&Key, &Slot) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(&Key, &Slot) -> Result<(), ()>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:525:29
[INFO] [stdout]     |
[INFO] [stdout] 525 |                     f: &mut FnMut(ClassId) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(ClassId) -> Result<(), ()>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/mod.rs:101:63
[INFO] [stdout]     |
[INFO] [stdout] 101 | pub fn make_predefined_class_system(name: &str) -> Option<Box<ClassSystem>> {
[INFO] [stdout]     |                                                               ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/mod.rs:108:57
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn extract_parent(mut argtys: SpannedSlotSeq, ctx: &mut TypeContext,
[INFO] [stdout]     |                                                         ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/mod.rs:109:28
[INFO] [stdout]     |
[INFO] [stdout] 109 |                   report: &Report) -> kailua_diag::Result<Option<Option<Spanned<ClassId>>>> {
[INFO] [stdout]     |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/check.rs:101:43
[INFO] [stdout]     |
[INFO] [stdout] 101 |     fn to_stmt(self, span: Span, report: &Report) -> Result<Exit> {
[INFO] [stdout]     |                                           ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/check.rs:243:80
[INFO] [stdout]     |
[INFO] [stdout] 243 |     fn display<'a, 'c, T: Display>(&'c self, x: &'a T) -> Displayed<'a, T, &'c TypeContext> {
[INFO] [stdout]     |                                                                                ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/check.rs:528:64
[INFO] [stdout]     |
[INFO] [stdout] 528 |                 let generalize_tyseq = |seq: &TySeq, ctx: &mut TypeContext| {
[INFO] [stdout]     |                                                                ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/lib.rs:68:22
[INFO] [stdout]    |
[INFO] [stdout] 68 |     opts: Rc<RefCell<options::Options>>
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/lib.rs:79:22
[INFO] [stdout]    |
[INFO] [stdout] 79 |     opts: Rc<RefCell<options::Options>>,
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]  --> src/message.rs:4:47
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub type T<'a> = Displayed<'a, ty::T<'a>, &'a TypeContext>;
[INFO] [stdout]   |                                               ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[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/message.rs:5:45
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub type Ty<'a> = Displayed<'a, ty::Ty, &'a TypeContext>;
[INFO] [stdout]   |                                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]  --> src/message.rs:6:65
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub type SpannedTySeq<'a> = Displayed<'a, ty::SpannedTySeq, &'a TypeContext>;
[INFO] [stdout]   |                                                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]  --> src/message.rs:7:49
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub type Slot<'a> = Displayed<'a, ty::Slot, &'a TypeContext>;
[INFO] [stdout]   |                                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/options.rs:22:35
[INFO] [stdout]    |
[INFO] [stdout] 22 |                         _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stdout]    |                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/options.rs:30:36
[INFO] [stdout]    |
[INFO] [stdout] 30 |                          _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stdout]    |                                    ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/options.rs:38:32
[INFO] [stdout]    |
[INFO] [stdout] 38 |                      _report: &Report) -> Result<Chunk, Option<Stop>> {
[INFO] [stdout]    |                                ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/options.rs:52:33
[INFO] [stdout]    |
[INFO] [stdout] 52 |                        report: &Report) -> Result<Option<Chunk>, Option<Stop>>;
[INFO] [stdout]    |                                 ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/options.rs:58:59
[INFO] [stdout]    |
[INFO] [stdout] 58 |     fn to_path_buf(&self, path: Spanned<&[u8]>, _report: &Report) -> Result<PathBuf, Option<Stop>> {
[INFO] [stdout]    |                                                           ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/options.rs:90:29
[INFO] [stdout]    |
[INFO] [stdout] 90 |                    report: &Report) -> Result<Option<Chunk>, Option<Stop>> {
[INFO] [stdout]    |                             ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/options.rs:131:35
[INFO] [stdout]     |
[INFO] [stdout] 131 |                         _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stdout]     |                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/options.rs:137:36
[INFO] [stdout]     |
[INFO] [stdout] 137 |                          _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stdout]     |                                    ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/options.rs:143:31
[INFO] [stdout]     |
[INFO] [stdout] 143 |                      report: &Report) -> Result<Chunk, Option<Stop>> {
[INFO] [stdout]     |                               ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:318:52
[INFO] [stdout]     |
[INFO] [stdout] 318 |     class_systems: Vec<(Option<Spanned<Name>>, Box<ClassSystem>)>,
[INFO] [stdout]     |                                                    ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:328:66
[INFO] [stdout]     |
[INFO] [stdout] 328 |                 class_systems: vec![(None, Box::new(dumb) as Box<ClassSystem>)],
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:348:55
[INFO] [stdout]     |
[INFO] [stdout] 348 |     fn get(&self, csid: ClassSystemId) -> Option<&Box<ClassSystem>> {
[INFO] [stdout]     |                                                       ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:453:75
[INFO] [stdout]     |
[INFO] [stdout] 453 |     pub fn open_library(&mut self, name: Spanned<&[u8]>, opts: Rc<RefCell<Options>>) -> Result<()> {
[INFO] [stdout]     |                                                                           ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:658:46
[INFO] [stdout]     |
[INFO] [stdout] 658 |     fn add_span(&self, k: Kind, s: Span, m: &Localize) -> Result<()> {
[INFO] [stdout]     |                                              ^^^^^^^^ help: use `dyn`: `dyn Localize`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:666:22
[INFO] [stdout]     |
[INFO] [stdout] 666 |     opts: Rc<RefCell<Options>>,
[INFO] [stdout]     |                      ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:674:64
[INFO] [stdout]     |
[INFO] [stdout] 674 |     pub fn new(context: &'ctx mut Context<R>, opts: Rc<RefCell<Options>>,
[INFO] [stdout]     |                                                                ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:698:39
[INFO] [stdout]     |
[INFO] [stdout] 698 |     pub fn opts(&self) -> &Rc<RefCell<Options>> {
[INFO] [stdout]     |                                       ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/env.rs:707:84
[INFO] [stdout]     |
[INFO] [stdout] 707 |     pub fn display<'a, 'c, T: Display>(&'c self, x: &'a T) -> Displayed<'a, T, &'c TypeContext> {
[INFO] [stdout]     |                                                                                    ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]     --> src/env.rs:1363:44
[INFO] [stdout]      |
[INFO] [stdout] 1363 | ...                   system: Box<ClassSystem>) -> Result<Option<ClassSystemId>> {
[INFO] [stdout]      |                                   ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]     --> src/env.rs:1396:46
[INFO] [stdout]      |
[INFO] [stdout] 1396 |     fn add_span(&self, k: Kind, s: Span, m: &Localize) -> Result<()> {
[INFO] [stdout]      |                                              ^^^^^^^^ help: use `dyn`: `dyn Localize`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]     --> src/env.rs:1402:27
[INFO] [stdout]      |
[INFO] [stdout] 1402 |     fn context(&self) -> &TypeContext {
[INFO] [stdout]      |                           ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]     --> src/env.rs:1406:39
[INFO] [stdout]      |
[INFO] [stdout] 1406 |     fn context_mut(&mut self) -> &mut TypeContext {
[INFO] [stdout]      |                                       ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:28:29
[INFO] [stdout]    |
[INFO] [stdout] 28 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stdout]    |                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:28:51
[INFO] [stdout]    |
[INFO] [stdout] 28 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stdout]    |                                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:38:48
[INFO] [stdout]    |
[INFO] [stdout] 38 |                     outerspan: Span, ctx: &mut TypeContext,
[INFO] [stdout]    |                                                ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:39:30
[INFO] [stdout]    |
[INFO] [stdout] 39 |                     report: &Report) -> kailua_diag::Result<Option<ClassId>>;
[INFO] [stdout]    |                              ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:59:29
[INFO] [stdout]    |
[INFO] [stdout] 59 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<Slot>>;
[INFO] [stdout]    |                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:59:51
[INFO] [stdout]    |
[INFO] [stdout] 59 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<Slot>>;
[INFO] [stdout]    |                                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:76:50
[INFO] [stdout]    |
[INFO] [stdout] 76 |                   hint: Option<&Slot>, ctx: &mut TypeContext,
[INFO] [stdout]    |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:77:28
[INFO] [stdout]    |
[INFO] [stdout] 77 |                   report: &Report) -> kailua_diag::Result<Option<(bool, Slot)>>;
[INFO] [stdout]    |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:86:28
[INFO] [stdout]    |
[INFO] [stdout] 86 |                    f: &mut FnMut(&Key, &Slot) -> Result<(), ()>) -> Result<(), ()>;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(&Key, &Slot) -> Result<(), ()>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/mod.rs:92:29
[INFO] [stdout]    |
[INFO] [stdout] 92 |                     f: &mut FnMut(ClassId) -> Result<(), ()>) -> Result<(), ()>;
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(ClassId) -> Result<(), ()>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/dumb.rs:53:50
[INFO] [stdout]    |
[INFO] [stdout] 53 |                     _outerspan: Span, _ctx: &mut TypeContext,
[INFO] [stdout]    |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/dumb.rs:54:30
[INFO] [stdout]    |
[INFO] [stdout] 54 |                     report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stdout]    |                              ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/dumb.rs:85:30
[INFO] [stdout]    |
[INFO] [stdout] 85 |                   _ctx: &mut TypeContext, _report: &Report) -> kailua_diag::Result<Option<Slot>> {
[INFO] [stdout]    |                              ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/class_system/dumb.rs:85:53
[INFO] [stdout]    |
[INFO] [stdout] 85 |                   _ctx: &mut TypeContext, _report: &Report) -> kailua_diag::Result<Option<Slot>> {
[INFO] [stdout]    |                                                     ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/dumb.rs:105:50
[INFO] [stdout]     |
[INFO] [stdout] 105 |                   hint: Option<&Slot>, ctx: &mut TypeContext,
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/dumb.rs:106:29
[INFO] [stdout]     |
[INFO] [stdout] 106 |                   _report: &Report) -> kailua_diag::Result<Option<(bool, Slot)>> {
[INFO] [stdout]     |                             ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/dumb.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |                    f: &mut FnMut(&Key, &Slot) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(&Key, &Slot) -> Result<(), ()>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/dumb.rs:166:30
[INFO] [stdout]     |
[INFO] [stdout] 166 |                     _f: &mut FnMut(ClassId) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(ClassId) -> Result<(), ()>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:148:39
[INFO] [stdout]     |
[INFO] [stdout] 148 | ...                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Slot> {
[INFO] [stdout]     |                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:148:61
[INFO] [stdout]     |
[INFO] [stdout] 148 | ...                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Slot> {
[INFO] [stdout]     |                                                       ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:210:29
[INFO] [stdout]     |
[INFO] [stdout] 210 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stdout]     |                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:210:51
[INFO] [stdout]     |
[INFO] [stdout] 210 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stdout]     |                                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:223:49
[INFO] [stdout]     |
[INFO] [stdout] 223 |                     outerspan: Span, _ctx: &mut TypeContext,
[INFO] [stdout]     |                                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:224:30
[INFO] [stdout]     |
[INFO] [stdout] 224 |                     report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stdout]     |                              ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around block return value
[INFO] [stdout]    --> src/class_system/gideros.rs:295:9
[INFO] [stdout]     |
[INFO] [stdout] 295 | /         (lgen >= rgen &&
[INFO] [stdout] 296 | |          Ancestors::new(&classes, lhs).nth((lgen - rgen) as usize).map(|e| e.0) == Some(rhs))
[INFO] [stdout]     | |_____________________________________________________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 295 |         lgen >= rgen &&
[INFO] [stdout] 296 |          Ancestors::new(&classes, lhs).nth((lgen - rgen) as usize).map(|e| e.0) == Some(rhs)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:299:83
[INFO] [stdout]     |
[INFO] [stdout] 299 |     fn index_rval(&self, cls: Class, key: Spanned<&Key>, expspan: Span, ctx: &mut TypeContext,
[INFO] [stdout]     |                                                                                   ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:300:28
[INFO] [stdout]     |
[INFO] [stdout] 300 |                   report: &Report) -> kailua_diag::Result<Option<Slot>> {
[INFO] [stdout]     |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:366:50
[INFO] [stdout]     |
[INFO] [stdout] 366 |                   hint: Option<&Slot>, ctx: &mut TypeContext,
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:367:28
[INFO] [stdout]     |
[INFO] [stdout] 367 |                   report: &Report) -> kailua_diag::Result<Option<(bool, Slot)>> {
[INFO] [stdout]     |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:497:28
[INFO] [stdout]     |
[INFO] [stdout] 497 |                    f: &mut FnMut(&Key, &Slot) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(&Key, &Slot) -> Result<(), ()>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/gideros.rs:525:29
[INFO] [stdout]     |
[INFO] [stdout] 525 |                     f: &mut FnMut(ClassId) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(ClassId) -> Result<(), ()>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/mod.rs:101:63
[INFO] [stdout]     |
[INFO] [stdout] 101 | pub fn make_predefined_class_system(name: &str) -> Option<Box<ClassSystem>> {
[INFO] [stdout]     |                                                               ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/mod.rs:108:57
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn extract_parent(mut argtys: SpannedSlotSeq, ctx: &mut TypeContext,
[INFO] [stdout]     |                                                         ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/class_system/mod.rs:109:28
[INFO] [stdout]     |
[INFO] [stdout] 109 |                   report: &Report) -> kailua_diag::Result<Option<Option<Spanned<ClassId>>>> {
[INFO] [stdout]     |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/check.rs:101:43
[INFO] [stdout]     |
[INFO] [stdout] 101 |     fn to_stmt(self, span: Span, report: &Report) -> Result<Exit> {
[INFO] [stdout]     |                                           ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/check.rs:243:80
[INFO] [stdout]     |
[INFO] [stdout] 243 |     fn display<'a, 'c, T: Display>(&'c self, x: &'a T) -> Displayed<'a, T, &'c TypeContext> {
[INFO] [stdout]     |                                                                                ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/check.rs:528:64
[INFO] [stdout]     |
[INFO] [stdout] 528 |                 let generalize_tyseq = |seq: &TySeq, ctx: &mut TypeContext| {
[INFO] [stdout]     |                                                                ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/lib.rs:68:22
[INFO] [stdout]    |
[INFO] [stdout] 68 |     opts: Rc<RefCell<options::Options>>
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/lib.rs:79:22
[INFO] [stdout]    |
[INFO] [stdout] 79 |     opts: Rc<RefCell<options::Options>>,
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated trait `std::ascii::AsciiExt`: use inherent methods instead
[INFO] [stdout]  --> src/options.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::ascii::AsciiExt;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated trait `std::ascii::AsciiExt`: use inherent methods instead
[INFO] [stdout]  --> src/options.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::ascii::AsciiExt;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::ascii::AsciiExt`
[INFO] [stdout]  --> src/options.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::ascii::AsciiExt;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::ascii::AsciiExt`
[INFO] [stdout]  --> src/options.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::ascii::AsciiExt;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/check.rs:1281:21
[INFO] [stdout]      |
[INFO] [stdout] 1281 |                 let mut modules = self.pending_modules.last_mut().unwrap();
[INFO] [stdout]      |                     ----^^^^^^^
[INFO] [stdout]      |                     |
[INFO] [stdout]      |                     help: remove this `mut`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/check.rs:1302:13
[INFO] [stdout]      |
[INFO] [stdout] 1302 |         let mut modules = self.pending_modules.last_mut().unwrap();
[INFO] [stdout]      |             ----^^^^^^^
[INFO] [stdout]      |             |
[INFO] [stdout]      |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/check.rs:1281:21
[INFO] [stdout]      |
[INFO] [stdout] 1281 |                 let mut modules = self.pending_modules.last_mut().unwrap();
[INFO] [stdout]      |                     ----^^^^^^^
[INFO] [stdout]      |                     |
[INFO] [stdout]      |                     help: remove this `mut`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/check.rs:1302:13
[INFO] [stdout]      |
[INFO] [stdout] 1302 |         let mut modules = self.pending_modules.last_mut().unwrap();
[INFO] [stdout]      |             ----^^^^^^^
[INFO] [stdout]      |             |
[INFO] [stdout]      |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/check.rs:2882:17
[INFO] [stdout]      |
[INFO] [stdout] 2882 |             let mut modules = self.pending_modules.last_mut().expect("missing PendingModules");
[INFO] [stdout]      |                 ----^^^^^^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> src/check.rs:2882:17
[INFO] [stdout]      |
[INFO] [stdout] 2882 |             let mut modules = self.pending_modules.last_mut().expect("missing PendingModules");
[INFO] [stdout]      |                 ----^^^^^^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 70 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 70 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::str`
[INFO] [stdout]  --> src/bin/kailua-check.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::str;
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/bin/kailua-check.rs:28:33
[INFO] [stdout]    |
[INFO] [stdout] 28 |                        report: &Report) -> Result<Option<Chunk>, Option<Stop>> {
[INFO] [stdout]    |                                 ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::str`
[INFO] [stdout]  --> src/bin/kailua-check.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::str;
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/bin/kailua-check.rs:28:33
[INFO] [stdout]    |
[INFO] [stdout] 28 |                        report: &Report) -> Result<Option<Chunk>, Option<Stop>> {
[INFO] [stdout]    |                                 ^^^^^^ help: use `dyn`: `dyn Report`
[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]   --> tests/kailua-check-test.rs:50:23
[INFO] [stdout]    |
[INFO] [stdout] 50 |            report: Rc<Report>) -> String {
[INFO] [stdout]    |                       ^^^^^^ help: use `dyn`: `dyn Report`
[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]   --> tests/kailua-check-test.rs:63:39
[INFO] [stdout]    |
[INFO] [stdout] 63 | ...                   report: &Report) -> Result<Chunk, Option<Stop>> {
[INFO] [stdout]    |                                ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> tests/kailua-check-test.rs:84:68
[INFO] [stdout]    |
[INFO] [stdout] 84 | ...                   slot.display(context.types() as &TypeContext)
[INFO] [stdout]    |                                                        ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 3 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 23.14s
[INFO] running `Command { std: "docker" "inspect" "948d79db1ef142aa4f6bd889ee980026c89aa84b50bb53c64731b28080d6e100", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "948d79db1ef142aa4f6bd889ee980026c89aa84b50bb53c64731b28080d6e100", kill_on_drop: false }`
[INFO] [stdout] 948d79db1ef142aa4f6bd889ee980026c89aa84b50bb53c64731b28080d6e100