[INFO] fetching crate scryer-prolog 0.8.86... [INFO] extracting crate scryer-prolog 0.8.86 into work/ex/pr-62008/sources/master#848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1/reg/scryer-prolog/0.8.86 [INFO] extracting crate scryer-prolog 0.8.86 into work/ex/pr-62008/sources/try#8f81d0bf6baf07b92f1246696722485c4ca0b049/reg/scryer-prolog/0.8.86 [INFO] validating manifest of scryer-prolog-0.8.86 on toolchain master#848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1 [INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of scryer-prolog-0.8.86 on toolchain try#8f81d0bf6baf07b92f1246696722485c4ca0b049 [INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+8f81d0bf6baf07b92f1246696722485c4ca0b049-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing scryer-prolog-0.8.86 [INFO] finished frobbing scryer-prolog-0.8.86 [INFO] frobbed toml for scryer-prolog-0.8.86 written to work/ex/pr-62008/sources/master#848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1/reg/scryer-prolog/0.8.86/Cargo.toml [INFO] started frobbing scryer-prolog-0.8.86 [INFO] finished frobbing scryer-prolog-0.8.86 [INFO] frobbed toml for scryer-prolog-0.8.86 written to work/ex/pr-62008/sources/try#8f81d0bf6baf07b92f1246696722485c4ca0b049/reg/scryer-prolog/0.8.86/Cargo.toml [INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+8f81d0bf6baf07b92f1246696722485c4ca0b049-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+8f81d0bf6baf07b92f1246696722485c4ca0b049-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] checking scryer-prolog-0.8.86 against try#8f81d0bf6baf07b92f1246696722485c4ca0b049 for pr-62008 [INFO] running `"docker" "create" "-v" "/mnt/big/ec2-user/crater/work/local/target-dirs/pr-62008/worker-4/try#8f81d0bf6baf07b92f1246696722485c4ca0b049:/opt/crater/target:rw,Z" "-v" "/mnt/big/ec2-user/crater/work/ex/pr-62008/sources/try#8f81d0bf6baf07b92f1246696722485c4ca0b049/reg/scryer-prolog/0.8.86:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/ec2-user/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/ec2-user/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" "+8f81d0bf6baf07b92f1246696722485c4ca0b049-alt" "check" "--frozen" "--all" "--all-targets"` [INFO] [stdout] 170c9514941b5be35f98bb780564238538ddea979a949041573def27801f2106 [INFO] running `"docker" "start" "-a" "170c9514941b5be35f98bb780564238538ddea979a949041573def27801f2106"` [INFO] [stderr] Compiling semver-parser v0.7.0 [INFO] [stderr] Compiling cfg-if v0.1.9 [INFO] [stderr] Compiling ryu v0.2.8 [INFO] [stderr] Checking static_assertions v0.2.5 [INFO] [stderr] Compiling rug v1.5.1 [INFO] [stderr] Compiling readline_rs_compat v0.1.9 [INFO] [stderr] Checking numtoa v0.1.0 [INFO] [stderr] Checking ref_thread_local v0.0.0 [INFO] [stderr] Checking indexmap v1.0.2 [INFO] [stderr] Checking downcast v0.10.0 [INFO] [stderr] Compiling dirs-sys v0.3.3 [INFO] [stderr] Checking num-traits v0.1.43 [INFO] [stderr] Checking termion v1.5.3 [INFO] [stderr] Checking ordered-float v0.5.2 [INFO] [stderr] Compiling semver v0.9.0 [INFO] [stderr] Compiling dirs v2.0.1 [INFO] [stderr] Compiling gmp-mpfr-sys v1.1.14 [INFO] [stderr] Compiling rustc_version v0.2.3 [INFO] [stderr] Compiling stackvector v1.0.6 [INFO] [stderr] Compiling lexical-core v0.4.2 [INFO] [stderr] Compiling lexical v2.2.1 [INFO] [stderr] Checking prolog_parser v0.8.27 [INFO] [stderr] Checking scryer-prolog v0.8.86 (/opt/crater/workdir) [INFO] [stderr] error: meta-variable repeats with different Kleene operator [INFO] [stderr] --> <::downcast::impl_downcast macros>:5:44 [INFO] [stderr] | [INFO] [stderr] 2 | < $ ( $ params : ident ) , + $ ( , ) * > $ base : ty $ ( [INFO] [stderr] | - expected repetition [INFO] [stderr] ... [INFO] [stderr] 5 | for $ base where _T : $ crate :: Any , $ ( $ params : 'static , ) * $ ( [INFO] [stderr] | ^^^^^^^^ - conflicting repetition [INFO] [stderr] | [INFO] [stderr] = note: #[deny(meta_variable_misuse)] on by default [INFO] [stderr] [INFO] [stderr] error: meta-variable repeats with different Kleene operator [INFO] [stderr] --> <::downcast::downcast_methods_core macros>:21:46 [INFO] [stderr] | [INFO] [stderr] 19 | < $ ( $ params : ident ) , + $ ( , ) * > $ base : ty $ ( [INFO] [stderr] | - expected repetition [INFO] [stderr] 20 | where $ ( $ bounds : tt ) + ) * ) => { [INFO] [stderr] 21 | impl < $ ( $ params ) , + > $ base where $ ( $ params : 'static , ) * $ ( [INFO] [stderr] | ^^^^^^^^ - conflicting repetition [INFO] [stderr] [INFO] [stderr] error: meta-variable repeats with different Kleene operator [INFO] [stderr] --> <::prolog_parser::macros::char_class macros>:3:45 [INFO] [stderr] | [INFO] [stderr] 2 | $ c : expr , [ $ head : expr $ ( , $ cs : expr ) + ] ) => ( [INFO] [stderr] | - expected repetition [INFO] [stderr] 3 | $ c == $ head || char_class ! ( $ c , [ $ ( $ cs ) , * ] ) ) ; [INFO] [stderr] | ^^^^ - conflicting repetition [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_errors.rs:151:46 [INFO] [stderr] | [INFO] [stderr] 151 | fn into_iter(self, offset: usize) -> Box> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator` [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/prolog/machine/machine_state.rs:870:11 [INFO] [stderr] | [INFO] [stderr] 870 | downcast!(CallPolicy); [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state.rs:877:33 [INFO] [stderr] | [INFO] [stderr] 877 | pub(crate) prev_policy: Box, [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state.rs:884:49 [INFO] [stderr] | [INFO] [stderr] 884 | pub(crate) fn new_in_place(policy: &mut Box) [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state.rs:886:34 [INFO] [stderr] | [INFO] [stderr] 886 | let mut prev_policy: Box = Box::new(DefaultCallPolicy {}); [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state.rs:939:48 [INFO] [stderr] | [INFO] [stderr] 939 | pub(crate) fn into_inner(&mut self) -> Box { [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state.rs:940:32 [INFO] [stderr] | [INFO] [stderr] 940 | let mut new_inner: Box = Box::new(DefaultCallPolicy {}); [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state.rs:951:11 [INFO] [stderr] | [INFO] [stderr] 951 | downcast!(CutPolicy); [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn CutPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2978:49 [INFO] [stderr] | [INFO] [stderr] 2978 | call_policy: &mut Box, [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2979:49 [INFO] [stderr] | [INFO] [stderr] 2979 | cut_policy: &mut Box, [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn CutPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2986:42 [INFO] [stderr] | [INFO] [stderr] 2986 | let mut default_call_policy: Box = Box::new(DefaultCallPolicy {}); [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:3019:60 [INFO] [stderr] | [INFO] [stderr] 3019 | call_policy: &mut Box, [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:3020:60 [INFO] [stderr] | [INFO] [stderr] 3020 | cut_policy: &mut Box, [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn CutPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:3047:70 [INFO] [stderr] | [INFO] [stderr] 3047 | call_policy: &mut Box) [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:3084:62 [INFO] [stderr] | [INFO] [stderr] 3084 | call_policy: &mut Box) [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:3129:58 [INFO] [stderr] | [INFO] [stderr] 3129 | cut_policy: &mut Box) [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn CutPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/system_calls.rs:417:53 [INFO] [stderr] | [INFO] [stderr] 417 | call_policy: &mut Box, [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/system_calls.rs:418:53 [INFO] [stderr] | [INFO] [stderr] 418 | cut_policy: &mut Box, [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn CutPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/mod.rs:49:22 [INFO] [stderr] | [INFO] [stderr] 49 | call_policy: Box, [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/mod.rs:50:21 [INFO] [stderr] | [INFO] [stderr] 50 | cut_policy: Box, [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn CutPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/mod.rs:69:49 [INFO] [stderr] | [INFO] [stderr] 69 | pub(super) prolog_stream: ParsingStream> [INFO] [stderr] | ^^^^ help: use `dyn`: `dyn Read` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/iterators.rs:297:15 [INFO] [stderr] | [INFO] [stderr] 297 | iter: Box> + 'a>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator> + 'a` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/iterators.rs:307:40 [INFO] [stderr] | [INFO] [stderr] 307 | pub fn rule_body_iter(self) -> Box> + 'a> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator> + 'a` [INFO] [stderr] [INFO] [stderr] warning: `...` range patterns are deprecated [INFO] [stderr] --> src/prolog/heap_print.rs:152:16 [INFO] [stderr] | [INFO] [stderr] 152 | '\x20' ... '\x7e' => c.to_string(), [INFO] [stderr] | ^^^ help: use `..=` for an inclusive range [INFO] [stderr] | [INFO] [stderr] = note: #[warn(ellipsis_inclusive_range_patterns)] on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/read.rs:26:43 [INFO] [stderr] | [INFO] [stderr] 26 | pub type PrologStream = ParsingStream>; [INFO] [stderr] | ^^^^ help: use `dyn`: `dyn Read` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/read.rs:148:25 [INFO] [stderr] | [INFO] [stderr] 148 | let reader: Box = Box::new(ReadlineStream::new(String::from(""))); [INFO] [stderr] | ^^^^ help: use `dyn`: `dyn Read` [INFO] [stderr] [INFO] [stderr] error: meta-variable repeats with different Kleene operator [INFO] [stderr] --> <::downcast::impl_downcast macros>:5:44 [INFO] [stderr] | [INFO] [stderr] 2 | < $ ( $ params : ident ) , + $ ( , ) * > $ base : ty $ ( [INFO] [stderr] | - expected repetition [INFO] [stderr] ... [INFO] [stderr] 5 | for $ base where _T : $ crate :: Any , $ ( $ params : 'static , ) * $ ( [INFO] [stderr] | ^^^^^^^^ - conflicting repetition [INFO] [stderr] | [INFO] [stderr] = note: #[deny(meta_variable_misuse)] on by default [INFO] [stderr] [INFO] [stderr] error: meta-variable repeats with different Kleene operator [INFO] [stderr] --> <::downcast::downcast_methods_core macros>:21:46 [INFO] [stderr] | [INFO] [stderr] 19 | < $ ( $ params : ident ) , + $ ( , ) * > $ base : ty $ ( [INFO] [stderr] | - expected repetition [INFO] [stderr] 20 | where $ ( $ bounds : tt ) + ) * ) => { [INFO] [stderr] 21 | impl < $ ( $ params ) , + > $ base where $ ( $ params : 'static , ) * $ ( [INFO] [stderr] | ^^^^^^^^ - conflicting repetition [INFO] [stderr] [INFO] [stderr] error: meta-variable repeats with different Kleene operator [INFO] [stderr] --> <::prolog_parser::macros::char_class macros>:3:45 [INFO] [stderr] | [INFO] [stderr] 2 | $ c : expr , [ $ head : expr $ ( , $ cs : expr ) + ] ) => ( [INFO] [stderr] | - expected repetition [INFO] [stderr] 3 | $ c == $ head || char_class ! ( $ c , [ $ ( $ cs ) , * ] ) ) ; [INFO] [stderr] | ^^^^ - conflicting repetition [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_errors.rs:151:46 [INFO] [stderr] | [INFO] [stderr] 151 | fn into_iter(self, offset: usize) -> Box> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator` [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/prolog/machine/machine_state.rs:870:11 [INFO] [stderr] | [INFO] [stderr] 870 | downcast!(CallPolicy); [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state.rs:877:33 [INFO] [stderr] | [INFO] [stderr] 877 | pub(crate) prev_policy: Box, [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state.rs:884:49 [INFO] [stderr] | [INFO] [stderr] 884 | pub(crate) fn new_in_place(policy: &mut Box) [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state.rs:886:34 [INFO] [stderr] | [INFO] [stderr] 886 | let mut prev_policy: Box = Box::new(DefaultCallPolicy {}); [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state.rs:939:48 [INFO] [stderr] | [INFO] [stderr] 939 | pub(crate) fn into_inner(&mut self) -> Box { [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state.rs:940:32 [INFO] [stderr] | [INFO] [stderr] 940 | let mut new_inner: Box = Box::new(DefaultCallPolicy {}); [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state.rs:951:11 [INFO] [stderr] | [INFO] [stderr] 951 | downcast!(CutPolicy); [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn CutPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2978:49 [INFO] [stderr] | [INFO] [stderr] 2978 | call_policy: &mut Box, [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2979:49 [INFO] [stderr] | [INFO] [stderr] 2979 | cut_policy: &mut Box, [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn CutPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:2986:42 [INFO] [stderr] | [INFO] [stderr] 2986 | let mut default_call_policy: Box = Box::new(DefaultCallPolicy {}); [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:3019:60 [INFO] [stderr] | [INFO] [stderr] 3019 | call_policy: &mut Box, [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:3020:60 [INFO] [stderr] | [INFO] [stderr] 3020 | cut_policy: &mut Box, [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn CutPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:3047:70 [INFO] [stderr] | [INFO] [stderr] 3047 | call_policy: &mut Box) [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:3084:62 [INFO] [stderr] | [INFO] [stderr] 3084 | call_policy: &mut Box) [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/machine_state_impl.rs:3129:58 [INFO] [stderr] | [INFO] [stderr] 3129 | cut_policy: &mut Box) [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn CutPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/system_calls.rs:417:53 [INFO] [stderr] | [INFO] [stderr] 417 | call_policy: &mut Box, [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/system_calls.rs:418:53 [INFO] [stderr] | [INFO] [stderr] 418 | cut_policy: &mut Box, [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn CutPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/mod.rs:49:22 [INFO] [stderr] | [INFO] [stderr] 49 | call_policy: Box, [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn CallPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/mod.rs:50:21 [INFO] [stderr] | [INFO] [stderr] 50 | cut_policy: Box, [INFO] [stderr] | ^^^^^^^^^ help: use `dyn`: `dyn CutPolicy` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/machine/mod.rs:69:49 [INFO] [stderr] | [INFO] [stderr] 69 | pub(super) prolog_stream: ParsingStream> [INFO] [stderr] | ^^^^ help: use `dyn`: `dyn Read` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/iterators.rs:297:15 [INFO] [stderr] | [INFO] [stderr] 297 | iter: Box> + 'a>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator> + 'a` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/iterators.rs:307:40 [INFO] [stderr] | [INFO] [stderr] 307 | pub fn rule_body_iter(self) -> Box> + 'a> [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn Iterator> + 'a` [INFO] [stderr] [INFO] [stderr] warning: `...` range patterns are deprecated [INFO] [stderr] --> src/prolog/heap_print.rs:152:16 [INFO] [stderr] | [INFO] [stderr] 152 | '\x20' ... '\x7e' => c.to_string(), [INFO] [stderr] | ^^^ help: use `..=` for an inclusive range [INFO] [stderr] | [INFO] [stderr] = note: #[warn(ellipsis_inclusive_range_patterns)] on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/read.rs:26:43 [INFO] [stderr] | [INFO] [stderr] 26 | pub type PrologStream = ParsingStream>; [INFO] [stderr] | ^^^^ help: use `dyn`: `dyn Read` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/prolog/read.rs:148:25 [INFO] [stderr] | [INFO] [stderr] 148 | let reader: Box = Box::new(ReadlineStream::new(String::from(""))); [INFO] [stderr] | ^^^^ help: use `dyn`: `dyn Read` [INFO] [stderr] [INFO] [stderr] error: aborting due to 3 previous errors [INFO] [stderr] [INFO] [stderr] error: Could not compile `scryer-prolog`. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: aborting due to 3 previous errors [INFO] [stderr] [INFO] [stderr] error: Could not compile `scryer-prolog`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "170c9514941b5be35f98bb780564238538ddea979a949041573def27801f2106"` [INFO] running `"docker" "rm" "-f" "170c9514941b5be35f98bb780564238538ddea979a949041573def27801f2106"` [INFO] [stdout] 170c9514941b5be35f98bb780564238538ddea979a949041573def27801f2106