Jul 12 08:24:14.895 INFO checking gluon_check-0.8.0 against master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9 for pr-52234 Jul 12 08:24:14.895 INFO running: cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets Jul 12 08:24:14.895 INFO creating container for: cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets Jul 12 08:24:14.896 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-5/pr-52234/master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-52234/worker-5/master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9:/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 +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"` Jul 12 08:24:15.138 INFO blam! fee1be3dbe00d729955074a7a63c46d6e0e06c98d16f967c19da4fda66e07480 Jul 12 08:24:15.141 INFO running `"docker" "start" "-a" "fee1be3dbe00d729955074a7a63c46d6e0e06c98d16f967c19da4fda66e07480"` Jul 12 08:24:16.522 INFO kablam! Checking union-find v0.3.2 Jul 12 08:24:16.525 INFO kablam! Checking rpds v0.5.0 Jul 12 08:24:16.533 INFO kablam! Compiling gluon_vm v0.8.1 Jul 12 08:24:16.537 INFO kablam! Compiling gluon v0.8.1 Jul 12 08:24:16.574 INFO kablam! Compiling gluon_parser v0.8.1 Jul 12 08:24:26.543 INFO kablam! Checking gluon_check v0.8.1 Jul 12 08:24:26.544 INFO kablam! Checking gluon_check v0.8.0 (file:///source) Jul 12 08:24:31.179 INFO kablam! error[E0277]: the trait bound `for<'a> base::types::ArcType: base::types::ToDoc<'a, typed_arena::Arena>>, ()>` is not satisfied Jul 12 08:24:31.179 INFO kablam! --> src/lib.rs:52:44 Jul 12 08:24:31.179 INFO kablam! | Jul 12 08:24:31.179 INFO kablam! 52 | warn!("Check signature error: {}", err); Jul 12 08:24:31.179 INFO kablam! | ^^^ the trait `for<'a> base::types::ToDoc<'a, typed_arena::Arena>>, ()>` is not implemented for `base::types::ArcType` Jul 12 08:24:31.179 INFO kablam! | Jul 12 08:24:31.179 INFO kablam! = help: the following implementations were found: Jul 12 08:24:31.179 INFO kablam! as base::types::ToDoc<'a, typed_arena::Arena>>, ()>> Jul 12 08:24:31.179 INFO kablam! as base::types::ToDoc<'a, typed_arena::Arena>>, &'a (dyn base::source::Source + 'a)>> Jul 12 08:24:31.179 INFO kablam! = note: required because of the requirements on the impl of `std::fmt::Display` for `unify::Error>` Jul 12 08:24:31.179 INFO kablam! = note: required because of the requirements on the impl of `std::fmt::Display` for `base::error::Errors>>` Jul 12 08:24:31.179 INFO kablam! = note: required because of the requirements on the impl of `std::fmt::Display` for `&base::error::Errors>>` Jul 12 08:24:31.179 INFO kablam! = note: required by `std::fmt::Display::fmt` Jul 12 08:24:31.180 INFO kablam! Jul 12 08:24:33.482 INFO kablam! error[E0308]: mismatched types Jul 12 08:24:33.482 INFO kablam! --> src/typecheck.rs:99:33 Jul 12 08:24:33.483 INFO kablam! | Jul 12 08:24:33.483 INFO kablam! 99 | .pretty(&arena) Jul 12 08:24:33.483 INFO kablam! | ^^^^^^ expected enum `pretty::Doc`, found a different enum `pretty::Doc` Jul 12 08:24:33.486 INFO kablam! | Jul 12 08:24:33.486 INFO kablam! = note: expected type `&typed_arena::Arena>>` Jul 12 08:24:33.487 INFO kablam! found type `&typed_arena::Arena>>` Jul 12 08:24:33.487 INFO kablam! note: Perhaps two different versions of crate `pretty` are being used? Jul 12 08:24:33.487 INFO kablam! --> src/typecheck.rs:99:33 Jul 12 08:24:33.487 INFO kablam! | Jul 12 08:24:33.487 INFO kablam! 99 | .pretty(&arena) Jul 12 08:24:33.487 INFO kablam! | ^^^^^^ Jul 12 08:24:33.487 INFO kablam! Jul 12 08:24:34.192 INFO kablam! error[E0308]: mismatched types Jul 12 08:24:34.192 INFO kablam! --> src/typecheck.rs:136:77 Jul 12 08:24:34.192 INFO kablam! | Jul 12 08:24:34.192 INFO kablam! 136 | TypeFormatter::new(expected).filter(&filter).pretty(&arena) Jul 12 08:24:34.192 INFO kablam! | ^^^^^^ expected enum `pretty::Doc`, found a different enum `pretty::Doc` Jul 12 08:24:34.192 INFO kablam! | Jul 12 08:24:34.192 INFO kablam! = note: expected type `&typed_arena::Arena>>` Jul 12 08:24:34.192 INFO kablam! found type `&typed_arena::Arena>>` Jul 12 08:24:34.192 INFO kablam! note: Perhaps two different versions of crate `pretty` are being used? Jul 12 08:24:34.192 INFO kablam! --> src/typecheck.rs:136:77 Jul 12 08:24:34.192 INFO kablam! | Jul 12 08:24:34.192 INFO kablam! 136 | TypeFormatter::new(expected).filter(&filter).pretty(&arena) Jul 12 08:24:34.192 INFO kablam! | ^^^^^^ Jul 12 08:24:34.192 INFO kablam! Jul 12 08:24:34.194 INFO kablam! error[E0277]: the trait bound `std::borrow::Cow<'_, str>: std::convert::From>>>>` is not satisfied Jul 12 08:24:34.194 INFO kablam! --> src/typecheck.rs:134:21 Jul 12 08:24:34.194 INFO kablam! | Jul 12 08:24:34.194 INFO kablam! 134 | / chain![&arena; Jul 12 08:24:34.194 INFO kablam! 135 | | arena.space(), Jul 12 08:24:34.194 INFO kablam! 136 | | TypeFormatter::new(expected).filter(&filter).pretty(&arena) Jul 12 08:24:34.194 INFO kablam! 137 | | ].nest(4).group(), Jul 12 08:24:34.194 INFO kablam! | |_____________________^ the trait `std::convert::From>>>>` is not implemented for `std::borrow::Cow<'_, str>` Jul 12 08:24:34.194 INFO kablam! | Jul 12 08:24:34.194 INFO kablam! = help: the following implementations were found: Jul 12 08:24:34.195 INFO kablam! as std::convert::From> Jul 12 08:24:34.195 INFO kablam! as std::convert::From> Jul 12 08:24:34.195 INFO kablam! as std::convert::From<&'a std::ffi::CStr>> Jul 12 08:24:34.195 INFO kablam! as std::convert::From> Jul 12 08:24:34.195 INFO kablam! and 11 others Jul 12 08:24:34.195 INFO kablam! = note: required because of the requirements on the impl of `std::convert::Into>` for `pretty::DocBuilder<'_, typed_arena::Arena>>>` Jul 12 08:24:34.195 INFO kablam! = note: required because of the requirements on the impl of `std::convert::From>>>>` for `pretty::Doc<'_, pretty::RefDoc<'_>>` Jul 12 08:24:34.195 INFO kablam! = note: required because of the requirements on the impl of `std::convert::Into>>` for `pretty::DocBuilder<'_, typed_arena::Arena>>>` Jul 12 08:24:34.195 INFO kablam! = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) Jul 12 08:24:34.195 INFO kablam! Jul 12 08:24:34.590 INFO kablam! error[E0308]: mismatched types Jul 12 08:24:34.590 INFO kablam! --> src/typecheck.rs:142:75 Jul 12 08:24:34.590 INFO kablam! | Jul 12 08:24:34.590 INFO kablam! 142 | TypeFormatter::new(actual).filter(&filter).pretty(&arena) Jul 12 08:24:34.590 INFO kablam! | ^^^^^^ expected enum `pretty::Doc`, found a different enum `pretty::Doc` Jul 12 08:24:34.590 INFO kablam! | Jul 12 08:24:34.590 INFO kablam! = note: expected type `&typed_arena::Arena>>` Jul 12 08:24:34.590 INFO kablam! found type `&typed_arena::Arena>>` Jul 12 08:24:34.591 INFO kablam! note: Perhaps two different versions of crate `pretty` are being used? Jul 12 08:24:34.591 INFO kablam! --> src/typecheck.rs:142:75 Jul 12 08:24:34.591 INFO kablam! | Jul 12 08:24:34.591 INFO kablam! 142 | TypeFormatter::new(actual).filter(&filter).pretty(&arena) Jul 12 08:24:34.591 INFO kablam! | ^^^^^^ Jul 12 08:24:34.591 INFO kablam! Jul 12 08:24:34.592 INFO kablam! error[E0277]: the trait bound `std::borrow::Cow<'_, str>: std::convert::From>>>>` is not satisfied Jul 12 08:24:34.592 INFO kablam! --> src/typecheck.rs:140:21 Jul 12 08:24:34.592 INFO kablam! | Jul 12 08:24:34.592 INFO kablam! 140 | / chain![&arena; Jul 12 08:24:34.592 INFO kablam! 141 | | arena.space(), Jul 12 08:24:34.592 INFO kablam! 142 | | TypeFormatter::new(actual).filter(&filter).pretty(&arena) Jul 12 08:24:34.592 INFO kablam! 143 | | ].nest(4).group() Jul 12 08:24:34.593 INFO kablam! | |_____________________^ the trait `std::convert::From>>>>` is not implemented for `std::borrow::Cow<'_, str>` Jul 12 08:24:34.593 INFO kablam! | Jul 12 08:24:34.593 INFO kablam! = help: the following implementations were found: Jul 12 08:24:34.593 INFO kablam! as std::convert::From> Jul 12 08:24:34.593 INFO kablam! as std::convert::From> Jul 12 08:24:34.593 INFO kablam! as std::convert::From<&'a std::ffi::CStr>> Jul 12 08:24:34.593 INFO kablam! as std::convert::From> Jul 12 08:24:34.593 INFO kablam! and 11 others Jul 12 08:24:34.593 INFO kablam! = note: required because of the requirements on the impl of `std::convert::Into>` for `pretty::DocBuilder<'_, typed_arena::Arena>>>` Jul 12 08:24:34.593 INFO kablam! = note: required because of the requirements on the impl of `std::convert::From>>>>` for `pretty::Doc<'_, pretty::RefDoc<'_>>` Jul 12 08:24:34.593 INFO kablam! = note: required because of the requirements on the impl of `std::convert::Into>>` for `pretty::DocBuilder<'_, typed_arena::Arena>>>` Jul 12 08:24:34.594 INFO kablam! = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) Jul 12 08:24:34.594 INFO kablam! Jul 12 08:24:34.621 INFO kablam! error[E0277]: the trait bound `for<'a> base::types::ArcType: base::types::ToDoc<'a, typed_arena::Arena>>, ()>` is not satisfied Jul 12 08:24:34.621 INFO kablam! --> src/typecheck.rs:163:48 Jul 12 08:24:34.621 INFO kablam! | Jul 12 08:24:34.621 INFO kablam! 163 | _ => writeln!(f, "{}", error)?, Jul 12 08:24:34.621 INFO kablam! | ^^^^^ the trait `for<'a> base::types::ToDoc<'a, typed_arena::Arena>>, ()>` is not implemented for `base::types::ArcType` Jul 12 08:24:34.621 INFO kablam! | Jul 12 08:24:34.622 INFO kablam! = help: the following implementations were found: Jul 12 08:24:34.622 INFO kablam! as base::types::ToDoc<'a, typed_arena::Arena>>, ()>> Jul 12 08:24:34.622 INFO kablam! as base::types::ToDoc<'a, typed_arena::Arena>>, &'a (dyn base::source::Source + 'a)>> Jul 12 08:24:34.622 INFO kablam! = note: required because of the requirements on the impl of `std::fmt::Display` for `unify::Error, unify_type::TypeError>` Jul 12 08:24:34.622 INFO kablam! = note: required because of the requirements on the impl of `std::fmt::Display` for `&unify::Error, unify_type::TypeError>` Jul 12 08:24:34.622 INFO kablam! = note: required by `std::fmt::Display::fmt` Jul 12 08:24:34.623 INFO kablam! Jul 12 08:24:34.626 INFO kablam! error[E0277]: the trait bound `for<'a> base::types::ArcType: base::types::ToDoc<'a, typed_arena::Arena>>, ()>` is not satisfied Jul 12 08:24:34.626 INFO kablam! --> src/typecheck.rs:166:33 Jul 12 08:24:34.626 INFO kablam! | Jul 12 08:24:34.626 INFO kablam! 166 | write!(f, "{}", errors.last().unwrap()) Jul 12 08:24:34.626 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> base::types::ToDoc<'a, typed_arena::Arena>>, ()>` is not implemented for `base::types::ArcType` Jul 12 08:24:34.626 INFO kablam! | Jul 12 08:24:34.627 INFO kablam! = help: the following implementations were found: Jul 12 08:24:34.627 INFO kablam! as base::types::ToDoc<'a, typed_arena::Arena>>, ()>> Jul 12 08:24:34.627 INFO kablam! as base::types::ToDoc<'a, typed_arena::Arena>>, &'a (dyn base::source::Source + 'a)>> Jul 12 08:24:34.627 INFO kablam! = note: required because of the requirements on the impl of `std::fmt::Display` for `unify::Error, unify_type::TypeError>` Jul 12 08:24:34.627 INFO kablam! = note: required because of the requirements on the impl of `std::fmt::Display` for `&unify::Error, unify_type::TypeError>` Jul 12 08:24:34.627 INFO kablam! = note: required by `std::fmt::Display::fmt` Jul 12 08:24:34.628 INFO kablam! Jul 12 08:24:36.243 INFO kablam! error[E0277]: the trait bound `typed_arena::Arena>>: pretty::DocAllocator<'_>` is not satisfied Jul 12 08:24:36.243 INFO kablam! --> src/unify.rs:33:23 Jul 12 08:24:36.243 INFO kablam! | Jul 12 08:24:36.243 INFO kablam! 33 | l.to_doc(&arena, ()).group(), Jul 12 08:24:36.243 INFO kablam! | ^^^^^^ the trait `pretty::DocAllocator<'_>` is not implemented for `typed_arena::Arena>>` Jul 12 08:24:36.243 INFO kablam! | Jul 12 08:24:36.243 INFO kablam! = help: the following implementations were found: Jul 12 08:24:36.243 INFO kablam! , A>> as pretty::DocAllocator<'a, A>> Jul 12 08:24:36.243 INFO kablam! Jul 12 08:24:36.247 INFO kablam! error[E0599]: no method named `group` found for type `pretty::DocBuilder<'_, typed_arena::Arena>>>` in the current scope Jul 12 08:24:36.247 INFO kablam! --> src/unify.rs:33:42 Jul 12 08:24:36.247 INFO kablam! | Jul 12 08:24:36.247 INFO kablam! 33 | l.to_doc(&arena, ()).group(), Jul 12 08:24:36.247 INFO kablam! | ^^^^^ Jul 12 08:24:36.248 INFO kablam! | Jul 12 08:24:36.248 INFO kablam! = note: the method `group` exists but the following trait bounds were not satisfied: Jul 12 08:24:36.248 INFO kablam! `typed_arena::Arena>> : pretty::DocAllocator` Jul 12 08:24:36.248 INFO kablam! Jul 12 08:24:36.251 INFO kablam! error[E0277]: the trait bound `typed_arena::Arena>>: pretty::DocAllocator<'_>` is not satisfied Jul 12 08:24:36.251 INFO kablam! --> src/unify.rs:37:23 Jul 12 08:24:36.251 INFO kablam! | Jul 12 08:24:36.251 INFO kablam! 37 | r.to_doc(&arena, ()).group() Jul 12 08:24:36.251 INFO kablam! | ^^^^^^ the trait `pretty::DocAllocator<'_>` is not implemented for `typed_arena::Arena>>` Jul 12 08:24:36.252 INFO kablam! | Jul 12 08:24:36.252 INFO kablam! = help: the following implementations were found: Jul 12 08:24:36.252 INFO kablam! , A>> as pretty::DocAllocator<'a, A>> Jul 12 08:24:36.252 INFO kablam! Jul 12 08:24:36.256 INFO kablam! error[E0599]: no method named `group` found for type `pretty::DocBuilder<'_, typed_arena::Arena>>>` in the current scope Jul 12 08:24:36.256 INFO kablam! --> src/unify.rs:37:42 Jul 12 08:24:36.256 INFO kablam! | Jul 12 08:24:36.256 INFO kablam! 37 | r.to_doc(&arena, ()).group() Jul 12 08:24:36.256 INFO kablam! | ^^^^^ Jul 12 08:24:36.256 INFO kablam! | Jul 12 08:24:36.257 INFO kablam! = note: the method `group` exists but the following trait bounds were not satisfied: Jul 12 08:24:36.257 INFO kablam! `typed_arena::Arena>> : pretty::DocAllocator` Jul 12 08:24:36.257 INFO kablam! Jul 12 08:24:37.800 INFO kablam! error[E0277]: the trait bound `for<'a> base::types::ArcType: base::types::ToDoc<'a, typed_arena::Arena>>, ()>` is not satisfied Jul 12 08:24:37.800 INFO kablam! --> src/unify_type.rs:1059:28 Jul 12 08:24:37.800 INFO kablam! | Jul 12 08:24:37.800 INFO kablam! 1059 | debug!("Error {}", error); Jul 12 08:24:37.801 INFO kablam! | ^^^^^ the trait `for<'a> base::types::ToDoc<'a, typed_arena::Arena>>, ()>` is not implemented for `base::types::ArcType` Jul 12 08:24:37.801 INFO kablam! | Jul 12 08:24:37.801 INFO kablam! = help: the following implementations were found: Jul 12 08:24:37.801 INFO kablam! as base::types::ToDoc<'a, typed_arena::Arena>>, ()>> Jul 12 08:24:37.801 INFO kablam! as base::types::ToDoc<'a, typed_arena::Arena>>, &'a (dyn base::source::Source + 'a)>> Jul 12 08:24:37.801 INFO kablam! = note: required because of the requirements on the impl of `std::fmt::Display` for `unify::Error>` Jul 12 08:24:37.801 INFO kablam! = note: required by `std::fmt::Display::fmt` Jul 12 08:24:37.801 INFO kablam! Jul 12 08:24:38.375 INFO kablam! error: aborting due to 13 previous errors Jul 12 08:24:38.375 INFO kablam! Jul 12 08:24:38.375 INFO kablam! Some errors occurred: E0277, E0308, E0599. Jul 12 08:24:38.375 INFO kablam! For more information about an error, try `rustc --explain E0277`. Jul 12 08:24:38.391 INFO kablam! error: Could not compile `gluon_check`. Jul 12 08:24:38.391 INFO kablam! warning: build failed, waiting for other jobs to finish... Jul 12 08:24:51.095 INFO kablam! error: build failed Jul 12 08:24:51.098 INFO kablam! su: No module specific data is present Jul 12 08:24:51.603 INFO running `"docker" "rm" "-f" "fee1be3dbe00d729955074a7a63c46d6e0e06c98d16f967c19da4fda66e07480"` Jul 12 08:24:51.770 INFO blam! fee1be3dbe00d729955074a7a63c46d6e0e06c98d16f967c19da4fda66e07480