Jul 11 15:14:08.474 INFO checking devcat-studio/kailua against master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9 for pr-52234 Jul 11 15:14:08.474 INFO running: cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets Jul 11 15:14:08.474 INFO creating container for: cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets Jul 11 15:14:08.474 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-6/pr-52234/master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-52234/worker-6/master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9:/target:rw,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"` Jul 11 15:14:08.724 INFO blam! f8fd79fc019d99c729f833fec7011e74aa7426e72f766a9cd2873eb8abe2c477 Jul 11 15:14:08.727 INFO running `"docker" "start" "-a" "f8fd79fc019d99c729f833fec7011e74aa7426e72f766a9cd2873eb8abe2c477"` Jul 11 15:14:09.969 INFO kablam! Checking smallvec v0.4.1 Jul 11 15:14:09.970 INFO kablam! Checking kailua_env v1.0.4 (file:///source/kailua_env) Jul 11 15:14:09.970 INFO kablam! Checking parse-generics-shim v0.1.1 Jul 11 15:14:09.977 INFO kablam! Checking take_mut v0.1.3 Jul 11 15:14:09.981 INFO kablam! Checking atomic v0.3.4 Jul 11 15:14:09.985 INFO kablam! Checking serde v1.0.10 Jul 11 15:14:09.989 INFO kablam! Checking owning_ref v0.2.4 Jul 11 15:14:11.600 INFO kablam! Checking memchr v1.0.1 Jul 11 15:14:11.965 INFO kablam! Checking thread-id v3.2.0 Jul 11 15:14:13.467 INFO kablam! Checking term_size v0.3.0 Jul 11 15:14:13.511 INFO kablam! Checking atty v0.2.2 Jul 11 15:14:14.432 INFO kablam! Checking tokio-timer v0.1.2 Jul 11 15:14:14.762 INFO kablam! Checking futures-cpupool v0.1.5 Jul 11 15:14:15.116 INFO kablam! Checking aho-corasick v0.6.3 Jul 11 15:14:15.151 INFO kablam! Checking textwrap v0.6.0 Jul 11 15:14:17.808 INFO kablam! Checking url v1.5.1 Jul 11 15:14:18.535 INFO kablam! Compiling serde_derive v1.0.10 Jul 11 15:14:19.211 INFO kablam! Checking clap v2.25.0 Jul 11 15:14:20.555 INFO kablam! Checking parking_lot_core v0.2.2 Jul 11 15:14:20.922 INFO kablam! Checking kailua_diag v1.0.4 (file:///source/kailua_diag) Jul 11 15:14:28.245 INFO kablam! Checking regex v0.2.2 Jul 11 15:14:28.414 INFO kablam! Checking parking_lot v0.4.4 Jul 11 15:14:32.805 INFO kablam! Checking kailua_syntax v1.1.0 (file:///source/kailua_syntax) Jul 11 15:14:56.467 INFO kablam! Checking env_logger v0.4.3 Jul 11 15:15:14.155 INFO kablam! Checking kailua_types v1.1.0 (file:///source/kailua_types) Jul 11 15:15:20.395 INFO kablam! warning: unused macro definition Jul 11 15:15:20.395 INFO kablam! --> kailua_types/src/ty/value.rs:1875:5 Jul 11 15:15:20.395 INFO kablam! | Jul 11 15:15:20.395 INFO kablam! 1875 | / macro_rules! hash { Jul 11 15:15:20.395 INFO kablam! 1876 | | ($($k:ident = $v:expr),*) => (vec![$((s(stringify!($k)), $v)),*]) Jul 11 15:15:20.395 INFO kablam! 1877 | | } Jul 11 15:15:20.395 INFO kablam! | |_____^ Jul 11 15:15:20.396 INFO kablam! | Jul 11 15:15:20.396 INFO kablam! = note: #[warn(unused_macros)] on by default Jul 11 15:15:20.396 INFO kablam! Jul 11 15:15:34.412 INFO kablam! Checking kailua_test v1.0.4 (file:///source/kailua_test) Jul 11 15:15:36.557 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Jul 11 15:15:36.557 INFO kablam! --> kailua_test/src/lib.rs:159:5 Jul 11 15:15:36.557 INFO kablam! | Jul 11 15:15:36.557 INFO kablam! 159 | use std::ascii::AsciiExt; Jul 11 15:15:36.557 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Jul 11 15:15:36.557 INFO kablam! | Jul 11 15:15:36.557 INFO kablam! = note: #[warn(deprecated)] on by default Jul 11 15:15:36.557 INFO kablam! Jul 11 15:15:36.862 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Jul 11 15:15:36.862 INFO kablam! --> kailua_test/src/lib.rs:159:5 Jul 11 15:15:36.862 INFO kablam! | Jul 11 15:15:36.862 INFO kablam! 159 | use std::ascii::AsciiExt; Jul 11 15:15:36.862 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Jul 11 15:15:36.862 INFO kablam! | Jul 11 15:15:36.863 INFO kablam! = note: #[warn(deprecated)] on by default Jul 11 15:15:36.863 INFO kablam! Jul 11 15:15:39.350 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Jul 11 15:15:39.350 INFO kablam! --> kailua_test/src/lib.rs:159:5 Jul 11 15:15:39.350 INFO kablam! | Jul 11 15:15:39.350 INFO kablam! 159 | use std::ascii::AsciiExt; Jul 11 15:15:39.350 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Jul 11 15:15:39.350 INFO kablam! | Jul 11 15:15:39.350 INFO kablam! = note: #[warn(unused_imports)] on by default Jul 11 15:15:39.350 INFO kablam! Jul 11 15:15:40.784 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Jul 11 15:15:40.784 INFO kablam! --> kailua_test/src/lib.rs:159:5 Jul 11 15:15:40.785 INFO kablam! | Jul 11 15:15:40.785 INFO kablam! 159 | use std::ascii::AsciiExt; Jul 11 15:15:40.785 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Jul 11 15:15:40.785 INFO kablam! | Jul 11 15:15:40.785 INFO kablam! = note: #[warn(unused_imports)] on by default Jul 11 15:15:40.785 INFO kablam! Jul 11 15:15:41.142 INFO kablam! warning: variable does not need to be mutable Jul 11 15:15:41.142 INFO kablam! --> kailua_types/src/ty/display.rs:78:13 Jul 11 15:15:41.142 INFO kablam! | Jul 11 15:15:41.143 INFO kablam! 78 | let mut spans = disambig.entry(name.base.clone()).or_insert_with(|| HashMap::new()); Jul 11 15:15:41.143 INFO kablam! | ----^^^^^ Jul 11 15:15:41.143 INFO kablam! | | Jul 11 15:15:41.143 INFO kablam! | help: remove this `mut` Jul 11 15:15:41.143 INFO kablam! | Jul 11 15:15:41.143 INFO kablam! = note: #[warn(unused_mut)] on by default Jul 11 15:15:41.143 INFO kablam! Jul 11 15:15:48.969 INFO kablam! warning: variable does not need to be mutable Jul 11 15:15:48.969 INFO kablam! --> kailua_types/src/env/mod.rs:381:17 Jul 11 15:15:48.969 INFO kablam! | Jul 11 15:15:48.969 INFO kablam! 381 | let mut row = Jul 11 15:15:48.969 INFO kablam! | ----^^^ Jul 11 15:15:48.969 INFO kablam! | | Jul 11 15:15:48.969 INFO kablam! | help: remove this `mut` Jul 11 15:15:48.969 INFO kablam! Jul 11 15:15:48.969 INFO kablam! warning: variable does not need to be mutable Jul 11 15:15:48.969 INFO kablam! --> kailua_types/src/env/mod.rs:388:17 Jul 11 15:15:48.969 INFO kablam! | Jul 11 15:15:48.969 INFO kablam! 388 | let mut row = Jul 11 15:15:48.970 INFO kablam! | ----^^^ Jul 11 15:15:48.970 INFO kablam! | | Jul 11 15:15:48.970 INFO kablam! | help: remove this `mut` Jul 11 15:15:48.978 INFO kablam! Jul 11 15:15:50.859 INFO kablam! Checking serde_json v1.0.2 Jul 11 15:15:52.639 INFO kablam! Checking kailua_check v1.1.0 (file:///source/kailua_check) Jul 11 15:15:56.134 INFO kablam! warning: variable does not need to be mutable Jul 11 15:15:56.134 INFO kablam! --> kailua_types/src/ty/display.rs:78:13 Jul 11 15:15:56.134 INFO kablam! | Jul 11 15:15:56.134 INFO kablam! 78 | let mut spans = disambig.entry(name.base.clone()).or_insert_with(|| HashMap::new()); Jul 11 15:15:56.134 INFO kablam! | ----^^^^^ Jul 11 15:15:56.134 INFO kablam! | | Jul 11 15:15:56.134 INFO kablam! | help: remove this `mut` Jul 11 15:15:56.158 INFO kablam! | Jul 11 15:15:56.159 INFO kablam! = note: #[warn(unused_mut)] on by default Jul 11 15:15:56.159 INFO kablam! Jul 11 15:15:58.132 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Jul 11 15:15:58.133 INFO kablam! --> kailua_check/src/options.rs:4:5 Jul 11 15:15:58.133 INFO kablam! | Jul 11 15:15:58.133 INFO kablam! 4 | use std::ascii::AsciiExt; Jul 11 15:15:58.133 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Jul 11 15:15:58.133 INFO kablam! | Jul 11 15:15:58.133 INFO kablam! = note: #[warn(deprecated)] on by default Jul 11 15:15:58.133 INFO kablam! Jul 11 15:15:58.353 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Jul 11 15:15:58.353 INFO kablam! --> kailua_check/src/options.rs:4:5 Jul 11 15:15:58.353 INFO kablam! | Jul 11 15:15:58.353 INFO kablam! 4 | use std::ascii::AsciiExt; Jul 11 15:15:58.353 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Jul 11 15:15:58.353 INFO kablam! | Jul 11 15:15:58.353 INFO kablam! = note: #[warn(deprecated)] on by default Jul 11 15:15:58.353 INFO kablam! Jul 11 15:16:07.859 INFO kablam! warning: variable does not need to be mutable Jul 11 15:16:07.859 INFO kablam! --> kailua_types/src/env/mod.rs:381:17 Jul 11 15:16:07.859 INFO kablam! | Jul 11 15:16:07.859 INFO kablam! 381 | let mut row = Jul 11 15:16:07.859 INFO kablam! | ----^^^ Jul 11 15:16:07.859 INFO kablam! | | Jul 11 15:16:07.859 INFO kablam! | help: remove this `mut` Jul 11 15:16:07.859 INFO kablam! Jul 11 15:16:07.859 INFO kablam! warning: variable does not need to be mutable Jul 11 15:16:07.859 INFO kablam! --> kailua_types/src/env/mod.rs:388:17 Jul 11 15:16:07.860 INFO kablam! | Jul 11 15:16:07.860 INFO kablam! 388 | let mut row = Jul 11 15:16:07.860 INFO kablam! | ----^^^ Jul 11 15:16:07.860 INFO kablam! | | Jul 11 15:16:07.860 INFO kablam! | help: remove this `mut` Jul 11 15:16:07.870 INFO kablam! Jul 11 15:16:11.440 INFO kablam! Checking kailua_langsvr_protocol v1.0.5 (file:///source/kailua_langsvr_protocol) Jul 11 15:16:14.711 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Jul 11 15:16:14.711 INFO kablam! --> kailua_check/src/options.rs:4:5 Jul 11 15:16:14.711 INFO kablam! | Jul 11 15:16:14.711 INFO kablam! 4 | use std::ascii::AsciiExt; Jul 11 15:16:14.711 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Jul 11 15:16:14.734 INFO kablam! | Jul 11 15:16:14.735 INFO kablam! = note: #[warn(unused_imports)] on by default Jul 11 15:16:14.735 INFO kablam! Jul 11 15:16:15.034 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Jul 11 15:16:15.034 INFO kablam! --> kailua_check/src/options.rs:4:5 Jul 11 15:16:15.034 INFO kablam! | Jul 11 15:16:15.034 INFO kablam! 4 | use std::ascii::AsciiExt; Jul 11 15:16:15.034 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Jul 11 15:16:15.034 INFO kablam! | Jul 11 15:16:15.034 INFO kablam! = note: #[warn(unused_imports)] on by default Jul 11 15:16:15.034 INFO kablam! Jul 11 15:16:18.166 INFO kablam! warning: variable does not need to be mutable Jul 11 15:16:18.166 INFO kablam! --> kailua_check/src/env.rs:974:17 Jul 11 15:16:18.166 INFO kablam! | Jul 11 15:16:18.166 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Jul 11 15:16:18.166 INFO kablam! | ----^^^ Jul 11 15:16:18.166 INFO kablam! | | Jul 11 15:16:18.166 INFO kablam! | help: remove this `mut` Jul 11 15:16:18.166 INFO kablam! | Jul 11 15:16:18.166 INFO kablam! = note: #[warn(unused_mut)] on by default Jul 11 15:16:18.166 INFO kablam! Jul 11 15:16:18.257 INFO kablam! warning: variable does not need to be mutable Jul 11 15:16:18.257 INFO kablam! --> kailua_check/src/env.rs:974:17 Jul 11 15:16:18.257 INFO kablam! | Jul 11 15:16:18.257 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Jul 11 15:16:18.257 INFO kablam! | ----^^^ Jul 11 15:16:18.257 INFO kablam! | | Jul 11 15:16:18.257 INFO kablam! | help: remove this `mut` Jul 11 15:16:18.282 INFO kablam! | Jul 11 15:16:18.283 INFO kablam! = note: #[warn(unused_mut)] on by default Jul 11 15:16:18.283 INFO kablam! Jul 11 15:16:18.301 INFO kablam! warning: variable does not need to be mutable Jul 11 15:16:18.302 INFO kablam! --> kailua_check/src/env.rs:1194:13 Jul 11 15:16:18.302 INFO kablam! | Jul 11 15:16:18.302 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Jul 11 15:16:18.302 INFO kablam! | ----^^^ Jul 11 15:16:18.302 INFO kablam! | | Jul 11 15:16:18.302 INFO kablam! | help: remove this `mut` Jul 11 15:16:18.306 INFO kablam! Jul 11 15:16:18.403 INFO kablam! warning: variable does not need to be mutable Jul 11 15:16:18.404 INFO kablam! --> kailua_check/src/env.rs:1194:13 Jul 11 15:16:18.404 INFO kablam! | Jul 11 15:16:18.404 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Jul 11 15:16:18.404 INFO kablam! | ----^^^ Jul 11 15:16:18.404 INFO kablam! | | Jul 11 15:16:18.404 INFO kablam! | help: remove this `mut` Jul 11 15:16:18.410 INFO kablam! Jul 11 15:16:20.165 INFO kablam! warning: variable does not need to be mutable Jul 11 15:16:20.165 INFO kablam! --> kailua_check/src/check.rs:1302:13 Jul 11 15:16:20.165 INFO kablam! | Jul 11 15:16:20.165 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Jul 11 15:16:20.165 INFO kablam! | ----^^^^^^^ Jul 11 15:16:20.165 INFO kablam! | | Jul 11 15:16:20.165 INFO kablam! | help: remove this `mut` Jul 11 15:16:20.166 INFO kablam! Jul 11 15:16:20.667 INFO kablam! warning: variable does not need to be mutable Jul 11 15:16:20.667 INFO kablam! --> kailua_check/src/check.rs:1302:13 Jul 11 15:16:20.667 INFO kablam! | Jul 11 15:16:20.668 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Jul 11 15:16:20.668 INFO kablam! | ----^^^^^^^ Jul 11 15:16:20.668 INFO kablam! | | Jul 11 15:16:20.668 INFO kablam! | help: remove this `mut` Jul 11 15:16:20.668 INFO kablam! Jul 11 15:16:21.678 INFO kablam! warning: variable does not need to be mutable Jul 11 15:16:21.679 INFO kablam! --> kailua_check/src/check.rs:2882:17 Jul 11 15:16:21.679 INFO kablam! | Jul 11 15:16:21.679 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Jul 11 15:16:21.679 INFO kablam! | ----^^^^^^^ Jul 11 15:16:21.679 INFO kablam! | | Jul 11 15:16:21.679 INFO kablam! | help: remove this `mut` Jul 11 15:16:21.690 INFO kablam! Jul 11 15:16:21.956 INFO kablam! warning: variable does not need to be mutable Jul 11 15:16:21.956 INFO kablam! --> kailua_check/src/check.rs:2882:17 Jul 11 15:16:21.957 INFO kablam! | Jul 11 15:16:21.957 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Jul 11 15:16:21.957 INFO kablam! | ----^^^^^^^ Jul 11 15:16:21.957 INFO kablam! | | Jul 11 15:16:21.957 INFO kablam! | help: remove this `mut` Jul 11 15:16:21.957 INFO kablam! Jul 11 15:16:25.327 INFO kablam! Checking kailua_workspace v1.1.0 (file:///source/kailua_workspace) Jul 11 15:16:27.946 INFO kablam! warning: unused import: `std::str` Jul 11 15:16:27.946 INFO kablam! --> kailua_check/src/bin/kailua-check.rs:8:5 Jul 11 15:16:27.946 INFO kablam! | Jul 11 15:16:27.946 INFO kablam! 8 | use std::str; Jul 11 15:16:27.946 INFO kablam! | ^^^^^^^^ Jul 11 15:16:27.946 INFO kablam! | Jul 11 15:16:27.946 INFO kablam! = note: #[warn(unused_imports)] on by default Jul 11 15:16:27.946 INFO kablam! Jul 11 15:16:28.227 INFO kablam! warning: unused import: `std::str` Jul 11 15:16:28.227 INFO kablam! --> kailua_check/src/bin/kailua-check.rs:8:5 Jul 11 15:16:28.227 INFO kablam! | Jul 11 15:16:28.227 INFO kablam! 8 | use std::str; Jul 11 15:16:28.227 INFO kablam! | ^^^^^^^^ Jul 11 15:16:28.227 INFO kablam! | Jul 11 15:16:28.227 INFO kablam! = note: #[warn(unused_imports)] on by default Jul 11 15:16:28.227 INFO kablam! Jul 11 15:16:49.181 INFO kablam! Checking kailua_langsvr v1.1.0 (file:///source/kailua_langsvr) Jul 11 15:16:53.143 INFO kablam! warning: type annotations needed Jul 11 15:16:53.143 INFO kablam! --> kailua_langsvr/src/diags.rs:97:28 Jul 11 15:16:53.143 INFO kablam! | Jul 11 15:16:53.143 INFO kablam! 97 | (self as *const _).hash(state) Jul 11 15:16:53.143 INFO kablam! | ^^^^ Jul 11 15:16:53.146 INFO kablam! | Jul 11 15:16:53.146 INFO kablam! = note: #[warn(tyvar_behind_raw_pointer)] on by default Jul 11 15:16:53.146 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! Jul 11 15:16:53.146 INFO kablam! = note: for more information, see issue #46906 Jul 11 15:16:53.146 INFO kablam! Jul 11 15:16:53.364 INFO kablam! warning: type annotations needed Jul 11 15:16:53.364 INFO kablam! --> kailua_langsvr/src/diags.rs:97:28 Jul 11 15:16:53.364 INFO kablam! | Jul 11 15:16:53.364 INFO kablam! 97 | (self as *const _).hash(state) Jul 11 15:16:53.364 INFO kablam! | ^^^^ Jul 11 15:16:53.364 INFO kablam! | Jul 11 15:16:53.364 INFO kablam! = note: #[warn(tyvar_behind_raw_pointer)] on by default Jul 11 15:16:53.364 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! Jul 11 15:16:53.364 INFO kablam! = note: for more information, see issue #46906 Jul 11 15:16:53.364 INFO kablam! Jul 11 15:16:57.415 INFO kablam! Checking kailua v1.1.0 (file:///source) Jul 11 15:16:59.064 INFO kablam! warning: unused import: `std::str` Jul 11 15:16:59.064 INFO kablam! --> src/main.rs:18:9 Jul 11 15:16:59.064 INFO kablam! | Jul 11 15:16:59.064 INFO kablam! 18 | use std::str; Jul 11 15:16:59.064 INFO kablam! | ^^^^^^^^ Jul 11 15:16:59.064 INFO kablam! | Jul 11 15:16:59.064 INFO kablam! = note: #[warn(unused_imports)] on by default Jul 11 15:16:59.065 INFO kablam! Jul 11 15:16:59.293 INFO kablam! warning: unused import: `std::str` Jul 11 15:16:59.293 INFO kablam! --> src/main.rs:18:9 Jul 11 15:16:59.293 INFO kablam! | Jul 11 15:16:59.293 INFO kablam! 18 | use std::str; Jul 11 15:16:59.293 INFO kablam! | ^^^^^^^^ Jul 11 15:16:59.293 INFO kablam! | Jul 11 15:16:59.293 INFO kablam! = note: #[warn(unused_imports)] on by default Jul 11 15:16:59.293 INFO kablam! Jul 11 15:17:00.004 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 2m 50s Jul 11 15:17:00.095 INFO kablam! su: No module specific data is present Jul 11 15:17:00.685 INFO running `"docker" "rm" "-f" "f8fd79fc019d99c729f833fec7011e74aa7426e72f766a9cd2873eb8abe2c477"` Jul 11 15:17:00.862 INFO blam! f8fd79fc019d99c729f833fec7011e74aa7426e72f766a9cd2873eb8abe2c477