[INFO] crate kailua_check 1.1.0 is already in cache [INFO] testing kailua_check-1.1.0 against try#41997647ba6a77908f6ef64401414feb00bccf16 for pr-71274 [INFO] extracting crate kailua_check 1.1.0 into /workspace/builds/worker-5/source [INFO] validating manifest of crates.io crate kailua_check 1.1.0 on toolchain 41997647ba6a77908f6ef64401414feb00bccf16 [INFO] running `"/workspace/cargo-home/bin/cargo" "+41997647ba6a77908f6ef64401414feb00bccf16" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate kailua_check 1.1.0 [INFO] removed 0 missing tests [INFO] removed path dependency kailua_diag from crates.io crate kailua_check 1.1.0 [INFO] removed path dependency kailua_env from crates.io crate kailua_check 1.1.0 [INFO] removed path dependency kailua_syntax from crates.io crate kailua_check 1.1.0 [INFO] removed path dependency kailua_types from crates.io crate kailua_check 1.1.0 [INFO] removed path dependency kailua_test from crates.io crate kailua_check 1.1.0 [INFO] finished tweaking crates.io crate kailua_check 1.1.0 [INFO] tweaked toml for crates.io crate kailua_check 1.1.0 written to /workspace/builds/worker-5/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+41997647ba6a77908f6ef64401414feb00bccf16" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+41997647ba6a77908f6ef64401414feb00bccf16" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+41997647ba6a77908f6ef64401414feb00bccf16" "build" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] c320d89d204e8859d8ae0133d20908b2d9fe8d00106db9a287347eca36039d7c [INFO] running `"docker" "start" "-a" "c320d89d204e8859d8ae0133d20908b2d9fe8d00106db9a287347eca36039d7c"` [INFO] [stderr] Compiling maybe-uninit v2.0.0 [INFO] [stderr] Compiling stable_deref_trait v1.1.1 [INFO] [stderr] Compiling take_mut v0.1.3 [INFO] [stderr] Compiling vec_map v0.7.0 [INFO] [stderr] Compiling atomic v0.3.4 [INFO] [stderr] Compiling rand v0.4.6 [INFO] [stderr] Compiling kailua_syntax v1.1.0 [INFO] [stderr] Compiling env_logger v0.4.3 [INFO] [stderr] Compiling owning_ref v0.3.3 [INFO] [stderr] Compiling smallvec v0.6.13 [INFO] [stderr] Compiling parking_lot_core v0.2.14 [INFO] [stderr] Compiling parking_lot v0.4.8 [INFO] [stderr] Compiling kailua_types v1.1.0 [INFO] [stderr] Compiling kailua_check v1.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/message.rs:4:47 [INFO] [stderr] | [INFO] [stderr] 4 | pub type T<'a> = Displayed<'a, ty::T<'a>, &'a TypeContext>; [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/message.rs:5:45 [INFO] [stderr] | [INFO] [stderr] 5 | pub type Ty<'a> = Displayed<'a, ty::Ty, &'a TypeContext>; [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/message.rs:6:65 [INFO] [stderr] | [INFO] [stderr] 6 | pub type SpannedTySeq<'a> = Displayed<'a, ty::SpannedTySeq, &'a TypeContext>; [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/message.rs:7:49 [INFO] [stderr] | [INFO] [stderr] 7 | pub type Slot<'a> = Displayed<'a, ty::Slot, &'a TypeContext>; [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/options.rs:22:35 [INFO] [stderr] | [INFO] [stderr] 22 | _report: &Report) -> Result<(), Option> { [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> { [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> { [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>; [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> { [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> { [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> { [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> { [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> { [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>, Box)>, [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)], [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> { [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>) -> 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>, [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, opts: Rc>, [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> { [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) -> Result> { [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> { [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> { [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>; [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>; [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>; [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>; [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> { [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> { [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> { [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> { [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 { [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 { [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> { [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> { [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> { [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> { [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> { [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> { [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>>> { [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 { [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> [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>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options` [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead [INFO] [stderr] --> src/options.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::ascii::AsciiExt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::ascii::AsciiExt` [INFO] [stderr] --> src/options.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::ascii::AsciiExt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: 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: 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> { [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 dev [unoptimized + debuginfo] target(s) in 35.85s [INFO] running `"docker" "inspect" "c320d89d204e8859d8ae0133d20908b2d9fe8d00106db9a287347eca36039d7c"` [INFO] running `"docker" "rm" "-f" "c320d89d204e8859d8ae0133d20908b2d9fe8d00106db9a287347eca36039d7c"` [INFO] [stdout] c320d89d204e8859d8ae0133d20908b2d9fe8d00106db9a287347eca36039d7c [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+41997647ba6a77908f6ef64401414feb00bccf16" "test" "--frozen" "--no-run"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 0ac8a4fbc81732ff75c8a4de29536e835518efccedc701e6c822df8509333df6 [INFO] running `"docker" "start" "-a" "0ac8a4fbc81732ff75c8a4de29536e835518efccedc701e6c822df8509333df6"` [INFO] [stderr] Compiling kailua_test v1.0.4 [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> { [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> { [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> { [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>; [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> { [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> { [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> { [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> { [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> { [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>, Box)>, [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)], [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> { [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>) -> 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>, [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, opts: Rc>, [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> { [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) -> Result> { [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> { [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> { [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>; [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>; [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>; [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>; [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> { [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> { [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> { [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> { [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 { [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 { [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> { [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> { [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> { [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> { [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> { [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> { [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>>> { [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 { [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> [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>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options` [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead [INFO] [stderr] --> src/options.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::ascii::AsciiExt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::ascii::AsciiExt` [INFO] [stderr] --> src/options.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::ascii::AsciiExt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: 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: 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> { [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] Compiling kailua_check v1.1.0 (/opt/rustwide/workdir) [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) -> String { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> tests/kailua-check-test.rs:63:39 [INFO] [stderr] | [INFO] [stderr] 63 | ... report: &Report) -> Result> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> tests/kailua-check-test.rs:84:68 [INFO] [stderr] | [INFO] [stderr] 84 | ... slot.display(context.types() as &TypeContext) [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] 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> { [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] --> 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> { [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> { [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> { [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>; [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> { [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> { [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> { [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> { [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> { [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>, Box)>, [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)], [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> { [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>) -> 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>, [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, opts: Rc>, [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> { [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) -> Result> { [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> { [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> { [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>; [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>; [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>; [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>; [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> { [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> { [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> { [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> { [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 { [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 { [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> { [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> { [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> { [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> { [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> { [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> { [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>>> { [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 { [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> [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>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options` [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead [INFO] [stderr] --> src/options.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::ascii::AsciiExt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::ascii::AsciiExt` [INFO] [stderr] --> src/options.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::ascii::AsciiExt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: 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: 3 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 17.13s [INFO] running `"docker" "inspect" "0ac8a4fbc81732ff75c8a4de29536e835518efccedc701e6c822df8509333df6"` [INFO] running `"docker" "rm" "-f" "0ac8a4fbc81732ff75c8a4de29536e835518efccedc701e6c822df8509333df6"` [INFO] [stdout] 0ac8a4fbc81732ff75c8a4de29536e835518efccedc701e6c822df8509333df6 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+41997647ba6a77908f6ef64401414feb00bccf16" "test" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] f1eae468dde2e45b37bacbb0036f0d87f6644555477d3f9c16aba27c06ec2f4b [INFO] running `"docker" "start" "-a" "f1eae468dde2e45b37bacbb0036f0d87f6644555477d3f9c16aba27c06ec2f4b"` [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> { [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> { [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> { [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>; [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> { [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> { [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> { [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> { [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> { [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>, Box)>, [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)], [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> { [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>) -> 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>, [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, opts: Rc>, [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> { [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) -> Result> { [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> { [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> { [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>; [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>; [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>; [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>; [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> { [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> { [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> { [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> { [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 { [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 { [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> { [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> { [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> { [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> { [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> { [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> { [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>>> { [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 { [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> [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>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options` [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead [INFO] [stderr] --> src/options.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::ascii::AsciiExt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::ascii::AsciiExt` [INFO] [stderr] --> src/options.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::ascii::AsciiExt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: 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: 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: 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: 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: 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: 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: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/options.rs:22:35 [INFO] [stderr] | [INFO] [stderr] 22 | _report: &Report) -> Result<(), Option> { [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> { [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> { [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>; [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> { [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> { [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> { [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> { [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> { [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>, Box)>, [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)], [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> { [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>) -> 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>, [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, opts: Rc>, [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> { [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) -> Result> { [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> { [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> { [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>; [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>; [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>; [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>; [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> { [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> { [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> { [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> { [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 { [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 { [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> { [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> { [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> { [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> { [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> { [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> { [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>>> { [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 { [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> [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>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options` [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead [INFO] [stderr] --> src/options.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::ascii::AsciiExt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::ascii::AsciiExt` [INFO] [stderr] --> src/options.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::ascii::AsciiExt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: 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: 70 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> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::str` [INFO] [stderr] --> src/bin/kailua-check.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use std::str; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/bin/kailua-check.rs:28:33 [INFO] [stderr] | [INFO] [stderr] 28 | report: &Report) -> Result, Option> { [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: 2 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) -> String { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> tests/kailua-check-test.rs:63:39 [INFO] [stderr] | [INFO] [stderr] 63 | ... report: &Report) -> Result> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> tests/kailua-check-test.rs:84:68 [INFO] [stderr] | [INFO] [stderr] 84 | ... slot.display(context.types() as &TypeContext) [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: 3 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.29s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/kailua_check-e54764348cd200d0 [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test env::test_context_is_send_and_sync ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stderr] Running /opt/rustwide/target/debug/deps/kailua_check-cffe0b86b5713a0c [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] Running /opt/rustwide/target/debug/deps/kailua_check_test-ca6fbce013f8d137 [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:20 [INFO] [stderr] stack backtrace: [INFO] [stderr] 0: 0x55e1c5142964 - backtrace::backtrace::libunwind::trace::h61666fa4b9834a45 [INFO] [stderr] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stderr] 1: 0x55e1c5142964 - backtrace::backtrace::trace_unsynchronized::h01d3725fb5da8653 [INFO] [stderr] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stderr] 2: 0x55e1c5142964 - std::sys_common::backtrace::_print_fmt::h5c7c4751bc296f90 [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stderr] 3: 0x55e1c5142964 - ::fmt::h7729313ad2d729c7 [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stderr] 4: 0x55e1c51681bc - core::fmt::write::hb0049f6c12bdaffc [INFO] [stderr] at src/libcore/fmt/mod.rs:1069 [INFO] [stderr] 5: 0x55e1c51401b3 - std::io::Write::write_fmt::hfb486fa6ccb90f14 [INFO] [stderr] at src/libstd/io/mod.rs:1504 [INFO] [stderr] 6: 0x55e1c51451e5 - std::sys_common::backtrace::_print::ha087cac92e84a414 [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stderr] 7: 0x55e1c51451e5 - std::sys_common::backtrace::print::h6b013d3bfe6cbcb8 [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stderr] 8: 0x55e1c51451e5 - std::panicking::default_hook::{{closure}}::h016d7de02def2736 [INFO] [stderr] at src/libstd/panicking.rs:198 [INFO] [stderr] 9: 0x55e1c5144f22 - std::panicking::default_hook::h9386f7e484840463 [INFO] [stderr] at src/libstd/panicking.rs:218 [INFO] [stderr] 10: 0x55e1c5145842 - std::panicking::rust_panic_with_hook::h3846eb1b2e5a9312 [INFO] [stderr] at src/libstd/panicking.rs:511 [INFO] [stderr] 11: 0x55e1c514542b - rust_begin_unwind [INFO] [stderr] at src/libstd/panicking.rs:419 [INFO] [stderr] 12: 0x55e1c5166931 - core::panicking::panic_fmt::hc5953a7331f9805c [INFO] [stderr] at src/libcore/panicking.rs:111 [INFO] [stderr] 13: 0x55e1c516687d - core::panicking::panic::hbfb03ddd2cbb509e [INFO] [stderr] at src/libcore/panicking.rs:54 [INFO] [stderr] 14: 0x55e1c4a2f3af - core::option::Option::unwrap::h3177cf2dfedf8847 [INFO] [stderr] at /rustc/41997647ba6a77908f6ef64401414feb00bccf16/src/libcore/macros/mod.rs:34 [INFO] [stderr] 15: 0x55e1c4a2036c - kailua_test::Tester::new::h1d7a55bc89908c5c [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/kailua_test-1.0.4/src/lib.rs:649 [INFO] [stderr] 16: 0x55e1c4ab672d - kailua_check_test::main::hbbd53c6e3fc5aa16 [INFO] [stderr] at tests/kailua-check-test.rs:109 [INFO] [stderr] 17: 0x55e1c4aadebb - std::rt::lang_start::{{closure}}::h55a044bfeb253595 [INFO] [stderr] at /rustc/41997647ba6a77908f6ef64401414feb00bccf16/src/libstd/rt.rs:67 [INFO] [stderr] 18: 0x55e1c5145d58 - std::rt::lang_start_internal::{{closure}}::h76043ceda1ce1596 [INFO] [stderr] at src/libstd/rt.rs:52 [INFO] [stderr] 19: 0x55e1c5145d58 - std::panicking::try::do_call::hb3d81a78fdf1ed63 [INFO] [stderr] at src/libstd/panicking.rs:331 [INFO] [stderr] 20: 0x55e1c5145d58 - std::panicking::try::he8d7c35962fb5d7e [INFO] [stderr] at src/libstd/panicking.rs:274 [INFO] [stderr] 21: 0x55e1c5145d58 - std::panic::catch_unwind::h643ad9bfe058a347 [INFO] [stderr] at src/libstd/panic.rs:394 [INFO] [stderr] 22: 0x55e1c5145d58 - std::rt::lang_start_internal::h4b0f023744ce345f [INFO] [stderr] at src/libstd/rt.rs:51 [INFO] [stderr] 23: 0x55e1c4aade97 - std::rt::lang_start::h78f99871f03a7c40 [INFO] [stderr] at /rustc/41997647ba6a77908f6ef64401414feb00bccf16/src/libstd/rt.rs:67 [INFO] [stderr] 24: 0x55e1c4ab680a - main [INFO] [stderr] 25: 0x7fa33d112b97 - __libc_start_main [INFO] [stderr] 26: 0x55e1c49bda8a - _start [INFO] [stderr] 27: 0x0 - [INFO] [stderr] error: test failed, to rerun pass '--test kailua-check-test' [INFO] running `"docker" "inspect" "f1eae468dde2e45b37bacbb0036f0d87f6644555477d3f9c16aba27c06ec2f4b"` [INFO] running `"docker" "rm" "-f" "f1eae468dde2e45b37bacbb0036f0d87f6644555477d3f9c16aba27c06ec2f4b"` [INFO] [stdout] f1eae468dde2e45b37bacbb0036f0d87f6644555477d3f9c16aba27c06ec2f4b