Sep 21 02:34:36.017 INFO checking stainless2-0.1.14 against try#f1a3f05968ed2a674e09b6efa4ad9df90816e2b6 for pr-54394 Sep 21 02:34:36.017 INFO running: cargo +f1a3f05968ed2a674e09b6efa4ad9df90816e2b6-alt check --frozen --all --all-targets Sep 21 02:34:36.017 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-7/pr-54394/try#f1a3f05968ed2a674e09b6efa4ad9df90816e2b6:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54394/worker-7/try#f1a3f05968ed2a674e09b6efa4ad9df90816e2b6:/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=1000" "-e" "CMD=cargo +f1a3f05968ed2a674e09b6efa4ad9df90816e2b6-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"` Sep 21 02:34:36.158 INFO blam! cf485686ff685c4ec307b9f758f95f716bee87ac8e59d49238a3988f1bcfd050 Sep 21 02:34:36.160 INFO running `"docker" "start" "-a" "cf485686ff685c4ec307b9f758f95f716bee87ac8e59d49238a3988f1bcfd050"` Sep 21 02:34:37.189 INFO kablam! usermod: no changes Sep 21 02:34:37.213 INFO kablam! Compiling stainless2 v0.1.14 (/source) Sep 21 02:34:42.822 INFO kablam! warning: unused import: `describe! top_level { Sep 21 02:34:42.823 INFO kablam! it "should be less specific" { Sep 21 02:34:42.823 INFO kablam! assert_eq!(1, 1); Sep 21 02:34:42.823 INFO kablam! } Sep 21 02:34:42.823 INFO kablam! Sep 21 02:34:42.823 INFO kablam! describe! nested { Sep 21 02:34:42.823 INFO kablam! it "should be more specific" { Sep 21 02:34:42.823 INFO kablam! assert_eq!(2, 2); Sep 21 02:34:42.823 INFO kablam! } Sep 21 02:34:42.823 INFO kablam! } Sep 21 02:34:42.823 INFO kablam! }` Sep 21 02:34:42.823 INFO kablam! --> tests/nested.rs:10:1 Sep 21 02:34:42.823 INFO kablam! | Sep 21 02:34:42.823 INFO kablam! 10 | / describe! top_level { Sep 21 02:34:42.823 INFO kablam! 11 | | it "should be less specific" { Sep 21 02:34:42.823 INFO kablam! 12 | | assert_eq!(1, 1); Sep 21 02:34:42.823 INFO kablam! 13 | | } Sep 21 02:34:42.823 INFO kablam! ... | Sep 21 02:34:42.823 INFO kablam! 19 | | } Sep 21 02:34:42.823 INFO kablam! 20 | | } Sep 21 02:34:42.823 INFO kablam! | |_^ Sep 21 02:34:42.823 INFO kablam! | Sep 21 02:34:42.823 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:42.823 INFO kablam! Sep 21 02:34:42.823 INFO kablam! warning: unused import: `describe! top_level { Sep 21 02:34:42.823 INFO kablam! it "should be less specific" { Sep 21 02:34:42.823 INFO kablam! assert_eq!(1, 1); Sep 21 02:34:42.823 INFO kablam! } Sep 21 02:34:42.823 INFO kablam! Sep 21 02:34:42.823 INFO kablam! describe! nested { Sep 21 02:34:42.823 INFO kablam! it "should be more specific" { Sep 21 02:34:42.823 INFO kablam! assert_eq!(2, 2); Sep 21 02:34:42.823 INFO kablam! } Sep 21 02:34:42.823 INFO kablam! } Sep 21 02:34:42.823 INFO kablam! }` Sep 21 02:34:42.823 INFO kablam! --> tests/nested.rs:10:1 Sep 21 02:34:42.823 INFO kablam! | Sep 21 02:34:42.823 INFO kablam! 10 | / describe! top_level { Sep 21 02:34:42.823 INFO kablam! 11 | | it "should be less specific" { Sep 21 02:34:42.823 INFO kablam! 12 | | assert_eq!(1, 1); Sep 21 02:34:42.823 INFO kablam! 13 | | } Sep 21 02:34:42.823 INFO kablam! ... | Sep 21 02:34:42.823 INFO kablam! 19 | | } Sep 21 02:34:42.823 INFO kablam! 20 | | } Sep 21 02:34:42.823 INFO kablam! | |_^ Sep 21 02:34:42.823 INFO kablam! Sep 21 02:34:42.886 INFO kablam! warning: unused import: `describe! top_level { Sep 21 02:34:42.886 INFO kablam! given { Sep 21 02:34:42.886 INFO kablam! let mut foo = 1; Sep 21 02:34:42.886 INFO kablam! } Sep 21 02:34:42.886 INFO kablam! Sep 21 02:34:42.886 INFO kablam! describe! nested { Sep 21 02:34:42.886 INFO kablam! given { Sep 21 02:34:42.886 INFO kablam! assert_eq!(foo, 1); Sep 21 02:34:42.886 INFO kablam! foo += 1; Sep 21 02:34:42.886 INFO kablam! } Sep 21 02:34:42.886 INFO kablam! Sep 21 02:34:42.886 INFO kablam! when "we check foo" { Sep 21 02:34:42.886 INFO kablam! assert_eq!(foo, 2); Sep 21 02:34:42.886 INFO kablam! foo += 1; Sep 21 02:34:42.886 INFO kablam! } Sep 21 02:34:42.886 INFO kablam! Sep 21 02:34:42.886 INFO kablam! then { Sep 21 02:34:42.886 INFO kablam! assert_eq!(foo, 3); Sep 21 02:34:42.886 INFO kablam! foo += 1; Sep 21 02:34:42.886 INFO kablam! } Sep 21 02:34:42.886 INFO kablam! } Sep 21 02:34:42.886 INFO kablam! Sep 21 02:34:42.886 INFO kablam! then { Sep 21 02:34:42.886 INFO kablam! assert_eq!(foo, 4); Sep 21 02:34:42.886 INFO kablam! } Sep 21 02:34:42.886 INFO kablam! }` Sep 21 02:34:42.886 INFO kablam! --> tests/alternates.rs:10:1 Sep 21 02:34:42.886 INFO kablam! | Sep 21 02:34:42.886 INFO kablam! 10 | / describe! top_level { Sep 21 02:34:42.886 INFO kablam! 11 | | given { Sep 21 02:34:42.886 INFO kablam! 12 | | let mut foo = 1; Sep 21 02:34:42.886 INFO kablam! 13 | | } Sep 21 02:34:42.886 INFO kablam! ... | Sep 21 02:34:42.887 INFO kablam! 34 | | } Sep 21 02:34:42.887 INFO kablam! 35 | | } Sep 21 02:34:42.887 INFO kablam! | |_^ Sep 21 02:34:42.887 INFO kablam! | Sep 21 02:34:42.887 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:42.887 INFO kablam! Sep 21 02:34:42.887 INFO kablam! warning: unused import: `describe! top_level { Sep 21 02:34:42.887 INFO kablam! given { Sep 21 02:34:42.887 INFO kablam! let mut foo = 1; Sep 21 02:34:42.887 INFO kablam! } Sep 21 02:34:42.887 INFO kablam! Sep 21 02:34:42.887 INFO kablam! describe! nested { Sep 21 02:34:42.887 INFO kablam! given { Sep 21 02:34:42.887 INFO kablam! assert_eq!(foo, 1); Sep 21 02:34:42.887 INFO kablam! foo += 1; Sep 21 02:34:42.887 INFO kablam! } Sep 21 02:34:42.887 INFO kablam! Sep 21 02:34:42.887 INFO kablam! when "we check foo" { Sep 21 02:34:42.887 INFO kablam! assert_eq!(foo, 2); Sep 21 02:34:42.887 INFO kablam! foo += 1; Sep 21 02:34:42.887 INFO kablam! } Sep 21 02:34:42.887 INFO kablam! Sep 21 02:34:42.887 INFO kablam! then { Sep 21 02:34:42.887 INFO kablam! assert_eq!(foo, 3); Sep 21 02:34:42.887 INFO kablam! foo += 1; Sep 21 02:34:42.887 INFO kablam! } Sep 21 02:34:42.887 INFO kablam! } Sep 21 02:34:42.887 INFO kablam! Sep 21 02:34:42.887 INFO kablam! then { Sep 21 02:34:42.887 INFO kablam! assert_eq!(foo, 4); Sep 21 02:34:42.887 INFO kablam! } Sep 21 02:34:42.887 INFO kablam! }` Sep 21 02:34:42.887 INFO kablam! --> tests/alternates.rs:10:1 Sep 21 02:34:42.887 INFO kablam! | Sep 21 02:34:42.887 INFO kablam! 10 | / describe! top_level { Sep 21 02:34:42.887 INFO kablam! 11 | | given { Sep 21 02:34:42.887 INFO kablam! 12 | | let mut foo = 1; Sep 21 02:34:42.887 INFO kablam! 13 | | } Sep 21 02:34:42.887 INFO kablam! ... | Sep 21 02:34:42.887 INFO kablam! 34 | | } Sep 21 02:34:42.887 INFO kablam! 35 | | } Sep 21 02:34:42.887 INFO kablam! | |_^ Sep 21 02:34:42.887 INFO kablam! Sep 21 02:34:42.962 INFO kablam! warning: unused import: `describe! top_level { Sep 21 02:34:42.962 INFO kablam! before_each { Sep 21 02:34:42.962 INFO kablam! let mut foo = 1; Sep 21 02:34:42.962 INFO kablam! } Sep 21 02:34:42.962 INFO kablam! Sep 21 02:34:42.962 INFO kablam! after_each { Sep 21 02:34:42.962 INFO kablam! assert_eq!(foo, 4); Sep 21 02:34:42.962 INFO kablam! } Sep 21 02:34:42.962 INFO kablam! Sep 21 02:34:42.962 INFO kablam! describe! nested { Sep 21 02:34:42.962 INFO kablam! before_each { Sep 21 02:34:42.962 INFO kablam! assert_eq!(foo, 1); Sep 21 02:34:42.962 INFO kablam! foo += 1; Sep 21 02:34:42.962 INFO kablam! } Sep 21 02:34:42.962 INFO kablam! Sep 21 02:34:42.962 INFO kablam! it "should be more specific" { Sep 21 02:34:42.962 INFO kablam! assert_eq!(foo, 2); Sep 21 02:34:42.962 INFO kablam! foo += 1; Sep 21 02:34:42.962 INFO kablam! } Sep 21 02:34:42.962 INFO kablam! Sep 21 02:34:42.962 INFO kablam! after_each { Sep 21 02:34:42.962 INFO kablam! assert_eq!(foo, 3); Sep 21 02:34:42.962 INFO kablam! foo += 1; Sep 21 02:34:42.962 INFO kablam! } Sep 21 02:34:42.962 INFO kablam! } Sep 21 02:34:42.962 INFO kablam! }` Sep 21 02:34:42.962 INFO kablam! --> tests/nested_hooks.rs:10:1 Sep 21 02:34:42.963 INFO kablam! | Sep 21 02:34:42.963 INFO kablam! 10 | / describe! top_level { Sep 21 02:34:42.963 INFO kablam! 11 | | before_each { Sep 21 02:34:42.963 INFO kablam! 12 | | let mut foo = 1; Sep 21 02:34:42.963 INFO kablam! 13 | | } Sep 21 02:34:42.963 INFO kablam! ... | Sep 21 02:34:42.963 INFO kablam! 34 | | } Sep 21 02:34:42.963 INFO kablam! 35 | | } Sep 21 02:34:42.963 INFO kablam! | |_^ Sep 21 02:34:42.963 INFO kablam! | Sep 21 02:34:42.963 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:42.963 INFO kablam! Sep 21 02:34:42.963 INFO kablam! warning: unused import: `describe! top_level { Sep 21 02:34:42.963 INFO kablam! before_each { Sep 21 02:34:42.963 INFO kablam! let mut foo = 1; Sep 21 02:34:42.963 INFO kablam! } Sep 21 02:34:42.963 INFO kablam! Sep 21 02:34:42.963 INFO kablam! after_each { Sep 21 02:34:42.963 INFO kablam! assert_eq!(foo, 4); Sep 21 02:34:42.963 INFO kablam! } Sep 21 02:34:42.963 INFO kablam! Sep 21 02:34:42.963 INFO kablam! describe! nested { Sep 21 02:34:42.963 INFO kablam! before_each { Sep 21 02:34:42.963 INFO kablam! assert_eq!(foo, 1); Sep 21 02:34:42.963 INFO kablam! foo += 1; Sep 21 02:34:42.963 INFO kablam! } Sep 21 02:34:42.963 INFO kablam! Sep 21 02:34:42.963 INFO kablam! it "should be more specific" { Sep 21 02:34:42.963 INFO kablam! assert_eq!(foo, 2); Sep 21 02:34:42.963 INFO kablam! foo += 1; Sep 21 02:34:42.963 INFO kablam! } Sep 21 02:34:42.963 INFO kablam! Sep 21 02:34:42.963 INFO kablam! after_each { Sep 21 02:34:42.963 INFO kablam! assert_eq!(foo, 3); Sep 21 02:34:42.963 INFO kablam! foo += 1; Sep 21 02:34:42.963 INFO kablam! } Sep 21 02:34:42.963 INFO kablam! } Sep 21 02:34:42.963 INFO kablam! }` Sep 21 02:34:42.963 INFO kablam! --> tests/nested_hooks.rs:10:1 Sep 21 02:34:42.963 INFO kablam! | Sep 21 02:34:42.963 INFO kablam! 10 | / describe! top_level { Sep 21 02:34:42.963 INFO kablam! 11 | | before_each { Sep 21 02:34:42.963 INFO kablam! 12 | | let mut foo = 1; Sep 21 02:34:42.963 INFO kablam! 13 | | } Sep 21 02:34:42.963 INFO kablam! ... | Sep 21 02:34:42.963 INFO kablam! 34 | | } Sep 21 02:34:42.963 INFO kablam! 35 | | } Sep 21 02:34:42.963 INFO kablam! | |_^ Sep 21 02:34:42.963 INFO kablam! Sep 21 02:34:42.963 INFO kablam! warning: unused import: `describe! addition { Sep 21 02:34:42.963 INFO kablam! before_each { Sep 21 02:34:42.963 INFO kablam! let x = 5; Sep 21 02:34:42.963 INFO kablam! let y = 6; Sep 21 02:34:42.963 INFO kablam! } Sep 21 02:34:42.963 INFO kablam! Sep 21 02:34:42.963 INFO kablam! it "should add 5 and 6 together" { Sep 21 02:34:42.963 INFO kablam! assert_eq!(x + y, 11); Sep 21 02:34:42.963 INFO kablam! } Sep 21 02:34:42.963 INFO kablam! Sep 21 02:34:42.963 INFO kablam! after_each { Sep 21 02:34:42.963 INFO kablam! assert_eq!(x, 5); Sep 21 02:34:42.963 INFO kablam! assert_eq!(y, 6); Sep 21 02:34:42.963 INFO kablam! } Sep 21 02:34:42.963 INFO kablam! }` Sep 21 02:34:42.963 INFO kablam! --> tests/simple.rs:10:1 Sep 21 02:34:42.963 INFO kablam! | Sep 21 02:34:42.963 INFO kablam! 10 | / describe! addition { Sep 21 02:34:42.963 INFO kablam! 11 | | before_each { Sep 21 02:34:42.963 INFO kablam! 12 | | let x = 5; Sep 21 02:34:42.963 INFO kablam! 13 | | let y = 6; Sep 21 02:34:42.964 INFO kablam! ... | Sep 21 02:34:42.964 INFO kablam! 23 | | } Sep 21 02:34:42.964 INFO kablam! 24 | | } Sep 21 02:34:42.964 INFO kablam! | |_^ Sep 21 02:34:42.964 INFO kablam! | Sep 21 02:34:42.964 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:42.964 INFO kablam! Sep 21 02:34:43.365 INFO kablam! warning: unused import: `describe! ignored_tests { Sep 21 02:34:43.365 INFO kablam! Sep 21 02:34:43.365 INFO kablam! ignore "should be ignored" { Sep 21 02:34:43.365 INFO kablam! assert!(false); Sep 21 02:34:43.365 INFO kablam! } Sep 21 02:34:43.365 INFO kablam! }` Sep 21 02:34:43.365 INFO kablam! --> tests/ignore.rs:10:1 Sep 21 02:34:43.365 INFO kablam! | Sep 21 02:34:43.365 INFO kablam! 10 | / describe! ignored_tests { Sep 21 02:34:43.365 INFO kablam! 11 | | Sep 21 02:34:43.365 INFO kablam! 12 | | ignore "should be ignored" { Sep 21 02:34:43.365 INFO kablam! 13 | | assert!(false); Sep 21 02:34:43.365 INFO kablam! 14 | | } Sep 21 02:34:43.365 INFO kablam! 15 | | } Sep 21 02:34:43.365 INFO kablam! | |_^ Sep 21 02:34:43.370 INFO kablam! | Sep 21 02:34:43.370 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:43.370 INFO kablam! Sep 21 02:34:43.414 INFO kablam! warning: unused import: `describe! failing { Sep 21 02:34:43.414 INFO kablam! failing "should fail" { Sep 21 02:34:43.414 INFO kablam! panic!("should still pass"); Sep 21 02:34:43.414 INFO kablam! } Sep 21 02:34:43.414 INFO kablam! Sep 21 02:34:43.414 INFO kablam! failing("should still pass") "should fail with message" { Sep 21 02:34:43.414 INFO kablam! panic!("should still pass"); Sep 21 02:34:43.414 INFO kablam! } Sep 21 02:34:43.414 INFO kablam! }` Sep 21 02:34:43.414 INFO kablam! --> tests/failing.rs:10:1 Sep 21 02:34:43.414 INFO kablam! | Sep 21 02:34:43.414 INFO kablam! 10 | / describe! failing { Sep 21 02:34:43.414 INFO kablam! 11 | | failing "should fail" { Sep 21 02:34:43.414 INFO kablam! 12 | | panic!("should still pass"); Sep 21 02:34:43.414 INFO kablam! 13 | | } Sep 21 02:34:43.414 INFO kablam! ... | Sep 21 02:34:43.414 INFO kablam! 17 | | } Sep 21 02:34:43.414 INFO kablam! 18 | | } Sep 21 02:34:43.414 INFO kablam! | |_^ Sep 21 02:34:43.414 INFO kablam! | Sep 21 02:34:43.414 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:43.414 INFO kablam! Sep 21 02:34:43.486 INFO kablam! warning: unused import: `describe! benchmarking { Sep 21 02:34:43.486 INFO kablam! bench "should benchmark" (bencher) { Sep 21 02:34:43.486 INFO kablam! bencher.iter(|| 2 * 2) Sep 21 02:34:43.486 INFO kablam! } Sep 21 02:34:43.486 INFO kablam! }` Sep 21 02:34:43.486 INFO kablam! --> benches/bench.rs:12:1 Sep 21 02:34:43.486 INFO kablam! | Sep 21 02:34:43.486 INFO kablam! 12 | / describe! benchmarking { Sep 21 02:34:43.486 INFO kablam! 13 | | bench "should benchmark" (bencher) { Sep 21 02:34:43.486 INFO kablam! 14 | | bencher.iter(|| 2 * 2) Sep 21 02:34:43.486 INFO kablam! 15 | | } Sep 21 02:34:43.486 INFO kablam! 16 | | } Sep 21 02:34:43.486 INFO kablam! | |_^ Sep 21 02:34:43.486 INFO kablam! | Sep 21 02:34:43.486 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:43.486 INFO kablam! Sep 21 02:34:43.655 INFO kablam! warning: unused import: `describe! expression_at_end_of_block { Sep 21 02:34:43.655 INFO kablam! before_each { Sep 21 02:34:43.655 INFO kablam! let x = 5; Sep 21 02:34:43.656 INFO kablam! let y = 6; Sep 21 02:34:43.656 INFO kablam! let mut z = 0; Sep 21 02:34:43.657 INFO kablam! for _ in 0..5 { Sep 21 02:34:43.657 INFO kablam! z += 1; Sep 21 02:34:43.657 INFO kablam! } Sep 21 02:34:43.658 INFO kablam! } Sep 21 02:34:43.658 INFO kablam! Sep 21 02:34:43.658 INFO kablam! it "should execute expressions at ends of test blocks as statements" { Sep 21 02:34:43.659 INFO kablam! assert_eq!(x + y, 11); Sep 21 02:34:43.659 INFO kablam! assert_eq!(z, 5); Sep 21 02:34:43.660 INFO kablam! for _ in 0..5 { Sep 21 02:34:43.660 INFO kablam! z += 1; Sep 21 02:34:43.660 INFO kablam! } Sep 21 02:34:43.661 INFO kablam! } Sep 21 02:34:43.661 INFO kablam! Sep 21 02:34:43.661 INFO kablam! after_each { Sep 21 02:34:43.662 INFO kablam! assert_eq!(x, 5); Sep 21 02:34:43.662 INFO kablam! assert_eq!(y, 6); Sep 21 02:34:43.662 INFO kablam! assert_eq!(z, 10); Sep 21 02:34:43.663 INFO kablam! for _ in 0..5 { Sep 21 02:34:43.663 INFO kablam! // Purposefully empty-- tests that after_each can end with loop Sep 21 02:34:43.664 INFO kablam! } Sep 21 02:34:43.664 INFO kablam! } Sep 21 02:34:43.664 INFO kablam! }` Sep 21 02:34:43.665 INFO kablam! --> tests/expression.rs:10:1 Sep 21 02:34:43.665 INFO kablam! | Sep 21 02:34:43.665 INFO kablam! 10 | / describe! expression_at_end_of_block { Sep 21 02:34:43.666 INFO kablam! 11 | | before_each { Sep 21 02:34:43.666 INFO kablam! 12 | | let x = 5; Sep 21 02:34:43.667 INFO kablam! 13 | | let y = 6; Sep 21 02:34:43.667 INFO kablam! ... | Sep 21 02:34:43.667 INFO kablam! 35 | | } Sep 21 02:34:43.668 INFO kablam! 36 | | } Sep 21 02:34:43.668 INFO kablam! | |_^ Sep 21 02:34:43.668 INFO kablam! | Sep 21 02:34:43.669 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:43.669 INFO kablam! Sep 21 02:34:43.754 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 6.55s Sep 21 02:34:43.757 INFO kablam! su: No module specific data is present Sep 21 02:34:44.587 INFO running `"docker" "rm" "-f" "cf485686ff685c4ec307b9f758f95f716bee87ac8e59d49238a3988f1bcfd050"` Sep 21 02:34:44.700 INFO blam! cf485686ff685c4ec307b9f758f95f716bee87ac8e59d49238a3988f1bcfd050