Aug 31 18:06:27.209 INFO checking protocol-0.1.11 against master#d0d81b7fc1421859ba0218e8a437af29ae3b0967 for pr-53578 Aug 31 18:06:27.209 INFO running: cargo +d0d81b7fc1421859ba0218e8a437af29ae3b0967-alt check --frozen --all --all-targets Aug 31 18:06:27.209 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53578/master#d0d81b7fc1421859ba0218e8a437af29ae3b0967:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53578/worker-2/master#d0d81b7fc1421859ba0218e8a437af29ae3b0967:/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 +d0d81b7fc1421859ba0218e8a437af29ae3b0967-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Aug 31 18:06:27.361 INFO blam! 6c5db0535ea30bd9c5cf67dd69bd1675a4f34fca1d3de054533c4e2da5a03cd7 Aug 31 18:06:27.363 INFO running `"docker" "start" "-a" "6c5db0535ea30bd9c5cf67dd69bd1675a4f34fca1d3de054533c4e2da5a03cd7"` Aug 31 18:06:27.964 INFO kablam! Compiling stainless v0.1.12 Aug 31 18:06:27.965 INFO kablam! Checking protocol v0.1.11 (file:///source) Aug 31 18:06:28.773 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.773 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 31 18:06:28.773 INFO kablam! | Aug 31 18:06:28.773 INFO kablam! 95 | impl Integer for u8 { } Aug 31 18:06:28.773 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.773 INFO kablam! | Aug 31 18:06:28.773 INFO kablam! = note: expected type `!` Aug 31 18:06:28.773 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.773 INFO kablam! Aug 31 18:06:28.773 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.773 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 31 18:06:28.773 INFO kablam! | Aug 31 18:06:28.773 INFO kablam! 95 | impl Integer for u8 { } Aug 31 18:06:28.773 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.773 INFO kablam! | Aug 31 18:06:28.774 INFO kablam! = note: expected type `!` Aug 31 18:06:28.774 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.774 INFO kablam! Aug 31 18:06:28.774 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.774 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 31 18:06:28.774 INFO kablam! | Aug 31 18:06:28.774 INFO kablam! 95 | impl Integer for u8 { } Aug 31 18:06:28.774 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.774 INFO kablam! | Aug 31 18:06:28.774 INFO kablam! = note: expected type `!` Aug 31 18:06:28.774 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.774 INFO kablam! Aug 31 18:06:28.774 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.774 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 31 18:06:28.775 INFO kablam! | Aug 31 18:06:28.775 INFO kablam! 95 | impl Integer for u8 { } Aug 31 18:06:28.775 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.775 INFO kablam! | Aug 31 18:06:28.775 INFO kablam! = note: expected type `!` Aug 31 18:06:28.775 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.775 INFO kablam! Aug 31 18:06:28.775 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.775 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 31 18:06:28.775 INFO kablam! | Aug 31 18:06:28.775 INFO kablam! 95 | impl Integer for u8 { } Aug 31 18:06:28.775 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.775 INFO kablam! | Aug 31 18:06:28.775 INFO kablam! = note: expected type `!` Aug 31 18:06:28.775 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.775 INFO kablam! Aug 31 18:06:28.775 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.775 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 31 18:06:28.775 INFO kablam! | Aug 31 18:06:28.775 INFO kablam! 95 | impl Integer for u8 { } Aug 31 18:06:28.775 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.775 INFO kablam! | Aug 31 18:06:28.775 INFO kablam! = note: expected type `!` Aug 31 18:06:28.776 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.776 INFO kablam! Aug 31 18:06:28.776 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.776 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 31 18:06:28.776 INFO kablam! | Aug 31 18:06:28.776 INFO kablam! 95 | impl Integer for u8 { } Aug 31 18:06:28.776 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.776 INFO kablam! | Aug 31 18:06:28.776 INFO kablam! = note: expected type `!` Aug 31 18:06:28.776 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.776 INFO kablam! Aug 31 18:06:28.776 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.776 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 31 18:06:28.776 INFO kablam! | Aug 31 18:06:28.776 INFO kablam! 95 | impl Integer for u8 { } Aug 31 18:06:28.776 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.776 INFO kablam! | Aug 31 18:06:28.776 INFO kablam! = note: expected type `!` Aug 31 18:06:28.776 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.776 INFO kablam! Aug 31 18:06:28.776 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.776 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 31 18:06:28.776 INFO kablam! | Aug 31 18:06:28.776 INFO kablam! 95 | impl Integer for u8 { } Aug 31 18:06:28.776 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.776 INFO kablam! | Aug 31 18:06:28.776 INFO kablam! = note: expected type `!` Aug 31 18:06:28.776 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.776 INFO kablam! Aug 31 18:06:28.776 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.776 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 31 18:06:28.776 INFO kablam! | Aug 31 18:06:28.776 INFO kablam! 95 | impl Integer for u8 { } Aug 31 18:06:28.776 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.776 INFO kablam! | Aug 31 18:06:28.776 INFO kablam! = note: expected type `!` Aug 31 18:06:28.776 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.776 INFO kablam! Aug 31 18:06:28.777 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.777 INFO kablam! --> src/primitives/numerics.rs:96:6 Aug 31 18:06:28.777 INFO kablam! | Aug 31 18:06:28.777 INFO kablam! 96 | impl Integer for i8 { } Aug 31 18:06:28.777 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.777 INFO kablam! | Aug 31 18:06:28.777 INFO kablam! = note: expected type `!` Aug 31 18:06:28.777 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.777 INFO kablam! Aug 31 18:06:28.778 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.778 INFO kablam! --> src/primitives/numerics.rs:96:6 Aug 31 18:06:28.778 INFO kablam! | Aug 31 18:06:28.778 INFO kablam! 96 | impl Integer for i8 { } Aug 31 18:06:28.779 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.779 INFO kablam! | Aug 31 18:06:28.779 INFO kablam! = note: expected type `!` Aug 31 18:06:28.779 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.779 INFO kablam! Aug 31 18:06:28.779 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.779 INFO kablam! --> src/primitives/numerics.rs:96:6 Aug 31 18:06:28.779 INFO kablam! | Aug 31 18:06:28.779 INFO kablam! 96 | impl Integer for i8 { } Aug 31 18:06:28.779 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.779 INFO kablam! | Aug 31 18:06:28.779 INFO kablam! = note: expected type `!` Aug 31 18:06:28.779 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.779 INFO kablam! Aug 31 18:06:28.779 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.779 INFO kablam! --> src/primitives/numerics.rs:96:6 Aug 31 18:06:28.779 INFO kablam! | Aug 31 18:06:28.779 INFO kablam! 96 | impl Integer for i8 { } Aug 31 18:06:28.779 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.779 INFO kablam! | Aug 31 18:06:28.779 INFO kablam! = note: expected type `!` Aug 31 18:06:28.779 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.779 INFO kablam! Aug 31 18:06:28.779 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.780 INFO kablam! --> src/primitives/numerics.rs:96:6 Aug 31 18:06:28.780 INFO kablam! | Aug 31 18:06:28.780 INFO kablam! 96 | impl Integer for i8 { } Aug 31 18:06:28.780 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.780 INFO kablam! | Aug 31 18:06:28.780 INFO kablam! = note: expected type `!` Aug 31 18:06:28.780 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.780 INFO kablam! Aug 31 18:06:28.780 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.780 INFO kablam! --> src/primitives/numerics.rs:96:6 Aug 31 18:06:28.780 INFO kablam! | Aug 31 18:06:28.780 INFO kablam! 96 | impl Integer for i8 { } Aug 31 18:06:28.780 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.780 INFO kablam! | Aug 31 18:06:28.780 INFO kablam! = note: expected type `!` Aug 31 18:06:28.780 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.780 INFO kablam! Aug 31 18:06:28.781 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.781 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 31 18:06:28.781 INFO kablam! | Aug 31 18:06:28.781 INFO kablam! 97 | impl Integer for u16 { } Aug 31 18:06:28.781 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.781 INFO kablam! | Aug 31 18:06:28.781 INFO kablam! = note: expected type `!` Aug 31 18:06:28.781 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.781 INFO kablam! Aug 31 18:06:28.781 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.781 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 31 18:06:28.781 INFO kablam! | Aug 31 18:06:28.781 INFO kablam! 97 | impl Integer for u16 { } Aug 31 18:06:28.781 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.781 INFO kablam! | Aug 31 18:06:28.781 INFO kablam! = note: expected type `!` Aug 31 18:06:28.781 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.781 INFO kablam! Aug 31 18:06:28.781 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.781 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 31 18:06:28.781 INFO kablam! | Aug 31 18:06:28.781 INFO kablam! 97 | impl Integer for u16 { } Aug 31 18:06:28.781 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.781 INFO kablam! | Aug 31 18:06:28.781 INFO kablam! = note: expected type `!` Aug 31 18:06:28.782 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.782 INFO kablam! Aug 31 18:06:28.782 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.782 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 31 18:06:28.782 INFO kablam! | Aug 31 18:06:28.782 INFO kablam! 97 | impl Integer for u16 { } Aug 31 18:06:28.782 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.782 INFO kablam! | Aug 31 18:06:28.782 INFO kablam! = note: expected type `!` Aug 31 18:06:28.782 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.782 INFO kablam! Aug 31 18:06:28.782 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.782 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 31 18:06:28.782 INFO kablam! | Aug 31 18:06:28.782 INFO kablam! 97 | impl Integer for u16 { } Aug 31 18:06:28.782 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.782 INFO kablam! | Aug 31 18:06:28.782 INFO kablam! = note: expected type `!` Aug 31 18:06:28.782 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.782 INFO kablam! Aug 31 18:06:28.782 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.782 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 31 18:06:28.782 INFO kablam! | Aug 31 18:06:28.782 INFO kablam! 97 | impl Integer for u16 { } Aug 31 18:06:28.782 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.782 INFO kablam! | Aug 31 18:06:28.782 INFO kablam! = note: expected type `!` Aug 31 18:06:28.782 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.782 INFO kablam! Aug 31 18:06:28.782 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.782 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 31 18:06:28.782 INFO kablam! | Aug 31 18:06:28.783 INFO kablam! 97 | impl Integer for u16 { } Aug 31 18:06:28.783 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.783 INFO kablam! | Aug 31 18:06:28.783 INFO kablam! = note: expected type `!` Aug 31 18:06:28.783 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.783 INFO kablam! Aug 31 18:06:28.783 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.783 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 31 18:06:28.783 INFO kablam! | Aug 31 18:06:28.783 INFO kablam! 97 | impl Integer for u16 { } Aug 31 18:06:28.783 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.783 INFO kablam! | Aug 31 18:06:28.783 INFO kablam! = note: expected type `!` Aug 31 18:06:28.783 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.783 INFO kablam! Aug 31 18:06:28.785 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.785 INFO kablam! --> src/primitives/numerics.rs:98:6 Aug 31 18:06:28.785 INFO kablam! | Aug 31 18:06:28.785 INFO kablam! 98 | impl Integer for i16 { } Aug 31 18:06:28.785 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.785 INFO kablam! | Aug 31 18:06:28.785 INFO kablam! = note: expected type `!` Aug 31 18:06:28.785 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.785 INFO kablam! Aug 31 18:06:28.785 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.785 INFO kablam! --> src/primitives/numerics.rs:98:6 Aug 31 18:06:28.785 INFO kablam! | Aug 31 18:06:28.785 INFO kablam! 98 | impl Integer for i16 { } Aug 31 18:06:28.785 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.785 INFO kablam! | Aug 31 18:06:28.785 INFO kablam! = note: expected type `!` Aug 31 18:06:28.785 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.785 INFO kablam! Aug 31 18:06:28.785 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.786 INFO kablam! --> src/primitives/numerics.rs:98:6 Aug 31 18:06:28.786 INFO kablam! | Aug 31 18:06:28.786 INFO kablam! 98 | impl Integer for i16 { } Aug 31 18:06:28.786 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.786 INFO kablam! | Aug 31 18:06:28.786 INFO kablam! = note: expected type `!` Aug 31 18:06:28.786 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.786 INFO kablam! Aug 31 18:06:28.786 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.786 INFO kablam! --> src/primitives/numerics.rs:98:6 Aug 31 18:06:28.786 INFO kablam! | Aug 31 18:06:28.786 INFO kablam! 98 | impl Integer for i16 { } Aug 31 18:06:28.786 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.786 INFO kablam! | Aug 31 18:06:28.786 INFO kablam! = note: expected type `!` Aug 31 18:06:28.786 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.786 INFO kablam! Aug 31 18:06:28.786 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.786 INFO kablam! --> src/primitives/numerics.rs:98:6 Aug 31 18:06:28.786 INFO kablam! | Aug 31 18:06:28.786 INFO kablam! 98 | impl Integer for i16 { } Aug 31 18:06:28.786 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.787 INFO kablam! | Aug 31 18:06:28.787 INFO kablam! = note: expected type `!` Aug 31 18:06:28.787 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.787 INFO kablam! Aug 31 18:06:28.787 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.787 INFO kablam! --> src/primitives/numerics.rs:98:6 Aug 31 18:06:28.787 INFO kablam! | Aug 31 18:06:28.787 INFO kablam! 98 | impl Integer for i16 { } Aug 31 18:06:28.787 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.787 INFO kablam! | Aug 31 18:06:28.787 INFO kablam! = note: expected type `!` Aug 31 18:06:28.787 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.787 INFO kablam! Aug 31 18:06:28.787 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.787 INFO kablam! --> src/primitives/numerics.rs:98:6 Aug 31 18:06:28.787 INFO kablam! | Aug 31 18:06:28.787 INFO kablam! 98 | impl Integer for i16 { } Aug 31 18:06:28.787 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.787 INFO kablam! | Aug 31 18:06:28.787 INFO kablam! = note: expected type `!` Aug 31 18:06:28.787 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.787 INFO kablam! Aug 31 18:06:28.788 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.788 INFO kablam! --> src/primitives/numerics.rs:99:6 Aug 31 18:06:28.788 INFO kablam! | Aug 31 18:06:28.788 INFO kablam! 99 | impl Integer for u32 { } Aug 31 18:06:28.789 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.789 INFO kablam! | Aug 31 18:06:28.789 INFO kablam! = note: expected type `!` Aug 31 18:06:28.789 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.789 INFO kablam! Aug 31 18:06:28.789 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.789 INFO kablam! --> src/primitives/numerics.rs:99:6 Aug 31 18:06:28.789 INFO kablam! | Aug 31 18:06:28.789 INFO kablam! 99 | impl Integer for u32 { } Aug 31 18:06:28.789 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.789 INFO kablam! | Aug 31 18:06:28.789 INFO kablam! = note: expected type `!` Aug 31 18:06:28.789 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.789 INFO kablam! Aug 31 18:06:28.789 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.789 INFO kablam! --> src/primitives/numerics.rs:99:6 Aug 31 18:06:28.789 INFO kablam! | Aug 31 18:06:28.789 INFO kablam! 99 | impl Integer for u32 { } Aug 31 18:06:28.789 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.789 INFO kablam! | Aug 31 18:06:28.789 INFO kablam! = note: expected type `!` Aug 31 18:06:28.789 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.789 INFO kablam! Aug 31 18:06:28.789 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.789 INFO kablam! --> src/primitives/numerics.rs:99:6 Aug 31 18:06:28.790 INFO kablam! | Aug 31 18:06:28.790 INFO kablam! 99 | impl Integer for u32 { } Aug 31 18:06:28.790 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.790 INFO kablam! | Aug 31 18:06:28.790 INFO kablam! = note: expected type `!` Aug 31 18:06:28.790 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.790 INFO kablam! Aug 31 18:06:28.790 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.790 INFO kablam! --> src/primitives/numerics.rs:99:6 Aug 31 18:06:28.790 INFO kablam! | Aug 31 18:06:28.790 INFO kablam! 99 | impl Integer for u32 { } Aug 31 18:06:28.790 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.790 INFO kablam! | Aug 31 18:06:28.790 INFO kablam! = note: expected type `!` Aug 31 18:06:28.790 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.790 INFO kablam! Aug 31 18:06:28.790 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.790 INFO kablam! --> src/primitives/numerics.rs:99:6 Aug 31 18:06:28.790 INFO kablam! | Aug 31 18:06:28.790 INFO kablam! 99 | impl Integer for u32 { } Aug 31 18:06:28.790 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.790 INFO kablam! | Aug 31 18:06:28.790 INFO kablam! = note: expected type `!` Aug 31 18:06:28.791 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.791 INFO kablam! Aug 31 18:06:28.791 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.792 INFO kablam! --> src/primitives/numerics.rs:100:6 Aug 31 18:06:28.792 INFO kablam! | Aug 31 18:06:28.792 INFO kablam! 100 | impl Integer for i32 { } Aug 31 18:06:28.792 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.792 INFO kablam! | Aug 31 18:06:28.792 INFO kablam! = note: expected type `!` Aug 31 18:06:28.792 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.792 INFO kablam! Aug 31 18:06:28.792 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.792 INFO kablam! --> src/primitives/numerics.rs:100:6 Aug 31 18:06:28.792 INFO kablam! | Aug 31 18:06:28.792 INFO kablam! 100 | impl Integer for i32 { } Aug 31 18:06:28.792 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.792 INFO kablam! | Aug 31 18:06:28.792 INFO kablam! = note: expected type `!` Aug 31 18:06:28.792 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.792 INFO kablam! Aug 31 18:06:28.792 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.792 INFO kablam! --> src/primitives/numerics.rs:100:6 Aug 31 18:06:28.792 INFO kablam! | Aug 31 18:06:28.792 INFO kablam! 100 | impl Integer for i32 { } Aug 31 18:06:28.792 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.793 INFO kablam! | Aug 31 18:06:28.793 INFO kablam! = note: expected type `!` Aug 31 18:06:28.793 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.793 INFO kablam! Aug 31 18:06:28.793 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.793 INFO kablam! --> src/primitives/numerics.rs:100:6 Aug 31 18:06:28.793 INFO kablam! | Aug 31 18:06:28.793 INFO kablam! 100 | impl Integer for i32 { } Aug 31 18:06:28.793 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.793 INFO kablam! | Aug 31 18:06:28.793 INFO kablam! = note: expected type `!` Aug 31 18:06:28.793 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.793 INFO kablam! Aug 31 18:06:28.793 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.793 INFO kablam! --> src/primitives/numerics.rs:100:6 Aug 31 18:06:28.793 INFO kablam! | Aug 31 18:06:28.793 INFO kablam! 100 | impl Integer for i32 { } Aug 31 18:06:28.793 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.793 INFO kablam! | Aug 31 18:06:28.794 INFO kablam! = note: expected type `!` Aug 31 18:06:28.794 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.794 INFO kablam! Aug 31 18:06:28.794 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.794 INFO kablam! --> src/primitives/numerics.rs:100:6 Aug 31 18:06:28.794 INFO kablam! | Aug 31 18:06:28.794 INFO kablam! 100 | impl Integer for i32 { } Aug 31 18:06:28.794 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.794 INFO kablam! | Aug 31 18:06:28.794 INFO kablam! = note: expected type `!` Aug 31 18:06:28.794 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.794 INFO kablam! Aug 31 18:06:28.794 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.794 INFO kablam! --> src/primitives/numerics.rs:100:6 Aug 31 18:06:28.794 INFO kablam! | Aug 31 18:06:28.794 INFO kablam! 100 | impl Integer for i32 { } Aug 31 18:06:28.794 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.794 INFO kablam! | Aug 31 18:06:28.794 INFO kablam! = note: expected type `!` Aug 31 18:06:28.794 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.795 INFO kablam! Aug 31 18:06:28.795 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.795 INFO kablam! --> src/primitives/numerics.rs:101:6 Aug 31 18:06:28.795 INFO kablam! | Aug 31 18:06:28.795 INFO kablam! 101 | impl Integer for u64 { } Aug 31 18:06:28.795 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.795 INFO kablam! | Aug 31 18:06:28.795 INFO kablam! = note: expected type `!` Aug 31 18:06:28.795 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.795 INFO kablam! Aug 31 18:06:28.795 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.795 INFO kablam! --> src/primitives/numerics.rs:101:6 Aug 31 18:06:28.795 INFO kablam! | Aug 31 18:06:28.795 INFO kablam! 101 | impl Integer for u64 { } Aug 31 18:06:28.795 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.795 INFO kablam! | Aug 31 18:06:28.795 INFO kablam! = note: expected type `!` Aug 31 18:06:28.795 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.796 INFO kablam! Aug 31 18:06:28.796 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.796 INFO kablam! --> src/primitives/numerics.rs:101:6 Aug 31 18:06:28.796 INFO kablam! | Aug 31 18:06:28.796 INFO kablam! 101 | impl Integer for u64 { } Aug 31 18:06:28.796 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.796 INFO kablam! | Aug 31 18:06:28.796 INFO kablam! = note: expected type `!` Aug 31 18:06:28.796 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.796 INFO kablam! Aug 31 18:06:28.796 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.796 INFO kablam! --> src/primitives/numerics.rs:101:6 Aug 31 18:06:28.796 INFO kablam! | Aug 31 18:06:28.796 INFO kablam! 101 | impl Integer for u64 { } Aug 31 18:06:28.796 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.796 INFO kablam! | Aug 31 18:06:28.796 INFO kablam! = note: expected type `!` Aug 31 18:06:28.796 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.797 INFO kablam! Aug 31 18:06:28.797 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.797 INFO kablam! --> src/primitives/numerics.rs:101:6 Aug 31 18:06:28.797 INFO kablam! | Aug 31 18:06:28.797 INFO kablam! 101 | impl Integer for u64 { } Aug 31 18:06:28.797 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.797 INFO kablam! | Aug 31 18:06:28.797 INFO kablam! = note: expected type `!` Aug 31 18:06:28.797 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.797 INFO kablam! Aug 31 18:06:28.797 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.797 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 31 18:06:28.797 INFO kablam! | Aug 31 18:06:28.797 INFO kablam! 102 | impl Integer for i64 { } Aug 31 18:06:28.797 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.797 INFO kablam! | Aug 31 18:06:28.798 INFO kablam! = note: expected type `!` Aug 31 18:06:28.798 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.798 INFO kablam! Aug 31 18:06:28.798 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.798 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 31 18:06:28.798 INFO kablam! | Aug 31 18:06:28.798 INFO kablam! 102 | impl Integer for i64 { } Aug 31 18:06:28.798 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.798 INFO kablam! | Aug 31 18:06:28.798 INFO kablam! = note: expected type `!` Aug 31 18:06:28.798 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.798 INFO kablam! Aug 31 18:06:28.798 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.798 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 31 18:06:28.798 INFO kablam! | Aug 31 18:06:28.798 INFO kablam! 102 | impl Integer for i64 { } Aug 31 18:06:28.798 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.798 INFO kablam! | Aug 31 18:06:28.799 INFO kablam! = note: expected type `!` Aug 31 18:06:28.799 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.799 INFO kablam! Aug 31 18:06:28.799 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.799 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 31 18:06:28.799 INFO kablam! | Aug 31 18:06:28.799 INFO kablam! 102 | impl Integer for i64 { } Aug 31 18:06:28.799 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.799 INFO kablam! | Aug 31 18:06:28.799 INFO kablam! = note: expected type `!` Aug 31 18:06:28.799 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.799 INFO kablam! Aug 31 18:06:28.799 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.799 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 31 18:06:28.799 INFO kablam! | Aug 31 18:06:28.799 INFO kablam! 102 | impl Integer for i64 { } Aug 31 18:06:28.799 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.799 INFO kablam! | Aug 31 18:06:28.799 INFO kablam! = note: expected type `!` Aug 31 18:06:28.800 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.800 INFO kablam! Aug 31 18:06:28.800 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.800 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 31 18:06:28.800 INFO kablam! | Aug 31 18:06:28.800 INFO kablam! 102 | impl Integer for i64 { } Aug 31 18:06:28.800 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.800 INFO kablam! | Aug 31 18:06:28.800 INFO kablam! = note: expected type `!` Aug 31 18:06:28.800 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.800 INFO kablam! Aug 31 18:06:28.800 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.800 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 31 18:06:28.800 INFO kablam! | Aug 31 18:06:28.800 INFO kablam! 102 | impl Integer for i64 { } Aug 31 18:06:28.800 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.800 INFO kablam! | Aug 31 18:06:28.800 INFO kablam! = note: expected type `!` Aug 31 18:06:28.800 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.801 INFO kablam! Aug 31 18:06:28.801 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 31 18:06:28.801 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 31 18:06:28.801 INFO kablam! | Aug 31 18:06:28.801 INFO kablam! 102 | impl Integer for i64 { } Aug 31 18:06:28.801 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 31 18:06:28.801 INFO kablam! | Aug 31 18:06:28.801 INFO kablam! = note: expected type `!` Aug 31 18:06:28.801 INFO kablam! found type `std::num::TryFromIntError` Aug 31 18:06:28.801 INFO kablam! Aug 31 18:06:28.885 INFO kablam! error: aborting due to 57 previous errors Aug 31 18:06:28.885 INFO kablam! Aug 31 18:06:28.885 INFO kablam! For more information about this error, try `rustc --explain E0271`. Aug 31 18:06:28.891 INFO kablam! error: Could not compile `protocol`. Aug 31 18:06:28.891 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 31 18:06:30.442 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 31 18:06:30.442 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/describe.rs:31:19 Aug 31 18:06:30.443 INFO kablam! | Aug 31 18:06:30.443 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Aug 31 18:06:30.443 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 31 18:06:30.443 INFO kablam! Aug 31 18:06:30.443 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector` Aug 31 18:06:30.443 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/describe.rs:34:19 Aug 31 18:06:30.443 INFO kablam! | Aug 31 18:06:30.443 INFO kablam! 34 | use syntax::util::small_vector::SmallVector; Aug 31 18:06:30.443 INFO kablam! | ^^^^^^^^^^^^ Could not find `small_vector` in `util` Aug 31 18:06:30.443 INFO kablam! Aug 31 18:06:30.443 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 31 18:06:30.443 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/parse.rs:7:19 Aug 31 18:06:30.443 INFO kablam! | Aug 31 18:06:30.443 INFO kablam! 7 | use syntax::{ast, codemap}; Aug 31 18:06:30.443 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 31 18:06:30.443 INFO kablam! Aug 31 18:06:30.444 INFO kablam! error[E0432]: unresolved import `syntax::abi` Aug 31 18:06:30.444 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/generate.rs:9:19 Aug 31 18:06:30.444 INFO kablam! | Aug 31 18:06:30.444 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 31 18:06:30.444 INFO kablam! | ^^^ no `abi` in the root Aug 31 18:06:30.444 INFO kablam! Aug 31 18:06:30.444 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 31 18:06:30.444 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/generate.rs:9:24 Aug 31 18:06:30.444 INFO kablam! | Aug 31 18:06:30.444 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 31 18:06:30.444 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 31 18:06:30.444 INFO kablam! Aug 31 18:06:30.652 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 31 18:06:30.652 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/generate.rs:118:19 Aug 31 18:06:30.652 INFO kablam! | Aug 31 18:06:30.652 INFO kablam! 118 | node: ast::ItemKind::Fn( Aug 31 18:06:30.652 INFO kablam! | ___________________^ Aug 31 18:06:30.652 INFO kablam! 119 | | // Takes no arguments and returns () Aug 31 18:06:30.652 INFO kablam! 120 | | P(ast::FnDecl { Aug 31 18:06:30.652 INFO kablam! 121 | | inputs: vec![], Aug 31 18:06:30.652 INFO kablam! ... | Aug 31 18:06:30.652 INFO kablam! 132 | | test_body Aug 31 18:06:30.652 INFO kablam! 133 | | ), Aug 31 18:06:30.652 INFO kablam! | |_____________^ expected 4 parameters Aug 31 18:06:30.652 INFO kablam! Aug 31 18:06:30.721 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Aug 31 18:06:30.721 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/generate.rs:135:18 Aug 31 18:06:30.721 INFO kablam! | Aug 31 18:06:30.721 INFO kablam! 135 | vis: ast::Visibility::Inherited, Aug 31 18:06:30.722 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 31 18:06:30.722 INFO kablam! Aug 31 18:06:30.724 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 31 18:06:30.724 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/generate.rs:157:19 Aug 31 18:06:30.724 INFO kablam! | Aug 31 18:06:30.724 INFO kablam! 157 | node: ast::ItemKind::Fn( Aug 31 18:06:30.724 INFO kablam! | ___________________^ Aug 31 18:06:30.724 INFO kablam! 158 | | // Takes one argument of &mut Bencher Aug 31 18:06:30.724 INFO kablam! 159 | | P(ast::FnDecl { Aug 31 18:06:30.724 INFO kablam! 160 | | inputs: vec![ast::Arg { Aug 31 18:06:30.724 INFO kablam! ... | Aug 31 18:06:30.724 INFO kablam! 176 | | block Aug 31 18:06:30.724 INFO kablam! 177 | | ), Aug 31 18:06:30.724 INFO kablam! | |_____________^ expected 4 parameters Aug 31 18:06:30.724 INFO kablam! Aug 31 18:06:30.735 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Aug 31 18:06:30.735 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/generate.rs:179:18 Aug 31 18:06:30.735 INFO kablam! | Aug 31 18:06:30.735 INFO kablam! 179 | vis: ast::Visibility::Inherited, Aug 31 18:06:30.735 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 31 18:06:30.735 INFO kablam! Aug 31 18:06:30.752 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::source_map::Spanned` in the current scope Aug 31 18:06:30.752 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/generate.rs:228:47 Aug 31 18:06:30.752 INFO kablam! | Aug 31 18:06:30.752 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Aug 31 18:06:30.752 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 31 18:06:30.752 INFO kablam! Aug 31 18:06:30.766 INFO kablam! error: aborting due to 10 previous errors Aug 31 18:06:30.766 INFO kablam! Aug 31 18:06:30.766 INFO kablam! Some errors occurred: E0061, E0432, E0599. Aug 31 18:06:30.766 INFO kablam! For more information about an error, try `rustc --explain E0061`. Aug 31 18:06:30.780 INFO kablam! error: Could not compile `stainless`. Aug 31 18:06:30.780 INFO kablam! Aug 31 18:06:30.780 INFO kablam! To learn more, run the command again with --verbose. Aug 31 18:06:30.782 INFO kablam! su: No module specific data is present Aug 31 18:06:31.227 INFO running `"docker" "rm" "-f" "6c5db0535ea30bd9c5cf67dd69bd1675a4f34fca1d3de054533c4e2da5a03cd7"` Aug 31 18:06:31.347 INFO blam! 6c5db0535ea30bd9c5cf67dd69bd1675a4f34fca1d3de054533c4e2da5a03cd7