Nov 29 01:21:41.823 INFO checking funfsm-0.2.1 against try#db42d4dad33013eba11ef37342ad9f614e5652b8 for pr-56074 Nov 29 01:21:41.823 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56074/worker-6/try#db42d4dad33013eba11ef37342ad9f614e5652b8:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56074/try#db42d4dad33013eba11ef37342ad9f614e5652b8:/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 +db42d4dad33013eba11ef37342ad9f614e5652b8-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 29 01:21:42.060 INFO [stdout] 1f3207730e87eb687efefe64f9e0d9d24f60f2c2653148a4fb88dd6e2a0f190e Nov 29 01:21:42.062 INFO running `"docker" "start" "-a" "1f3207730e87eb687efefe64f9e0d9d24f60f2c2653148a4fb88dd6e2a0f190e"` Nov 29 01:21:42.937 INFO [stderr] usermod: no changes Nov 29 01:21:42.988 INFO [stderr] Checking funfsm v0.2.1 (/source) Nov 29 01:21:43.972 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases Nov 29 01:21:43.972 INFO [stderr] --> src/constraints.rs:4:18 Nov 29 01:21:43.972 INFO [stderr] | Nov 29 01:21:43.972 INFO [stderr] 4 | pub type Pred = Box bool>; Nov 29 01:21:43.972 INFO [stderr] | ^^^^^^^^ Nov 29 01:21:43.972 INFO [stderr] | Nov 29 01:21:43.972 INFO [stderr] = note: #[warn(type_alias_bounds)] on by default Nov 29 01:21:43.972 INFO [stderr] = help: the bound will not be checked when the type alias is used, and should be removed Nov 29 01:21:43.972 INFO [stderr] help: use fully disambiguated paths (i.e., `::Assoc`) to refer to associated types in type aliases Nov 29 01:21:43.972 INFO [stderr] --> src/constraints.rs:4:38 Nov 29 01:21:43.972 INFO [stderr] | Nov 29 01:21:43.973 INFO [stderr] 4 | pub type Pred = Box bool>; Nov 29 01:21:43.973 INFO [stderr] | ^^^^^^^^^^ Nov 29 01:21:43.973 INFO [stderr] Nov 29 01:21:43.973 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases Nov 29 01:21:43.973 INFO [stderr] --> src/constraints.rs:5:29 Nov 29 01:21:43.973 INFO [stderr] | Nov 29 01:21:43.973 INFO [stderr] 5 | pub type TransitionCheck Nov 29 01:21:43.973 INFO [stderr] | ^^^^^^^^ Nov 29 01:21:43.973 INFO [stderr] | Nov 29 01:21:43.973 INFO [stderr] = help: the bound will not be checked when the type alias is used, and should be removed Nov 29 01:21:43.973 INFO [stderr] help: use fully disambiguated paths (i.e., `::Assoc`) to refer to associated types in type aliases Nov 29 01:21:43.973 INFO [stderr] --> src/constraints.rs:6:11 Nov 29 01:21:43.973 INFO [stderr] | Nov 29 01:21:43.973 INFO [stderr] 6 | = fn(&T::Context, &T::Context, &T::Msg, &Vec) -> Result<(), String>; Nov 29 01:21:43.973 INFO [stderr] | ^^^^^^^^^^ Nov 29 01:21:43.973 INFO [stderr] help: use fully disambiguated paths (i.e., `::Assoc`) to refer to associated types in type aliases Nov 29 01:21:43.973 INFO [stderr] --> src/constraints.rs:6:24 Nov 29 01:21:43.973 INFO [stderr] | Nov 29 01:21:43.973 INFO [stderr] 6 | = fn(&T::Context, &T::Context, &T::Msg, &Vec) -> Result<(), String>; Nov 29 01:21:43.973 INFO [stderr] | ^^^^^^^^^^ Nov 29 01:21:43.973 INFO [stderr] help: use fully disambiguated paths (i.e., `::Assoc`) to refer to associated types in type aliases Nov 29 01:21:43.973 INFO [stderr] --> src/constraints.rs:6:37 Nov 29 01:21:43.973 INFO [stderr] | Nov 29 01:21:43.973 INFO [stderr] 6 | = fn(&T::Context, &T::Context, &T::Msg, &Vec) -> Result<(), String>; Nov 29 01:21:43.973 INFO [stderr] | ^^^^^^ Nov 29 01:21:43.973 INFO [stderr] help: use fully disambiguated paths (i.e., `::Assoc`) to refer to associated types in type aliases Nov 29 01:21:43.973 INFO [stderr] --> src/constraints.rs:6:50 Nov 29 01:21:43.973 INFO [stderr] | Nov 29 01:21:43.973 INFO [stderr] 6 | = fn(&T::Context, &T::Context, &T::Msg, &Vec) -> Result<(), String>; Nov 29 01:21:43.973 INFO [stderr] | ^^^^^^^^^ Nov 29 01:21:43.973 INFO [stderr] Nov 29 01:21:44.495 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases Nov 29 01:21:44.495 INFO [stderr] --> src/constraints.rs:4:18 Nov 29 01:21:44.495 INFO [stderr] | Nov 29 01:21:44.495 INFO [stderr] 4 | pub type Pred = Box bool>; Nov 29 01:21:44.495 INFO [stderr] | ^^^^^^^^ Nov 29 01:21:44.495 INFO [stderr] | Nov 29 01:21:44.495 INFO [stderr] = note: #[warn(type_alias_bounds)] on by default Nov 29 01:21:44.495 INFO [stderr] = help: the bound will not be checked when the type alias is used, and should be removed Nov 29 01:21:44.496 INFO [stderr] help: use fully disambiguated paths (i.e., `::Assoc`) to refer to associated types in type aliases Nov 29 01:21:44.496 INFO [stderr] --> src/constraints.rs:4:38 Nov 29 01:21:44.496 INFO [stderr] | Nov 29 01:21:44.496 INFO [stderr] 4 | pub type Pred = Box bool>; Nov 29 01:21:44.496 INFO [stderr] | ^^^^^^^^^^ Nov 29 01:21:44.496 INFO [stderr] Nov 29 01:21:44.496 INFO [stderr] warning: bounds on generic parameters are not enforced in type aliases Nov 29 01:21:44.496 INFO [stderr] --> src/constraints.rs:5:29 Nov 29 01:21:44.496 INFO [stderr] | Nov 29 01:21:44.496 INFO [stderr] 5 | pub type TransitionCheck Nov 29 01:21:44.496 INFO [stderr] | ^^^^^^^^ Nov 29 01:21:44.496 INFO [stderr] | Nov 29 01:21:44.496 INFO [stderr] = help: the bound will not be checked when the type alias is used, and should be removed Nov 29 01:21:44.496 INFO [stderr] help: use fully disambiguated paths (i.e., `::Assoc`) to refer to associated types in type aliases Nov 29 01:21:44.496 INFO [stderr] --> src/constraints.rs:6:11 Nov 29 01:21:44.496 INFO [stderr] | Nov 29 01:21:44.496 INFO [stderr] 6 | = fn(&T::Context, &T::Context, &T::Msg, &Vec) -> Result<(), String>; Nov 29 01:21:44.496 INFO [stderr] | ^^^^^^^^^^ Nov 29 01:21:44.496 INFO [stderr] help: use fully disambiguated paths (i.e., `::Assoc`) to refer to associated types in type aliases Nov 29 01:21:44.496 INFO [stderr] --> src/constraints.rs:6:24 Nov 29 01:21:44.496 INFO [stderr] | Nov 29 01:21:44.496 INFO [stderr] 6 | = fn(&T::Context, &T::Context, &T::Msg, &Vec) -> Result<(), String>; Nov 29 01:21:44.496 INFO [stderr] | ^^^^^^^^^^ Nov 29 01:21:44.496 INFO [stderr] help: use fully disambiguated paths (i.e., `::Assoc`) to refer to associated types in type aliases Nov 29 01:21:44.496 INFO [stderr] --> src/constraints.rs:6:37 Nov 29 01:21:44.496 INFO [stderr] | Nov 29 01:21:44.496 INFO [stderr] 6 | = fn(&T::Context, &T::Context, &T::Msg, &Vec) -> Result<(), String>; Nov 29 01:21:44.496 INFO [stderr] | ^^^^^^ Nov 29 01:21:44.496 INFO [stderr] help: use fully disambiguated paths (i.e., `::Assoc`) to refer to associated types in type aliases Nov 29 01:21:44.496 INFO [stderr] --> src/constraints.rs:6:50 Nov 29 01:21:44.496 INFO [stderr] | Nov 29 01:21:44.496 INFO [stderr] 6 | = fn(&T::Context, &T::Context, &T::Msg, &Vec) -> Result<(), String>; Nov 29 01:21:44.496 INFO [stderr] | ^^^^^^^^^ Nov 29 01:21:44.496 INFO [stderr] Nov 29 01:21:45.148 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 2.18s Nov 29 01:21:45.148 INFO [stderr] su: No module specific data is present Nov 29 01:21:45.563 INFO running `"docker" "inspect" "1f3207730e87eb687efefe64f9e0d9d24f60f2c2653148a4fb88dd6e2a0f190e"` Nov 29 01:21:45.702 INFO running `"docker" "rm" "-f" "1f3207730e87eb687efefe64f9e0d9d24f60f2c2653148a4fb88dd6e2a0f190e"` Nov 29 01:21:45.820 INFO [stdout] 1f3207730e87eb687efefe64f9e0d9d24f60f2c2653148a4fb88dd6e2a0f190e