[INFO] crate kailua_check 1.1.0 is already in cache
[INFO] checking kailua_check-1.1.0 against master#bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc for pr-70917
[INFO] extracting crate kailua_check 1.1.0 into /workspace/builds/worker-13/source
[INFO] validating manifest of crates.io crate kailua_check 1.1.0 on toolchain bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc
[INFO] running `"/workspace/cargo-home/bin/cargo" "+bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc" "read-manifest" "--manifest-path" "Cargo.toml"`
[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-13/source/Cargo.toml
[INFO] running `"/workspace/cargo-home/bin/cargo" "+bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/workspace/cargo-home/bin/cargo" "+bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 0927f761d40d7a9dd6f08f306d439c348dad85c6d5a23f94e04d7b83bcbe8ff7
[INFO] running `"docker" "start" "-a" "0927f761d40d7a9dd6f08f306d439c348dad85c6d5a23f94e04d7b83bcbe8ff7"`
[INFO] [stderr]     Checking take_mut v0.1.3
[INFO] [stderr]     Checking atomic v0.3.4
[INFO] [stderr]     Checking vec_map v0.7.0
[INFO] [stderr]     Checking kailua_syntax v1.1.0
[INFO] [stderr]     Checking kailua_test v1.0.4
[INFO] [stderr]     Checking kailua_types v1.1.0
[INFO] [stderr]     Checking kailua_check v1.1.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]  --> src/message.rs:4:47
[INFO] [stderr]   |
[INFO] [stderr] 4 | pub type T<'a> = Displayed<'a, ty::T<'a>, &'a TypeContext>;
[INFO] [stderr]   |                                               ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]  --> src/message.rs:5:45
[INFO] [stderr]   |
[INFO] [stderr] 5 | pub type Ty<'a> = Displayed<'a, ty::Ty, &'a TypeContext>;
[INFO] [stderr]   |                                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]  --> src/message.rs:6:65
[INFO] [stderr]   |
[INFO] [stderr] 6 | pub type SpannedTySeq<'a> = Displayed<'a, ty::SpannedTySeq, &'a TypeContext>;
[INFO] [stderr]   |                                                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]  --> src/message.rs:7:49
[INFO] [stderr]   |
[INFO] [stderr] 7 | pub type Slot<'a> = Displayed<'a, ty::Slot, &'a TypeContext>;
[INFO] [stderr]   |                                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/options.rs:22:35
[INFO] [stderr]    |
[INFO] [stderr] 22 |                         _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stderr]    |                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/options.rs:30:36
[INFO] [stderr]    |
[INFO] [stderr] 30 |                          _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stderr]    |                                    ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/options.rs:38:32
[INFO] [stderr]    |
[INFO] [stderr] 38 |                      _report: &Report) -> Result<Chunk, Option<Stop>> {
[INFO] [stderr]    |                                ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/options.rs:52:33
[INFO] [stderr]    |
[INFO] [stderr] 52 |                        report: &Report) -> Result<Option<Chunk>, Option<Stop>>;
[INFO] [stderr]    |                                 ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/options.rs:58:59
[INFO] [stderr]    |
[INFO] [stderr] 58 |     fn to_path_buf(&self, path: Spanned<&[u8]>, _report: &Report) -> Result<PathBuf, Option<Stop>> {
[INFO] [stderr]    |                                                           ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/options.rs:90:29
[INFO] [stderr]    |
[INFO] [stderr] 90 |                    report: &Report) -> Result<Option<Chunk>, Option<Stop>> {
[INFO] [stderr]    |                             ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/options.rs:131:35
[INFO] [stderr]     |
[INFO] [stderr] 131 |                         _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stderr]     |                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/options.rs:137:36
[INFO] [stderr]     |
[INFO] [stderr] 137 |                          _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stderr]     |                                    ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/options.rs:143:31
[INFO] [stderr]     |
[INFO] [stderr] 143 |                      report: &Report) -> Result<Chunk, Option<Stop>> {
[INFO] [stderr]     |                               ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:318:52
[INFO] [stderr]     |
[INFO] [stderr] 318 |     class_systems: Vec<(Option<Spanned<Name>>, Box<ClassSystem>)>,
[INFO] [stderr]     |                                                    ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:328:66
[INFO] [stderr]     |
[INFO] [stderr] 328 |                 class_systems: vec![(None, Box::new(dumb) as Box<ClassSystem>)],
[INFO] [stderr]     |                                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:348:55
[INFO] [stderr]     |
[INFO] [stderr] 348 |     fn get(&self, csid: ClassSystemId) -> Option<&Box<ClassSystem>> {
[INFO] [stderr]     |                                                       ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:453:75
[INFO] [stderr]     |
[INFO] [stderr] 453 |     pub fn open_library(&mut self, name: Spanned<&[u8]>, opts: Rc<RefCell<Options>>) -> Result<()> {
[INFO] [stderr]     |                                                                           ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:658:46
[INFO] [stderr]     |
[INFO] [stderr] 658 |     fn add_span(&self, k: Kind, s: Span, m: &Localize) -> Result<()> {
[INFO] [stderr]     |                                              ^^^^^^^^ help: use `dyn`: `dyn Localize`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:666:22
[INFO] [stderr]     |
[INFO] [stderr] 666 |     opts: Rc<RefCell<Options>>,
[INFO] [stderr]     |                      ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:674:64
[INFO] [stderr]     |
[INFO] [stderr] 674 |     pub fn new(context: &'ctx mut Context<R>, opts: Rc<RefCell<Options>>,
[INFO] [stderr]     |                                                                ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:698:39
[INFO] [stderr]     |
[INFO] [stderr] 698 |     pub fn opts(&self) -> &Rc<RefCell<Options>> {
[INFO] [stderr]     |                                       ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:707:84
[INFO] [stderr]     |
[INFO] [stderr] 707 |     pub fn display<'a, 'c, T: Display>(&'c self, x: &'a T) -> Displayed<'a, T, &'c TypeContext> {
[INFO] [stderr]     |                                                                                    ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/env.rs:1363:44
[INFO] [stderr]      |
[INFO] [stderr] 1363 | ...                   system: Box<ClassSystem>) -> Result<Option<ClassSystemId>> {
[INFO] [stderr]      |                                   ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/env.rs:1396:46
[INFO] [stderr]      |
[INFO] [stderr] 1396 |     fn add_span(&self, k: Kind, s: Span, m: &Localize) -> Result<()> {
[INFO] [stderr]      |                                              ^^^^^^^^ help: use `dyn`: `dyn Localize`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/env.rs:1402:27
[INFO] [stderr]      |
[INFO] [stderr] 1402 |     fn context(&self) -> &TypeContext {
[INFO] [stderr]      |                           ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/env.rs:1406:39
[INFO] [stderr]      |
[INFO] [stderr] 1406 |     fn context_mut(&mut self) -> &mut TypeContext {
[INFO] [stderr]      |                                       ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:28:29
[INFO] [stderr]    |
[INFO] [stderr] 28 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stderr]    |                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:28:51
[INFO] [stderr]    |
[INFO] [stderr] 28 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stderr]    |                                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:38:48
[INFO] [stderr]    |
[INFO] [stderr] 38 |                     outerspan: Span, ctx: &mut TypeContext,
[INFO] [stderr]    |                                                ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:39:30
[INFO] [stderr]    |
[INFO] [stderr] 39 |                     report: &Report) -> kailua_diag::Result<Option<ClassId>>;
[INFO] [stderr]    |                              ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:59:29
[INFO] [stderr]    |
[INFO] [stderr] 59 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<Slot>>;
[INFO] [stderr]    |                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:59:51
[INFO] [stderr]    |
[INFO] [stderr] 59 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<Slot>>;
[INFO] [stderr]    |                                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:76:50
[INFO] [stderr]    |
[INFO] [stderr] 76 |                   hint: Option<&Slot>, ctx: &mut TypeContext,
[INFO] [stderr]    |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:77:28
[INFO] [stderr]    |
[INFO] [stderr] 77 |                   report: &Report) -> kailua_diag::Result<Option<(bool, Slot)>>;
[INFO] [stderr]    |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:86:28
[INFO] [stderr]    |
[INFO] [stderr] 86 |                    f: &mut FnMut(&Key, &Slot) -> Result<(), ()>) -> Result<(), ()>;
[INFO] [stderr]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(&Key, &Slot) -> Result<(), ()>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:92:29
[INFO] [stderr]    |
[INFO] [stderr] 92 |                     f: &mut FnMut(ClassId) -> Result<(), ()>) -> Result<(), ()>;
[INFO] [stderr]    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(ClassId) -> Result<(), ()>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/dumb.rs:53:50
[INFO] [stderr]    |
[INFO] [stderr] 53 |                     _outerspan: Span, _ctx: &mut TypeContext,
[INFO] [stderr]    |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/dumb.rs:54:30
[INFO] [stderr]    |
[INFO] [stderr] 54 |                     report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stderr]    |                              ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/dumb.rs:85:30
[INFO] [stderr]    |
[INFO] [stderr] 85 |                   _ctx: &mut TypeContext, _report: &Report) -> kailua_diag::Result<Option<Slot>> {
[INFO] [stderr]    |                              ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/dumb.rs:85:53
[INFO] [stderr]    |
[INFO] [stderr] 85 |                   _ctx: &mut TypeContext, _report: &Report) -> kailua_diag::Result<Option<Slot>> {
[INFO] [stderr]    |                                                     ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/dumb.rs:105:50
[INFO] [stderr]     |
[INFO] [stderr] 105 |                   hint: Option<&Slot>, ctx: &mut TypeContext,
[INFO] [stderr]     |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/dumb.rs:106:29
[INFO] [stderr]     |
[INFO] [stderr] 106 |                   _report: &Report) -> kailua_diag::Result<Option<(bool, Slot)>> {
[INFO] [stderr]     |                             ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/dumb.rs:141:28
[INFO] [stderr]     |
[INFO] [stderr] 141 |                    f: &mut FnMut(&Key, &Slot) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stderr]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(&Key, &Slot) -> Result<(), ()>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/dumb.rs:166:30
[INFO] [stderr]     |
[INFO] [stderr] 166 |                     _f: &mut FnMut(ClassId) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stderr]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(ClassId) -> Result<(), ()>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:148:39
[INFO] [stderr]     |
[INFO] [stderr] 148 | ...                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Slot> {
[INFO] [stderr]     |                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:148:61
[INFO] [stderr]     |
[INFO] [stderr] 148 | ...                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Slot> {
[INFO] [stderr]     |                                                       ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:210:29
[INFO] [stderr]     |
[INFO] [stderr] 210 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stderr]     |                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:210:51
[INFO] [stderr]     |
[INFO] [stderr] 210 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stderr]     |                                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:223:49
[INFO] [stderr]     |
[INFO] [stderr] 223 |                     outerspan: Span, _ctx: &mut TypeContext,
[INFO] [stderr]     |                                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:224:30
[INFO] [stderr]     |
[INFO] [stderr] 224 |                     report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stderr]     |                              ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary parentheses around block return value
[INFO] [stderr]    --> src/class_system/gideros.rs:295:9
[INFO] [stderr]     |
[INFO] [stderr] 295 | /         (lgen >= rgen &&
[INFO] [stderr] 296 | |          Ancestors::new(&classes, lhs).nth((lgen - rgen) as usize).map(|e| e.0) == Some(rhs))
[INFO] [stderr]     | |_____________________________________________________________________________________________^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]     |
[INFO] [stderr] 295 |         lgen >= rgen &&
[INFO] [stderr] 296 |          Ancestors::new(&classes, lhs).nth((lgen - rgen) as usize).map(|e| e.0) == Some(rhs)
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:299:83
[INFO] [stderr]     |
[INFO] [stderr] 299 |     fn index_rval(&self, cls: Class, key: Spanned<&Key>, expspan: Span, ctx: &mut TypeContext,
[INFO] [stderr]     |                                                                                   ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:300:28
[INFO] [stderr]     |
[INFO] [stderr] 300 |                   report: &Report) -> kailua_diag::Result<Option<Slot>> {
[INFO] [stderr]     |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:366:50
[INFO] [stderr]     |
[INFO] [stderr] 366 |                   hint: Option<&Slot>, ctx: &mut TypeContext,
[INFO] [stderr]     |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:367:28
[INFO] [stderr]     |
[INFO] [stderr] 367 |                   report: &Report) -> kailua_diag::Result<Option<(bool, Slot)>> {
[INFO] [stderr]     |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:497:28
[INFO] [stderr]     |
[INFO] [stderr] 497 |                    f: &mut FnMut(&Key, &Slot) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stderr]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(&Key, &Slot) -> Result<(), ()>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:525:29
[INFO] [stderr]     |
[INFO] [stderr] 525 |                     f: &mut FnMut(ClassId) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stderr]     |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(ClassId) -> Result<(), ()>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/mod.rs:101:63
[INFO] [stderr]     |
[INFO] [stderr] 101 | pub fn make_predefined_class_system(name: &str) -> Option<Box<ClassSystem>> {
[INFO] [stderr]     |                                                               ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/mod.rs:108:57
[INFO] [stderr]     |
[INFO] [stderr] 108 | fn extract_parent(mut argtys: SpannedSlotSeq, ctx: &mut TypeContext,
[INFO] [stderr]     |                                                         ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/mod.rs:109:28
[INFO] [stderr]     |
[INFO] [stderr] 109 |                   report: &Report) -> kailua_diag::Result<Option<Option<Spanned<ClassId>>>> {
[INFO] [stderr]     |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/check.rs:101:43
[INFO] [stderr]     |
[INFO] [stderr] 101 |     fn to_stmt(self, span: Span, report: &Report) -> Result<Exit> {
[INFO] [stderr]     |                                           ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/check.rs:243:80
[INFO] [stderr]     |
[INFO] [stderr] 243 |     fn display<'a, 'c, T: Display>(&'c self, x: &'a T) -> Displayed<'a, T, &'c TypeContext> {
[INFO] [stderr]     |                                                                                ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/check.rs:528:64
[INFO] [stderr]     |
[INFO] [stderr] 528 |                 let generalize_tyseq = |seq: &TySeq, ctx: &mut TypeContext| {
[INFO] [stderr]     |                                                                ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/lib.rs:68:22
[INFO] [stderr]    |
[INFO] [stderr] 68 |     opts: Rc<RefCell<options::Options>>
[INFO] [stderr]    |                      ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/lib.rs:79:22
[INFO] [stderr]    |
[INFO] [stderr] 79 |     opts: Rc<RefCell<options::Options>>,
[INFO] [stderr]    |                      ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options`
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead
[INFO] [stderr]  --> src/options.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 | use std::ascii::AsciiExt;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]  --> src/message.rs:4:47
[INFO] [stderr]   |
[INFO] [stderr] 4 | pub type T<'a> = Displayed<'a, ty::T<'a>, &'a TypeContext>;
[INFO] [stderr]   |                                               ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]  --> src/message.rs:5:45
[INFO] [stderr]   |
[INFO] [stderr] 5 | pub type Ty<'a> = Displayed<'a, ty::Ty, &'a TypeContext>;
[INFO] [stderr]   |                                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]  --> src/message.rs:6:65
[INFO] [stderr]   |
[INFO] [stderr] 6 | pub type SpannedTySeq<'a> = Displayed<'a, ty::SpannedTySeq, &'a TypeContext>;
[INFO] [stderr]   |                                                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]  --> src/message.rs:7:49
[INFO] [stderr]   |
[INFO] [stderr] 7 | pub type Slot<'a> = Displayed<'a, ty::Slot, &'a TypeContext>;
[INFO] [stderr]   |                                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/options.rs:22:35
[INFO] [stderr]    |
[INFO] [stderr] 22 |                         _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stderr]    |                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/options.rs:30:36
[INFO] [stderr]    |
[INFO] [stderr] 30 |                          _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stderr]    |                                    ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/options.rs:38:32
[INFO] [stderr]    |
[INFO] [stderr] 38 |                      _report: &Report) -> Result<Chunk, Option<Stop>> {
[INFO] [stderr]    |                                ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/options.rs:52:33
[INFO] [stderr]    |
[INFO] [stderr] 52 |                        report: &Report) -> Result<Option<Chunk>, Option<Stop>>;
[INFO] [stderr]    |                                 ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/options.rs:58:59
[INFO] [stderr]    |
[INFO] [stderr] 58 |     fn to_path_buf(&self, path: Spanned<&[u8]>, _report: &Report) -> Result<PathBuf, Option<Stop>> {
[INFO] [stderr]    |                                                           ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/options.rs:90:29
[INFO] [stderr]    |
[INFO] [stderr] 90 |                    report: &Report) -> Result<Option<Chunk>, Option<Stop>> {
[INFO] [stderr]    |                             ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/options.rs:131:35
[INFO] [stderr]     |
[INFO] [stderr] 131 |                         _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stderr]     |                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/options.rs:137:36
[INFO] [stderr]     |
[INFO] [stderr] 137 |                          _report: &Report) -> Result<(), Option<Stop>> {
[INFO] [stderr]     |                                    ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/options.rs:143:31
[INFO] [stderr]     |
[INFO] [stderr] 143 |                      report: &Report) -> Result<Chunk, Option<Stop>> {
[INFO] [stderr]     |                               ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:318:52
[INFO] [stderr]     |
[INFO] [stderr] 318 |     class_systems: Vec<(Option<Spanned<Name>>, Box<ClassSystem>)>,
[INFO] [stderr]     |                                                    ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:328:66
[INFO] [stderr]     |
[INFO] [stderr] 328 |                 class_systems: vec![(None, Box::new(dumb) as Box<ClassSystem>)],
[INFO] [stderr]     |                                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:348:55
[INFO] [stderr]     |
[INFO] [stderr] 348 |     fn get(&self, csid: ClassSystemId) -> Option<&Box<ClassSystem>> {
[INFO] [stderr]     |                                                       ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:453:75
[INFO] [stderr]     |
[INFO] [stderr] 453 |     pub fn open_library(&mut self, name: Spanned<&[u8]>, opts: Rc<RefCell<Options>>) -> Result<()> {
[INFO] [stderr]     |                                                                           ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:658:46
[INFO] [stderr]     |
[INFO] [stderr] 658 |     fn add_span(&self, k: Kind, s: Span, m: &Localize) -> Result<()> {
[INFO] [stderr]     |                                              ^^^^^^^^ help: use `dyn`: `dyn Localize`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:666:22
[INFO] [stderr]     |
[INFO] [stderr] 666 |     opts: Rc<RefCell<Options>>,
[INFO] [stderr]     |                      ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:674:64
[INFO] [stderr]     |
[INFO] [stderr] 674 |     pub fn new(context: &'ctx mut Context<R>, opts: Rc<RefCell<Options>>,
[INFO] [stderr]     |                                                                ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:698:39
[INFO] [stderr]     |
[INFO] [stderr] 698 |     pub fn opts(&self) -> &Rc<RefCell<Options>> {
[INFO] [stderr]     |                                       ^^^^^^^ help: use `dyn`: `dyn Options`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/env.rs:707:84
[INFO] [stderr]     |
[INFO] [stderr] 707 |     pub fn display<'a, 'c, T: Display>(&'c self, x: &'a T) -> Displayed<'a, T, &'c TypeContext> {
[INFO] [stderr]     |                                                                                    ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/env.rs:1363:44
[INFO] [stderr]      |
[INFO] [stderr] 1363 | ...                   system: Box<ClassSystem>) -> Result<Option<ClassSystemId>> {
[INFO] [stderr]      |                                   ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/env.rs:1396:46
[INFO] [stderr]      |
[INFO] [stderr] 1396 |     fn add_span(&self, k: Kind, s: Span, m: &Localize) -> Result<()> {
[INFO] [stderr]      |                                              ^^^^^^^^ help: use `dyn`: `dyn Localize`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/env.rs:1402:27
[INFO] [stderr]      |
[INFO] [stderr] 1402 |     fn context(&self) -> &TypeContext {
[INFO] [stderr]      |                           ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]     --> src/env.rs:1406:39
[INFO] [stderr]      |
[INFO] [stderr] 1406 |     fn context_mut(&mut self) -> &mut TypeContext {
[INFO] [stderr]      |                                       ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:28:29
[INFO] [stderr]    |
[INFO] [stderr] 28 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stderr]    |                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:28:51
[INFO] [stderr]    |
[INFO] [stderr] 28 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stderr]    |                                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:38:48
[INFO] [stderr]    |
[INFO] [stderr] 38 |                     outerspan: Span, ctx: &mut TypeContext,
[INFO] [stderr]    |                                                ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:39:30
[INFO] [stderr]    |
[INFO] [stderr] 39 |                     report: &Report) -> kailua_diag::Result<Option<ClassId>>;
[INFO] [stderr]    |                              ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:59:29
[INFO] [stderr]    |
[INFO] [stderr] 59 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<Slot>>;
[INFO] [stderr]    |                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:59:51
[INFO] [stderr]    |
[INFO] [stderr] 59 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<Slot>>;
[INFO] [stderr]    |                                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:76:50
[INFO] [stderr]    |
[INFO] [stderr] 76 |                   hint: Option<&Slot>, ctx: &mut TypeContext,
[INFO] [stderr]    |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:77:28
[INFO] [stderr]    |
[INFO] [stderr] 77 |                   report: &Report) -> kailua_diag::Result<Option<(bool, Slot)>>;
[INFO] [stderr]    |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:86:28
[INFO] [stderr]    |
[INFO] [stderr] 86 |                    f: &mut FnMut(&Key, &Slot) -> Result<(), ()>) -> Result<(), ()>;
[INFO] [stderr]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(&Key, &Slot) -> Result<(), ()>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/mod.rs:92:29
[INFO] [stderr]    |
[INFO] [stderr] 92 |                     f: &mut FnMut(ClassId) -> Result<(), ()>) -> Result<(), ()>;
[INFO] [stderr]    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(ClassId) -> Result<(), ()>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/dumb.rs:53:50
[INFO] [stderr]    |
[INFO] [stderr] 53 |                     _outerspan: Span, _ctx: &mut TypeContext,
[INFO] [stderr]    |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/dumb.rs:54:30
[INFO] [stderr]    |
[INFO] [stderr] 54 |                     report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stderr]    |                              ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/dumb.rs:85:30
[INFO] [stderr]    |
[INFO] [stderr] 85 |                   _ctx: &mut TypeContext, _report: &Report) -> kailua_diag::Result<Option<Slot>> {
[INFO] [stderr]    |                              ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/class_system/dumb.rs:85:53
[INFO] [stderr]    |
[INFO] [stderr] 85 |                   _ctx: &mut TypeContext, _report: &Report) -> kailua_diag::Result<Option<Slot>> {
[INFO] [stderr]    |                                                     ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/dumb.rs:105:50
[INFO] [stderr]     |
[INFO] [stderr] 105 |                   hint: Option<&Slot>, ctx: &mut TypeContext,
[INFO] [stderr]     |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/dumb.rs:106:29
[INFO] [stderr]     |
[INFO] [stderr] 106 |                   _report: &Report) -> kailua_diag::Result<Option<(bool, Slot)>> {
[INFO] [stderr]     |                             ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/dumb.rs:141:28
[INFO] [stderr]     |
[INFO] [stderr] 141 |                    f: &mut FnMut(&Key, &Slot) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stderr]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(&Key, &Slot) -> Result<(), ()>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/dumb.rs:166:30
[INFO] [stderr]     |
[INFO] [stderr] 166 |                     _f: &mut FnMut(ClassId) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stderr]     |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(ClassId) -> Result<(), ()>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:148:39
[INFO] [stderr]     |
[INFO] [stderr] 148 | ...                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Slot> {
[INFO] [stderr]     |                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:148:61
[INFO] [stderr]     |
[INFO] [stderr] 148 | ...                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Slot> {
[INFO] [stderr]     |                                                       ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:210:29
[INFO] [stderr]     |
[INFO] [stderr] 210 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stderr]     |                             ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:210:51
[INFO] [stderr]     |
[INFO] [stderr] 210 |                   ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stderr]     |                                                   ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:223:49
[INFO] [stderr]     |
[INFO] [stderr] 223 |                     outerspan: Span, _ctx: &mut TypeContext,
[INFO] [stderr]     |                                                 ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:224:30
[INFO] [stderr]     |
[INFO] [stderr] 224 |                     report: &Report) -> kailua_diag::Result<Option<ClassId>> {
[INFO] [stderr]     |                              ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary parentheses around block return value
[INFO] [stderr]    --> src/class_system/gideros.rs:295:9
[INFO] [stderr]     |
[INFO] [stderr] 295 | /         (lgen >= rgen &&
[INFO] [stderr] 296 | |          Ancestors::new(&classes, lhs).nth((lgen - rgen) as usize).map(|e| e.0) == Some(rhs))
[INFO] [stderr]     | |_____________________________________________________________________________________________^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]     |
[INFO] [stderr] 295 |         lgen >= rgen &&
[INFO] [stderr] 296 |          Ancestors::new(&classes, lhs).nth((lgen - rgen) as usize).map(|e| e.0) == Some(rhs)
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:299:83
[INFO] [stderr]     |
[INFO] [stderr] 299 |     fn index_rval(&self, cls: Class, key: Spanned<&Key>, expspan: Span, ctx: &mut TypeContext,
[INFO] [stderr]     |                                                                                   ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:300:28
[INFO] [stderr]     |
[INFO] [stderr] 300 |                   report: &Report) -> kailua_diag::Result<Option<Slot>> {
[INFO] [stderr]     |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:366:50
[INFO] [stderr]     |
[INFO] [stderr] 366 |                   hint: Option<&Slot>, ctx: &mut TypeContext,
[INFO] [stderr]     |                                                  ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:367:28
[INFO] [stderr]     |
[INFO] [stderr] 367 |                   report: &Report) -> kailua_diag::Result<Option<(bool, Slot)>> {
[INFO] [stderr]     |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:497:28
[INFO] [stderr]     |
[INFO] [stderr] 497 |                    f: &mut FnMut(&Key, &Slot) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stderr]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(&Key, &Slot) -> Result<(), ()>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/gideros.rs:525:29
[INFO] [stderr]     |
[INFO] [stderr] 525 |                     f: &mut FnMut(ClassId) -> Result<(), ()>) -> Result<(), ()> {
[INFO] [stderr]     |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(ClassId) -> Result<(), ()>`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/mod.rs:101:63
[INFO] [stderr]     |
[INFO] [stderr] 101 | pub fn make_predefined_class_system(name: &str) -> Option<Box<ClassSystem>> {
[INFO] [stderr]     |                                                               ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/mod.rs:108:57
[INFO] [stderr]     |
[INFO] [stderr] 108 | fn extract_parent(mut argtys: SpannedSlotSeq, ctx: &mut TypeContext,
[INFO] [stderr]     |                                                         ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/class_system/mod.rs:109:28
[INFO] [stderr]     |
[INFO] [stderr] 109 |                   report: &Report) -> kailua_diag::Result<Option<Option<Spanned<ClassId>>>> {
[INFO] [stderr]     |                            ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/check.rs:101:43
[INFO] [stderr]     |
[INFO] [stderr] 101 |     fn to_stmt(self, span: Span, report: &Report) -> Result<Exit> {
[INFO] [stderr]     |                                           ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/check.rs:243:80
[INFO] [stderr]     |
[INFO] [stderr] 243 |     fn display<'a, 'c, T: Display>(&'c self, x: &'a T) -> Displayed<'a, T, &'c TypeContext> {
[INFO] [stderr]     |                                                                                ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/check.rs:528:64
[INFO] [stderr]     |
[INFO] [stderr] 528 |                 let generalize_tyseq = |seq: &TySeq, ctx: &mut TypeContext| {
[INFO] [stderr]     |                                                                ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/lib.rs:68:22
[INFO] [stderr]    |
[INFO] [stderr] 68 |     opts: Rc<RefCell<options::Options>>
[INFO] [stderr]    |                      ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/lib.rs:79:22
[INFO] [stderr]    |
[INFO] [stderr] 79 |     opts: Rc<RefCell<options::Options>>,
[INFO] [stderr]    |                      ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options`
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead
[INFO] [stderr]  --> src/options.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 | use std::ascii::AsciiExt;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::ascii::AsciiExt`
[INFO] [stderr]  --> src/options.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 | use std::ascii::AsciiExt;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::ascii::AsciiExt`
[INFO] [stderr]  --> src/options.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 | use std::ascii::AsciiExt;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/check.rs:1281:21
[INFO] [stderr]      |
[INFO] [stderr] 1281 |                 let mut modules = self.pending_modules.last_mut().unwrap();
[INFO] [stderr]      |                     ----^^^^^^^
[INFO] [stderr]      |                     |
[INFO] [stderr]      |                     help: remove this `mut`
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(unused_mut)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/check.rs:1302:13
[INFO] [stderr]      |
[INFO] [stderr] 1302 |         let mut modules = self.pending_modules.last_mut().unwrap();
[INFO] [stderr]      |             ----^^^^^^^
[INFO] [stderr]      |             |
[INFO] [stderr]      |             help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/check.rs:1281:21
[INFO] [stderr]      |
[INFO] [stderr] 1281 |                 let mut modules = self.pending_modules.last_mut().unwrap();
[INFO] [stderr]      |                     ----^^^^^^^
[INFO] [stderr]      |                     |
[INFO] [stderr]      |                     help: remove this `mut`
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(unused_mut)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/check.rs:1302:13
[INFO] [stderr]      |
[INFO] [stderr] 1302 |         let mut modules = self.pending_modules.last_mut().unwrap();
[INFO] [stderr]      |             ----^^^^^^^
[INFO] [stderr]      |             |
[INFO] [stderr]      |             help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/check.rs:2882:17
[INFO] [stderr]      |
[INFO] [stderr] 2882 |             let mut modules = self.pending_modules.last_mut().expect("missing PendingModules");
[INFO] [stderr]      |                 ----^^^^^^^
[INFO] [stderr]      |                 |
[INFO] [stderr]      |                 help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/check.rs:2882:17
[INFO] [stderr]      |
[INFO] [stderr] 2882 |             let mut modules = self.pending_modules.last_mut().expect("missing PendingModules");
[INFO] [stderr]      |                 ----^^^^^^^
[INFO] [stderr]      |                 |
[INFO] [stderr]      |                 help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::str`
[INFO] [stderr]  --> src/bin/kailua-check.rs:8:5
[INFO] [stderr]   |
[INFO] [stderr] 8 | use std::str;
[INFO] [stderr]   |     ^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/bin/kailua-check.rs:28:33
[INFO] [stderr]    |
[INFO] [stderr] 28 |                        report: &Report) -> Result<Option<Chunk>, Option<Stop>> {
[INFO] [stderr]    |                                 ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::str`
[INFO] [stderr]  --> src/bin/kailua-check.rs:8:5
[INFO] [stderr]   |
[INFO] [stderr] 8 | use std::str;
[INFO] [stderr]   |     ^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/bin/kailua-check.rs:28:33
[INFO] [stderr]    |
[INFO] [stderr] 28 |                        report: &Report) -> Result<Option<Chunk>, Option<Stop>> {
[INFO] [stderr]    |                                 ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> tests/kailua-check-test.rs:50:23
[INFO] [stderr]    |
[INFO] [stderr] 50 |            report: Rc<Report>) -> String {
[INFO] [stderr]    |                       ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> tests/kailua-check-test.rs:63:39
[INFO] [stderr]    |
[INFO] [stderr] 63 | ...                   report: &Report) -> Result<Chunk, Option<Stop>> {
[INFO] [stderr]    |                                ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> tests/kailua-check-test.rs:84:68
[INFO] [stderr]    |
[INFO] [stderr] 84 | ...                   slot.display(context.types() as &TypeContext)
[INFO] [stderr]    |                                                        ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext`
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 10.30s
[INFO] running `"docker" "inspect" "0927f761d40d7a9dd6f08f306d439c348dad85c6d5a23f94e04d7b83bcbe8ff7"`
[INFO] running `"docker" "rm" "-f" "0927f761d40d7a9dd6f08f306d439c348dad85c6d5a23f94e04d7b83bcbe8ff7"`
[INFO] [stdout] 0927f761d40d7a9dd6f08f306d439c348dad85c6d5a23f94e04d7b83bcbe8ff7
