[INFO] crate kailua_check 1.1.0 is already in cache [INFO] testing kailua_check-1.1.0 against beta-2020-06-03 for beta-1.45-1 [INFO] extracting crate kailua_check 1.1.0 into /workspace/builds/worker-0/source [INFO] validating manifest of crates.io crate kailua_check 1.1.0 on toolchain beta-2020-06-03 [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "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-0/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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" "+beta-2020-06-03" "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] 080837e89645f5ec4ce2e930181cb653ef56bcde60704528db4f59d72ac62ef7 [INFO] running `"docker" "start" "-a" "080837e89645f5ec4ce2e930181cb653ef56bcde60704528db4f59d72ac62ef7"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling parse-generics-shim v0.1.1 [INFO] [stderr] Compiling kailua_env v1.0.4 [INFO] [stderr] Compiling atomic v0.3.4 [INFO] [stderr] Compiling take_mut v0.1.3 [INFO] [stderr] Compiling vec_map v0.7.0 [INFO] [stderr] Compiling aho-corasick v0.6.10 [INFO] [stderr] Compiling kailua_diag v1.0.4 [INFO] [stderr] Compiling regex v0.2.11 [INFO] [stderr] Compiling kailua_syntax v1.1.0 [INFO] [stderr] Compiling env_logger v0.4.3 [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 34.10s [INFO] running `"docker" "inspect" "080837e89645f5ec4ce2e930181cb653ef56bcde60704528db4f59d72ac62ef7"` [INFO] running `"docker" "rm" "-f" "080837e89645f5ec4ce2e930181cb653ef56bcde60704528db4f59d72ac62ef7"` [INFO] [stdout] 080837e89645f5ec4ce2e930181cb653ef56bcde60704528db4f59d72ac62ef7 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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" "+beta-2020-06-03" "test" "--frozen" "--no-run"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 38001ba2c29f5e07341497062abbbea749e5c6f931b46948f0488b1c7c3f4523 [INFO] running `"docker" "start" "-a" "38001ba2c29f5e07341497062abbbea749e5c6f931b46948f0488b1c7c3f4523"` [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.09s [INFO] running `"docker" "inspect" "38001ba2c29f5e07341497062abbbea749e5c6f931b46948f0488b1c7c3f4523"` [INFO] running `"docker" "rm" "-f" "38001ba2c29f5e07341497062abbbea749e5c6f931b46948f0488b1c7c3f4523"` [INFO] [stdout] 38001ba2c29f5e07341497062abbbea749e5c6f931b46948f0488b1c7c3f4523 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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" "+beta-2020-06-03" "test" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 1650b81aef4cb689d31c0a3aafac6c2c90e8c3bac6687c064dd3c558b7f16fd3 [INFO] running `"docker" "start" "-a" "1650b81aef4cb689d31c0a3aafac6c2c90e8c3bac6687c064dd3c558b7f16fd3"` [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/class_system/dumb.rs:141:28 [INFO] [stderr] | [INFO] [stderr] 141 | f: &mut FnMut(&Key, &Slot) -> Result<(), ()>) -> Result<(), ()> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(&Key, &Slot) -> Result<(), ()>` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/dumb.rs:166:30 [INFO] [stderr] | [INFO] [stderr] 166 | _f: &mut FnMut(ClassId) -> Result<(), ()>) -> Result<(), ()> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(ClassId) -> Result<(), ()>` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/gideros.rs:148:39 [INFO] [stderr] | [INFO] [stderr] 148 | ... ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result { [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/gideros.rs:148:61 [INFO] [stderr] | [INFO] [stderr] 148 | ... ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/gideros.rs:210:29 [INFO] [stderr] | [INFO] [stderr] 210 | ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result> { [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/gideros.rs:210:51 [INFO] [stderr] | [INFO] [stderr] 210 | ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/gideros.rs:223:49 [INFO] [stderr] | [INFO] [stderr] 223 | outerspan: Span, _ctx: &mut TypeContext, [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/gideros.rs:224:30 [INFO] [stderr] | [INFO] [stderr] 224 | report: &Report) -> kailua_diag::Result> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: unnecessary parentheses around block return value [INFO] [stderr] --> src/class_system/gideros.rs:295:9 [INFO] [stderr] | [INFO] [stderr] 295 | / (lgen >= rgen && [INFO] [stderr] 296 | | Ancestors::new(&classes, lhs).nth((lgen - rgen) as usize).map(|e| e.0) == Some(rhs)) [INFO] [stderr] | |_____________________________________________________________________________________________^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_parens)]` on by default [INFO] [stderr] help: remove these parentheses [INFO] [stderr] | [INFO] [stderr] 295 | lgen >= rgen && [INFO] [stderr] 296 | Ancestors::new(&classes, lhs).nth((lgen - rgen) as usize).map(|e| e.0) == Some(rhs) [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/gideros.rs:299:83 [INFO] [stderr] | [INFO] [stderr] 299 | fn index_rval(&self, cls: Class, key: Spanned<&Key>, expspan: Span, ctx: &mut TypeContext, [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/gideros.rs:300:28 [INFO] [stderr] | [INFO] [stderr] 300 | report: &Report) -> kailua_diag::Result> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/gideros.rs:366:50 [INFO] [stderr] | [INFO] [stderr] 366 | hint: Option<&Slot>, ctx: &mut TypeContext, [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/gideros.rs:367:28 [INFO] [stderr] | [INFO] [stderr] 367 | report: &Report) -> kailua_diag::Result> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/gideros.rs:497:28 [INFO] [stderr] | [INFO] [stderr] 497 | f: &mut FnMut(&Key, &Slot) -> Result<(), ()>) -> Result<(), ()> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(&Key, &Slot) -> Result<(), ()>` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/gideros.rs:525:29 [INFO] [stderr] | [INFO] [stderr] 525 | f: &mut FnMut(ClassId) -> Result<(), ()>) -> Result<(), ()> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut(ClassId) -> Result<(), ()>` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/mod.rs:101:63 [INFO] [stderr] | [INFO] [stderr] 101 | pub fn make_predefined_class_system(name: &str) -> Option> { [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/mod.rs:108:57 [INFO] [stderr] | [INFO] [stderr] 108 | fn extract_parent(mut argtys: SpannedSlotSeq, ctx: &mut TypeContext, [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/mod.rs:109:28 [INFO] [stderr] | [INFO] [stderr] 109 | report: &Report) -> kailua_diag::Result>>> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/check.rs:101:43 [INFO] [stderr] | [INFO] [stderr] 101 | fn to_stmt(self, span: Span, report: &Report) -> Result { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/check.rs:243:80 [INFO] [stderr] | [INFO] [stderr] 243 | fn display<'a, 'c, T: Display>(&'c self, x: &'a T) -> Displayed<'a, T, &'c TypeContext> { [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/check.rs:528:64 [INFO] [stderr] | [INFO] [stderr] 528 | let generalize_tyseq = |seq: &TySeq, ctx: &mut TypeContext| { [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/lib.rs:68:22 [INFO] [stderr] | [INFO] [stderr] 68 | opts: Rc> [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/lib.rs:79:22 [INFO] [stderr] | [INFO] [stderr] 79 | opts: Rc>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn options::Options` [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead [INFO] [stderr] --> src/options.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::ascii::AsciiExt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::ascii::AsciiExt` [INFO] [stderr] --> src/options.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::ascii::AsciiExt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/check.rs:1281:21 [INFO] [stderr] | [INFO] [stderr] 1281 | let mut modules = self.pending_modules.last_mut().unwrap(); [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/check.rs:1302:13 [INFO] [stderr] | [INFO] [stderr] 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/check.rs:2882:17 [INFO] [stderr] | [INFO] [stderr] 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: 70 warnings emitted [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/message.rs:4:47 [INFO] [stderr] | [INFO] [stderr] 4 | pub type T<'a> = Displayed<'a, ty::T<'a>, &'a TypeContext>; [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/message.rs:5:45 [INFO] [stderr] | [INFO] [stderr] 5 | pub type Ty<'a> = Displayed<'a, ty::Ty, &'a TypeContext>; [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/message.rs:6:65 [INFO] [stderr] | [INFO] [stderr] 6 | pub type SpannedTySeq<'a> = Displayed<'a, ty::SpannedTySeq, &'a TypeContext>; [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/message.rs:7:49 [INFO] [stderr] | [INFO] [stderr] 7 | pub type Slot<'a> = Displayed<'a, ty::Slot, &'a TypeContext>; [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/options.rs:22:35 [INFO] [stderr] | [INFO] [stderr] 22 | _report: &Report) -> Result<(), Option> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/options.rs:30:36 [INFO] [stderr] | [INFO] [stderr] 30 | _report: &Report) -> Result<(), Option> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/options.rs:38:32 [INFO] [stderr] | [INFO] [stderr] 38 | _report: &Report) -> Result> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/options.rs:52:33 [INFO] [stderr] | [INFO] [stderr] 52 | report: &Report) -> Result, Option>; [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/options.rs:58:59 [INFO] [stderr] | [INFO] [stderr] 58 | fn to_path_buf(&self, path: Spanned<&[u8]>, _report: &Report) -> Result> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/options.rs:90:29 [INFO] [stderr] | [INFO] [stderr] 90 | report: &Report) -> Result, Option> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/options.rs:131:35 [INFO] [stderr] | [INFO] [stderr] 131 | _report: &Report) -> Result<(), Option> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/options.rs:137:36 [INFO] [stderr] | [INFO] [stderr] 137 | _report: &Report) -> Result<(), Option> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/options.rs:143:31 [INFO] [stderr] | [INFO] [stderr] 143 | report: &Report) -> Result> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/env.rs:318:52 [INFO] [stderr] | [INFO] [stderr] 318 | class_systems: Vec<(Option>, Box)>, [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/env.rs:328:66 [INFO] [stderr] | [INFO] [stderr] 328 | class_systems: vec![(None, Box::new(dumb) as Box)], [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/env.rs:348:55 [INFO] [stderr] | [INFO] [stderr] 348 | fn get(&self, csid: ClassSystemId) -> Option<&Box> { [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/env.rs:453:75 [INFO] [stderr] | [INFO] [stderr] 453 | pub fn open_library(&mut self, name: Spanned<&[u8]>, opts: Rc>) -> Result<()> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn Options` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/env.rs:658:46 [INFO] [stderr] | [INFO] [stderr] 658 | fn add_span(&self, k: Kind, s: Span, m: &Localize) -> Result<()> { [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Localize` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/env.rs:666:22 [INFO] [stderr] | [INFO] [stderr] 666 | opts: Rc>, [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn Options` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/env.rs:674:64 [INFO] [stderr] | [INFO] [stderr] 674 | pub fn new(context: &'ctx mut Context, opts: Rc>, [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn Options` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/env.rs:698:39 [INFO] [stderr] | [INFO] [stderr] 698 | pub fn opts(&self) -> &Rc> { [INFO] [stderr] | ^^^^^^^ help: use `dyn`: `dyn Options` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/env.rs:707:84 [INFO] [stderr] | [INFO] [stderr] 707 | pub fn display<'a, 'c, T: Display>(&'c self, x: &'a T) -> Displayed<'a, T, &'c TypeContext> { [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/env.rs:1363:44 [INFO] [stderr] | [INFO] [stderr] 1363 | ... system: Box) -> Result> { [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn ClassSystem` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/env.rs:1396:46 [INFO] [stderr] | [INFO] [stderr] 1396 | fn add_span(&self, k: Kind, s: Span, m: &Localize) -> Result<()> { [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Localize` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/env.rs:1402:27 [INFO] [stderr] | [INFO] [stderr] 1402 | fn context(&self) -> &TypeContext { [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/env.rs:1406:39 [INFO] [stderr] | [INFO] [stderr] 1406 | fn context_mut(&mut self) -> &mut TypeContext { [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/mod.rs:28:29 [INFO] [stderr] | [INFO] [stderr] 28 | ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result> { [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/mod.rs:28:51 [INFO] [stderr] | [INFO] [stderr] 28 | ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/mod.rs:38:48 [INFO] [stderr] | [INFO] [stderr] 38 | outerspan: Span, ctx: &mut TypeContext, [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/mod.rs:39:30 [INFO] [stderr] | [INFO] [stderr] 39 | report: &Report) -> kailua_diag::Result>; [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/mod.rs:59:29 [INFO] [stderr] | [INFO] [stderr] 59 | ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result>; [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/class_system/mod.rs:59:51 [INFO] [stderr] | [INFO] [stderr] 59 | ctx: &mut TypeContext, report: &Report) -> kailua_diag::Result>; [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> 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] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> tests/kailua-check-test.rs:50:23 [INFO] [stderr] | [INFO] [stderr] 50 | report: Rc) -> String { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> tests/kailua-check-test.rs:63:39 [INFO] [stderr] | [INFO] [stderr] 63 | ... report: &Report) -> Result> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> tests/kailua-check-test.rs:84:68 [INFO] [stderr] | [INFO] [stderr] 84 | ... slot.display(context.types() as &TypeContext) [INFO] [stderr] | ^^^^^^^^^^^ help: use `dyn`: `dyn TypeContext` [INFO] [stderr] [INFO] [stderr] warning: 3 warnings emitted [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::str` [INFO] [stderr] --> src/bin/kailua-check.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use std::str; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/bin/kailua-check.rs:28:33 [INFO] [stderr] | [INFO] [stderr] 28 | report: &Report) -> Result, Option> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: 2 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.13s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/kailua_check-66d49d75d0f73a99 [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-d589cff55edd7b7c [INFO] [stderr] Running /opt/rustwide/target/debug/deps/kailua_check_test-3b4c01cebcf7d289 [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] [stdout] running 0 tests [INFO] [stderr] stack backtrace: [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stderr] 0: 0x55c15c87a315 - backtrace::backtrace::libunwind::trace::h07c956be65d9b461 [INFO] [stderr] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86 [INFO] [stderr] 1: 0x55c15c87a315 - backtrace::backtrace::trace_unsynchronized::h2fdb9e4177ad4d20 [INFO] [stderr] at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66 [INFO] [stderr] 2: 0x55c15c87a315 - std::sys_common::backtrace::_print_fmt::ha62d8426311107ac [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:78 [INFO] [stderr] 3: 0x55c15c87a315 - ::fmt::h3ec6bdab62f1e8d9 [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stderr] 4: 0x55c15c89f22c - core::fmt::write::h935cb0ed4078a853 [INFO] [stderr] at src/libcore/fmt/mod.rs:1076 [INFO] [stderr] 5: 0x55c15c877ba3 - std::io::Write::write_fmt::hc912aacf8d691eb3 [INFO] [stderr] at src/libstd/io/mod.rs:1537 [INFO] [stderr] 6: 0x55c15c87cb20 - std::sys_common::backtrace::_print::h460db802d801ccf8 [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:62 [INFO] [stderr] 7: 0x55c15c87cb20 - std::sys_common::backtrace::print::h399d664f56640530 [INFO] [stderr] at src/libstd/sys_common/backtrace.rs:49 [INFO] [stderr] 8: 0x55c15c87cb20 - std::panicking::default_hook::{{closure}}::hc6dfd87957c765b8 [INFO] [stderr] at src/libstd/panicking.rs:198 [INFO] [stderr] 9: 0x55c15c87c86c - std::panicking::default_hook::hfdceba6d6d1a18ae [INFO] [stderr] at src/libstd/panicking.rs:218 [INFO] [stderr] 10: 0x55c15c87d157 - std::panicking::rust_panic_with_hook::hd01e282bff1b1e63 [INFO] [stderr] at src/libstd/panicking.rs:486 [INFO] [stderr] 11: 0x55c15c87cd5b - rust_begin_unwind [INFO] [stderr] at src/libstd/panicking.rs:388 [INFO] [stderr] 12: 0x55c15c89d911 - core::panicking::panic_fmt::habd7df443069602c [INFO] [stderr] at src/libcore/panicking.rs:101 [INFO] [stderr] 13: 0x55c15c89d85d - core::panicking::panic::h79f1986e668d0637 [INFO] [stderr] at src/libcore/panicking.rs:56 [INFO] [stderr] 14: 0x55c15c1f6483 - core::option::Option::unwrap::h797dc6c46d828a15 [INFO] [stderr] at /rustc/b7dc83a3f6ca9746fb3d121761c3605477b77d90/src/libcore/macros/mod.rs:10 [INFO] [stderr] 15: 0x55c15c28dfb5 - kailua_test::Tester::new::h2693255d87caf131 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/kailua_test-1.0.4/src/lib.rs:649 [INFO] [stderr] 16: 0x55c15c224c5d - kailua_check_test::main::h5b7d9a3a8aa29fda [INFO] [stderr] at tests/kailua-check-test.rs:109 [INFO] [stderr] 17: 0x55c15c2653ab - std::rt::lang_start::{{closure}}::h1b865c9b7219b265 [INFO] [stderr] at /rustc/b7dc83a3f6ca9746fb3d121761c3605477b77d90/src/libstd/rt.rs:67 [INFO] [stderr] 18: 0x55c15c87d5e8 - std::rt::lang_start_internal::{{closure}}::haabc9d435e1b0c2f [INFO] [stderr] at src/libstd/rt.rs:52 [INFO] [stderr] 19: 0x55c15c87d5e8 - std::panicking::try::do_call::h54d9370b0ac83700 [INFO] [stderr] at src/libstd/panicking.rs:297 [INFO] [stderr] 20: 0x55c15c87d5e8 - std::panicking::try::h85e1c41421d5b6f9 [INFO] [stderr] at src/libstd/panicking.rs:274 [INFO] [stderr] 21: 0x55c15c87d5e8 - std::panic::catch_unwind::hfd957e6c9fdcf274 [INFO] [stderr] at src/libstd/panic.rs:394 [INFO] [stderr] 22: 0x55c15c87d5e8 - std::rt::lang_start_internal::hed9744eef32ef5a1 [INFO] [stderr] at src/libstd/rt.rs:51 [INFO] [stderr] 23: 0x55c15c265387 - std::rt::lang_start::hf66f021aca84e3e2 [INFO] [stderr] at /rustc/b7dc83a3f6ca9746fb3d121761c3605477b77d90/src/libstd/rt.rs:67 [INFO] [stderr] 24: 0x55c15c224d3a - main [INFO] [stderr] 25: 0x7f8f021b20b3 - __libc_start_main [INFO] [stderr] 26: 0x55c15c19118e - _start [INFO] [stderr] 27: 0x0 - [INFO] [stderr] error: test failed, to rerun pass '--test kailua-check-test' [INFO] running `"docker" "inspect" "1650b81aef4cb689d31c0a3aafac6c2c90e8c3bac6687c064dd3c558b7f16fd3"` [INFO] running `"docker" "rm" "-f" "1650b81aef4cb689d31c0a3aafac6c2c90e8c3bac6687c064dd3c558b7f16fd3"` [INFO] [stdout] 1650b81aef4cb689d31c0a3aafac6c2c90e8c3bac6687c064dd3c558b7f16fd3