[INFO] crate kailua_check 1.1.0 is already in cache [INFO] extracting crate kailua_check 1.1.0 into work/ex/pr-63376/sources/master#60960a260f7b5c695fd0717311d72ce62dd4eb43/reg/kailua_check/1.1.0 [INFO] extracting crate kailua_check 1.1.0 into work/ex/pr-63376/sources/try#266783e4e09e4e9d5307c1c8e695659c58bbcac7/reg/kailua_check/1.1.0 [INFO] validating manifest of kailua_check-1.1.0 on toolchain master#60960a260f7b5c695fd0717311d72ce62dd4eb43 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+60960a260f7b5c695fd0717311d72ce62dd4eb43-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of kailua_check-1.1.0 on toolchain try#266783e4e09e4e9d5307c1c8e695659c58bbcac7 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+266783e4e09e4e9d5307c1c8e695659c58bbcac7-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing kailua_check-1.1.0 [INFO] removed 1 missing tests [INFO] removed path dependency kailua_diag from kailua_check-1.1.0 [INFO] removed path dependency kailua_env from kailua_check-1.1.0 [INFO] removed path dependency kailua_syntax from kailua_check-1.1.0 [INFO] removed path dependency kailua_types from kailua_check-1.1.0 [INFO] removed path dependency kailua_test from kailua_check-1.1.0 [INFO] finished frobbing kailua_check-1.1.0 [INFO] frobbed toml for kailua_check-1.1.0 written to work/ex/pr-63376/sources/master#60960a260f7b5c695fd0717311d72ce62dd4eb43/reg/kailua_check/1.1.0/Cargo.toml [INFO] started frobbing kailua_check-1.1.0 [INFO] removed 1 missing tests [INFO] removed path dependency kailua_diag from kailua_check-1.1.0 [INFO] removed path dependency kailua_env from kailua_check-1.1.0 [INFO] removed path dependency kailua_syntax from kailua_check-1.1.0 [INFO] removed path dependency kailua_types from kailua_check-1.1.0 [INFO] removed path dependency kailua_test from kailua_check-1.1.0 [INFO] finished frobbing kailua_check-1.1.0 [INFO] frobbed toml for kailua_check-1.1.0 written to work/ex/pr-63376/sources/try#266783e4e09e4e9d5307c1c8e695659c58bbcac7/reg/kailua_check/1.1.0/Cargo.toml [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+60960a260f7b5c695fd0717311d72ce62dd4eb43-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+266783e4e09e4e9d5307c1c8e695659c58bbcac7-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+60960a260f7b5c695fd0717311d72ce62dd4eb43-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+266783e4e09e4e9d5307c1c8e695659c58bbcac7-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] checking kailua_check-1.1.0 against try#266783e4e09e4e9d5307c1c8e695659c58bbcac7 for pr-63376 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-63376/worker-0/try#266783e4e09e4e9d5307c1c8e695659c58bbcac7:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-63376/sources/try#266783e4e09e4e9d5307c1c8e695659c58bbcac7/reg/kailua_check/1.1.0:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+266783e4e09e4e9d5307c1c8e695659c58bbcac7-alt" "check" "--frozen" "--all" "--all-targets"` [INFO] [stdout] 71dcd9efcc53b9e032c992a173b556cc95ef6170d3dbbe6b5cbdd6ab87c61657 [INFO] running `"docker" "start" "-a" "71dcd9efcc53b9e032c992a173b556cc95ef6170d3dbbe6b5cbdd6ab87c61657"` [INFO] [stderr] warning: An explicit [[test]] section is specified in Cargo.toml which currently [INFO] [stderr] disables Cargo from automatically inferring other test targets. [INFO] [stderr] This inference behavior will change in the Rust 2018 edition and the following [INFO] [stderr] files will be included as a test target: [INFO] [stderr] [INFO] [stderr] * /opt/crater/workdir/tests/kailua-check-test.rs [INFO] [stderr] [INFO] [stderr] This is likely to break cargo build or cargo test as these files may not be [INFO] [stderr] ready to be compiled as a test target today. You can future-proof yourself [INFO] [stderr] and disable this warning by adding `autotests = false` to your [package] [INFO] [stderr] section. You may also move the files to a location where Cargo would not [INFO] [stderr] automatically infer them to be a target, such as in subfolders. [INFO] [stderr] [INFO] [stderr] For more information on this warning you can consult [INFO] [stderr] https://github.com/rust-lang/cargo/issues/5330 [INFO] [stderr] Checking kailua_test v1.0.4 [INFO] [stderr] Checking kailua_check v1.1.0 (/opt/crater/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: 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: 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: 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: 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: 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: unused import: `std::str` [INFO] [stderr] --> src/bin/kailua-check.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use std::str; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/bin/kailua-check.rs:28:33 [INFO] [stderr] | [INFO] [stderr] 28 | report: &Report) -> Result, Option> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::str` [INFO] [stderr] --> src/bin/kailua-check.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use std::str; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/bin/kailua-check.rs:28:33 [INFO] [stderr] | [INFO] [stderr] 28 | report: &Report) -> Result, Option> { [INFO] [stderr] | ^^^^^^ help: use `dyn`: `dyn Report` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 5.94s [INFO] running `"docker" "inspect" "71dcd9efcc53b9e032c992a173b556cc95ef6170d3dbbe6b5cbdd6ab87c61657"` [INFO] running `"docker" "rm" "-f" "71dcd9efcc53b9e032c992a173b556cc95ef6170d3dbbe6b5cbdd6ab87c61657"` [INFO] [stdout] 71dcd9efcc53b9e032c992a173b556cc95ef6170d3dbbe6b5cbdd6ab87c61657