Nov 02 15:38:18.402 INFO checking devcat-studio/kailua against try#dc8b02d6f1e93f212fc39844ea688b634b4a03c7 for pr-55517 Nov 02 15:38:18.402 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55517/worker-0/try#dc8b02d6f1e93f212fc39844ea688b634b4a03c7:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-55517/try#dc8b02d6f1e93f212fc39844ea688b634b4a03c7:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +dc8b02d6f1e93f212fc39844ea688b634b4a03c7-alt check --frozen --all --all-targets" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Nov 02 15:38:18.944 INFO blam! 8a81d84383d48c7d4b23f4cb4d75cec4b33b634cb7b61f6b3fcbcc94f2cf71fb Nov 02 15:38:18.952 INFO running `"docker" "start" "-a" "8a81d84383d48c7d4b23f4cb4d75cec4b33b634cb7b61f6b3fcbcc94f2cf71fb"` Nov 02 15:38:20.536 INFO kablam! usermod: no changes Nov 02 15:38:20.812 INFO kablam! Checking kailua_env v1.0.4 (/source/kailua_env) Nov 02 15:38:20.816 INFO kablam! Checking smallvec v0.4.1 Nov 02 15:38:20.817 INFO kablam! Checking parse-generics-shim v0.1.1 Nov 02 15:38:20.821 INFO kablam! Checking take_mut v0.1.3 Nov 02 15:38:20.821 INFO kablam! Checking atomic v0.3.4 Nov 02 15:38:20.824 INFO kablam! Checking owning_ref v0.2.4 Nov 02 15:38:20.844 INFO kablam! Checking thread-id v3.2.0 Nov 02 15:38:21.736 INFO kablam! Checking futures-cpupool v0.1.5 Nov 02 15:38:23.128 INFO kablam! Checking env_logger v0.4.3 Nov 02 15:38:23.525 INFO kablam! Checking kailua_langsvr_protocol v1.0.5 (/source/kailua_langsvr_protocol) Nov 02 15:38:24.515 INFO kablam! Checking parking_lot_core v0.2.2 Nov 02 15:38:26.964 INFO kablam! Checking kailua_diag v1.0.4 (/source/kailua_diag) Nov 02 15:38:29.029 INFO kablam! Checking parking_lot v0.4.4 Nov 02 15:38:31.589 INFO kablam! Checking kailua_syntax v1.1.0 (/source/kailua_syntax) Nov 02 15:38:31.589 INFO kablam! Checking kailua_test v1.0.4 (/source/kailua_test) Nov 02 15:38:37.119 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Nov 02 15:38:37.120 INFO kablam! --> kailua_test/src/lib.rs:159:5 Nov 02 15:38:37.120 INFO kablam! | Nov 02 15:38:37.120 INFO kablam! 159 | use std::ascii::AsciiExt; Nov 02 15:38:37.120 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Nov 02 15:38:37.140 INFO kablam! | Nov 02 15:38:37.141 INFO kablam! = note: #[warn(deprecated)] on by default Nov 02 15:38:37.141 INFO kablam! Nov 02 15:38:37.624 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Nov 02 15:38:37.624 INFO kablam! --> kailua_test/src/lib.rs:159:5 Nov 02 15:38:37.624 INFO kablam! | Nov 02 15:38:37.625 INFO kablam! 159 | use std::ascii::AsciiExt; Nov 02 15:38:37.625 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Nov 02 15:38:37.625 INFO kablam! | Nov 02 15:38:37.625 INFO kablam! = note: #[warn(deprecated)] on by default Nov 02 15:38:37.625 INFO kablam! Nov 02 15:38:38.512 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Nov 02 15:38:38.513 INFO kablam! --> kailua_test/src/lib.rs:159:5 Nov 02 15:38:38.513 INFO kablam! | Nov 02 15:38:38.513 INFO kablam! 159 | use std::ascii::AsciiExt; Nov 02 15:38:38.513 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Nov 02 15:38:38.528 INFO kablam! | Nov 02 15:38:38.528 INFO kablam! = note: #[warn(unused_imports)] on by default Nov 02 15:38:38.528 INFO kablam! Nov 02 15:38:38.956 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Nov 02 15:38:38.957 INFO kablam! --> kailua_test/src/lib.rs:159:5 Nov 02 15:38:38.958 INFO kablam! | Nov 02 15:38:38.958 INFO kablam! 159 | use std::ascii::AsciiExt; Nov 02 15:38:38.959 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Nov 02 15:38:38.959 INFO kablam! | Nov 02 15:38:38.960 INFO kablam! = note: #[warn(unused_imports)] on by default Nov 02 15:38:38.960 INFO kablam! Nov 02 15:38:46.456 INFO kablam! Checking kailua_types v1.1.0 (/source/kailua_types) Nov 02 15:38:53.813 INFO kablam! warning: unused macro definition Nov 02 15:38:53.813 INFO kablam! --> kailua_types/src/ty/value.rs:1875:5 Nov 02 15:38:53.813 INFO kablam! | Nov 02 15:38:53.813 INFO kablam! 1875 | / macro_rules! hash { Nov 02 15:38:53.813 INFO kablam! 1876 | | ($($k:ident = $v:expr),*) => (vec![$((s(stringify!($k)), $v)),*]) Nov 02 15:38:53.813 INFO kablam! 1877 | | } Nov 02 15:38:53.813 INFO kablam! | |_____^ Nov 02 15:38:53.813 INFO kablam! | Nov 02 15:38:53.813 INFO kablam! = note: #[warn(unused_macros)] on by default Nov 02 15:38:53.813 INFO kablam! Nov 02 15:38:57.708 INFO kablam! warning: variable does not need to be mutable Nov 02 15:38:57.708 INFO kablam! --> kailua_types/src/ty/display.rs:78:13 Nov 02 15:38:57.708 INFO kablam! | Nov 02 15:38:57.708 INFO kablam! 78 | let mut spans = disambig.entry(name.base.clone()).or_insert_with(|| HashMap::new()); Nov 02 15:38:57.708 INFO kablam! | ----^^^^^ Nov 02 15:38:57.708 INFO kablam! | | Nov 02 15:38:57.708 INFO kablam! | help: remove this `mut` Nov 02 15:38:57.708 INFO kablam! | Nov 02 15:38:57.708 INFO kablam! = note: #[warn(unused_mut)] on by default Nov 02 15:38:57.708 INFO kablam! Nov 02 15:38:58.852 INFO kablam! warning: variable does not need to be mutable Nov 02 15:38:58.853 INFO kablam! --> kailua_types/src/env/mod.rs:381:17 Nov 02 15:38:58.854 INFO kablam! | Nov 02 15:38:58.855 INFO kablam! 381 | let mut row = Nov 02 15:38:58.855 INFO kablam! | ----^^^ Nov 02 15:38:58.856 INFO kablam! | | Nov 02 15:38:58.857 INFO kablam! | help: remove this `mut` Nov 02 15:38:58.857 INFO kablam! Nov 02 15:38:58.858 INFO kablam! warning: variable does not need to be mutable Nov 02 15:38:58.859 INFO kablam! --> kailua_types/src/env/mod.rs:388:17 Nov 02 15:38:58.859 INFO kablam! | Nov 02 15:38:58.860 INFO kablam! 388 | let mut row = Nov 02 15:38:58.861 INFO kablam! | ----^^^ Nov 02 15:38:58.861 INFO kablam! | | Nov 02 15:38:58.862 INFO kablam! | help: remove this `mut` Nov 02 15:38:58.862 INFO kablam! Nov 02 15:38:59.729 INFO kablam! Checking kailua_check v1.1.0 (/source/kailua_check) Nov 02 15:39:01.924 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Nov 02 15:39:01.925 INFO kablam! --> kailua_check/src/options.rs:4:5 Nov 02 15:39:01.925 INFO kablam! | Nov 02 15:39:01.925 INFO kablam! 4 | use std::ascii::AsciiExt; Nov 02 15:39:01.925 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Nov 02 15:39:01.926 INFO kablam! | Nov 02 15:39:01.926 INFO kablam! = note: #[warn(deprecated)] on by default Nov 02 15:39:01.926 INFO kablam! Nov 02 15:39:03.496 INFO kablam! warning: variable does not need to be mutable Nov 02 15:39:03.496 INFO kablam! --> kailua_types/src/ty/display.rs:78:13 Nov 02 15:39:03.496 INFO kablam! | Nov 02 15:39:03.496 INFO kablam! 78 | let mut spans = disambig.entry(name.base.clone()).or_insert_with(|| HashMap::new()); Nov 02 15:39:03.496 INFO kablam! | ----^^^^^ Nov 02 15:39:03.496 INFO kablam! | | Nov 02 15:39:03.496 INFO kablam! | help: remove this `mut` Nov 02 15:39:03.496 INFO kablam! | Nov 02 15:39:03.496 INFO kablam! = note: #[warn(unused_mut)] on by default Nov 02 15:39:03.496 INFO kablam! Nov 02 15:39:04.101 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Nov 02 15:39:04.101 INFO kablam! --> kailua_check/src/options.rs:4:5 Nov 02 15:39:04.101 INFO kablam! | Nov 02 15:39:04.102 INFO kablam! 4 | use std::ascii::AsciiExt; Nov 02 15:39:04.102 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Nov 02 15:39:04.103 INFO kablam! | Nov 02 15:39:04.103 INFO kablam! = note: #[warn(deprecated)] on by default Nov 02 15:39:04.103 INFO kablam! Nov 02 15:39:04.672 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Nov 02 15:39:04.672 INFO kablam! --> kailua_check/src/options.rs:4:5 Nov 02 15:39:04.672 INFO kablam! | Nov 02 15:39:04.672 INFO kablam! 4 | use std::ascii::AsciiExt; Nov 02 15:39:04.672 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Nov 02 15:39:04.672 INFO kablam! | Nov 02 15:39:04.672 INFO kablam! = note: #[warn(unused_imports)] on by default Nov 02 15:39:04.672 INFO kablam! Nov 02 15:39:05.402 INFO kablam! warning: variable does not need to be mutable Nov 02 15:39:05.402 INFO kablam! --> kailua_check/src/env.rs:974:17 Nov 02 15:39:05.402 INFO kablam! | Nov 02 15:39:05.402 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Nov 02 15:39:05.402 INFO kablam! | ----^^^ Nov 02 15:39:05.402 INFO kablam! | | Nov 02 15:39:05.402 INFO kablam! | help: remove this `mut` Nov 02 15:39:05.402 INFO kablam! | Nov 02 15:39:05.403 INFO kablam! = note: #[warn(unused_mut)] on by default Nov 02 15:39:05.403 INFO kablam! Nov 02 15:39:05.456 INFO kablam! warning: variable does not need to be mutable Nov 02 15:39:05.456 INFO kablam! --> kailua_check/src/env.rs:1194:13 Nov 02 15:39:05.456 INFO kablam! | Nov 02 15:39:05.456 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Nov 02 15:39:05.456 INFO kablam! | ----^^^ Nov 02 15:39:05.456 INFO kablam! | | Nov 02 15:39:05.456 INFO kablam! | help: remove this `mut` Nov 02 15:39:05.456 INFO kablam! Nov 02 15:39:05.796 INFO kablam! warning: variable does not need to be mutable Nov 02 15:39:05.796 INFO kablam! --> kailua_check/src/check.rs:1302:13 Nov 02 15:39:05.796 INFO kablam! | Nov 02 15:39:05.796 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Nov 02 15:39:05.796 INFO kablam! | ----^^^^^^^ Nov 02 15:39:05.796 INFO kablam! | | Nov 02 15:39:05.796 INFO kablam! | help: remove this `mut` Nov 02 15:39:05.796 INFO kablam! Nov 02 15:39:05.820 INFO kablam! warning: variable does not need to be mutable Nov 02 15:39:05.820 INFO kablam! --> kailua_types/src/env/mod.rs:381:17 Nov 02 15:39:05.820 INFO kablam! | Nov 02 15:39:05.820 INFO kablam! 381 | let mut row = Nov 02 15:39:05.820 INFO kablam! | ----^^^ Nov 02 15:39:05.820 INFO kablam! | | Nov 02 15:39:05.820 INFO kablam! | help: remove this `mut` Nov 02 15:39:05.820 INFO kablam! Nov 02 15:39:05.820 INFO kablam! warning: variable does not need to be mutable Nov 02 15:39:05.820 INFO kablam! --> kailua_types/src/env/mod.rs:388:17 Nov 02 15:39:05.820 INFO kablam! | Nov 02 15:39:05.820 INFO kablam! 388 | let mut row = Nov 02 15:39:05.820 INFO kablam! | ----^^^ Nov 02 15:39:05.820 INFO kablam! | | Nov 02 15:39:05.820 INFO kablam! | help: remove this `mut` Nov 02 15:39:05.820 INFO kablam! Nov 02 15:39:06.116 INFO kablam! warning: variable does not need to be mutable Nov 02 15:39:06.116 INFO kablam! --> kailua_check/src/check.rs:2882:17 Nov 02 15:39:06.116 INFO kablam! | Nov 02 15:39:06.116 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Nov 02 15:39:06.116 INFO kablam! | ----^^^^^^^ Nov 02 15:39:06.116 INFO kablam! | | Nov 02 15:39:06.116 INFO kablam! | help: remove this `mut` Nov 02 15:39:06.116 INFO kablam! Nov 02 15:39:07.293 INFO kablam! Checking kailua_workspace v1.1.0 (/source/kailua_workspace) Nov 02 15:39:10.868 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Nov 02 15:39:10.868 INFO kablam! --> kailua_check/src/options.rs:4:5 Nov 02 15:39:10.869 INFO kablam! | Nov 02 15:39:10.869 INFO kablam! 4 | use std::ascii::AsciiExt; Nov 02 15:39:10.869 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Nov 02 15:39:10.869 INFO kablam! | Nov 02 15:39:10.869 INFO kablam! = note: #[warn(unused_imports)] on by default Nov 02 15:39:10.869 INFO kablam! Nov 02 15:39:13.080 INFO kablam! warning: variable does not need to be mutable Nov 02 15:39:13.081 INFO kablam! --> kailua_check/src/env.rs:974:17 Nov 02 15:39:13.081 INFO kablam! | Nov 02 15:39:13.081 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Nov 02 15:39:13.081 INFO kablam! | ----^^^ Nov 02 15:39:13.081 INFO kablam! | | Nov 02 15:39:13.082 INFO kablam! | help: remove this `mut` Nov 02 15:39:13.082 INFO kablam! | Nov 02 15:39:13.083 INFO kablam! = note: #[warn(unused_mut)] on by default Nov 02 15:39:13.083 INFO kablam! Nov 02 15:39:13.172 INFO kablam! warning: variable does not need to be mutable Nov 02 15:39:13.173 INFO kablam! --> kailua_check/src/env.rs:1194:13 Nov 02 15:39:13.173 INFO kablam! | Nov 02 15:39:13.173 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Nov 02 15:39:13.173 INFO kablam! | ----^^^ Nov 02 15:39:13.173 INFO kablam! | | Nov 02 15:39:13.173 INFO kablam! | help: remove this `mut` Nov 02 15:39:13.173 INFO kablam! Nov 02 15:39:13.715 INFO kablam! warning: unused import: `std::str` Nov 02 15:39:13.716 INFO kablam! --> kailua_check/src/bin/kailua-check.rs:8:5 Nov 02 15:39:13.717 INFO kablam! | Nov 02 15:39:13.717 INFO kablam! 8 | use std::str; Nov 02 15:39:13.718 INFO kablam! | ^^^^^^^^ Nov 02 15:39:13.719 INFO kablam! | Nov 02 15:39:13.719 INFO kablam! = note: #[warn(unused_imports)] on by default Nov 02 15:39:13.720 INFO kablam! Nov 02 15:39:14.247 INFO kablam! warning: unused import: `std::str` Nov 02 15:39:14.247 INFO kablam! --> kailua_check/src/bin/kailua-check.rs:8:5 Nov 02 15:39:14.247 INFO kablam! | Nov 02 15:39:14.247 INFO kablam! 8 | use std::str; Nov 02 15:39:14.247 INFO kablam! | ^^^^^^^^ Nov 02 15:39:14.247 INFO kablam! | Nov 02 15:39:14.247 INFO kablam! = note: #[warn(unused_imports)] on by default Nov 02 15:39:14.247 INFO kablam! Nov 02 15:39:14.812 INFO kablam! warning: variable does not need to be mutable Nov 02 15:39:14.812 INFO kablam! --> kailua_check/src/check.rs:1302:13 Nov 02 15:39:14.812 INFO kablam! | Nov 02 15:39:14.812 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Nov 02 15:39:14.812 INFO kablam! | ----^^^^^^^ Nov 02 15:39:14.812 INFO kablam! | | Nov 02 15:39:14.812 INFO kablam! | help: remove this `mut` Nov 02 15:39:14.812 INFO kablam! Nov 02 15:39:15.696 INFO kablam! warning: variable does not need to be mutable Nov 02 15:39:15.697 INFO kablam! --> kailua_check/src/check.rs:2882:17 Nov 02 15:39:15.698 INFO kablam! | Nov 02 15:39:15.698 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Nov 02 15:39:15.699 INFO kablam! | ----^^^^^^^ Nov 02 15:39:15.699 INFO kablam! | | Nov 02 15:39:15.699 INFO kablam! | help: remove this `mut` Nov 02 15:39:15.700 INFO kablam! Nov 02 15:39:15.755 INFO kablam! Checking kailua_langsvr v1.1.0 (/source/kailua_langsvr) Nov 02 15:39:20.200 INFO kablam! warning: type annotations needed Nov 02 15:39:20.200 INFO kablam! --> kailua_langsvr/src/diags.rs:97:28 Nov 02 15:39:20.200 INFO kablam! | Nov 02 15:39:20.200 INFO kablam! 97 | (self as *const _).hash(state) Nov 02 15:39:20.200 INFO kablam! | ^^^^ Nov 02 15:39:20.200 INFO kablam! | Nov 02 15:39:20.200 INFO kablam! = note: #[warn(tyvar_behind_raw_pointer)] on by default Nov 02 15:39:20.200 INFO kablam! = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition! Nov 02 15:39:20.200 INFO kablam! = note: for more information, see issue #46906 Nov 02 15:39:20.200 INFO kablam! Nov 02 15:39:20.500 INFO kablam! warning: type annotations needed Nov 02 15:39:20.500 INFO kablam! --> kailua_langsvr/src/diags.rs:97:28 Nov 02 15:39:20.500 INFO kablam! | Nov 02 15:39:20.500 INFO kablam! 97 | (self as *const _).hash(state) Nov 02 15:39:20.501 INFO kablam! | ^^^^ Nov 02 15:39:20.501 INFO kablam! | Nov 02 15:39:20.501 INFO kablam! = note: #[warn(tyvar_behind_raw_pointer)] on by default Nov 02 15:39:20.501 INFO kablam! = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in the 2018 edition! Nov 02 15:39:20.501 INFO kablam! = note: for more information, see issue #46906 Nov 02 15:39:20.501 INFO kablam! Nov 02 15:39:22.140 INFO kablam! Checking kailua v1.1.0 (/source) Nov 02 15:39:27.522 INFO kablam! warning: unused import: `std::str` Nov 02 15:39:27.523 INFO kablam! --> src/main.rs:18:9 Nov 02 15:39:27.523 INFO kablam! | Nov 02 15:39:27.524 INFO kablam! 18 | use std::str; Nov 02 15:39:27.525 INFO kablam! | ^^^^^^^^ Nov 02 15:39:27.525 INFO kablam! | Nov 02 15:39:27.526 INFO kablam! = note: #[warn(unused_imports)] on by default Nov 02 15:39:27.526 INFO kablam! Nov 02 15:39:27.856 INFO kablam! warning: unused import: `std::str` Nov 02 15:39:27.868 INFO kablam! --> src/main.rs:18:9 Nov 02 15:39:27.869 INFO kablam! | Nov 02 15:39:27.870 INFO kablam! 18 | use std::str; Nov 02 15:39:27.870 INFO kablam! | ^^^^^^^^ Nov 02 15:39:27.871 INFO kablam! | Nov 02 15:39:27.871 INFO kablam! = note: #[warn(unused_imports)] on by default Nov 02 15:39:27.872 INFO kablam! Nov 02 15:39:28.145 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 1m 07s Nov 02 15:39:28.197 INFO kablam! su: No module specific data is present Nov 02 15:39:29.403 INFO running `"docker" "rm" "-f" "8a81d84383d48c7d4b23f4cb4d75cec4b33b634cb7b61f6b3fcbcc94f2cf71fb"` Nov 02 15:39:29.664 INFO blam! 8a81d84383d48c7d4b23f4cb4d75cec4b33b634cb7b61f6b3fcbcc94f2cf71fb