[INFO] fetching crate kailua_check 1.1.0...
[INFO] testing kailua_check-1.1.0 against beta-2020-10-09 for beta-1.48-1
[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 beta-2020-10-09
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2020-10-09" "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-13/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2020-10-09" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2020-10-09" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-10-09" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 91f94ad114f9c70c45ebda68fc07e9a2f9cc6a6e9c82d1701d4e241522f1ccf6
[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" "91f94ad114f9c70c45ebda68fc07e9a2f9cc6a6e9c82d1701d4e241522f1ccf6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "91f94ad114f9c70c45ebda68fc07e9a2f9cc6a6e9c82d1701d4e241522f1ccf6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "91f94ad114f9c70c45ebda68fc07e9a2f9cc6a6e9c82d1701d4e241522f1ccf6", kill_on_drop: false }`
[INFO] [stdout] 91f94ad114f9c70c45ebda68fc07e9a2f9cc6a6e9c82d1701d4e241522f1ccf6
[INFO] running `Command { std: "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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-10-09" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 74e4ce44b16b7ff01284b9c81d128a8015a3e840c6ded6a5aec4de213f5a891c
[INFO] running `Command { std: "docker" "start" "-a" "74e4ce44b16b7ff01284b9c81d128a8015a3e840c6ded6a5aec4de213f5a891c", kill_on_drop: false }`
[INFO] [stderr]    Compiling kailua_env v1.0.4
[INFO] [stderr]    Compiling parse-generics-shim v0.1.1
[INFO] [stderr]    Compiling vec_map v0.7.0
[INFO] [stderr]    Compiling atomic v0.3.4
[INFO] [stderr]    Compiling take_mut v0.1.3
[INFO] [stderr]    Compiling parking_lot_core v0.2.14
[INFO] [stderr]    Compiling parking_lot v0.4.8
[INFO] [stderr]    Compiling kailua_diag v1.0.4
[INFO] [stderr]    Compiling kailua_syntax v1.1.0
[INFO] [stderr]    Compiling kailua_types v1.1.0
[INFO] [stderr]    Compiling 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: 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: 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: 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: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 32.08s
[INFO] running `Command { std: "docker" "inspect" "74e4ce44b16b7ff01284b9c81d128a8015a3e840c6ded6a5aec4de213f5a891c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "74e4ce44b16b7ff01284b9c81d128a8015a3e840c6ded6a5aec4de213f5a891c", kill_on_drop: false }`
[INFO] [stdout] 74e4ce44b16b7ff01284b9c81d128a8015a3e840c6ded6a5aec4de213f5a891c
[INFO] running `Command { std: "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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-10-09" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1485251869e7c85b8321a2fa5ccb69b79ddb3dc02dbb257d7ad53808a17e873f
[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" "1485251869e7c85b8321a2fa5ccb69b79ddb3dc02dbb257d7ad53808a17e873f", kill_on_drop: false }`
[INFO] [stderr]    Compiling kailua_test v1.0.4
[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: 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: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: 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: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling kailua_check v1.1.0 (/opt/rustwide/workdir)
[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: 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]  --> 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: 2 warnings emitted
[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: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: 3 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 12.87s
[INFO] running `Command { std: "docker" "inspect" "1485251869e7c85b8321a2fa5ccb69b79ddb3dc02dbb257d7ad53808a17e873f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1485251869e7c85b8321a2fa5ccb69b79ddb3dc02dbb257d7ad53808a17e873f", kill_on_drop: false }`
[INFO] [stdout] 1485251869e7c85b8321a2fa5ccb69b79ddb3dc02dbb257d7ad53808a17e873f
[INFO] running `Command { std: "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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-10-09" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 34ec35972dfe8f3fa9ed9c03727007f3fbb876ae2ff15caff946ab64f6c639f5
[INFO] running `Command { std: "docker" "start" "-a" "34ec35972dfe8f3fa9ed9c03727007f3fbb876ae2ff15caff946ab64f6c639f5", kill_on_drop: false }`
[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: 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: 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/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/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/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/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/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/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/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/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/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/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/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/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/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 trait `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: 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: 70 warnings emitted
[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 trait `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: 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: 70 warnings emitted
[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: 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]   --> 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]   --> 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: 2 warnings emitted
[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] warning: 3 warnings emitted
[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: 2 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.28s
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/kailua_check-03fa0c2e00722c34
[INFO] [stdout] running 1 test
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/kailua_check-06ce536abd796550
[INFO] [stdout] test env::test_context_is_send_and_sync ... ok
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/kailua_check_test-6ae63b5b8f73679e
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr] thread 'main' panicked at 'called `Option::unwrap()` on a `None` value', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/kailua_test-1.0.4/src/lib.rs:649:35
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x55d3dfd0f370 - std::backtrace_rs::backtrace::libunwind::trace::h7cf3ca97bd83fbab
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:96
[INFO] [stderr]    1:     0x55d3dfd0f370 - std::backtrace_rs::backtrace::trace_unsynchronized::h5a69c674b2d9ea5c
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/mod.rs:66
[INFO] [stderr]    2:     0x55d3dfd0f370 - std::sys_common::backtrace::_print_fmt::hdf72478dfcb50678
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:79
[INFO] [stderr]    3:     0x55d3dfd0f370 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h1e0bdbb35e83deca
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:58
[INFO] [stderr]    4:     0x55d3dfd2f0bc - core::fmt::write::he67f9b17bcb7ee73
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/fmt/mod.rs:1080
[INFO] [stderr]    5:     0x55d3dfd0c542 - std::io::Write::write_fmt::hac97d5cb5753e2ec
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/io/mod.rs:1516
[INFO] [stderr]    6:     0x55d3dfd117dd - std::sys_common::backtrace::_print::haa20918e28a126c5
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:61
[INFO] [stderr]    7:     0x55d3dfd117dd - std::sys_common::backtrace::print::h49e772a4873d9076
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:48
[INFO] [stderr]    8:     0x55d3dfd117dd - std::panicking::default_hook::{{closure}}::hb218b305d15e3f11
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:208
[INFO] [stderr]    9:     0x55d3dfd11488 - std::panicking::default_hook::h63997b7b949e1ce0
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:227
[INFO] [stderr]   10:     0x55d3dfd11ec1 - std::panicking::rust_panic_with_hook::hb54f09ccadf64bd3
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:577
[INFO] [stderr]   11:     0x55d3dfd11a69 - std::panicking::begin_panic_handler::{{closure}}::h8b43445b254eeb30
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:484
[INFO] [stderr]   12:     0x55d3dfd0f7fc - std::sys_common::backtrace::__rust_end_short_backtrace::hacd691450edfeae0
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:153
[INFO] [stderr]   13:     0x55d3dfd11a29 - rust_begin_unwind
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:483
[INFO] [stderr]   14:     0x55d3dfd2d6e1 - core::panicking::panic_fmt::h5b17d4a0e853d0f5
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/panicking.rs:85
[INFO] [stderr]   15:     0x55d3dfd2d62d - core::panicking::panic::hc6be4d7009fb30ae
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/panicking.rs:50
[INFO] [stderr]   16:     0x55d3df698ff3 - core::option::Option<T>::unwrap::hd82eebd61abfcdb8
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/option.rs:383
[INFO] [stderr]   17:     0x55d3df701bf7 - kailua_test::Tester<T>::new::h208865ad872af086
[INFO] [stderr]                                at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/kailua_test-1.0.4/src/lib.rs:649
[INFO] [stderr]   18:     0x55d3df6e21ac - kailua_check_test::main::ha5ac513260fa0ad2
[INFO] [stderr]                                at /opt/rustwide/workdir/tests/kailua-check-test.rs:109
[INFO] [stderr]   19:     0x55d3df67d09b - core::ops::function::FnOnce::call_once::h339288ad9218c25f
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stderr]   20:     0x55d3df66e89e - std::sys_common::backtrace::__rust_begin_short_backtrace::h954ad1d711f8d692
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:137
[INFO] [stderr]   21:     0x55d3df6d8991 - std::rt::lang_start::{{closure}}::h26cd9ef813820cb7
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/rt.rs:66
[INFO] [stderr]   22:     0x55d3dfd123d7 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::h908982dfc31b926f
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:259
[INFO] [stderr]   23:     0x55d3dfd123d7 - std::panicking::try::do_call::h92777899503b7584
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stderr]   24:     0x55d3dfd123d7 - std::panicking::try::h8815656b2b76e792
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stderr]   25:     0x55d3dfd123d7 - std::panic::catch_unwind::h112ab81228f50b46
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stderr]   26:     0x55d3dfd123d7 - std::rt::lang_start_internal::h1772a706c7575c24
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/rt.rs:51
[INFO] [stderr]   27:     0x55d3df6d8967 - std::rt::lang_start::h2be8e9fa2e3980e2
[INFO] [stderr]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/rt.rs:65
[INFO] [stderr]   28:     0x55d3df6e228a - main
[INFO] [stderr]   29:     0x7f4dbb5530b3 - __libc_start_main
[INFO] [stderr]   30:     0x55d3df6060be - _start
[INFO] [stderr]   31:                0x0 - <unknown>
[INFO] [stderr] error: test failed, to rerun pass '--test kailua-check-test'
[INFO] running `Command { std: "docker" "inspect" "34ec35972dfe8f3fa9ed9c03727007f3fbb876ae2ff15caff946ab64f6c639f5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "34ec35972dfe8f3fa9ed9c03727007f3fbb876ae2ff15caff946ab64f6c639f5", kill_on_drop: false }`
[INFO] [stdout] 34ec35972dfe8f3fa9ed9c03727007f3fbb876ae2ff15caff946ab64f6c639f5
