Sep 04 10:37:38.947 INFO checking mop-definitions-0.0.2 against master#28bcffead74d5e17c6cb1f7de432e37f93a6b50c for pr-53893 Sep 04 10:37:38.947 INFO running: cargo +28bcffead74d5e17c6cb1f7de432e37f93a6b50c-alt check --frozen --all --all-targets Sep 04 10:37:38.947 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-0/pr-53893/master#28bcffead74d5e17c6cb1f7de432e37f93a6b50c:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53893/worker-0/master#28bcffead74d5e17c6cb1f7de432e37f93a6b50c:/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 +28bcffead74d5e17c6cb1f7de432e37f93a6b50c-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 04 10:37:39.206 INFO blam! 43c478a2af7de90c86dbbd01457afc09af6f739c91d4c8c74fec1874dcf73ee7 Sep 04 10:37:39.208 INFO running `"docker" "start" "-a" "43c478a2af7de90c86dbbd01457afc09af6f739c91d4c8c74fec1874dcf73ee7"` Sep 04 10:37:40.085 INFO kablam! Checking mop-solvers v0.0.2 Sep 04 10:37:40.085 INFO kablam! Checking mop-facades v0.0.2 Sep 04 10:37:41.654 INFO kablam! Checking mop-adapters v0.0.2 Sep 04 10:37:42.401 INFO kablam! Checking mop v0.0.2 Sep 04 10:37:43.032 INFO kablam! Checking mop-definitions v0.0.2 (file:///source) Sep 04 10:37:44.315 INFO kablam! warning: the feature `proc_macro_path_invoc` has been stable since 1.30.0 and no longer requires an attribute to enable Sep 04 10:37:44.315 INFO kablam! --> src/lib.rs:1:27 Sep 04 10:37:44.315 INFO kablam! | Sep 04 10:37:44.315 INFO kablam! 1 | #![feature(uniform_paths, proc_macro_path_invoc)] Sep 04 10:37:44.315 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^ Sep 04 10:37:44.315 INFO kablam! | Sep 04 10:37:44.316 INFO kablam! = note: #[warn(stable_features)] on by default Sep 04 10:37:44.316 INFO kablam! Sep 04 10:37:44.697 INFO kablam! warning: the feature `proc_macro_path_invoc` has been stable since 1.30.0 and no longer requires an attribute to enable Sep 04 10:37:44.697 INFO kablam! --> src/lib.rs:1:27 Sep 04 10:37:44.697 INFO kablam! | Sep 04 10:37:44.697 INFO kablam! 1 | #![feature(uniform_paths, proc_macro_path_invoc)] Sep 04 10:37:44.697 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^ Sep 04 10:37:44.697 INFO kablam! | Sep 04 10:37:44.697 INFO kablam! = note: #[warn(stable_features)] on by default Sep 04 10:37:44.697 INFO kablam! Sep 04 10:37:47.659 INFO kablam! error[E0463]: can't find crate for `mop_problems` Sep 04 10:37:47.659 INFO kablam! --> benches/lib.rs:15:5 Sep 04 10:37:47.659 INFO kablam! | Sep 04 10:37:47.659 INFO kablam! 15 | mop_problems::{constr::Constr, prelude::*}, Sep 04 10:37:47.659 INFO kablam! | ^^^^^^^^^^^^ can't find crate Sep 04 10:37:47.659 INFO kablam! Sep 04 10:37:47.660 INFO kablam! error: aborting due to previous error Sep 04 10:37:47.660 INFO kablam! Sep 04 10:37:47.660 INFO kablam! For more information about this error, try `rustc --explain E0463`. Sep 04 10:37:47.674 INFO kablam! error: Could not compile `mop-definitions`. Sep 04 10:37:47.674 INFO kablam! Sep 04 10:37:47.674 INFO kablam! To learn more, run the command again with --verbose. Sep 04 10:37:47.675 INFO kablam! su: No module specific data is present Sep 04 10:37:48.080 INFO running `"docker" "rm" "-f" "43c478a2af7de90c86dbbd01457afc09af6f739c91d4c8c74fec1874dcf73ee7"` Sep 04 10:37:48.192 INFO blam! 43c478a2af7de90c86dbbd01457afc09af6f739c91d4c8c74fec1874dcf73ee7