Jul 12 08:23:54.388 INFO checking gluon_check-0.8.0 against try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255 for pr-52234
Jul 12 08:23:54.388 INFO running: cargo +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-alt check --frozen --all --all-targets
Jul 12 08:23:54.388 INFO creating container for: cargo +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-alt check --frozen --all --all-targets
Jul 12 08:23:54.388 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-52234/try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-52234/worker-1/try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255:/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 +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"`
Jul 12 08:23:54.646 INFO blam! c0a573831e901b9da749e2cb8844e62b81a76a0c9877fb207eb34be055bec046
Jul 12 08:23:54.649 INFO running `"docker" "start" "-a" "c0a573831e901b9da749e2cb8844e62b81a76a0c9877fb207eb34be055bec046"`
Jul 12 08:23:56.100 INFO kablam!     Checking rpds v0.5.0
Jul 12 08:23:56.117 INFO kablam!    Compiling gluon_vm v0.8.1
Jul 12 08:23:56.120 INFO kablam!     Checking union-find v0.3.2
Jul 12 08:23:56.124 INFO kablam!    Compiling gluon v0.8.1
Jul 12 08:23:56.177 INFO kablam!    Compiling gluon_parser v0.8.1
Jul 12 08:24:07.028 INFO kablam!     Checking gluon_check v0.8.1
Jul 12 08:24:07.029 INFO kablam!     Checking gluon_check v0.8.0 (file:///source)
Jul 12 08:24:11.986 INFO kablam! error[E0277]: the trait bound `for<'a> base::types::ArcType: base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a>>>, ()>` is not satisfied
Jul 12 08:24:11.986 INFO kablam!   --> src/lib.rs:52:44
Jul 12 08:24:11.986 INFO kablam!    |
Jul 12 08:24:11.986 INFO kablam! 52 |         warn!("Check signature error: {}", err);
Jul 12 08:24:11.986 INFO kablam!    |                                            ^^^ the trait `for<'a> base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a>>>, ()>` is not implemented for `base::types::ArcType`
Jul 12 08:24:11.986 INFO kablam!    |
Jul 12 08:24:11.986 INFO kablam!    = help: the following implementations were found:
Jul 12 08:24:11.986 INFO kablam!              <base::types::ArcType<I> as base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a, ()>>>, ()>>
Jul 12 08:24:11.986 INFO kablam!              <base::types::ArcType<I> as base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a, ()>>>, &'a (dyn base::source::Source + 'a)>>
Jul 12 08:24:11.986 INFO kablam!    = note: required because of the requirements on the impl of `std::fmt::Display` for `unify::Error<base::types::ArcType, unify_type::TypeError<base::symbol::Symbol>>`
Jul 12 08:24:11.986 INFO kablam!    = note: required because of the requirements on the impl of `std::fmt::Display` for `base::error::Errors<unify::Error<base::types::ArcType, unify_type::TypeError<base::symbol::Symbol>>>`
Jul 12 08:24:11.986 INFO kablam!    = note: required because of the requirements on the impl of `std::fmt::Display` for `&base::error::Errors<unify::Error<base::types::ArcType, unify_type::TypeError<base::symbol::Symbol>>>`
Jul 12 08:24:11.986 INFO kablam!    = note: required by `std::fmt::Display::fmt`
Jul 12 08:24:11.986 INFO kablam! 
Jul 12 08:24:15.224 INFO kablam! error[E0308]: mismatched types
Jul 12 08:24:15.224 INFO kablam!   --> src/typecheck.rs:99:33
Jul 12 08:24:15.225 INFO kablam!    |
Jul 12 08:24:15.225 INFO kablam! 99 |                         .pretty(&arena)
Jul 12 08:24:15.225 INFO kablam!    |                                 ^^^^^^ expected enum `pretty::Doc`, found a different enum `pretty::Doc`
Jul 12 08:24:15.236 INFO kablam!    |
Jul 12 08:24:15.237 INFO kablam!    = note: expected type `&typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_, ()>>>`
Jul 12 08:24:15.237 INFO kablam!               found type `&typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_>>>`
Jul 12 08:24:15.237 INFO kablam! note: Perhaps two different versions of crate `pretty` are being used?
Jul 12 08:24:15.237 INFO kablam!   --> src/typecheck.rs:99:33
Jul 12 08:24:15.237 INFO kablam!    |
Jul 12 08:24:15.237 INFO kablam! 99 |                         .pretty(&arena)
Jul 12 08:24:15.237 INFO kablam!    |                                 ^^^^^^
Jul 12 08:24:15.237 INFO kablam! 
Jul 12 08:24:16.291 INFO kablam! error[E0308]: mismatched types
Jul 12 08:24:16.291 INFO kablam!    --> src/typecheck.rs:136:77
Jul 12 08:24:16.291 INFO kablam!     |
Jul 12 08:24:16.291 INFO kablam! 136 |                         TypeFormatter::new(expected).filter(&filter).pretty(&arena)
Jul 12 08:24:16.291 INFO kablam!     |                                                                             ^^^^^^ expected enum `pretty::Doc`, found a different enum `pretty::Doc`
Jul 12 08:24:16.291 INFO kablam!     |
Jul 12 08:24:16.291 INFO kablam!     = note: expected type `&typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_, ()>>>`
Jul 12 08:24:16.291 INFO kablam!                found type `&typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_>>>`
Jul 12 08:24:16.291 INFO kablam! note: Perhaps two different versions of crate `pretty` are being used?
Jul 12 08:24:16.291 INFO kablam!    --> src/typecheck.rs:136:77
Jul 12 08:24:16.291 INFO kablam!     |
Jul 12 08:24:16.291 INFO kablam! 136 |                         TypeFormatter::new(expected).filter(&filter).pretty(&arena)
Jul 12 08:24:16.291 INFO kablam!     |                                                                             ^^^^^^
Jul 12 08:24:16.291 INFO kablam! 
Jul 12 08:24:16.293 INFO kablam! error[E0277]: the trait bound `std::borrow::Cow<'_, str>: std::convert::From<pretty::DocBuilder<'_, typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_, ()>>>>>` is not satisfied
Jul 12 08:24:16.293 INFO kablam!    --> src/typecheck.rs:134:21
Jul 12 08:24:16.293 INFO kablam!     |
Jul 12 08:24:16.293 INFO kablam! 134 | /                     chain![&arena;
Jul 12 08:24:16.293 INFO kablam! 135 | |                         arena.space(),
Jul 12 08:24:16.293 INFO kablam! 136 | |                         TypeFormatter::new(expected).filter(&filter).pretty(&arena)
Jul 12 08:24:16.293 INFO kablam! 137 | |                     ].nest(4).group(),
Jul 12 08:24:16.293 INFO kablam!     | |_____________________^ the trait `std::convert::From<pretty::DocBuilder<'_, typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_, ()>>>>>` is not implemented for `std::borrow::Cow<'_, str>`
Jul 12 08:24:16.298 INFO kablam!     |
Jul 12 08:24:16.299 INFO kablam!     = help: the following implementations were found:
Jul 12 08:24:16.299 INFO kablam!               <std::borrow::Cow<'a, std::path::Path> as std::convert::From<&'a std::path::PathBuf>>
Jul 12 08:24:16.299 INFO kablam!               <std::borrow::Cow<'a, std::ffi::OsStr> as std::convert::From<std::ffi::OsString>>
Jul 12 08:24:16.299 INFO kablam!               <std::borrow::Cow<'a, std::ffi::OsStr> as std::convert::From<&'a std::ffi::OsStr>>
Jul 12 08:24:16.299 INFO kablam!               <std::borrow::Cow<'a, std::ffi::CStr> as std::convert::From<&'a std::ffi::CStr>>
Jul 12 08:24:16.299 INFO kablam!             and 11 others
Jul 12 08:24:16.299 INFO kablam!     = note: required because of the requirements on the impl of `std::convert::Into<std::borrow::Cow<'_, str>>` for `pretty::DocBuilder<'_, typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_, ()>>>>`
Jul 12 08:24:16.299 INFO kablam!     = note: required because of the requirements on the impl of `std::convert::From<pretty::DocBuilder<'_, typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_, ()>>>>>` for `pretty::Doc<'_, pretty::RefDoc<'_>>`
Jul 12 08:24:16.299 INFO kablam!     = note: required because of the requirements on the impl of `std::convert::Into<pretty::Doc<'_, pretty::RefDoc<'_>>>` for `pretty::DocBuilder<'_, typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_, ()>>>>`
Jul 12 08:24:16.299 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:16.299 INFO kablam! 
Jul 12 08:24:17.121 INFO kablam! error[E0308]: mismatched types
Jul 12 08:24:17.121 INFO kablam!    --> src/typecheck.rs:142:75
Jul 12 08:24:17.121 INFO kablam!     |
Jul 12 08:24:17.121 INFO kablam! 142 |                         TypeFormatter::new(actual).filter(&filter).pretty(&arena)
Jul 12 08:24:17.121 INFO kablam!     |                                                                           ^^^^^^ expected enum `pretty::Doc`, found a different enum `pretty::Doc`
Jul 12 08:24:17.122 INFO kablam!     |
Jul 12 08:24:17.122 INFO kablam!     = note: expected type `&typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_, ()>>>`
Jul 12 08:24:17.122 INFO kablam!                found type `&typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_>>>`
Jul 12 08:24:17.122 INFO kablam! note: Perhaps two different versions of crate `pretty` are being used?
Jul 12 08:24:17.122 INFO kablam!    --> src/typecheck.rs:142:75
Jul 12 08:24:17.122 INFO kablam!     |
Jul 12 08:24:17.122 INFO kablam! 142 |                         TypeFormatter::new(actual).filter(&filter).pretty(&arena)
Jul 12 08:24:17.122 INFO kablam!     |                                                                           ^^^^^^
Jul 12 08:24:17.122 INFO kablam! 
Jul 12 08:24:17.123 INFO kablam! error[E0277]: the trait bound `std::borrow::Cow<'_, str>: std::convert::From<pretty::DocBuilder<'_, typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_, ()>>>>>` is not satisfied
Jul 12 08:24:17.123 INFO kablam!    --> src/typecheck.rs:140:21
Jul 12 08:24:17.123 INFO kablam!     |
Jul 12 08:24:17.123 INFO kablam! 140 | /                     chain![&arena;
Jul 12 08:24:17.123 INFO kablam! 141 | |                         arena.space(),
Jul 12 08:24:17.123 INFO kablam! 142 | |                         TypeFormatter::new(actual).filter(&filter).pretty(&arena)
Jul 12 08:24:17.123 INFO kablam! 143 | |                     ].nest(4).group()
Jul 12 08:24:17.123 INFO kablam!     | |_____________________^ the trait `std::convert::From<pretty::DocBuilder<'_, typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_, ()>>>>>` is not implemented for `std::borrow::Cow<'_, str>`
Jul 12 08:24:17.123 INFO kablam!     |
Jul 12 08:24:17.123 INFO kablam!     = help: the following implementations were found:
Jul 12 08:24:17.123 INFO kablam!               <std::borrow::Cow<'a, std::path::Path> as std::convert::From<&'a std::path::PathBuf>>
Jul 12 08:24:17.123 INFO kablam!               <std::borrow::Cow<'a, std::ffi::OsStr> as std::convert::From<std::ffi::OsString>>
Jul 12 08:24:17.123 INFO kablam!               <std::borrow::Cow<'a, std::ffi::OsStr> as std::convert::From<&'a std::ffi::OsStr>>
Jul 12 08:24:17.123 INFO kablam!               <std::borrow::Cow<'a, std::ffi::CStr> as std::convert::From<&'a std::ffi::CStr>>
Jul 12 08:24:17.123 INFO kablam!             and 11 others
Jul 12 08:24:17.123 INFO kablam!     = note: required because of the requirements on the impl of `std::convert::Into<std::borrow::Cow<'_, str>>` for `pretty::DocBuilder<'_, typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_, ()>>>>`
Jul 12 08:24:17.123 INFO kablam!     = note: required because of the requirements on the impl of `std::convert::From<pretty::DocBuilder<'_, typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_, ()>>>>>` for `pretty::Doc<'_, pretty::RefDoc<'_>>`
Jul 12 08:24:17.123 INFO kablam!     = note: required because of the requirements on the impl of `std::convert::Into<pretty::Doc<'_, pretty::RefDoc<'_>>>` for `pretty::DocBuilder<'_, typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_, ()>>>>`
Jul 12 08:24:17.123 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:17.124 INFO kablam! 
Jul 12 08:24:17.203 INFO kablam! error[E0277]: the trait bound `for<'a> base::types::ArcType<I>: base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a>>>, ()>` is not satisfied
Jul 12 08:24:17.203 INFO kablam!    --> src/typecheck.rs:163:48
Jul 12 08:24:17.203 INFO kablam!     |
Jul 12 08:24:17.203 INFO kablam! 163 |                         _ => writeln!(f, "{}", error)?,
Jul 12 08:24:17.204 INFO kablam!     |                                                ^^^^^ the trait `for<'a> base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a>>>, ()>` is not implemented for `base::types::ArcType<I>`
Jul 12 08:24:17.204 INFO kablam!     |
Jul 12 08:24:17.204 INFO kablam!     = help: the following implementations were found:
Jul 12 08:24:17.204 INFO kablam!               <base::types::ArcType<I> as base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a, ()>>>, ()>>
Jul 12 08:24:17.204 INFO kablam!               <base::types::ArcType<I> as base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a, ()>>>, &'a (dyn base::source::Source + 'a)>>
Jul 12 08:24:17.204 INFO kablam!     = note: required because of the requirements on the impl of `std::fmt::Display` for `unify::Error<base::types::ArcType<I>, unify_type::TypeError<I>>`
Jul 12 08:24:17.204 INFO kablam!     = note: required because of the requirements on the impl of `std::fmt::Display` for `&unify::Error<base::types::ArcType<I>, unify_type::TypeError<I>>`
Jul 12 08:24:17.204 INFO kablam!     = note: required by `std::fmt::Display::fmt`
Jul 12 08:24:17.204 INFO kablam! 
Jul 12 08:24:17.224 INFO kablam! error[E0277]: the trait bound `for<'a> base::types::ArcType<I>: base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a>>>, ()>` is not satisfied
Jul 12 08:24:17.224 INFO kablam!    --> src/typecheck.rs:166:33
Jul 12 08:24:17.224 INFO kablam!     |
Jul 12 08:24:17.224 INFO kablam! 166 |                 write!(f, "{}", errors.last().unwrap())
Jul 12 08:24:17.224 INFO kablam!     |                                 ^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a>>>, ()>` is not implemented for `base::types::ArcType<I>`
Jul 12 08:24:17.224 INFO kablam!     |
Jul 12 08:24:17.224 INFO kablam!     = help: the following implementations were found:
Jul 12 08:24:17.224 INFO kablam!               <base::types::ArcType<I> as base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a, ()>>>, ()>>
Jul 12 08:24:17.224 INFO kablam!               <base::types::ArcType<I> as base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a, ()>>>, &'a (dyn base::source::Source + 'a)>>
Jul 12 08:24:17.224 INFO kablam!     = note: required because of the requirements on the impl of `std::fmt::Display` for `unify::Error<base::types::ArcType<I>, unify_type::TypeError<I>>`
Jul 12 08:24:17.224 INFO kablam!     = note: required because of the requirements on the impl of `std::fmt::Display` for `&unify::Error<base::types::ArcType<I>, unify_type::TypeError<I>>`
Jul 12 08:24:17.224 INFO kablam!     = note: required by `std::fmt::Display::fmt`
Jul 12 08:24:17.224 INFO kablam! 
Jul 12 08:24:20.201 INFO kablam! error[E0277]: the trait bound `typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_>>>: pretty::DocAllocator<'_>` is not satisfied
Jul 12 08:24:20.201 INFO kablam!   --> src/unify.rs:33:23
Jul 12 08:24:20.201 INFO kablam!    |
Jul 12 08:24:20.201 INFO kablam! 33 |                     l.to_doc(&arena, ()).group(),
Jul 12 08:24:20.201 INFO kablam!    |                       ^^^^^^ the trait `pretty::DocAllocator<'_>` is not implemented for `typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_>>>`
Jul 12 08:24:20.201 INFO kablam!    |
Jul 12 08:24:20.201 INFO kablam!    = help: the following implementations were found:
Jul 12 08:24:20.201 INFO kablam!              <typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a, A>, A>> as pretty::DocAllocator<'a, A>>
Jul 12 08:24:20.201 INFO kablam! 
Jul 12 08:24:20.217 INFO kablam! error[E0599]: no method named `group` found for type `pretty::DocBuilder<'_, typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_>>>>` in the current scope
Jul 12 08:24:20.217 INFO kablam!   --> src/unify.rs:33:42
Jul 12 08:24:20.217 INFO kablam!    |
Jul 12 08:24:20.217 INFO kablam! 33 |                     l.to_doc(&arena, ()).group(),
Jul 12 08:24:20.217 INFO kablam!    |                                          ^^^^^
Jul 12 08:24:20.217 INFO kablam!    |
Jul 12 08:24:20.217 INFO kablam!    = note: the method `group` exists but the following trait bounds were not satisfied:
Jul 12 08:24:20.217 INFO kablam!            `typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_>>> : pretty::DocAllocator`
Jul 12 08:24:20.217 INFO kablam! 
Jul 12 08:24:20.220 INFO kablam! error[E0277]: the trait bound `typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_>>>: pretty::DocAllocator<'_>` is not satisfied
Jul 12 08:24:20.220 INFO kablam!   --> src/unify.rs:37:23
Jul 12 08:24:20.220 INFO kablam!    |
Jul 12 08:24:20.220 INFO kablam! 37 |                     r.to_doc(&arena, ()).group()
Jul 12 08:24:20.220 INFO kablam!    |                       ^^^^^^ the trait `pretty::DocAllocator<'_>` is not implemented for `typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_>>>`
Jul 12 08:24:20.220 INFO kablam!    |
Jul 12 08:24:20.220 INFO kablam!    = help: the following implementations were found:
Jul 12 08:24:20.220 INFO kablam!              <typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a, A>, A>> as pretty::DocAllocator<'a, A>>
Jul 12 08:24:20.220 INFO kablam! 
Jul 12 08:24:20.243 INFO kablam! error[E0599]: no method named `group` found for type `pretty::DocBuilder<'_, typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_>>>>` in the current scope
Jul 12 08:24:20.243 INFO kablam!   --> src/unify.rs:37:42
Jul 12 08:24:20.243 INFO kablam!    |
Jul 12 08:24:20.243 INFO kablam! 37 |                     r.to_doc(&arena, ()).group()
Jul 12 08:24:20.243 INFO kablam!    |                                          ^^^^^
Jul 12 08:24:20.243 INFO kablam!    |
Jul 12 08:24:20.244 INFO kablam!    = note: the method `group` exists but the following trait bounds were not satisfied:
Jul 12 08:24:20.244 INFO kablam!            `typed_arena::Arena<pretty::Doc<'_, pretty::RefDoc<'_>>> : pretty::DocAllocator`
Jul 12 08:24:20.244 INFO kablam! 
Jul 12 08:24:21.654 INFO kablam! error[E0277]: the trait bound `for<'a> base::types::ArcType: base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a>>>, ()>` is not satisfied
Jul 12 08:24:21.654 INFO kablam!     --> src/unify_type.rs:1059:28
Jul 12 08:24:21.654 INFO kablam!      |
Jul 12 08:24:21.654 INFO kablam! 1059 |         debug!("Error {}", error);
Jul 12 08:24:21.654 INFO kablam!      |                            ^^^^^ the trait `for<'a> base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a>>>, ()>` is not implemented for `base::types::ArcType`
Jul 12 08:24:21.658 INFO kablam!      |
Jul 12 08:24:21.658 INFO kablam!      = help: the following implementations were found:
Jul 12 08:24:21.659 INFO kablam!                <base::types::ArcType<I> as base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a, ()>>>, ()>>
Jul 12 08:24:21.659 INFO kablam!                <base::types::ArcType<I> as base::types::ToDoc<'a, typed_arena::Arena<pretty::Doc<'a, pretty::RefDoc<'a, ()>>>, &'a (dyn base::source::Source + 'a)>>
Jul 12 08:24:21.659 INFO kablam!      = note: required because of the requirements on the impl of `std::fmt::Display` for `unify::Error<base::types::ArcType, unify_type::TypeError<base::symbol::Symbol>>`
Jul 12 08:24:21.659 INFO kablam!      = note: required by `std::fmt::Display::fmt`
Jul 12 08:24:21.659 INFO kablam! 
Jul 12 08:24:22.618 INFO kablam! error: aborting due to 13 previous errors
Jul 12 08:24:22.618 INFO kablam! 
Jul 12 08:24:22.618 INFO kablam! Some errors occurred: E0277, E0308, E0599.
Jul 12 08:24:22.619 INFO kablam! For more information about an error, try `rustc --explain E0277`.
Jul 12 08:24:22.655 INFO kablam! error: Could not compile `gluon_check`.
Jul 12 08:24:22.655 INFO kablam! warning: build failed, waiting for other jobs to finish...
Jul 12 08:24:34.185 INFO kablam! error: build failed
Jul 12 08:24:34.188 INFO kablam! su: No module specific data is present
Jul 12 08:24:34.695 INFO running `"docker" "rm" "-f" "c0a573831e901b9da749e2cb8844e62b81a76a0c9877fb207eb34be055bec046"`
Jul 12 08:24:34.861 INFO blam! c0a573831e901b9da749e2cb8844e62b81a76a0c9877fb207eb34be055bec046