[INFO] crate kailua_check 1.1.0 is already in cache [INFO] testing kailua_check-1.1.0 against 1.44.0 for beta-1.45-1 [INFO] extracting crate kailua_check 1.1.0 into /workspace/builds/worker-7/source [INFO] validating manifest of crates.io crate kailua_check 1.1.0 on toolchain 1.44.0 [INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "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-7/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "build" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 1578783cdff27cee65b3a9d75b06673ffa9af4df5285baddad25b94f4a64db9f [INFO] running `"docker" "start" "-a" "1578783cdff27cee65b3a9d75b06673ffa9af4df5285baddad25b94f4a64db9f"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling atomic v0.3.4 [INFO] [stderr] Compiling vec_map v0.7.0 [INFO] [stderr] Compiling bitflags v0.8.2 [INFO] [stderr] Compiling take_mut v0.1.3 [INFO] [stderr] Compiling kailua_syntax v1.1.0 [INFO] [stderr] Compiling kailua_types v1.1.0 [INFO] [stderr] Compiling kailua_check v1.1.0 (/opt/rustwide/workdir) [INFO] [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 30.40s [INFO] running `"docker" "inspect" "1578783cdff27cee65b3a9d75b06673ffa9af4df5285baddad25b94f4a64db9f"` [INFO] running `"docker" "rm" "-f" "1578783cdff27cee65b3a9d75b06673ffa9af4df5285baddad25b94f4a64db9f"` [INFO] [stdout] 1578783cdff27cee65b3a9d75b06673ffa9af4df5285baddad25b94f4a64db9f [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "test" "--frozen" "--no-run"` [INFO] [stdout] 43cd477ed7ba7f98c946563ff482a07e97159485e3c7ad69ad7a2a00dc5a1239 [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" "43cd477ed7ba7f98c946563ff482a07e97159485e3c7ad69ad7a2a00dc5a1239"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [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 10.11s [INFO] running `"docker" "inspect" "43cd477ed7ba7f98c946563ff482a07e97159485e3c7ad69ad7a2a00dc5a1239"` [INFO] running `"docker" "rm" "-f" "43cd477ed7ba7f98c946563ff482a07e97159485e3c7ad69ad7a2a00dc5a1239"` [INFO] [stdout] 43cd477ed7ba7f98c946563ff482a07e97159485e3c7ad69ad7a2a00dc5a1239 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "test" "--frozen"` [INFO] [stdout] 4288607b78ce5f0811d63c2390b3d8935ab889483c5865cc2dd267afb80a3db9 [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" "4288607b78ce5f0811d63c2390b3d8935ab889483c5865cc2dd267afb80a3db9"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/lib.rs:79:22 [INFO] [stderr] | [INFO] [stderr] 79 | opts: Rc>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options` [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead [INFO] [stderr] --> src/options.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::ascii::AsciiExt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::ascii::AsciiExt` [INFO] [stderr] --> src/options.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::ascii::AsciiExt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/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: variable does not need to be mutable [INFO] [stderr] --> src/check.rs:1281:21 [INFO] [stderr] | [INFO] [stderr] 1281 | let mut modules = self.pending_modules.last_mut().unwrap(); [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/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: 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: 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: 70 warnings emitted [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: 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/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/bin/kailua-check.rs:28:33 [INFO] [stderr] | [INFO] [stderr] 28 | report: &Report) -> Result, Option> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: 2 warnings emitted [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/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] --> 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] --> 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] --> 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/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: 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/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/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] --> 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: 2 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.13s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/kailua_check-675c97ef47a9e271 [INFO] [stderr] Running /opt/rustwide/target/debug/deps/kailua_check-91efa2bd7dae63a1 [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_test-b97c1632535ca150 [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stderr] thread 'main' panicked at 'called `Option::unwrap()` on a `None` value', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/kailua_test-1.0.4/src/lib.rs:649:20 [INFO] [stderr] stack backtrace: [INFO] [stderr] 0: 0x55b659b2ced4 - backtrace::backtrace::libunwind::trace::hc1c4a1d8ad423b97 [INFO] [stderr] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stderr] 1: 0x55b659b2ced4 - backtrace::backtrace::trace_unsynchronized::h82274781060cb056 [INFO] [stderr] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stderr] 2: 0x55b659b2ced4 - std::sys_common::backtrace::_print_fmt::h2a45d89b653a4da8 [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stderr] 3: 0x55b659b2ced4 - ::fmt::h41a0a93ab85e6aa1 [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stderr] 4: 0x55b659b5272c - core::fmt::write::hdaea18585065a96d [INFO] [stderr] at src/libcore/fmt/mod.rs:1069 [INFO] [stderr] 5: 0x55b659b2a6f3 - std::io::Write::write_fmt::h0cea70c809005252 [INFO] [stderr] at src/libstd/io/mod.rs:1504 [INFO] [stderr] 6: 0x55b659b2f755 - std::sys_common::backtrace::_print::hd95f9978cc145ca4 [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stderr] 7: 0x55b659b2f755 - std::sys_common::backtrace::print::hfb25ca2291be47d0 [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stderr] 8: 0x55b659b2f755 - std::panicking::default_hook::{{closure}}::h44f76cee5dc8591c [INFO] [stderr] at src/libstd/panicking.rs:198 [INFO] [stderr] 9: 0x55b659b2f492 - std::panicking::default_hook::h198e1a712910f1e6 [INFO] [stderr] at src/libstd/panicking.rs:218 [INFO] [stderr] 10: 0x55b659b2fdb2 - std::panicking::rust_panic_with_hook::hc0b4730bb8013f9d [INFO] [stderr] at src/libstd/panicking.rs:511 [INFO] [stderr] 11: 0x55b659b2f99b - rust_begin_unwind [INFO] [stderr] at src/libstd/panicking.rs:419 [INFO] [stderr] 12: 0x55b659b50ea1 - core::panicking::panic_fmt::h1ac71ad045d55416 [INFO] [stderr] at src/libcore/panicking.rs:111 [INFO] [stderr] 13: 0x55b659b50ded - core::panicking::panic::h57854ec308e1f8ab [INFO] [stderr] at src/libcore/panicking.rs:54 [INFO] [stderr] 14: 0x55b65941ebbf - core::option::Option::unwrap::h6084b8f594041081 [INFO] [stderr] at /rustc/49cae55760da0a43428eba73abcb659bb70cf2e4/src/libcore/macros/mod.rs:34 [INFO] [stderr] 15: 0x55b65940fa4c - kailua_test::Tester::new::h5f0c761505002fa5 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/kailua_test-1.0.4/src/lib.rs:649 [INFO] [stderr] 16: 0x55b659499c1d - kailua_check_test::main::hcf2b258c5c6cacb2 [INFO] [stderr] at tests/kailua-check-test.rs:109 [INFO] [stderr] 17: 0x55b65949b08b - std::rt::lang_start::{{closure}}::h801b51929aeeee87 [INFO] [stderr] at /rustc/49cae55760da0a43428eba73abcb659bb70cf2e4/src/libstd/rt.rs:67 [INFO] [stderr] 18: 0x55b659b302c8 - std::rt::lang_start_internal::{{closure}}::h7a212202ff76034b [INFO] [stderr] at src/libstd/rt.rs:52 [INFO] [stderr] 19: 0x55b659b302c8 - std::panicking::try::do_call::h6d214a73427d759b [INFO] [stderr] at src/libstd/panicking.rs:331 [INFO] [stderr] 20: 0x55b659b302c8 - std::panicking::try::hc078f0e11721d1cb [INFO] [stderr] at src/libstd/panicking.rs:274 [INFO] [stderr] 21: 0x55b659b302c8 - std::panic::catch_unwind::hb31c05be30625612 [INFO] [stderr] at src/libstd/panic.rs:394 [INFO] [stderr] 22: 0x55b659b302c8 - std::rt::lang_start_internal::hcf7fb98a775d5af0 [INFO] [stderr] at src/libstd/rt.rs:51 [INFO] [stderr] 23: 0x55b65949b067 - std::rt::lang_start::h1fac50406e615af4 [INFO] [stderr] at /rustc/49cae55760da0a43428eba73abcb659bb70cf2e4/src/libstd/rt.rs:67 [INFO] [stderr] 24: 0x55b659499cfa - main [INFO] [stderr] 25: 0x7f6bf32b20b3 - __libc_start_main [INFO] [stderr] 26: 0x55b6593ad18e - _start [INFO] [stderr] 27: 0x0 - [INFO] [stderr] error: test failed, to rerun pass '--test kailua-check-test' [INFO] running `"docker" "inspect" "4288607b78ce5f0811d63c2390b3d8935ab889483c5865cc2dd267afb80a3db9"` [INFO] running `"docker" "rm" "-f" "4288607b78ce5f0811d63c2390b3d8935ab889483c5865cc2dd267afb80a3db9"` [INFO] [stdout] 4288607b78ce5f0811d63c2390b3d8935ab889483c5865cc2dd267afb80a3db9