Aug 30 07:43:25.467 INFO checking protocol-0.1.11 against try#2d477f9981361618ac78253c28051a66b6cea125 for pr-53707 Aug 30 07:43:25.467 INFO running: cargo +2d477f9981361618ac78253c28051a66b6cea125-alt check --frozen --all --all-targets Aug 30 07:43:25.468 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-0/pr-53707/try#2d477f9981361618ac78253c28051a66b6cea125:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53707/worker-0/try#2d477f9981361618ac78253c28051a66b6cea125:/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 +2d477f9981361618ac78253c28051a66b6cea125-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Aug 30 07:43:25.692 INFO blam! 4cfb38257e3c7aebd7d7dc38f6db347fa0f2fa0c00fda74c1a3187fc19d99af5 Aug 30 07:43:25.694 INFO running `"docker" "start" "-a" "4cfb38257e3c7aebd7d7dc38f6db347fa0f2fa0c00fda74c1a3187fc19d99af5"` Aug 30 07:43:26.532 INFO kablam! Compiling stainless v0.1.12 Aug 30 07:43:26.534 INFO kablam! Checking protocol v0.1.11 (file:///source) Aug 30 07:43:27.300 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.300 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 30 07:43:27.300 INFO kablam! | Aug 30 07:43:27.300 INFO kablam! 95 | impl Integer for u8 { } Aug 30 07:43:27.300 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.300 INFO kablam! | Aug 30 07:43:27.300 INFO kablam! = note: expected type `!` Aug 30 07:43:27.300 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.300 INFO kablam! Aug 30 07:43:27.300 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.300 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 30 07:43:27.301 INFO kablam! | Aug 30 07:43:27.301 INFO kablam! 95 | impl Integer for u8 { } Aug 30 07:43:27.301 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.301 INFO kablam! | Aug 30 07:43:27.301 INFO kablam! = note: expected type `!` Aug 30 07:43:27.301 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.301 INFO kablam! Aug 30 07:43:27.301 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.301 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 30 07:43:27.301 INFO kablam! | Aug 30 07:43:27.301 INFO kablam! 95 | impl Integer for u8 { } Aug 30 07:43:27.301 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.301 INFO kablam! | Aug 30 07:43:27.301 INFO kablam! = note: expected type `!` Aug 30 07:43:27.301 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.301 INFO kablam! Aug 30 07:43:27.301 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.301 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 30 07:43:27.301 INFO kablam! | Aug 30 07:43:27.301 INFO kablam! 95 | impl Integer for u8 { } Aug 30 07:43:27.301 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.301 INFO kablam! | Aug 30 07:43:27.301 INFO kablam! = note: expected type `!` Aug 30 07:43:27.301 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.301 INFO kablam! Aug 30 07:43:27.301 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.302 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 30 07:43:27.302 INFO kablam! | Aug 30 07:43:27.302 INFO kablam! 95 | impl Integer for u8 { } Aug 30 07:43:27.302 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.302 INFO kablam! | Aug 30 07:43:27.302 INFO kablam! = note: expected type `!` Aug 30 07:43:27.302 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.302 INFO kablam! Aug 30 07:43:27.302 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.302 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 30 07:43:27.302 INFO kablam! | Aug 30 07:43:27.302 INFO kablam! 95 | impl Integer for u8 { } Aug 30 07:43:27.302 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.302 INFO kablam! | Aug 30 07:43:27.302 INFO kablam! = note: expected type `!` Aug 30 07:43:27.302 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.302 INFO kablam! Aug 30 07:43:27.302 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.302 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 30 07:43:27.302 INFO kablam! | Aug 30 07:43:27.302 INFO kablam! 95 | impl Integer for u8 { } Aug 30 07:43:27.302 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.302 INFO kablam! | Aug 30 07:43:27.302 INFO kablam! = note: expected type `!` Aug 30 07:43:27.302 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.302 INFO kablam! Aug 30 07:43:27.302 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.303 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 30 07:43:27.303 INFO kablam! | Aug 30 07:43:27.303 INFO kablam! 95 | impl Integer for u8 { } Aug 30 07:43:27.303 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.303 INFO kablam! | Aug 30 07:43:27.303 INFO kablam! = note: expected type `!` Aug 30 07:43:27.303 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.303 INFO kablam! Aug 30 07:43:27.303 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.303 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 30 07:43:27.303 INFO kablam! | Aug 30 07:43:27.303 INFO kablam! 95 | impl Integer for u8 { } Aug 30 07:43:27.303 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.303 INFO kablam! | Aug 30 07:43:27.303 INFO kablam! = note: expected type `!` Aug 30 07:43:27.303 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.303 INFO kablam! Aug 30 07:43:27.303 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.303 INFO kablam! --> src/primitives/numerics.rs:95:6 Aug 30 07:43:27.303 INFO kablam! | Aug 30 07:43:27.303 INFO kablam! 95 | impl Integer for u8 { } Aug 30 07:43:27.303 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.303 INFO kablam! | Aug 30 07:43:27.303 INFO kablam! = note: expected type `!` Aug 30 07:43:27.303 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.303 INFO kablam! Aug 30 07:43:27.306 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.306 INFO kablam! --> src/primitives/numerics.rs:96:6 Aug 30 07:43:27.306 INFO kablam! | Aug 30 07:43:27.306 INFO kablam! 96 | impl Integer for i8 { } Aug 30 07:43:27.306 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.306 INFO kablam! | Aug 30 07:43:27.306 INFO kablam! = note: expected type `!` Aug 30 07:43:27.306 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.306 INFO kablam! Aug 30 07:43:27.306 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.306 INFO kablam! --> src/primitives/numerics.rs:96:6 Aug 30 07:43:27.307 INFO kablam! | Aug 30 07:43:27.307 INFO kablam! 96 | impl Integer for i8 { } Aug 30 07:43:27.307 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.307 INFO kablam! | Aug 30 07:43:27.307 INFO kablam! = note: expected type `!` Aug 30 07:43:27.307 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.307 INFO kablam! Aug 30 07:43:27.307 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.307 INFO kablam! --> src/primitives/numerics.rs:96:6 Aug 30 07:43:27.307 INFO kablam! | Aug 30 07:43:27.307 INFO kablam! 96 | impl Integer for i8 { } Aug 30 07:43:27.307 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.307 INFO kablam! | Aug 30 07:43:27.307 INFO kablam! = note: expected type `!` Aug 30 07:43:27.307 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.307 INFO kablam! Aug 30 07:43:27.307 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.307 INFO kablam! --> src/primitives/numerics.rs:96:6 Aug 30 07:43:27.307 INFO kablam! | Aug 30 07:43:27.307 INFO kablam! 96 | impl Integer for i8 { } Aug 30 07:43:27.307 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.307 INFO kablam! | Aug 30 07:43:27.307 INFO kablam! = note: expected type `!` Aug 30 07:43:27.307 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.307 INFO kablam! Aug 30 07:43:27.307 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.307 INFO kablam! --> src/primitives/numerics.rs:96:6 Aug 30 07:43:27.308 INFO kablam! | Aug 30 07:43:27.308 INFO kablam! 96 | impl Integer for i8 { } Aug 30 07:43:27.308 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.308 INFO kablam! | Aug 30 07:43:27.308 INFO kablam! = note: expected type `!` Aug 30 07:43:27.308 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.308 INFO kablam! Aug 30 07:43:27.308 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.308 INFO kablam! --> src/primitives/numerics.rs:96:6 Aug 30 07:43:27.308 INFO kablam! | Aug 30 07:43:27.308 INFO kablam! 96 | impl Integer for i8 { } Aug 30 07:43:27.308 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.308 INFO kablam! | Aug 30 07:43:27.308 INFO kablam! = note: expected type `!` Aug 30 07:43:27.308 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.308 INFO kablam! Aug 30 07:43:27.310 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.310 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 30 07:43:27.310 INFO kablam! | Aug 30 07:43:27.310 INFO kablam! 97 | impl Integer for u16 { } Aug 30 07:43:27.310 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.310 INFO kablam! | Aug 30 07:43:27.311 INFO kablam! = note: expected type `!` Aug 30 07:43:27.311 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.311 INFO kablam! Aug 30 07:43:27.311 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.311 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 30 07:43:27.311 INFO kablam! | Aug 30 07:43:27.311 INFO kablam! 97 | impl Integer for u16 { } Aug 30 07:43:27.311 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.311 INFO kablam! | Aug 30 07:43:27.311 INFO kablam! = note: expected type `!` Aug 30 07:43:27.312 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.312 INFO kablam! Aug 30 07:43:27.312 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.312 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 30 07:43:27.312 INFO kablam! | Aug 30 07:43:27.312 INFO kablam! 97 | impl Integer for u16 { } Aug 30 07:43:27.312 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.312 INFO kablam! | Aug 30 07:43:27.312 INFO kablam! = note: expected type `!` Aug 30 07:43:27.312 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.313 INFO kablam! Aug 30 07:43:27.313 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.313 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 30 07:43:27.313 INFO kablam! | Aug 30 07:43:27.313 INFO kablam! 97 | impl Integer for u16 { } Aug 30 07:43:27.313 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.313 INFO kablam! | Aug 30 07:43:27.313 INFO kablam! = note: expected type `!` Aug 30 07:43:27.313 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.313 INFO kablam! Aug 30 07:43:27.314 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.314 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 30 07:43:27.314 INFO kablam! | Aug 30 07:43:27.314 INFO kablam! 97 | impl Integer for u16 { } Aug 30 07:43:27.314 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.314 INFO kablam! | Aug 30 07:43:27.314 INFO kablam! = note: expected type `!` Aug 30 07:43:27.314 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.314 INFO kablam! Aug 30 07:43:27.314 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.315 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 30 07:43:27.315 INFO kablam! | Aug 30 07:43:27.315 INFO kablam! 97 | impl Integer for u16 { } Aug 30 07:43:27.315 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.315 INFO kablam! | Aug 30 07:43:27.315 INFO kablam! = note: expected type `!` Aug 30 07:43:27.315 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.315 INFO kablam! Aug 30 07:43:27.315 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.316 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 30 07:43:27.316 INFO kablam! | Aug 30 07:43:27.316 INFO kablam! 97 | impl Integer for u16 { } Aug 30 07:43:27.316 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.316 INFO kablam! | Aug 30 07:43:27.316 INFO kablam! = note: expected type `!` Aug 30 07:43:27.316 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.316 INFO kablam! Aug 30 07:43:27.316 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.316 INFO kablam! --> src/primitives/numerics.rs:97:6 Aug 30 07:43:27.317 INFO kablam! | Aug 30 07:43:27.317 INFO kablam! 97 | impl Integer for u16 { } Aug 30 07:43:27.317 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.317 INFO kablam! | Aug 30 07:43:27.317 INFO kablam! = note: expected type `!` Aug 30 07:43:27.317 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.317 INFO kablam! Aug 30 07:43:27.317 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.317 INFO kablam! --> src/primitives/numerics.rs:98:6 Aug 30 07:43:27.317 INFO kablam! | Aug 30 07:43:27.318 INFO kablam! 98 | impl Integer for i16 { } Aug 30 07:43:27.318 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.318 INFO kablam! | Aug 30 07:43:27.318 INFO kablam! = note: expected type `!` Aug 30 07:43:27.318 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.318 INFO kablam! Aug 30 07:43:27.318 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.318 INFO kablam! --> src/primitives/numerics.rs:98:6 Aug 30 07:43:27.318 INFO kablam! | Aug 30 07:43:27.318 INFO kablam! 98 | impl Integer for i16 { } Aug 30 07:43:27.319 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.319 INFO kablam! | Aug 30 07:43:27.319 INFO kablam! = note: expected type `!` Aug 30 07:43:27.319 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.319 INFO kablam! Aug 30 07:43:27.319 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.319 INFO kablam! --> src/primitives/numerics.rs:98:6 Aug 30 07:43:27.319 INFO kablam! | Aug 30 07:43:27.319 INFO kablam! 98 | impl Integer for i16 { } Aug 30 07:43:27.319 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.320 INFO kablam! | Aug 30 07:43:27.320 INFO kablam! = note: expected type `!` Aug 30 07:43:27.320 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.320 INFO kablam! Aug 30 07:43:27.320 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.320 INFO kablam! --> src/primitives/numerics.rs:98:6 Aug 30 07:43:27.320 INFO kablam! | Aug 30 07:43:27.320 INFO kablam! 98 | impl Integer for i16 { } Aug 30 07:43:27.320 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.320 INFO kablam! | Aug 30 07:43:27.321 INFO kablam! = note: expected type `!` Aug 30 07:43:27.321 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.321 INFO kablam! Aug 30 07:43:27.321 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.321 INFO kablam! --> src/primitives/numerics.rs:98:6 Aug 30 07:43:27.321 INFO kablam! | Aug 30 07:43:27.321 INFO kablam! 98 | impl Integer for i16 { } Aug 30 07:43:27.321 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.321 INFO kablam! | Aug 30 07:43:27.321 INFO kablam! = note: expected type `!` Aug 30 07:43:27.322 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.322 INFO kablam! Aug 30 07:43:27.322 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.322 INFO kablam! --> src/primitives/numerics.rs:98:6 Aug 30 07:43:27.322 INFO kablam! | Aug 30 07:43:27.322 INFO kablam! 98 | impl Integer for i16 { } Aug 30 07:43:27.322 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.322 INFO kablam! | Aug 30 07:43:27.322 INFO kablam! = note: expected type `!` Aug 30 07:43:27.323 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.323 INFO kablam! Aug 30 07:43:27.323 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.323 INFO kablam! --> src/primitives/numerics.rs:98:6 Aug 30 07:43:27.323 INFO kablam! | Aug 30 07:43:27.323 INFO kablam! 98 | impl Integer for i16 { } Aug 30 07:43:27.323 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.323 INFO kablam! | Aug 30 07:43:27.323 INFO kablam! = note: expected type `!` Aug 30 07:43:27.323 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.324 INFO kablam! Aug 30 07:43:27.324 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.324 INFO kablam! --> src/primitives/numerics.rs:99:6 Aug 30 07:43:27.324 INFO kablam! | Aug 30 07:43:27.324 INFO kablam! 99 | impl Integer for u32 { } Aug 30 07:43:27.324 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.324 INFO kablam! | Aug 30 07:43:27.324 INFO kablam! = note: expected type `!` Aug 30 07:43:27.324 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.325 INFO kablam! Aug 30 07:43:27.325 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.325 INFO kablam! --> src/primitives/numerics.rs:99:6 Aug 30 07:43:27.325 INFO kablam! | Aug 30 07:43:27.325 INFO kablam! 99 | impl Integer for u32 { } Aug 30 07:43:27.325 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.325 INFO kablam! | Aug 30 07:43:27.325 INFO kablam! = note: expected type `!` Aug 30 07:43:27.325 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.326 INFO kablam! Aug 30 07:43:27.326 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.326 INFO kablam! --> src/primitives/numerics.rs:99:6 Aug 30 07:43:27.326 INFO kablam! | Aug 30 07:43:27.326 INFO kablam! 99 | impl Integer for u32 { } Aug 30 07:43:27.326 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.326 INFO kablam! | Aug 30 07:43:27.326 INFO kablam! = note: expected type `!` Aug 30 07:43:27.326 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.326 INFO kablam! Aug 30 07:43:27.327 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.327 INFO kablam! --> src/primitives/numerics.rs:99:6 Aug 30 07:43:27.327 INFO kablam! | Aug 30 07:43:27.327 INFO kablam! 99 | impl Integer for u32 { } Aug 30 07:43:27.327 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.327 INFO kablam! | Aug 30 07:43:27.327 INFO kablam! = note: expected type `!` Aug 30 07:43:27.327 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.327 INFO kablam! Aug 30 07:43:27.327 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.328 INFO kablam! --> src/primitives/numerics.rs:99:6 Aug 30 07:43:27.328 INFO kablam! | Aug 30 07:43:27.328 INFO kablam! 99 | impl Integer for u32 { } Aug 30 07:43:27.328 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.328 INFO kablam! | Aug 30 07:43:27.328 INFO kablam! = note: expected type `!` Aug 30 07:43:27.328 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.328 INFO kablam! Aug 30 07:43:27.328 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.328 INFO kablam! --> src/primitives/numerics.rs:99:6 Aug 30 07:43:27.329 INFO kablam! | Aug 30 07:43:27.329 INFO kablam! 99 | impl Integer for u32 { } Aug 30 07:43:27.329 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.329 INFO kablam! | Aug 30 07:43:27.329 INFO kablam! = note: expected type `!` Aug 30 07:43:27.329 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.329 INFO kablam! Aug 30 07:43:27.329 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.329 INFO kablam! --> src/primitives/numerics.rs:100:6 Aug 30 07:43:27.330 INFO kablam! | Aug 30 07:43:27.330 INFO kablam! 100 | impl Integer for i32 { } Aug 30 07:43:27.330 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.330 INFO kablam! | Aug 30 07:43:27.330 INFO kablam! = note: expected type `!` Aug 30 07:43:27.330 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.330 INFO kablam! Aug 30 07:43:27.330 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.330 INFO kablam! --> src/primitives/numerics.rs:100:6 Aug 30 07:43:27.330 INFO kablam! | Aug 30 07:43:27.331 INFO kablam! 100 | impl Integer for i32 { } Aug 30 07:43:27.331 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.331 INFO kablam! | Aug 30 07:43:27.331 INFO kablam! = note: expected type `!` Aug 30 07:43:27.331 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.331 INFO kablam! Aug 30 07:43:27.331 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.331 INFO kablam! --> src/primitives/numerics.rs:100:6 Aug 30 07:43:27.331 INFO kablam! | Aug 30 07:43:27.331 INFO kablam! 100 | impl Integer for i32 { } Aug 30 07:43:27.332 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.332 INFO kablam! | Aug 30 07:43:27.332 INFO kablam! = note: expected type `!` Aug 30 07:43:27.332 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.332 INFO kablam! Aug 30 07:43:27.332 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.332 INFO kablam! --> src/primitives/numerics.rs:100:6 Aug 30 07:43:27.332 INFO kablam! | Aug 30 07:43:27.332 INFO kablam! 100 | impl Integer for i32 { } Aug 30 07:43:27.332 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.333 INFO kablam! | Aug 30 07:43:27.333 INFO kablam! = note: expected type `!` Aug 30 07:43:27.333 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.333 INFO kablam! Aug 30 07:43:27.333 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.333 INFO kablam! --> src/primitives/numerics.rs:100:6 Aug 30 07:43:27.333 INFO kablam! | Aug 30 07:43:27.333 INFO kablam! 100 | impl Integer for i32 { } Aug 30 07:43:27.333 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.333 INFO kablam! | Aug 30 07:43:27.334 INFO kablam! = note: expected type `!` Aug 30 07:43:27.334 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.334 INFO kablam! Aug 30 07:43:27.334 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.334 INFO kablam! --> src/primitives/numerics.rs:100:6 Aug 30 07:43:27.334 INFO kablam! | Aug 30 07:43:27.334 INFO kablam! 100 | impl Integer for i32 { } Aug 30 07:43:27.334 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.334 INFO kablam! | Aug 30 07:43:27.334 INFO kablam! = note: expected type `!` Aug 30 07:43:27.335 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.335 INFO kablam! Aug 30 07:43:27.335 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.335 INFO kablam! --> src/primitives/numerics.rs:100:6 Aug 30 07:43:27.335 INFO kablam! | Aug 30 07:43:27.335 INFO kablam! 100 | impl Integer for i32 { } Aug 30 07:43:27.335 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.335 INFO kablam! | Aug 30 07:43:27.335 INFO kablam! = note: expected type `!` Aug 30 07:43:27.336 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.336 INFO kablam! Aug 30 07:43:27.336 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.336 INFO kablam! --> src/primitives/numerics.rs:101:6 Aug 30 07:43:27.336 INFO kablam! | Aug 30 07:43:27.336 INFO kablam! 101 | impl Integer for u64 { } Aug 30 07:43:27.336 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.336 INFO kablam! | Aug 30 07:43:27.336 INFO kablam! = note: expected type `!` Aug 30 07:43:27.336 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.337 INFO kablam! Aug 30 07:43:27.337 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.337 INFO kablam! --> src/primitives/numerics.rs:101:6 Aug 30 07:43:27.337 INFO kablam! | Aug 30 07:43:27.337 INFO kablam! 101 | impl Integer for u64 { } Aug 30 07:43:27.337 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.337 INFO kablam! | Aug 30 07:43:27.337 INFO kablam! = note: expected type `!` Aug 30 07:43:27.337 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.337 INFO kablam! Aug 30 07:43:27.338 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.338 INFO kablam! --> src/primitives/numerics.rs:101:6 Aug 30 07:43:27.338 INFO kablam! | Aug 30 07:43:27.338 INFO kablam! 101 | impl Integer for u64 { } Aug 30 07:43:27.338 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.338 INFO kablam! | Aug 30 07:43:27.338 INFO kablam! = note: expected type `!` Aug 30 07:43:27.338 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.338 INFO kablam! Aug 30 07:43:27.339 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.339 INFO kablam! --> src/primitives/numerics.rs:101:6 Aug 30 07:43:27.339 INFO kablam! | Aug 30 07:43:27.339 INFO kablam! 101 | impl Integer for u64 { } Aug 30 07:43:27.339 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.339 INFO kablam! | Aug 30 07:43:27.339 INFO kablam! = note: expected type `!` Aug 30 07:43:27.339 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.339 INFO kablam! Aug 30 07:43:27.339 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.340 INFO kablam! --> src/primitives/numerics.rs:101:6 Aug 30 07:43:27.340 INFO kablam! | Aug 30 07:43:27.340 INFO kablam! 101 | impl Integer for u64 { } Aug 30 07:43:27.340 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.340 INFO kablam! | Aug 30 07:43:27.340 INFO kablam! = note: expected type `!` Aug 30 07:43:27.340 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.340 INFO kablam! Aug 30 07:43:27.340 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.341 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 30 07:43:27.341 INFO kablam! | Aug 30 07:43:27.341 INFO kablam! 102 | impl Integer for i64 { } Aug 30 07:43:27.341 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.341 INFO kablam! | Aug 30 07:43:27.341 INFO kablam! = note: expected type `!` Aug 30 07:43:27.341 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.341 INFO kablam! Aug 30 07:43:27.341 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.341 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 30 07:43:27.342 INFO kablam! | Aug 30 07:43:27.342 INFO kablam! 102 | impl Integer for i64 { } Aug 30 07:43:27.342 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.342 INFO kablam! | Aug 30 07:43:27.342 INFO kablam! = note: expected type `!` Aug 30 07:43:27.343 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.343 INFO kablam! Aug 30 07:43:27.343 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.343 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 30 07:43:27.343 INFO kablam! | Aug 30 07:43:27.343 INFO kablam! 102 | impl Integer for i64 { } Aug 30 07:43:27.343 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.343 INFO kablam! | Aug 30 07:43:27.343 INFO kablam! = note: expected type `!` Aug 30 07:43:27.344 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.344 INFO kablam! Aug 30 07:43:27.344 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.344 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 30 07:43:27.344 INFO kablam! | Aug 30 07:43:27.344 INFO kablam! 102 | impl Integer for i64 { } Aug 30 07:43:27.344 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.344 INFO kablam! | Aug 30 07:43:27.344 INFO kablam! = note: expected type `!` Aug 30 07:43:27.344 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.345 INFO kablam! Aug 30 07:43:27.345 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.345 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 30 07:43:27.345 INFO kablam! | Aug 30 07:43:27.345 INFO kablam! 102 | impl Integer for i64 { } Aug 30 07:43:27.345 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.345 INFO kablam! | Aug 30 07:43:27.345 INFO kablam! = note: expected type `!` Aug 30 07:43:27.345 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.346 INFO kablam! Aug 30 07:43:27.346 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.346 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 30 07:43:27.346 INFO kablam! | Aug 30 07:43:27.346 INFO kablam! 102 | impl Integer for i64 { } Aug 30 07:43:27.346 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.346 INFO kablam! | Aug 30 07:43:27.346 INFO kablam! = note: expected type `!` Aug 30 07:43:27.346 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.346 INFO kablam! Aug 30 07:43:27.347 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.347 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 30 07:43:27.347 INFO kablam! | Aug 30 07:43:27.347 INFO kablam! 102 | impl Integer for i64 { } Aug 30 07:43:27.347 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.347 INFO kablam! | Aug 30 07:43:27.347 INFO kablam! = note: expected type `!` Aug 30 07:43:27.347 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.347 INFO kablam! Aug 30 07:43:27.348 INFO kablam! error[E0271]: type mismatch resolving `>::Error == std::num::TryFromIntError` Aug 30 07:43:27.348 INFO kablam! --> src/primitives/numerics.rs:102:6 Aug 30 07:43:27.348 INFO kablam! | Aug 30 07:43:27.348 INFO kablam! 102 | impl Integer for i64 { } Aug 30 07:43:27.348 INFO kablam! | ^^^^^^^ expected !, found struct `std::num::TryFromIntError` Aug 30 07:43:27.348 INFO kablam! | Aug 30 07:43:27.348 INFO kablam! = note: expected type `!` Aug 30 07:43:27.348 INFO kablam! found type `std::num::TryFromIntError` Aug 30 07:43:27.348 INFO kablam! Aug 30 07:43:27.466 INFO kablam! error: aborting due to 57 previous errors Aug 30 07:43:27.466 INFO kablam! Aug 30 07:43:27.466 INFO kablam! For more information about this error, try `rustc --explain E0271`. Aug 30 07:43:27.474 INFO kablam! error: Could not compile `protocol`. Aug 30 07:43:27.474 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 30 07:43:29.766 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 07:43:29.766 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/describe.rs:31:19 Aug 30 07:43:29.766 INFO kablam! | Aug 30 07:43:29.766 INFO kablam! 31 | use syntax::{ast, codemap, parse, tokenstream}; Aug 30 07:43:29.766 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 07:43:29.766 INFO kablam! Aug 30 07:43:29.766 INFO kablam! error[E0432]: unresolved import `syntax::util::small_vector` Aug 30 07:43:29.766 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/describe.rs:34:19 Aug 30 07:43:29.766 INFO kablam! | Aug 30 07:43:29.766 INFO kablam! 34 | use syntax::util::small_vector::SmallVector; Aug 30 07:43:29.766 INFO kablam! | ^^^^^^^^^^^^ Could not find `small_vector` in `util` Aug 30 07:43:29.766 INFO kablam! Aug 30 07:43:29.766 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 07:43:29.766 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/parse.rs:7:19 Aug 30 07:43:29.766 INFO kablam! | Aug 30 07:43:29.766 INFO kablam! 7 | use syntax::{ast, codemap}; Aug 30 07:43:29.766 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 07:43:29.766 INFO kablam! Aug 30 07:43:29.766 INFO kablam! error[E0432]: unresolved import `syntax::abi` Aug 30 07:43:29.766 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/generate.rs:9:19 Aug 30 07:43:29.766 INFO kablam! | Aug 30 07:43:29.767 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 30 07:43:29.767 INFO kablam! | ^^^ no `abi` in the root Aug 30 07:43:29.767 INFO kablam! Aug 30 07:43:29.767 INFO kablam! error[E0432]: unresolved import `syntax::codemap` Aug 30 07:43:29.767 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/generate.rs:9:24 Aug 30 07:43:29.767 INFO kablam! | Aug 30 07:43:29.767 INFO kablam! 9 | use syntax::{ast, abi, codemap}; Aug 30 07:43:29.767 INFO kablam! | ^^^^^^^ no `codemap` in the root Aug 30 07:43:29.767 INFO kablam! Aug 30 07:43:29.975 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 30 07:43:29.975 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/generate.rs:118:19 Aug 30 07:43:29.975 INFO kablam! | Aug 30 07:43:29.975 INFO kablam! 118 | node: ast::ItemKind::Fn( Aug 30 07:43:29.975 INFO kablam! | ___________________^ Aug 30 07:43:29.975 INFO kablam! 119 | | // Takes no arguments and returns () Aug 30 07:43:29.975 INFO kablam! 120 | | P(ast::FnDecl { Aug 30 07:43:29.975 INFO kablam! 121 | | inputs: vec![], Aug 30 07:43:29.975 INFO kablam! ... | Aug 30 07:43:29.975 INFO kablam! 132 | | test_body Aug 30 07:43:29.975 INFO kablam! 133 | | ), Aug 30 07:43:29.975 INFO kablam! | |_____________^ expected 4 parameters Aug 30 07:43:29.976 INFO kablam! Aug 30 07:43:30.041 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Aug 30 07:43:30.041 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/generate.rs:135:18 Aug 30 07:43:30.041 INFO kablam! | Aug 30 07:43:30.041 INFO kablam! 135 | vis: ast::Visibility::Inherited, Aug 30 07:43:30.041 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 30 07:43:30.041 INFO kablam! Aug 30 07:43:30.043 INFO kablam! error[E0061]: this function takes 4 parameters but 6 parameters were supplied Aug 30 07:43:30.043 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/generate.rs:157:19 Aug 30 07:43:30.043 INFO kablam! | Aug 30 07:43:30.043 INFO kablam! 157 | node: ast::ItemKind::Fn( Aug 30 07:43:30.043 INFO kablam! | ___________________^ Aug 30 07:43:30.043 INFO kablam! 158 | | // Takes one argument of &mut Bencher Aug 30 07:43:30.043 INFO kablam! 159 | | P(ast::FnDecl { Aug 30 07:43:30.043 INFO kablam! 160 | | inputs: vec![ast::Arg { Aug 30 07:43:30.043 INFO kablam! ... | Aug 30 07:43:30.043 INFO kablam! 176 | | block Aug 30 07:43:30.043 INFO kablam! 177 | | ), Aug 30 07:43:30.043 INFO kablam! | |_____________^ expected 4 parameters Aug 30 07:43:30.043 INFO kablam! Aug 30 07:43:30.054 INFO kablam! error[E0599]: no associated item named `Inherited` found for type `syntax::source_map::Spanned` in the current scope Aug 30 07:43:30.054 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/generate.rs:179:18 Aug 30 07:43:30.054 INFO kablam! | Aug 30 07:43:30.054 INFO kablam! 179 | vis: ast::Visibility::Inherited, Aug 30 07:43:30.054 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 30 07:43:30.054 INFO kablam! Aug 30 07:43:30.070 INFO kablam! error[E0599]: no associated item named `Public` found for type `syntax::source_map::Spanned` in the current scope Aug 30 07:43:30.070 INFO kablam! --> /cargo-home/registry/src/github.com-1ecc6299db9ec823/stainless-0.1.12/src/generate.rs:228:47 Aug 30 07:43:30.070 INFO kablam! | Aug 30 07:43:30.070 INFO kablam! 228 | let super_glob = cx.item_use_glob(sp, ast::Visibility::Public, vec![cx.ident_of("super")]); Aug 30 07:43:30.070 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^^ associated item not found in `syntax::source_map::Spanned` Aug 30 07:43:30.070 INFO kablam! Aug 30 07:43:30.091 INFO kablam! error: aborting due to 10 previous errors Aug 30 07:43:30.091 INFO kablam! Aug 30 07:43:30.091 INFO kablam! Some errors occurred: E0061, E0432, E0599. Aug 30 07:43:30.091 INFO kablam! For more information about an error, try `rustc --explain E0061`. Aug 30 07:43:30.113 INFO kablam! error: Could not compile `stainless`. Aug 30 07:43:30.113 INFO kablam! Aug 30 07:43:30.113 INFO kablam! To learn more, run the command again with --verbose. Aug 30 07:43:30.115 INFO kablam! su: No module specific data is present Aug 30 07:43:30.591 INFO running `"docker" "rm" "-f" "4cfb38257e3c7aebd7d7dc38f6db347fa0f2fa0c00fda74c1a3187fc19d99af5"` Aug 30 07:43:30.684 INFO blam! 4cfb38257e3c7aebd7d7dc38f6db347fa0f2fa0c00fda74c1a3187fc19d99af5