[INFO] crate kailua_check 1.1.0 is already in cache [INFO] testing kailua_check-1.1.0 against master#28742a1146f10a4f09369baad027a464acb7a766 for pr-71274 [INFO] extracting crate kailua_check 1.1.0 into /workspace/builds/worker-2/source [INFO] validating manifest of crates.io crate kailua_check 1.1.0 on toolchain 28742a1146f10a4f09369baad027a464acb7a766 [INFO] running `"/workspace/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "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-2/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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" "+28742a1146f10a4f09369baad027a464acb7a766" "build" "--frozen"` [INFO] [stdout] 02e3252769244ccf15ea5edfd1db07271c8228a496b07c5c50cd1ef5b29d2970 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `"docker" "start" "-a" "02e3252769244ccf15ea5edfd1db07271c8228a496b07c5c50cd1ef5b29d2970"` [INFO] [stderr] Compiling atomic v0.3.4 [INFO] [stderr] Compiling vec_map v0.7.0 [INFO] [stderr] Compiling take_mut v0.1.3 [INFO] [stderr] Compiling kailua_syntax v1.1.0 [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 33.72s [INFO] running `"docker" "inspect" "02e3252769244ccf15ea5edfd1db07271c8228a496b07c5c50cd1ef5b29d2970"` [INFO] running `"docker" "rm" "-f" "02e3252769244ccf15ea5edfd1db07271c8228a496b07c5c50cd1ef5b29d2970"` [INFO] [stdout] 02e3252769244ccf15ea5edfd1db07271c8228a496b07c5c50cd1ef5b29d2970 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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" "+28742a1146f10a4f09369baad027a464acb7a766" "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] 631eff8c0890f7162d91c0df2ce1c1d2f6099ddfda2e66d362e36e7e51473e83 [INFO] running `"docker" "start" "-a" "631eff8c0890f7162d91c0df2ce1c1d2f6099ddfda2e66d362e36e7e51473e83"` [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: 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: 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: 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: 2 warnings emitted [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.50s [INFO] running `"docker" "inspect" "631eff8c0890f7162d91c0df2ce1c1d2f6099ddfda2e66d362e36e7e51473e83"` [INFO] running `"docker" "rm" "-f" "631eff8c0890f7162d91c0df2ce1c1d2f6099ddfda2e66d362e36e7e51473e83"` [INFO] [stdout] 631eff8c0890f7162d91c0df2ce1c1d2f6099ddfda2e66d362e36e7e51473e83 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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" "+28742a1146f10a4f09369baad027a464acb7a766" "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] 0f12ca491237f448c7183cfaef38b0a9ce59b382cc8efecc76c0bcffa8e2c601 [INFO] running `"docker" "start" "-a" "0f12ca491237f448c7183cfaef38b0a9ce59b382cc8efecc76c0bcffa8e2c601"` [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: 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] --> 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] --> 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] --> 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] --> 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] --> tests/kailua-check-test.rs:84:68 [INFO] [stderr] | [INFO] [stderr] 84 | ... slot.display(context.types() as &TypeContext) [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: 3 warnings emitted [INFO] [stderr] [INFO] [stderr] warning: 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] 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 test [unoptimized + debuginfo] target(s) in 0.21s [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: 0x556b078f8604 - backtrace::backtrace::libunwind::trace::hbb4ce8c04526962e [INFO] [stderr] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stderr] 1: 0x556b078f8604 - backtrace::backtrace::trace_unsynchronized::h79251c088e7be038 [INFO] [stderr] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stderr] 2: 0x556b078f8604 - std::sys_common::backtrace::_print_fmt::h6b0ea30a9223acae [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stderr] 3: 0x556b078f8604 - ::fmt::h4d51ef07ce58e54b [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stderr] 4: 0x556b0791de5c - core::fmt::write::he16b9c1345d8565e [INFO] [stderr] at src/libcore/fmt/mod.rs:1069 [INFO] [stderr] 5: 0x556b078f5e53 - std::io::Write::write_fmt::h35d873b9ce1f02a8 [INFO] [stderr] at src/libstd/io/mod.rs:1504 [INFO] [stderr] 6: 0x556b078fae85 - std::sys_common::backtrace::_print::h9288fa7d9f6629cb [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stderr] 7: 0x556b078fae85 - std::sys_common::backtrace::print::h82e606e62781d8af [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stderr] 8: 0x556b078fae85 - std::panicking::default_hook::{{closure}}::h1fe350ecbf7604e4 [INFO] [stderr] at src/libstd/panicking.rs:198 [INFO] [stderr] 9: 0x556b078fabc2 - std::panicking::default_hook::h1b8b42953fdc841d [INFO] [stderr] at src/libstd/panicking.rs:218 [INFO] [stderr] 10: 0x556b078fb4e2 - std::panicking::rust_panic_with_hook::he73826f4bb75a21e [INFO] [stderr] at src/libstd/panicking.rs:511 [INFO] [stderr] 11: 0x556b078fb0cb - rust_begin_unwind [INFO] [stderr] at src/libstd/panicking.rs:419 [INFO] [stderr] 12: 0x556b0791c5d1 - core::panicking::panic_fmt::hc8f9a0b2af5fb585 [INFO] [stderr] at src/libcore/panicking.rs:111 [INFO] [stderr] 13: 0x556b0791c51d - core::panicking::panic::hc3c435d4bc248f19 [INFO] [stderr] at src/libcore/panicking.rs:54 [INFO] [stderr] 14: 0x556b071e55cf - core::option::Option::unwrap::hb3a1b165b8bbd956 [INFO] [stderr] at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/macros/mod.rs:34 [INFO] [stderr] 15: 0x556b071d630c - 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: 0x556b0726c54d - kailua_check_test::main::hbbd53c6e3fc5aa16 [INFO] [stderr] at tests/kailua-check-test.rs:109 [INFO] [stderr] 17: 0x556b07263d1b - std::rt::lang_start::{{closure}}::h8ad039656ee90ecc [INFO] [stderr] at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/rt.rs:67 [INFO] [stderr] 18: 0x556b078fb9f8 - std::rt::lang_start_internal::{{closure}}::h985f9ad0467016f1 [INFO] [stderr] at src/libstd/rt.rs:52 [INFO] [stderr] 19: 0x556b078fb9f8 - std::panicking::try::do_call::hbcbbc645883681bb [INFO] [stderr] at src/libstd/panicking.rs:331 [INFO] [stderr] 20: 0x556b078fb9f8 - std::panicking::try::h250f86dc8ee6d054 [INFO] [stderr] at src/libstd/panicking.rs:274 [INFO] [stderr] 21: 0x556b078fb9f8 - std::panic::catch_unwind::h58d26ced09bde6c3 [INFO] [stderr] at src/libstd/panic.rs:394 [INFO] [stderr] 22: 0x556b078fb9f8 - std::rt::lang_start_internal::h7de51dd9f16af454 [INFO] [stderr] at src/libstd/rt.rs:51 [INFO] [stderr] 23: 0x556b07263cf7 - std::rt::lang_start::h2ab262bcc242c9fe [INFO] [stderr] at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/rt.rs:67 [INFO] [stderr] 24: 0x556b0726c62a - main [INFO] [stderr] 25: 0x7ffbebdbcb97 - __libc_start_main [INFO] [stderr] 26: 0x556b07173a2a - _start [INFO] [stderr] 27: 0x0 - [INFO] [stderr] error: test failed, to rerun pass '--test kailua-check-test' [INFO] running `"docker" "inspect" "0f12ca491237f448c7183cfaef38b0a9ce59b382cc8efecc76c0bcffa8e2c601"` [INFO] running `"docker" "rm" "-f" "0f12ca491237f448c7183cfaef38b0a9ce59b382cc8efecc76c0bcffa8e2c601"` [INFO] [stdout] 0f12ca491237f448c7183cfaef38b0a9ce59b382cc8efecc76c0bcffa8e2c601