Skip to content

Instantly share code, notes, and snippets.

@matthewhammer
Created May 24, 2017 17:08
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save matthewhammer/209bb7ebaf3f9d4470cb96d406056576 to your computer and use it in GitHub Desktop.
Save matthewhammer/209bb7ebaf3f9d4470cb96d406056576 to your computer and use it in GitHub Desktop.
Rust Compiler error: Overflow
error[E0275]: overflow evaluating the requirement `rustc::ty::ExistentialPredicate<'_>: std::marker::Sync`
--> src/librustc_driver/driver.rs:968:13
|
968 | thread::spawn(move||profile_queries_thread(rx));
| ^^^^^^^^^^^^^
|
= help: consider adding a `#![recursion_limit="128"]` attribute to your crate
= note: required because it appears within the type `[rustc::ty::ExistentialPredicate<'_>]`
= note: required because it appears within the type `rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>`
= note: required because it appears within the type `&rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>`
= note: required because it appears within the type `rustc::ty::Binder<&rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>>`
= note: required because it appears within the type `rustc::ty::TypeVariants<'_>`
= note: required because it appears within the type `rustc::ty::TyS<'_>`
= note: required because it appears within the type `&rustc::ty::TyS<'_>`
= note: required because it appears within the type `rustc::ty::TypeAndMut<'_>`
= note: required because it appears within the type `rustc::ty::TypeVariants<'_>`
= note: required because it appears within the type `rustc::ty::TyS<'_>`
= note: required because it appears within the type `&rustc::ty::TyS<'_>`
= note: required because it appears within the type `rustc::ty::ExistentialProjection<'_>`
= note: required because it appears within the type `rustc::ty::ExistentialPredicate<'_>`
= note: required because it appears within the type `[rustc::ty::ExistentialPredicate<'_>]`
= note: required because it appears within the type `rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>`
= note: required because it appears within the type `&rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>`
= note: required because it appears within the type `rustc::ty::Binder<&rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>>`
= note: required because it appears within the type `rustc::ty::TypeVariants<'_>`
= note: required because it appears within the type `rustc::ty::TyS<'_>`
= note: required because it appears within the type `&rustc::ty::TyS<'_>`
= note: required because it appears within the type `rustc::ty::TypeAndMut<'_>`
= note: required because it appears within the type `rustc::ty::TypeVariants<'_>`
= note: required because it appears within the type `rustc::ty::TyS<'_>`
= note: required because it appears within the type `&rustc::ty::TyS<'_>`
= note: required because it appears within the type `rustc::ty::ExistentialProjection<'_>`
= note: required because it appears within the type `rustc::ty::ExistentialPredicate<'_>`
= note: required because it appears within the type `[rustc::ty::ExistentialPredicate<'_>]`
= note: required because it appears within the type `rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>`
= note: required because it appears within the type `&rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>`
= note: required because it appears within the type `rustc::ty::Binder<&rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>>`
= note: required because it appears within the type `rustc::ty::TypeVariants<'_>`
= note: required because it appears within the type `rustc::ty::TyS<'_>`
= note: required because it appears within the type `&rustc::ty::TyS<'_>`
= note: required because it appears within the type `rustc::ty::TypeAndMut<'_>`
= note: required because it appears within the type `rustc::ty::TypeVariants<'_>`
= note: required because it appears within the type `rustc::ty::TyS<'_>`
= note: required because it appears within the type `&rustc::ty::TyS<'_>`
= note: required because it appears within the type `rustc::ty::ExistentialProjection<'_>`
= note: required because it appears within the type `rustc::ty::ExistentialPredicate<'_>`
= note: required because it appears within the type `[rustc::ty::ExistentialPredicate<'_>]`
= note: required because it appears within the type `rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>`
= note: required because it appears within the type `&rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>`
= note: required because it appears within the type `rustc::ty::Binder<&rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>>`
= note: required because it appears within the type `rustc::ty::TypeVariants<'_>`
= note: required because it appears within the type `rustc::ty::TyS<'_>`
= note: required because it appears within the type `&rustc::ty::TyS<'_>`
= note: required because it appears within the type `rustc::ty::TypeAndMut<'_>`
= note: required because it appears within the type `rustc::ty::TypeVariants<'_>`
= note: required because it appears within the type `rustc::ty::TyS<'_>`
= note: required because it appears within the type `&rustc::ty::TyS<'_>`
= note: required because it appears within the type `rustc::ty::ExistentialProjection<'_>`
= note: required because it appears within the type `rustc::ty::ExistentialPredicate<'_>`
= note: required because it appears within the type `[rustc::ty::ExistentialPredicate<'_>]`
= note: required because it appears within the type `rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>`
= note: required because it appears within the type `&rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>`
= note: required because it appears within the type `rustc::ty::Binder<&rustc::ty::Slice<rustc::ty::ExistentialPredicate<'_>>>`
= note: required because it appears within the type `rustc::ty::TypeVariants<'_>`
= note: required because it appears within the type `rustc::ty::TyS<'_>`
= note: required because of the requirements on the impl of `std::marker::Send` for `&rustc::ty::TyS<'_>`
= note: required because it appears within the type `rustc::ty::InstanceDef<'_>`
= note: required because it appears within the type `rustc::ty::maps::Query<'_>`
= note: required because it appears within the type `rustc::ty::ProfileQueriesMsg<'_>`
= note: required because of the requirements on the impl of `std::marker::Send` for `std::sync::mpsc::Receiver<rustc::ty::ProfileQueriesMsg<'_>>`
= note: required because it appears within the type `[closure@src/librustc_driver/driver.rs:968:27: 968:59 rx:std::sync::mpsc::Receiver<rustc::ty::ProfileQueriesMsg<'_>>]`
= note: required by `std::thread::spawn`
error: aborting due to previous error
error: Could not compile `rustc_driver`.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment