Sep 21 02:34:36.232 INFO checking stainless2-0.1.14 against master#f7f4c500b46603386e940f116b469c7adc043a6d for pr-54394 Sep 21 02:34:36.232 INFO running: cargo +f7f4c500b46603386e940f116b469c7adc043a6d-alt check --frozen --all --all-targets Sep 21 02:34:36.232 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-6/pr-54394/master#f7f4c500b46603386e940f116b469c7adc043a6d:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54394/worker-6/master#f7f4c500b46603386e940f116b469c7adc043a6d:/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 +f7f4c500b46603386e940f116b469c7adc043a6d-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.381 INFO blam! 1b32823ba8173df921a1fa8925e256f146ed04bb424efe47f0de9f24796ef6c2 Sep 21 02:34:36.383 INFO running `"docker" "start" "-a" "1b32823ba8173df921a1fa8925e256f146ed04bb424efe47f0de9f24796ef6c2"` Sep 21 02:34:37.635 INFO kablam! usermod: no changes Sep 21 02:34:37.663 INFO kablam! Compiling stainless2 v0.1.14 (/source) Sep 21 02:34:42.677 INFO kablam! warning: unused import: `describe! top_level { Sep 21 02:34:42.677 INFO kablam! given { Sep 21 02:34:42.678 INFO kablam! let mut foo = 1; Sep 21 02:34:42.678 INFO kablam! } Sep 21 02:34:42.678 INFO kablam! Sep 21 02:34:42.679 INFO kablam! describe! nested { Sep 21 02:34:42.679 INFO kablam! given { Sep 21 02:34:42.680 INFO kablam! assert_eq!(foo, 1); Sep 21 02:34:42.680 INFO kablam! foo += 1; Sep 21 02:34:42.680 INFO kablam! } Sep 21 02:34:42.680 INFO kablam! Sep 21 02:34:42.681 INFO kablam! when "we check foo" { Sep 21 02:34:42.681 INFO kablam! assert_eq!(foo, 2); Sep 21 02:34:42.682 INFO kablam! foo += 1; Sep 21 02:34:42.682 INFO kablam! } Sep 21 02:34:42.682 INFO kablam! Sep 21 02:34:42.683 INFO kablam! then { Sep 21 02:34:42.683 INFO kablam! assert_eq!(foo, 3); Sep 21 02:34:42.683 INFO kablam! foo += 1; Sep 21 02:34:42.684 INFO kablam! } Sep 21 02:34:42.684 INFO kablam! } Sep 21 02:34:42.684 INFO kablam! Sep 21 02:34:42.684 INFO kablam! then { Sep 21 02:34:42.685 INFO kablam! assert_eq!(foo, 4); Sep 21 02:34:42.685 INFO kablam! } Sep 21 02:34:42.685 INFO kablam! }` Sep 21 02:34:42.686 INFO kablam! --> tests/alternates.rs:10:1 Sep 21 02:34:42.686 INFO kablam! | Sep 21 02:34:42.686 INFO kablam! 10 | / describe! top_level { Sep 21 02:34:42.687 INFO kablam! 11 | | given { Sep 21 02:34:42.687 INFO kablam! 12 | | let mut foo = 1; Sep 21 02:34:42.687 INFO kablam! 13 | | } Sep 21 02:34:42.688 INFO kablam! ... | Sep 21 02:34:42.688 INFO kablam! 34 | | } Sep 21 02:34:42.688 INFO kablam! 35 | | } Sep 21 02:34:42.688 INFO kablam! | |_^ Sep 21 02:34:42.688 INFO kablam! | Sep 21 02:34:42.688 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:42.688 INFO kablam! Sep 21 02:34:42.689 INFO kablam! warning: unused import: `describe! top_level { Sep 21 02:34:42.689 INFO kablam! given { Sep 21 02:34:42.689 INFO kablam! let mut foo = 1; Sep 21 02:34:42.689 INFO kablam! } Sep 21 02:34:42.689 INFO kablam! Sep 21 02:34:42.689 INFO kablam! describe! nested { Sep 21 02:34:42.689 INFO kablam! given { Sep 21 02:34:42.689 INFO kablam! assert_eq!(foo, 1); Sep 21 02:34:42.689 INFO kablam! foo += 1; Sep 21 02:34:42.689 INFO kablam! } Sep 21 02:34:42.689 INFO kablam! Sep 21 02:34:42.689 INFO kablam! when "we check foo" { Sep 21 02:34:42.689 INFO kablam! assert_eq!(foo, 2); Sep 21 02:34:42.689 INFO kablam! foo += 1; Sep 21 02:34:42.689 INFO kablam! } Sep 21 02:34:42.689 INFO kablam! Sep 21 02:34:42.689 INFO kablam! then { Sep 21 02:34:42.689 INFO kablam! assert_eq!(foo, 3); Sep 21 02:34:42.689 INFO kablam! foo += 1; Sep 21 02:34:42.690 INFO kablam! } Sep 21 02:34:42.690 INFO kablam! } Sep 21 02:34:42.690 INFO kablam! Sep 21 02:34:42.690 INFO kablam! then { Sep 21 02:34:42.690 INFO kablam! assert_eq!(foo, 4); Sep 21 02:34:42.690 INFO kablam! } Sep 21 02:34:42.690 INFO kablam! }` Sep 21 02:34:42.690 INFO kablam! --> tests/alternates.rs:10:1 Sep 21 02:34:42.690 INFO kablam! | Sep 21 02:34:42.690 INFO kablam! 10 | / describe! top_level { Sep 21 02:34:42.690 INFO kablam! 11 | | given { Sep 21 02:34:42.690 INFO kablam! 12 | | let mut foo = 1; Sep 21 02:34:42.690 INFO kablam! 13 | | } Sep 21 02:34:42.690 INFO kablam! ... | Sep 21 02:34:42.690 INFO kablam! 34 | | } Sep 21 02:34:42.690 INFO kablam! 35 | | } Sep 21 02:34:42.690 INFO kablam! | |_^ Sep 21 02:34:42.690 INFO kablam! Sep 21 02:34:43.062 INFO kablam! warning: unused import: `describe! ignored_tests { Sep 21 02:34:43.062 INFO kablam! Sep 21 02:34:43.062 INFO kablam! ignore "should be ignored" { Sep 21 02:34:43.062 INFO kablam! assert!(false); Sep 21 02:34:43.062 INFO kablam! } Sep 21 02:34:43.063 INFO kablam! }` Sep 21 02:34:43.063 INFO kablam! --> tests/ignore.rs:10:1 Sep 21 02:34:43.063 INFO kablam! | Sep 21 02:34:43.063 INFO kablam! 10 | / describe! ignored_tests { Sep 21 02:34:43.063 INFO kablam! 11 | | Sep 21 02:34:43.063 INFO kablam! 12 | | ignore "should be ignored" { Sep 21 02:34:43.063 INFO kablam! 13 | | assert!(false); Sep 21 02:34:43.063 INFO kablam! 14 | | } Sep 21 02:34:43.063 INFO kablam! 15 | | } Sep 21 02:34:43.063 INFO kablam! | |_^ Sep 21 02:34:43.063 INFO kablam! | Sep 21 02:34:43.063 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:43.063 INFO kablam! Sep 21 02:34:43.131 INFO kablam! warning: unused import: `describe! expression_at_end_of_block { Sep 21 02:34:43.131 INFO kablam! before_each { Sep 21 02:34:43.131 INFO kablam! let x = 5; Sep 21 02:34:43.131 INFO kablam! let y = 6; Sep 21 02:34:43.131 INFO kablam! let mut z = 0; Sep 21 02:34:43.131 INFO kablam! for _ in 0..5 { Sep 21 02:34:43.131 INFO kablam! z += 1; Sep 21 02:34:43.131 INFO kablam! } Sep 21 02:34:43.131 INFO kablam! } Sep 21 02:34:43.131 INFO kablam! Sep 21 02:34:43.131 INFO kablam! it "should execute expressions at ends of test blocks as statements" { Sep 21 02:34:43.131 INFO kablam! assert_eq!(x + y, 11); Sep 21 02:34:43.131 INFO kablam! assert_eq!(z, 5); Sep 21 02:34:43.131 INFO kablam! for _ in 0..5 { Sep 21 02:34:43.131 INFO kablam! z += 1; Sep 21 02:34:43.131 INFO kablam! } Sep 21 02:34:43.131 INFO kablam! } Sep 21 02:34:43.131 INFO kablam! Sep 21 02:34:43.131 INFO kablam! after_each { Sep 21 02:34:43.131 INFO kablam! assert_eq!(x, 5); Sep 21 02:34:43.131 INFO kablam! assert_eq!(y, 6); Sep 21 02:34:43.131 INFO kablam! assert_eq!(z, 10); Sep 21 02:34:43.131 INFO kablam! for _ in 0..5 { Sep 21 02:34:43.131 INFO kablam! // Purposefully empty-- tests that after_each can end with loop Sep 21 02:34:43.131 INFO kablam! } Sep 21 02:34:43.131 INFO kablam! } Sep 21 02:34:43.131 INFO kablam! }` Sep 21 02:34:43.131 INFO kablam! --> tests/expression.rs:10:1 Sep 21 02:34:43.131 INFO kablam! | Sep 21 02:34:43.131 INFO kablam! 10 | / describe! expression_at_end_of_block { Sep 21 02:34:43.131 INFO kablam! 11 | | before_each { Sep 21 02:34:43.131 INFO kablam! 12 | | let x = 5; Sep 21 02:34:43.131 INFO kablam! 13 | | let y = 6; Sep 21 02:34:43.131 INFO kablam! ... | Sep 21 02:34:43.132 INFO kablam! 35 | | } Sep 21 02:34:43.132 INFO kablam! 36 | | } Sep 21 02:34:43.132 INFO kablam! | |_^ Sep 21 02:34:43.132 INFO kablam! | Sep 21 02:34:43.132 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:43.132 INFO kablam! Sep 21 02:34:43.242 INFO kablam! warning: unused import: `describe! benchmarking { Sep 21 02:34:43.242 INFO kablam! bench "should benchmark" (bencher) { Sep 21 02:34:43.242 INFO kablam! bencher.iter(|| 2 * 2) Sep 21 02:34:43.242 INFO kablam! } Sep 21 02:34:43.242 INFO kablam! }` Sep 21 02:34:43.242 INFO kablam! --> benches/bench.rs:12:1 Sep 21 02:34:43.242 INFO kablam! | Sep 21 02:34:43.242 INFO kablam! 12 | / describe! benchmarking { Sep 21 02:34:43.242 INFO kablam! 13 | | bench "should benchmark" (bencher) { Sep 21 02:34:43.242 INFO kablam! 14 | | bencher.iter(|| 2 * 2) Sep 21 02:34:43.242 INFO kablam! 15 | | } Sep 21 02:34:43.242 INFO kablam! 16 | | } Sep 21 02:34:43.242 INFO kablam! | |_^ Sep 21 02:34:43.242 INFO kablam! | Sep 21 02:34:43.242 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:43.242 INFO kablam! Sep 21 02:34:43.266 INFO kablam! warning: unused import: `describe! top_level { Sep 21 02:34:43.266 INFO kablam! before_each { Sep 21 02:34:43.266 INFO kablam! let mut foo = 1; Sep 21 02:34:43.266 INFO kablam! } Sep 21 02:34:43.266 INFO kablam! Sep 21 02:34:43.266 INFO kablam! after_each { Sep 21 02:34:43.266 INFO kablam! assert_eq!(foo, 4); Sep 21 02:34:43.266 INFO kablam! } Sep 21 02:34:43.266 INFO kablam! Sep 21 02:34:43.266 INFO kablam! describe! nested { Sep 21 02:34:43.266 INFO kablam! before_each { Sep 21 02:34:43.266 INFO kablam! assert_eq!(foo, 1); Sep 21 02:34:43.266 INFO kablam! foo += 1; Sep 21 02:34:43.266 INFO kablam! } Sep 21 02:34:43.266 INFO kablam! Sep 21 02:34:43.266 INFO kablam! it "should be more specific" { Sep 21 02:34:43.266 INFO kablam! assert_eq!(foo, 2); Sep 21 02:34:43.266 INFO kablam! foo += 1; Sep 21 02:34:43.266 INFO kablam! } Sep 21 02:34:43.266 INFO kablam! Sep 21 02:34:43.266 INFO kablam! after_each { Sep 21 02:34:43.266 INFO kablam! assert_eq!(foo, 3); Sep 21 02:34:43.266 INFO kablam! foo += 1; Sep 21 02:34:43.266 INFO kablam! } Sep 21 02:34:43.266 INFO kablam! } Sep 21 02:34:43.266 INFO kablam! }` Sep 21 02:34:43.267 INFO kablam! --> tests/nested_hooks.rs:10:1 Sep 21 02:34:43.267 INFO kablam! | Sep 21 02:34:43.267 INFO kablam! 10 | / describe! top_level { Sep 21 02:34:43.267 INFO kablam! 11 | | before_each { Sep 21 02:34:43.267 INFO kablam! 12 | | let mut foo = 1; Sep 21 02:34:43.267 INFO kablam! 13 | | } Sep 21 02:34:43.267 INFO kablam! ... | Sep 21 02:34:43.267 INFO kablam! 34 | | } Sep 21 02:34:43.267 INFO kablam! 35 | | } Sep 21 02:34:43.267 INFO kablam! | |_^ Sep 21 02:34:43.267 INFO kablam! | Sep 21 02:34:43.267 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:43.267 INFO kablam! Sep 21 02:34:43.267 INFO kablam! warning: unused import: `describe! top_level { Sep 21 02:34:43.267 INFO kablam! before_each { Sep 21 02:34:43.267 INFO kablam! let mut foo = 1; Sep 21 02:34:43.267 INFO kablam! } Sep 21 02:34:43.267 INFO kablam! Sep 21 02:34:43.267 INFO kablam! after_each { Sep 21 02:34:43.267 INFO kablam! assert_eq!(foo, 4); Sep 21 02:34:43.267 INFO kablam! } Sep 21 02:34:43.267 INFO kablam! Sep 21 02:34:43.267 INFO kablam! describe! nested { Sep 21 02:34:43.267 INFO kablam! before_each { Sep 21 02:34:43.267 INFO kablam! assert_eq!(foo, 1); Sep 21 02:34:43.267 INFO kablam! foo += 1; Sep 21 02:34:43.267 INFO kablam! } Sep 21 02:34:43.267 INFO kablam! Sep 21 02:34:43.267 INFO kablam! it "should be more specific" { Sep 21 02:34:43.267 INFO kablam! assert_eq!(foo, 2); Sep 21 02:34:43.267 INFO kablam! foo += 1; Sep 21 02:34:43.267 INFO kablam! } Sep 21 02:34:43.267 INFO kablam! Sep 21 02:34:43.267 INFO kablam! after_each { Sep 21 02:34:43.267 INFO kablam! assert_eq!(foo, 3); Sep 21 02:34:43.267 INFO kablam! foo += 1; Sep 21 02:34:43.267 INFO kablam! } Sep 21 02:34:43.267 INFO kablam! } Sep 21 02:34:43.267 INFO kablam! }` Sep 21 02:34:43.267 INFO kablam! --> tests/nested_hooks.rs:10:1 Sep 21 02:34:43.267 INFO kablam! | Sep 21 02:34:43.267 INFO kablam! 10 | / describe! top_level { Sep 21 02:34:43.267 INFO kablam! 11 | | before_each { Sep 21 02:34:43.267 INFO kablam! 12 | | let mut foo = 1; Sep 21 02:34:43.267 INFO kablam! 13 | | } Sep 21 02:34:43.267 INFO kablam! ... | Sep 21 02:34:43.267 INFO kablam! 34 | | } Sep 21 02:34:43.267 INFO kablam! 35 | | } Sep 21 02:34:43.267 INFO kablam! | |_^ Sep 21 02:34:43.267 INFO kablam! Sep 21 02:34:43.282 INFO kablam! warning: unused import: `describe! addition { Sep 21 02:34:43.282 INFO kablam! before_each { Sep 21 02:34:43.282 INFO kablam! let x = 5; Sep 21 02:34:43.282 INFO kablam! let y = 6; Sep 21 02:34:43.282 INFO kablam! } Sep 21 02:34:43.282 INFO kablam! Sep 21 02:34:43.282 INFO kablam! it "should add 5 and 6 together" { Sep 21 02:34:43.282 INFO kablam! assert_eq!(x + y, 11); Sep 21 02:34:43.282 INFO kablam! } Sep 21 02:34:43.282 INFO kablam! Sep 21 02:34:43.282 INFO kablam! after_each { Sep 21 02:34:43.282 INFO kablam! assert_eq!(x, 5); Sep 21 02:34:43.282 INFO kablam! assert_eq!(y, 6); Sep 21 02:34:43.282 INFO kablam! } Sep 21 02:34:43.282 INFO kablam! }` Sep 21 02:34:43.282 INFO kablam! --> tests/simple.rs:10:1 Sep 21 02:34:43.282 INFO kablam! | Sep 21 02:34:43.282 INFO kablam! 10 | / describe! addition { Sep 21 02:34:43.282 INFO kablam! 11 | | before_each { Sep 21 02:34:43.282 INFO kablam! 12 | | let x = 5; Sep 21 02:34:43.282 INFO kablam! 13 | | let y = 6; Sep 21 02:34:43.282 INFO kablam! ... | Sep 21 02:34:43.282 INFO kablam! 23 | | } Sep 21 02:34:43.282 INFO kablam! 24 | | } Sep 21 02:34:43.283 INFO kablam! | |_^ Sep 21 02:34:43.283 INFO kablam! | Sep 21 02:34:43.283 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:43.283 INFO kablam! Sep 21 02:34:43.347 INFO kablam! warning: unused import: `describe! top_level { Sep 21 02:34:43.347 INFO kablam! it "should be less specific" { Sep 21 02:34:43.347 INFO kablam! assert_eq!(1, 1); Sep 21 02:34:43.347 INFO kablam! } Sep 21 02:34:43.347 INFO kablam! Sep 21 02:34:43.347 INFO kablam! describe! nested { Sep 21 02:34:43.347 INFO kablam! it "should be more specific" { Sep 21 02:34:43.347 INFO kablam! assert_eq!(2, 2); Sep 21 02:34:43.347 INFO kablam! } Sep 21 02:34:43.347 INFO kablam! } Sep 21 02:34:43.347 INFO kablam! }` Sep 21 02:34:43.347 INFO kablam! --> tests/nested.rs:10:1 Sep 21 02:34:43.347 INFO kablam! | Sep 21 02:34:43.347 INFO kablam! 10 | / describe! top_level { Sep 21 02:34:43.348 INFO kablam! 11 | | it "should be less specific" { Sep 21 02:34:43.348 INFO kablam! 12 | | assert_eq!(1, 1); Sep 21 02:34:43.348 INFO kablam! 13 | | } Sep 21 02:34:43.348 INFO kablam! ... | Sep 21 02:34:43.348 INFO kablam! 19 | | } Sep 21 02:34:43.348 INFO kablam! 20 | | } Sep 21 02:34:43.348 INFO kablam! | |_^ Sep 21 02:34:43.348 INFO kablam! | Sep 21 02:34:43.348 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:43.348 INFO kablam! Sep 21 02:34:43.348 INFO kablam! warning: unused import: `describe! top_level { Sep 21 02:34:43.348 INFO kablam! it "should be less specific" { Sep 21 02:34:43.348 INFO kablam! assert_eq!(1, 1); Sep 21 02:34:43.348 INFO kablam! } Sep 21 02:34:43.348 INFO kablam! Sep 21 02:34:43.348 INFO kablam! describe! nested { Sep 21 02:34:43.348 INFO kablam! it "should be more specific" { Sep 21 02:34:43.348 INFO kablam! assert_eq!(2, 2); Sep 21 02:34:43.348 INFO kablam! } Sep 21 02:34:43.348 INFO kablam! } Sep 21 02:34:43.348 INFO kablam! }` Sep 21 02:34:43.348 INFO kablam! --> tests/nested.rs:10:1 Sep 21 02:34:43.348 INFO kablam! | Sep 21 02:34:43.348 INFO kablam! 10 | / describe! top_level { Sep 21 02:34:43.348 INFO kablam! 11 | | it "should be less specific" { Sep 21 02:34:43.348 INFO kablam! 12 | | assert_eq!(1, 1); Sep 21 02:34:43.348 INFO kablam! 13 | | } Sep 21 02:34:43.348 INFO kablam! ... | Sep 21 02:34:43.348 INFO kablam! 19 | | } Sep 21 02:34:43.348 INFO kablam! 20 | | } Sep 21 02:34:43.348 INFO kablam! | |_^ Sep 21 02:34:43.348 INFO kablam! Sep 21 02:34:43.689 INFO kablam! warning: unused import: `describe! failing { Sep 21 02:34:43.689 INFO kablam! failing "should fail" { Sep 21 02:34:43.689 INFO kablam! panic!("should still pass"); Sep 21 02:34:43.690 INFO kablam! } Sep 21 02:34:43.690 INFO kablam! Sep 21 02:34:43.690 INFO kablam! failing("should still pass") "should fail with message" { Sep 21 02:34:43.690 INFO kablam! panic!("should still pass"); Sep 21 02:34:43.690 INFO kablam! } Sep 21 02:34:43.690 INFO kablam! }` Sep 21 02:34:43.691 INFO kablam! --> tests/failing.rs:10:1 Sep 21 02:34:43.691 INFO kablam! | Sep 21 02:34:43.691 INFO kablam! 10 | / describe! failing { Sep 21 02:34:43.691 INFO kablam! 11 | | failing "should fail" { Sep 21 02:34:43.691 INFO kablam! 12 | | panic!("should still pass"); Sep 21 02:34:43.691 INFO kablam! 13 | | } Sep 21 02:34:43.692 INFO kablam! ... | Sep 21 02:34:43.692 INFO kablam! 17 | | } Sep 21 02:34:43.692 INFO kablam! 18 | | } Sep 21 02:34:43.692 INFO kablam! | |_^ Sep 21 02:34:43.692 INFO kablam! | Sep 21 02:34:43.693 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 21 02:34:43.693 INFO kablam! Sep 21 02:34:43.719 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 6.07s Sep 21 02:34:43.722 INFO kablam! su: No module specific data is present Sep 21 02:34:44.429 INFO running `"docker" "rm" "-f" "1b32823ba8173df921a1fa8925e256f146ed04bb424efe47f0de9f24796ef6c2"` Sep 21 02:34:44.526 INFO blam! 1b32823ba8173df921a1fa8925e256f146ed04bb424efe47f0de9f24796ef6c2