[INFO] crate kailua_check 1.1.0 is already in cache
[INFO] testing kailua_check-1.1.0 against beta-2019-09-28 for beta-1.39-1
[INFO] extracting crate kailua_check 1.1.0 into work/builds/worker-5/source
[INFO] validating manifest of crates.io crate kailua_check 1.1.0 on toolchain beta-2019-09-28
[INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+beta-2019-09-28" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking crates.io crate kailua_check 1.1.0
[INFO] removed 1 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 work/builds/worker-5/source/Cargo.toml
[INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+beta-2019-09-28" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+beta-2019-09-28" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[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] * /big/crater/work/builds/worker-5/source/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] running `"docker" "create" "-v" "/big/crater/work/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/big/crater/work/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/big/crater/work/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1000" "-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-2019-09-28" "build" "--frozen"`
[INFO] [stdout] bdc33ea90fce99cdc87d10f8c4f2e291ffb4ec37e7b07b1d477c9e11e8460a3b
[INFO] running `"docker" "start" "-a" "bdc33ea90fce99cdc87d10f8c4f2e291ffb4ec37e7b07b1d477c9e11e8460a3b"`
[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/rustwide/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]    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<Stop>> {
[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<Stop>> {
[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<Chunk, Option<Stop>> {
[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<Chunk>, Option<Stop>>;
[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<PathBuf, Option<Stop>> {
[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<Chunk>, Option<Stop>> {
[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<Stop>> {
[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<Stop>> {
[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<Chunk, Option<Stop>> {
[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<Spanned<Name>>, Box<ClassSystem>)>,
[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<ClassSystem>)],
[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<ClassSystem>> {
[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<RefCell<Options>>) -> 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<RefCell<Options>>,
[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<R>, opts: Rc<RefCell<Options>>,
[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<RefCell<Options>> {
[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<ClassSystem>) -> Result<Option<ClassSystemId>> {
[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<Option<ClassId>> {
[INFO] [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<Option<ClassId>> {
[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<Option<ClassId>>;
[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<Option<Slot>>;
[INFO] [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<Option<Slot>>;
[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<Option<(bool, Slot)>>;
[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<Option<ClassId>> {
[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<Option<Slot>> {
[INFO] [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<Option<Slot>> {
[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<Option<(bool, Slot)>> {
[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<Slot> {
[INFO] [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<Slot> {
[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<Option<ClassId>> {
[INFO] [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<Option<ClassId>> {
[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<Option<ClassId>> {
[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<Option<Slot>> {
[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<Option<(bool, Slot)>> {
[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<Box<ClassSystem>> {
[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<Option<Option<Spanned<ClassId>>>> {
[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<Exit> {
[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<RefCell<options::Options>>
[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<RefCell<options::Options>>,
[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: 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<Chunk>, Option<Stop>> {
[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.22s
[INFO] running `"docker" "inspect" "bdc33ea90fce99cdc87d10f8c4f2e291ffb4ec37e7b07b1d477c9e11e8460a3b"`
[INFO] running `"docker" "rm" "-f" "bdc33ea90fce99cdc87d10f8c4f2e291ffb4ec37e7b07b1d477c9e11e8460a3b"`
[INFO] [stdout] bdc33ea90fce99cdc87d10f8c4f2e291ffb4ec37e7b07b1d477c9e11e8460a3b
[INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/big/crater/work/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/big/crater/work/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1000" "-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-2019-09-28" "test" "--frozen" "--no-run"`
[INFO] [stdout] 4d0a35ba24eabdc81249154a2ba3f9b561f7dfc8486e379f64e3b2ba2a036c6a
[INFO] running `"docker" "start" "-a" "4d0a35ba24eabdc81249154a2ba3f9b561f7dfc8486e379f64e3b2ba2a036c6a"`
[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/rustwide/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]    Compiling kailua_test v1.0.4
[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<Chunk>, Option<Stop>> {
[INFO] [stderr]    |                                 ^^^^^^ help: use `dyn`: `dyn Report`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]  --> src/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<Stop>> {
[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<Stop>> {
[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<Chunk, Option<Stop>> {
[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<Chunk>, Option<Stop>>;
[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<PathBuf, Option<Stop>> {
[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<Chunk>, Option<Stop>> {
[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<Stop>> {
[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<Stop>> {
[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<Chunk, Option<Stop>> {
[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<Spanned<Name>>, Box<ClassSystem>)>,
[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<ClassSystem>)],
[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<ClassSystem>> {
[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<RefCell<Options>>) -> 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<RefCell<Options>>,
[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<R>, opts: Rc<RefCell<Options>>,
[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<RefCell<Options>> {
[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<ClassSystem>) -> Result<Option<ClassSystemId>> {
[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<Option<ClassId>> {
[INFO] [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<Option<ClassId>> {
[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<Option<ClassId>>;
[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<Option<Slot>>;
[INFO] [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<Option<Slot>>;
[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<Option<(bool, Slot)>>;
[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<Option<ClassId>> {
[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<Option<Slot>> {
[INFO] [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<Option<Slot>> {
[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<Option<(bool, Slot)>> {
[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<Slot> {
[INFO] [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<Slot> {
[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<Option<ClassId>> {
[INFO] [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<Option<ClassId>> {
[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<Option<ClassId>> {
[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<Option<Slot>> {
[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<Option<(bool, Slot)>> {
[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<Box<ClassSystem>> {
[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<Option<Option<Spanned<ClassId>>>> {
[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<Exit> {
[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<RefCell<options::Options>>
[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<RefCell<options::Options>>,
[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]     Finished dev [unoptimized + debuginfo] target(s) in 3.76s
[INFO] running `"docker" "inspect" "4d0a35ba24eabdc81249154a2ba3f9b561f7dfc8486e379f64e3b2ba2a036c6a"`
[INFO] running `"docker" "rm" "-f" "4d0a35ba24eabdc81249154a2ba3f9b561f7dfc8486e379f64e3b2ba2a036c6a"`
[INFO] [stdout] 4d0a35ba24eabdc81249154a2ba3f9b561f7dfc8486e379f64e3b2ba2a036c6a
[INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/big/crater/work/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/big/crater/work/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1000" "-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-2019-09-28" "test" "--frozen"`
[INFO] [stdout] 89947012038add1a59040170f5a66f93acadadea98de98c70037a7df9bc75d68
[INFO] running `"docker" "start" "-a" "89947012038add1a59040170f5a66f93acadadea98de98c70037a7df9bc75d68"`
[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/rustwide/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]     Finished dev [unoptimized + debuginfo] target(s) in 0.05s
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/kailua_check-f14cad1bc1be2798
[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-364a146ffef2cf86
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests kailua_check
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] running `"docker" "inspect" "89947012038add1a59040170f5a66f93acadadea98de98c70037a7df9bc75d68"`
[INFO] running `"docker" "rm" "-f" "89947012038add1a59040170f5a66f93acadadea98de98c70037a7df9bc75d68"`
[INFO] [stdout] 89947012038add1a59040170f5a66f93acadadea98de98c70037a7df9bc75d68