Aug 11 06:35:37.078 INFO checking peano-1.0.2 against try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+tmplazy for libc-1 Aug 11 06:35:37.079 INFO running: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets Aug 11 06:35:37.079 INFO creating container for: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets Aug 11 06:35:37.079 INFO running `"docker" "create" "-v" "/tmp/crater.kdQ4PevpM7Lm:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/libc-1/worker-5/try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+tmplazy:/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" "-v" "/home/ec2-user/crater/./work/local/cargo-home/git:/cargo-home/git:rw,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"` Aug 11 06:35:37.279 INFO blam! 8170f29ae4711d2bda36bef4099252cc53dbbf401e73b0be821b3da6378aedb3 Aug 11 06:35:37.281 INFO running `"docker" "start" "-a" "8170f29ae4711d2bda36bef4099252cc53dbbf401e73b0be821b3da6378aedb3"` Aug 11 06:35:38.503 INFO kablam! Checking peano v1.0.2 (file:///source) Aug 11 06:35:39.319 INFO kablam! error[E0275]: overflow evaluating the requirement `peano::Succ: peano::detail::DivPrivate>` Aug 11 06:35:39.319 INFO kablam! --> tests/peano-ops.rs:105:21 Aug 11 06:35:39.319 INFO kablam! | Aug 11 06:35:39.319 INFO kablam! 105 | assert_eq!( 1, <>::Output as ToInt>::to_int() ); Aug 11 06:35:39.319 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ Aug 11 06:35:39.320 INFO kablam! | Aug 11 06:35:39.320 INFO kablam! = note: required because of the requirements on the impl of `std::ops::Div` for `peano::Succ` Aug 11 06:35:39.320 INFO kablam! Aug 11 06:35:39.333 INFO kablam! error: aborting due to previous error Aug 11 06:35:39.333 INFO kablam! Aug 11 06:35:39.333 INFO kablam! For more information about this error, try `rustc --explain E0275`. Aug 11 06:35:39.343 INFO kablam! error: Could not compile `peano`. Aug 11 06:35:39.343 INFO kablam! Aug 11 06:35:39.343 INFO kablam! To learn more, run the command again with --verbose. Aug 11 06:35:39.345 INFO kablam! su: No module specific data is present Aug 11 06:35:39.878 INFO running `"docker" "rm" "-f" "8170f29ae4711d2bda36bef4099252cc53dbbf401e73b0be821b3da6378aedb3"` Aug 11 06:35:40.026 INFO blam! 8170f29ae4711d2bda36bef4099252cc53dbbf401e73b0be821b3da6378aedb3